तुल्यता वर्ग

ज्यामिति में सर्वांगसमता, तुल्य सम्बन्ध का एक उदाहरण है। सबसे बाएँ वाले दो त्रिभुज सर्वांगसम हैं, किन्तु तीसरा और चौथा त्रिभुज यहाँ दिखाये गये किसी भी त्रिभुज के सर्वांगसम नहीं हैं। अतः प्रथम दो त्रिभुज एक ही तुल्य वर्ग में हैं, जबकि तीसरा और चौथा त्रिभुज अपने-अपने तुल्य वर्ग में हैं।

गणित में जब किसी समुच्चय <math>S</math> के अवयवों पर कोई समतुल्यता पारिभाषित हो (जो कि तुल्यता सम्बन्ध के रूप में की जाती है) तो उस समुच्चय <math>S</math> को तुल्यता वर्गों (equivalence classes) में विभक्त किया जा सकता है। ये तुल्यता वर्ग इस प्रकार बनाये जाते हैं कि अवयव <math>a</math> और अवयव <math>b</math> एक ही तुल्यता वर्ग में होंगे यदि और केवल यदि वे तुल्य हों।

औपचारिक रूप से कहें तो, यदि कोई समुच्चय <math>S</math> और और उस पर एक तुल्य सम्बन्ध <math>\,\sim\,</math> दिया हो तो समुच्चय <math>S,</math> के किसी अवयव <math>a</math> का तुल्यता वर्ग निम्नलिखित समुच्चय होगा- <math display=block>\{ x \in S : x \sim a \}</math> जिसके सभी अवयव <math>a</math> के तुल्य हों। इसे <math>[a],</math> द्वारा निरुपित किया जाता है।

तुल्य सम्बन्ध के पारिभाषिक गुणों के आधार पर यह सिद्ध किया जा सकता है कि तुल्यता वर्ग वस्तुतः समुच्चय <math>S</math> के का विभाजन कर देता है। इस विभाजन के परिणामस्वरूप बने तुल्यता वर्गों के समुच्चय को <math>S</math> का भागफल समुच्चय (quotient set या quotient space) कहते हैं और इसे <math>S / \sim</math> द्वारा निरूपित किया जाता है।