तुल्यता वर्ग
From Wikipedia, the free encyclopedia
गणित में जब किसी समुच्चय के अवयवों पर कोई समतुल्यता पारिभाषित हो (जो कि तुल्यता सम्बन्ध के रूप में की जाती है) तो उस समुच्चय को तुल्यता वर्गों (equivalence classes) में विभक्त किया जा सकता है। ये तुल्यता वर्ग इस प्रकार बनाये जाते हैं कि अवयव और अवयव एक ही तुल्यता वर्ग में होंगे यदि और केवल यदि वे तुल्य हों।
औपचारिक रूप से कहें तो, यदि कोई समुच्चय और और उस पर एक तुल्य सम्बन्ध दिया हो तो समुच्चय के किसी अवयव का तुल्यता वर्ग निम्नलिखित समुच्चय होगा- जिसके सभी अवयव के तुल्य हों। इसे [1][2] द्वारा निरुपित किया जाता है।
तुल्य सम्बन्ध के पारिभाषिक गुणों के आधार पर यह सिद्ध किया जा सकता है कि तुल्यता वर्ग वस्तुतः समुच्चय के का विभाजन कर देता है। इस विभाजन के परिणामस्वरूप बने तुल्यता वर्गों के समुच्चय को का भागफल समुच्चय (quotient set या quotient space) कहते हैं और इसे द्वारा निरूपित किया जाता है।