सहिष्णुता संबंध: Difference between revisions

Revision as of 23:19, 25 May 2023

सार्वभौमिक बीजगणित और लैटिस सिद्धांत में, बीजगणितीय संरचना पर सहिष्णुता संबंध मुख्य रूप से प्रतिवर्ती संबंध का सममित संबंध है जो किसी संरचना के सभी कार्यों के साथ संगत रहता है। इस प्रकार किसी सहिष्णुता में सर्वांगसमता संबंध रहता है, इसके अतिरिक्त इसके सकर्मक संबंध की धारणा को छोड़ दिया जाता है।^[1] इस प्रकार किसी समुच्चय पर संचालन के रिक्त समुच्चय के साथ बीजगणितीय संरचना, सहिष्णुता संबंध को केवल रिफ्लेक्सिव सममित तक संबंधित करता हैं। किसी सहिष्णुता संबंध रखने वाले समुच्चय को सहिष्णुता स्थान के रूप में वर्णित किया जा सकता है।^[2] इस प्रकार सहिष्णुता संबंध को अविवेकी/अविभाज्यता परिघटनाओं के अध्ययन के लिए सुविधाजनक रूप से सामान्य उपकरण प्रदान करते हैं। इस प्रकार गणित के लिए उन के महत्व को सबसे पहले हेनरी पोंकारे ने पहचाना था।^[3]

परिभाषाएँ

एक बीजगणितीय संरचना पर सहिष्णुता संबंध $(A,F)$ सामान्यतः रिफ्लेक्सिव रिलेशन सममित संबंध $A$ के रूप में परिभाषित किया जाता है, जो हर प्रतिक्रिया के लिए $F$ के अनुकूल है, इस प्रकार सहिष्णुता संबंध को आवरण (टोपोलॉजी) $A$ के रूप में भी देखा जा सकता है, जो कुछ शर्तों को पूरा करता है। यहाँ पर दो परिभाषाएँ समतुल्य रहती हैं, क्योंकि निश्चित बीजगणितीय संरचना के लिए, दो परिभाषाओं में सहिष्णुता संबंध का आपस में वार्तालाभ होता हैं। किसी बीजगणितीय संरचना पर समावेशन के अनुसार सहिष्णुता संबंध $(A,F)$ बीजगणितीय लैटिस $\operatorname {Tolr} (A)$ बनाता हैं। चूँकि प्रत्येक सर्वांगसमता संबंध मुख्यतः सहनशीलता संबंध है, सर्वांगसमता लैटिस $\operatorname {Cong} (A)$ सहिष्णुता लैटिस का एक सबसमुच्चय $\operatorname {Tolr} (A)$ है, किन्तु $\operatorname {Cong} (A)$ अनिवार्य रूप से का $\operatorname {Tolr} (A)$ उपवर्ग नहीं है।^[4]

द्विआधारी संबंधों के रूप में

बीजगणितीय संरचना पर किसी सहिष्णुता संबंध $(A,F)$ पर द्विआधारी संबंध रहता है, जिसे $\sim$ पर $A$ जो निम्नलिखित शर्तों को पूरा करता हो।

(प्रतिवर्त संबंध) $a\sim a$ सभी के लिए $a\in A$
(सममित संबंध) यदि $a\sim b$ तब $b\sim a$ सभी के लिए $a,b\in A$
(संगत संबंध) प्रत्येक के लिए $n$ -और प्रक्रिया $f\in F$ और $a_{1},\dots ,a_{n},b_{1},\dots ,b_{n}\in A$ , यदि $a_{i}\sim b_{i}$ प्रत्येक के लिए $i=1,\dots ,n$ तब $f(a_{1},\dots ,a_{n})\sim f(b_{1},\dots ,b_{n})$ . अर्ताथ समुच्चय $\{(a,b)\colon a\sim b\}$ प्रत्यक्ष उत्पाद का सबलजेब्रा है, जो $A^{2}$ तथा $A$ दोनों में से हैं।

सर्वांगसमता संबंध सहनशीलता संबंध है जो सकर्मक संबंध भी है।

कवर के रूप में

बीजगणितीय संरचना पर सहिष्णुता संबंध $(A,F)$ किसी आवरण (टोपोलॉजी) के रूप में होता हैं, इस प्रकार ${\mathcal {C}}$ का $A$ हैं जो निम्नलिखित तीन शर्तों को पूरा करता है।^[5]^{: 307, Theorem 3}

हरएक के लिए $C\in {\mathcal {C}}$ $C\in {\mathcal {C}}$ और ${\mathcal {S}}\subseteq {\mathcal {C}}$ ${\mathcal {S}}\subseteq {\mathcal {C}}$ , यदि $\textstyle C\subseteq \bigcup {\mathcal {S}}$ $\textstyle C\subseteq \bigcup {\mathcal {S}}$ , तब $\textstyle \bigcap {\mathcal {S}}\subseteq C$ $\textstyle \bigcap {\mathcal {S}}\subseteq C$
- विशेष रूप से, के दो अलग-अलग तत्व नहीं ${\mathcal {C}}$ तुलनीय हैं। (इसे देखने के लिए ${\mathcal {S}}=\{D\}$ )
हरएक के लिए $S\subseteq A$ , यदि $S$ में किसी भी समुच्चय में सम्मिलित नहीं है ${\mathcal {C}}$ , तो एक दो-तत्व उपसमुच्चय है $\{s,t\}\subseteq S$ ऐसा है कि $\{s,t\}$ में किसी भी समुच्चय ${\mathcal {C}}$ में सम्मिलित नहीं है।
हरएक के लिए $n$ -और $f\in F$ और $C_{1},\dots ,C_{n}\in {\mathcal {C}}$ , वहां एक $(f/{\sim })(C_{1},\dots ,C_{n})\in {\mathcal {C}}$ है जो ऐसा है कि $\{f(c_{1},\dots ,c_{n})\colon c_{i}\in C_{i}\}\subseteq (f/{\sim })(C_{1},\dots ,C_{n})$ . (इस प्रकार का एक $(f/{\sim })(C_{1},\dots ,C_{n})$ अद्वितीय होने की आवश्यकता नहीं है।)

जिसके एक समुच्चय का हर विभाजन $A$ पहली दो शर्तों को संतुष्ट करता है, किन्तु इसके विपरीत नहीं होती हैं। सर्वांगसमता संबंध एक सहिष्णुता संबंध है जो एक समुच्चय विभाजन भी बनाता है।

दो परिभाषाओं की समानता

इस प्रकार $\sim$ एक बीजगणितीय संरचना पर सहिष्णुता द्विआधारी संबंध $(A,F)$ बनें थे । जिसके फलस्वरूप $A/{\sim }$ अधिकतम तत्व उपसमुच्चय का समूह बनें $C\subseteq A$ ऐसा है कि $c\sim d$ हरएक के लिए $c,d\in C$ . ग्राफ सैद्धांतिक शर्तों का उपयोग करना, $A/{\sim }$ ग्राफ के सभी अधिकतम समूहों का समुच्चय है (असतत गणित) $(A,\sim )$ . यदि $\sim$ समरूपता संबंध है, $A/{\sim }$ तुल्यता वर्गों का भागफल समुच्चय मात्र है। तब $A/{\sim }$ का आवरण (टोपोलॉजी) है $A$ और कवर परिभाषा में तीनों शर्तों को पूरा करता है। (अंतिम स्थिति को ज़ोर्न लेम्मा का उपयोग करके दिखाया गया है।) इसके विपरीत, मान लीजिए ${\mathcal {C}}$ का एक आवरण (टोपोलॉजी) हो $A$ और मान लीजिए ${\mathcal {C}}$ पर सहिष्णुता बनाता है $A$ . एक द्विआधारी संबंध पर विचार करें $\sim _{\mathcal {C}}$ पर $A$ जिसके लिए $a\sim _{\mathcal {C}}b$ यदि और केवल यदि $a,b\in C$ कुछ के लिए $C\in {\mathcal {C}}$ . तब $\sim _{\mathcal {C}}$ पर सहनशीलता है $A$ एक द्विआधारी संबंध के रूप में प्रदर्शित होता हैं। इस प्रकार यह नक्शे के अनुसार ${\sim }\mapsto A/{\sim }$ सहिष्णुता के बीच द्विआधारी संबंधों और कवर (टोपोलॉजी) के रूप में वार्तालाभ को प्रदर्शित करता है जिसका व्युत्क्रम है ${\mathcal {C}}\mapsto {\sim _{\mathcal {C}}}$ . इसलिए, दो परिभाषाएँ समकक्ष हैं। एक सहिष्णुता एक द्विआधारी संबंध के रूप में सकर्मक संबंध है यदि और केवल यदि यह एक कवर (गणित) के रूप में एक समुच्चय का विभाजन है। इस प्रकार सर्वांगसमता संबंधों के दो लक्षण भी सहमत हैं।

सहिष्णुता संबंधों पर भागफल बीजगणित

होने देना $(A,F)$ एक बीजगणितीय संरचना बनें और दें $\sim$ एक सहिष्णुता संबंध हो $A$ . मान लीजिए कि, प्रत्येक के लिए $n$ -और प्रक्रिया $f\in F$ और $C_{1},\dots ,C_{n}\in A/{\sim }$ , जिसका मान इस प्रकार हैं- $(f/{\sim })(C_{1},\dots ,C_{n})\in A/{\sim }$ यह समीकरण इस प्रकार हैं कि

\{f(c_{1},\dots ,c_{n})\colon c_{i}\in C_{i}\}\subseteq (f/{\sim })(C_{1},\dots ,C_{n})

तब यह भागफल बीजगणित की एक प्राकृतिक परिभाषा प्रदान करता है

(A/{\sim },F/{\sim })

का $(A,F)$ ऊपर $\sim$ . सर्वांगसमता संबंधों की स्थिति में अद्वितीयता की स्थिति हमेशा सही रहती है और यहाँ परिभाषित भागफल बीजगणित सामान्य स्थिति के साथ मेल खाता है।

सर्वांगसमता संबंधों से एक मुख्य अंतर यह है कि सहिष्णुता संबंध के लिए अद्वितीयता की स्थिति विफल हो सकती है, और यदि ऐसा नहीं भी होता है, तो भागफल बीजगणित विविधता (सार्वभौमिक बीजगणित) को परिभाषित करने वाली पहचानों को प्राप्त नहीं कर सकता है $(A,F)$ से संबंधित है, इसलिए भागफल बीजगणित फिर से विविधता का सदस्य बनने में विफल हो सकता है। इसलिए, एक किस्म के लिए (सार्वभौमिक बीजगणित) ${\mathcal {V}}$ बीजगणितीय संरचनाओं के लिए, हम निम्नलिखित दो स्थितियों पर विचार कर सकते हैं।^[4]* (सहिष्णुता कारक) किसी के लिए $(A,F)\in {\mathcal {V}}$ और कोई सहिष्णुता संबंध $\sim$ पर $(A,F)$ , विशिष्टता की स्थिति सत्य है, इसलिए भागफल बीजगणित $(A/{\sim },F/{\sim })$ परिभाषित किया गया हैं।

मजबूत सहिष्णुता कारक मुख्य रूप से किसी के लिए $(A,F)\in {\mathcal {V}}$ और कोई सहिष्णुता संबंध $\sim$ पर $(A,F)$ , विशिष्टता की स्थिति सत्य है, और $(A/{\sim },F/{\sim })\in {\mathcal {V}}$ .

प्रत्येक दृढ़ता से सहन करने योग्य विविधता सहनशीलता कारक है, किन्तु इसके विपरीत नहीं।

उदाहरण

समुच्चय

किसी समुच्चय (गणित) एक बीजगणितीय संरचना है जिसमें कोई भी संक्रिया नहीं होती है। इस स्थिति में, सहिष्णुता संबंध केवल प्रतिवर्त संबंध सममित संबंध हैं और यह तुच्छ है कि विभिन्न प्रकार के समुच्चय दृढ़ता से सहनशीलता कारक हैं।

समूह

एक समूह (गणित) पर, प्रत्येक सहिष्णुता संबंध सर्वांगसम संबंध है। विशेष रूप से, यह सभी बीजगणितीय संरचनाओं के लिए सत्य है जो समूह हैं जब उनके कुछ कार्यों को भुला दिया जाता है, उदाहरण के लिे वलय (गणित) एस, वेक्टर रिक्त स्थान, मॉड्यूल (गणित) एस, बूलियन बीजगणित, आदि सम्मिलित हैं।^[6]^{: 261–262} इसलिए, समूह (गणित) s, वलय (गणित) s, सदिश स्थान, मॉड्यूल (गणित) s और बूलियन बीजगणित की किस्में भी दृढ़ता से सहन करने योग्य हैं।

लैटिस

किसी सहिष्णुता संबंध के लिए $\sim$ एक लैटिस पर (आदेश) $L$ , हर समुच्चय में $L/{\sim }$ का उत्तल उपजाल है $L$ . इस प्रकार, सभी के लिए $A\in L/{\sim }$ , अपने पास

A=\mathop {\uparrow } A\cap \mathop {\downarrow } A

विशेष रूप से, निम्नलिखित परिणाम धारण करते हैं।

$a\sim b$ यदि और केवल यदि $a\vee b\sim a\wedge b$ .
यदि $a\sim b$ और $a\leq c,d\leq b$ , तब $c\sim d$ .

लैटिस (आदेश) की विविधता दृढ़ता से सहनशीलता कारक है। अर्ताथ किसी भी लैटिस (आदेश) को देखते हुए $(L,\vee _{L},\wedge _{L})$ और कोई सहिष्णुता संबंध $\sim$ पर $L$ , प्रत्येक के लिए $A,B\in L/{\sim }$ अद्वितीय रूप से उपस्थित हैं।

$A\vee _{L/{\sim }}B,A\wedge _{L/{\sim }}B\in L/{\sim }$ ऐसा है कि

\{a\vee _{L}b\colon a\in A,\;b\in B\}\subseteq A\vee _{L/{\sim }}B

\{a\wedge _{L}b\colon a\in A,\;b\in B\}\subseteq A\wedge _{L/{\sim }}B

और भागफल बीजगणित

(L/{\sim },\vee _{L/{\sim }},\wedge _{L/{\sim }})

एक लैटिस (आदेश) फिर से है।^[7]^[8]^[9]^{: 44, Theorem 22}

विशेष रूप से, हम सहिष्णुता संबंधों पर वितरणात्मक लैटिस और मॉड्यूलर लैटिस के भागफल लैटिस बना सकते हैं। चूंकि, सर्वांगसमता संबंधों के विपरीत, भागफल लैटिसों को फिर से वितरण या मॉड्यूलर होने की आवश्यकता नहीं है। दूसरे शब्दों में, वितरणात्मक लैटिस और मॉड्यूलर लैटिस की किस्में सहनशीलता कारक हैं, किन्तु दृढ़ता से सहनशीलता कारक नहीं हैं।^[7]^: 40^[4]वास्तव में, विभिन्न प्रकार की लैटिस की प्रत्येक उप-किस्म सहिष्णुता कारक है, और स्वयं के अतिरिक्त केवल दृढ़ता से सहन करने योग्य उप-भिन्नता तुच्छ उप-भिन्नता एक-तत्व लैटिस से मिलकर बनाता है।^[7]^: 40 इसका कारण यह है कि प्रत्येक लैटिस (आदेश) दो-तत्व लैटिस के प्रत्यक्ष उत्पाद के उप-वर्ग के सहिष्णुता संबंध पर भागफल लैटिस के उप-वर्ग के लिए समरूप है।^[7]^{: 40, Theorem 3}

यह भी देखें

निर्भरता संबंध
अर्धसकर्मक संबंध- सामाजिक पसंद सिद्धांत में उदासीनता को औपचारिक रूप देने के लिए एक सामान्यीकरण
राॅ समुच्चय

संदर्भ

↑ Kearnes, Keith; Kiss, Emil W. (2013). सर्वांगसमता जालिकाओं का आकार. American Mathematical Soc. p. 20. ISBN 978-0-8218-8323-5.
↑ Sossinsky, Alexey (1986-02-01). "सहिष्णुता अंतरिक्ष सिद्धांत और कुछ अनुप्रयोग". Acta Applicandae Mathematicae. 5 (2): 137–167. doi:10.1007/BF00046585. S2CID 119731847.
↑ Poincare, H. (1905). विज्ञान और परिकल्पना (with a preface by J.Larmor ed.). New York: 3 East 14th Street: The Walter Scott Publishing Co., Ltd. pp. 22-23.{{cite book}}: CS1 maint: location (link)
↑ ^4.0 ^4.1 ^4.2 Chajda, Ivan; Radeleczki, Sándor (2014). "बीजगणित की सहनशीलता कारक वर्गों पर नोट्स". Acta Scientiarum Mathematicarum (in English). 80 (3–4): 389–397. doi:10.14232/actasm-012-861-x. ISSN 0001-6969. MR 3307031. S2CID 85560830. Zbl 1321.08002.
↑ Chajda, Ivan; Niederle, Josef; Zelinka, Bohdan (1976). "संगत सहिष्णुता के लिए अस्तित्व की स्थिति पर". Czechoslovak Mathematical Journal (in English). 26 (101): 304–311. doi:10.21136/CMJ.1976.101403. ISSN 0011-4642. MR 0401561. Zbl 0333.08006.
↑ Schein, Boris M. (1987). "सहिष्णुता संबंधों के अर्धसमूह". Discrete Mathematics (in English). 64: 253–262. doi:10.1016/0012-365X(87)90194-4. ISSN 0012-365X. MR 0887364. Zbl 0615.20045.
↑ ^7.0 ^7.1 ^7.2 ^7.3 Czédli, Gábor (1982). "सहिष्णुता द्वारा कारक जाली". Acta Scientiarum Mathematicarum (in English). 44: 35–42. ISSN 0001-6969. MR 0660510. Zbl 0484.06010.
↑ Grätzer, George; Wenzel, G. H. (1990). "जाली के सहिष्णुता संबंधों पर नोट्स". Acta Scientiarum Mathematicarum (in English). 54 (3–4): 229–240. ISSN 0001-6969. MR 1096802. Zbl 0727.06011.
↑ Grätzer, George (2011). जाली सिद्धांत: फाउंडेशन (in English). Basel: Springer. doi:10.1007/978-3-0348-0018-1. ISBN 978-3-0348-0017-4. LCCN 2011921250. MR 2768581. Zbl 1233.06001.

अग्रिम पठन

Gerasin, S. N., Shlyakhov, V. V., and Yakovlev, S. V. 2008. Set coverings and tolerance relations. Cybernetics and Sys. Anal. 44, 3 (May 2008), 333–340. doi:10.1007/s10559-008-9007-y
Hryniewiecki, K. 1991, Relations of Tolerance, FORMALIZED MATHEMATICS, Vol. 2, No. 1, January–February 1991.

[1] Kearnes, Keith; Kiss, Emil W. (2013). सर्वांगसमता जालिकाओं का आकार. American Mathematical Soc. p. 20. ISBN 978-0-8218-8323-5.

[2] Sossinsky, Alexey (1986-02-01). "सहिष्णुता अंतरिक्ष सिद्धांत और कुछ अनुप्रयोग". Acta Applicandae Mathematicae. 5 (2): 137–167. doi:10.1007/BF00046585. S2CID 119731847.

[3] Poincare, H. (1905). विज्ञान और परिकल्पना (with a preface by J.Larmor ed.). New York: 3 East 14th Street: The Walter Scott Publishing Co., Ltd. pp. 22-23.{{cite book}}: CS1 maint: location (link)

[ChajdaRadeleczki-4] 4.0 ^4.1 ^4.2 Chajda, Ivan; Radeleczki, Sándor (2014). "बीजगणित की सहनशीलता कारक वर्गों पर नोट्स". Acta Scientiarum Mathematicarum (in English). 80 (3–4): 389–397. doi:10.14232/actasm-012-861-x. ISSN 0001-6969. MR 3307031. S2CID 85560830. Zbl 1321.08002.

[ChajdaNiederle-5] Chajda, Ivan; Niederle, Josef; Zelinka, Bohdan (1976). "संगत सहिष्णुता के लिए अस्तित्व की स्थिति पर". Czechoslovak Mathematical Journal (in English). 26 (101): 304–311. doi:10.21136/CMJ.1976.101403. ISSN 0011-4642. MR 0401561. Zbl 0333.08006.

[Schein-6] Schein, Boris M. (1987). "सहिष्णुता संबंधों के अर्धसमूह". Discrete Mathematics (in English). 64: 253–262. doi:10.1016/0012-365X(87)90194-4. ISSN 0012-365X. MR 0887364. Zbl 0615.20045.

[Czédli-7] 7.0 ^7.1 ^7.2 ^7.3 Czédli, Gábor (1982). "सहिष्णुता द्वारा कारक जाली". Acta Scientiarum Mathematicarum (in English). 44: 35–42. ISSN 0001-6969. MR 0660510. Zbl 0484.06010.

[GrätzerWenzel-8] Grätzer, George; Wenzel, G. H. (1990). "जाली के सहिष्णुता संबंधों पर नोट्स". Acta Scientiarum Mathematicarum (in English). 54 (3–4): 229–240. ISSN 0001-6969. MR 1096802. Zbl 0727.06011.

[Grätzer-9] Grätzer, George (2011). जाली सिद्धांत: फाउंडेशन (in English). Basel: Springer. doi:10.1007/978-3-0348-0018-1. ISBN 978-3-0348-0017-4. LCCN 2011921250. MR 2768581. Zbl 1233.06001.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

@@ Line 1: / Line 1: @@
 {{Short description|Math relation that is reflexive and symmetric}}
-[[सार्वभौमिक बीजगणित]] और [[जाली सिद्धांत]] में, एक [[बीजगणितीय संरचना]] पर एक सहिष्णुता संबंध एक प्रतिवर्ती संबंध [[सममित संबंध]] है जो संरचना के सभी कार्यों के साथ संगत है। इस प्रकार एक सहिष्णुता एक [[सर्वांगसमता संबंध]] की तरह है, सिवाय इसके कि [[सकर्मक संबंध]] की धारणा को छोड़ दिया जाता है।<ref>{{cite book|first1=Keith|last1=Kearnes|first2=Emil W.|last2=Kiss|title=सर्वांगसमता जालिकाओं का आकार|year=2013|publisher=American Mathematical Soc.|isbn=978-0-8218-8323-5|page=20}}
+[[सार्वभौमिक बीजगणित]] और [[जाली सिद्धांत|लैटिस सिद्धांत]] में, [[बीजगणितीय संरचना]] पर '''सहिष्णुता संबंध''' मुख्य रूप से प्रतिवर्ती संबंध का [[सममित संबंध]] है जो किसी संरचना के सभी कार्यों के साथ संगत रहता है। इस प्रकार किसी सहिष्णुता में [[सर्वांगसमता संबंध]] रहता है, इसके अतिरिक्त इसके [[सकर्मक संबंध]] की धारणा को छोड़ दिया जाता है।<ref>{{cite book|first1=Keith|last1=Kearnes|first2=Emil W.|last2=Kiss|title=सर्वांगसमता जालिकाओं का आकार|year=2013|publisher=American Mathematical Soc.|isbn=978-0-8218-8323-5|page=20}}
-</ref> एक [[सेट (गणित)]] पर, संचालन के खाली परिवार के साथ एक बीजगणितीय संरचना, सहिष्णुता संबंध केवल रिफ्लेक्सिव सममित संबंध हैं। एक सहिष्णुता संबंध रखने वाले सेट को सहिष्णुता स्थान के रूप में वर्णित किया जा सकता है।<ref>{{Cite journal|last=Sossinsky|first=Alexey|date=1986-02-01|title=सहिष्णुता अंतरिक्ष सिद्धांत और कुछ अनुप्रयोग|url=https://www.researchgate.net/publication/225214345|journal=[[Acta Applicandae Mathematicae]]|volume=5|issue=2|pages=137–167|doi=10.1007/BF00046585|s2cid=119731847 }}</ref> सहिष्णुता संबंध अविवेकी/अविभाज्यता परिघटनाओं के अध्ययन के लिए एक सुविधाजनक सामान्य उपकरण प्रदान करते हैं। गणित के लिए उन के महत्व को सबसे पहले हेनरी पोंकारे | पोंकारे ने पहचाना था।<ref>{{cite book|last1=Poincare|first1=H.|title=विज्ञान और परिकल्पना|url=https://archive.org/details/scienceandhypoth00poinuoft|date=1905|publisher=The Walter Scott Publishing Co., Ltd.|edition=with a preface by J.Larmor|location=New York: 3 East 14th Street|pages=[https://archive.org/details/scienceandhypoth00poinuoft/page/22 22]-23}}</ref>
+</ref> इस प्रकार किसी [[सेट (गणित)|समुच्चय]] पर संचालन के रिक्त समुच्चय के साथ बीजगणितीय संरचना, सहिष्णुता संबंध को केवल रिफ्लेक्सिव सममित तक संबंधित करता हैं। किसी सहिष्णुता संबंध रखने वाले समुच्चय को सहिष्णुता स्थान के रूप में वर्णित किया जा सकता है।<ref>{{Cite journal|last=Sossinsky|first=Alexey|date=1986-02-01|title=सहिष्णुता अंतरिक्ष सिद्धांत और कुछ अनुप्रयोग|url=https://www.researchgate.net/publication/225214345|journal=[[Acta Applicandae Mathematicae]]|volume=5|issue=2|pages=137–167|doi=10.1007/BF00046585|s2cid=119731847 }}</ref> इस प्रकार सहिष्णुता संबंध को अविवेकी/अविभाज्यता परिघटनाओं के अध्ययन के लिए सुविधाजनक रूप से सामान्य उपकरण प्रदान करते हैं। इस प्रकार गणित के लिए उन के महत्व को सबसे पहले हेनरी पोंकारे ने पहचाना था।<ref>{{cite book|last1=Poincare|first1=H.|title=विज्ञान और परिकल्पना|url=https://archive.org/details/scienceandhypoth00poinuoft|date=1905|publisher=The Walter Scott Publishing Co., Ltd.|edition=with a preface by J.Larmor|location=New York: 3 East 14th Street|pages=[https://archive.org/details/scienceandhypoth00poinuoft/page/22 22]-23}}</ref>
 == परिभाषाएँ ==
-एक बीजगणितीय संरचना पर एक सहिष्णुता संबंध <math>(A,F)</math> आमतौर पर एक रिफ्लेक्सिव रिलेशन सममित संबंध के रूप में परिभाषित किया जाता है <math>A</math> जो हर ऑपरेशन के अनुकूल है <math>F</math>. टॉलरेंस रिलेशन को एक [[ आवरण (टोपोलॉजी) ]] के रूप में भी देखा जा सकता है <math>A</math> जो कुछ शर्तों को पूरा करता है। दो परिभाषाएँ समतुल्य हैं, क्योंकि एक निश्चित बीजगणितीय संरचना के लिए, दो परिभाषाओं में सहिष्णुता संबंध एक-से-एक पत्राचार में हैं। एक बीजगणितीय संरचना पर सहिष्णुता संबंध <math>(A,F)</math> एक बीजगणितीय जाली बनाएँ <math>\operatorname{Tolr}(A)</math> समावेशन के तहत। चूँकि प्रत्येक सर्वांगसमता संबंध एक सहनशीलता संबंध है, सर्वांगसमता जालक <math>\operatorname{Cong}(A)</math> सहिष्णुता जाली का एक सबसेट है <math>\operatorname{Tolr}(A)</math>, लेकिन <math>\operatorname{Cong}(A)</math> अनिवार्य रूप से का उपवर्ग नहीं है <math>\operatorname{Tolr}(A)</math>.<ref name="ChajdaRadeleczki">{{cite journal|date=2014|doi=10.14232/actasm-012-861-x|first1=Ivan|first2=Sándor|issn=0001-6969|issue=3-4|journal=Acta Scientiarum Mathematicarum|language=en|last1=Chajda|last2=Radeleczki|mr=3307031|pages=389–397|s2cid=85560830|title=बीजगणित की सहनशीलता कारक वर्गों पर नोट्स|volume=80|zbl=1321.08002}}</ref>
+एक बीजगणितीय संरचना पर सहिष्णुता संबंध <math>(A,F)</math> सामान्यतः रिफ्लेक्सिव रिलेशन सममित संबंध <math>A</math> के रूप में परिभाषित किया जाता है, जो हर प्रतिक्रिया के लिए <math>F</math> के अनुकूल है, इस प्रकार सहिष्णुता संबंध को [[ आवरण (टोपोलॉजी) ]] <math>A</math> के रूप में भी देखा जा सकता है, जो कुछ शर्तों को पूरा करता है। यहाँ पर दो परिभाषाएँ समतुल्य रहती हैं, क्योंकि निश्चित बीजगणितीय संरचना के लिए, दो परिभाषाओं में सहिष्णुता संबंध का आपस में वार्तालाभ होता हैं। किसी बीजगणितीय संरचना पर समावेशन के अनुसार सहिष्णुता संबंध <math>(A,F)</math> बीजगणितीय लैटिस <math>\operatorname{Tolr}(A)</math> बनाता हैं। चूँकि प्रत्येक सर्वांगसमता संबंध मुख्यतः सहनशीलता संबंध है, सर्वांगसमता लैटिस <math>\operatorname{Cong}(A)</math> सहिष्णुता लैटिस का एक सबसमुच्चय <math>\operatorname{Tolr}(A)</math> है, किन्तु <math>\operatorname{Cong}(A)</math> अनिवार्य रूप से का <math>\operatorname{Tolr}(A)</math> उपवर्ग नहीं है।<ref name="ChajdaRadeleczki">{{cite journal|date=2014|doi=10.14232/actasm-012-861-x|first1=Ivan|first2=Sándor|issn=0001-6969|issue=3-4|journal=Acta Scientiarum Mathematicarum|language=en|last1=Chajda|last2=Radeleczki|mr=3307031|pages=389–397|s2cid=85560830|title=बीजगणित की सहनशीलता कारक वर्गों पर नोट्स|volume=80|zbl=1321.08002}}</ref>
 === द्विआधारी संबंधों के रूप में ===
-एक बीजगणितीय संरचना पर एक सहिष्णुता संबंध <math>(A,F)</math> एक [[द्विआधारी संबंध]] है <math>\sim</math> पर <math>A</math> जो निम्नलिखित शर्तों को पूरा करता हो।
+बीजगणितीय संरचना पर किसी सहिष्णुता संबंध <math>(A,F)</math> पर [[द्विआधारी संबंध]] रहता है, जिसे <math>\sim</math> पर <math>A</math> जो निम्नलिखित शर्तों को पूरा करता हो।
 * (प्रतिवर्त संबंध) <math>a\sim a</math> सभी के लिए <math>a\in A</math>
 * (सममित संबंध) यदि <math>a\sim b</math> तब <math>b\sim a</math> सभी के लिए <math>a,b\in A</math>
-* ([[संगत संबंध]]) प्रत्येक के लिए <math>n</math>-और ऑपरेशन <math>f\in F</math> और <math>a_1,\dots,a_n,b_1,\dots,b_n\in A</math>, अगर <math>a_i\sim b_i</math> प्रत्येक के लिए <math>i=1,\dots,n</math> तब <math>f(a_1,\dots,a_n)\sim f(b_1,\dots,b_n)</math>. यानी सेट <math>\{(a,b)\colon a\sim b\}</math> [[प्रत्यक्ष उत्पाद]] का एक सबलजेब्रा है <math>A^2</math> दोनों में से <math>A</math>.
+* ([[संगत संबंध]]) प्रत्येक के लिए <math>n</math>-और प्रक्रिया <math>f\in F</math> और <math>a_1,\dots,a_n,b_1,\dots,b_n\in A</math>, यदि <math>a_i\sim b_i</math> प्रत्येक के लिए <math>i=1,\dots,n</math> तब <math>f(a_1,\dots,a_n)\sim f(b_1,\dots,b_n)</math>. अर्ताथ समुच्चय <math>\{(a,b)\colon a\sim b\}</math> [[प्रत्यक्ष उत्पाद]] का सबलजेब्रा है, जो <math>A^2</math> तथा <math>A</math> दोनों में से हैं।
-सर्वांगसमता संबंध एक सहनशीलता संबंध है जो सकर्मक संबंध भी है।
+सर्वांगसमता संबंध सहनशीलता संबंध है जो सकर्मक संबंध भी है।
 === कवर के रूप में ===
-एक बीजगणितीय संरचना पर एक सहिष्णुता संबंध <math>(A,F)</math> एक आवरण (टोपोलॉजी) है <math>\mathcal C</math> का <math>A</math> जो निम्नलिखित तीन शर्तों को पूरा करता है।<ref name="ChajdaNiederle">{{cite journal|date=1976|doi=10.21136/CMJ.1976.101403|first1=Ivan|first2=Josef|first3=Bohdan|issn=0011-4642|issue=101|journal=Czechoslovak Mathematical Journal|language=en|last1=Chajda|last2=Niederle|last3=Zelinka|mr=0401561|pages=304–311|title=संगत सहिष्णुता के लिए अस्तित्व की स्थिति पर|volume=26|zbl=0333.08006}}</ref>{{rp|307, Theorem 3}}
+बीजगणितीय संरचना पर सहिष्णुता संबंध <math>(A,F)</math> किसी आवरण (टोपोलॉजी) के रूप में होता हैं, इस प्रकार <math>\mathcal C</math> का <math>A</math> हैं जो निम्नलिखित तीन शर्तों को पूरा करता है।<ref name="ChajdaNiederle">{{cite journal|date=1976|doi=10.21136/CMJ.1976.101403|first1=Ivan|first2=Josef|first3=Bohdan|issn=0011-4642|issue=101|journal=Czechoslovak Mathematical Journal|language=en|last1=Chajda|last2=Niederle|last3=Zelinka|mr=0401561|pages=304–311|title=संगत सहिष्णुता के लिए अस्तित्व की स्थिति पर|volume=26|zbl=0333.08006}}</ref>{{rp|307, Theorem 3}}
-* हरएक के लिए <math>C\in\mathcal C</math> और <math>\mathcal S\subseteq\mathcal C</math>, अगर <math>\textstyle C\subseteq\bigcup\mathcal S</math>, तब <math>\textstyle\bigcap\mathcal S\subseteq C</math>.
+* हरएक के लिए <math>C\in\mathcal C</math> और <math>\mathcal S\subseteq\mathcal C</math>, यदि <math>\textstyle C\subseteq\bigcup\mathcal S</math>, तब <math>\textstyle\bigcap\mathcal S\subseteq C</math>
-** विशेष रूप से, के दो अलग-अलग तत्व नहीं <math>\mathcal C</math> तुलनीय हैं। (इसे देखने के लिए, लो <math>\mathcal S=\{D\}</math>.)
+** विशेष रूप से, के दो अलग-अलग तत्व नहीं <math>\mathcal C</math> तुलनीय हैं। (इसे देखने के लिए <math>\mathcal S=\{D\}</math>)
-* हरएक के लिए <math>S\subseteq A</math>, अगर <math>S</math> में किसी भी सेट में शामिल नहीं है <math>\mathcal C</math>, तो एक दो-तत्व उपसमुच्चय है <math>\{s,t\}\subseteq S</math> ऐसा है कि <math>\{s,t\}</math> में किसी भी सेट में शामिल नहीं है <math>\mathcal C</math>.
+* हरएक के लिए <math>S\subseteq A</math>, यदि <math>S</math> में किसी भी समुच्चय में सम्मिलित नहीं है <math>\mathcal C</math>, तो एक दो-तत्व उपसमुच्चय है <math>\{s,t\}\subseteq S</math> ऐसा है कि <math>\{s,t\}</math> में किसी भी समुच्चय <math>\mathcal C</math> में सम्मिलित नहीं है।
-* हरएक के लिए <math>n</math>-और <math>f\in F</math> और <math>C_1,\dots,C_n\in\mathcal C</math>, वहां एक है <math>(f/{\sim})(C_1,\dots,C_n)\in\mathcal C</math> ऐसा है कि <math>\{f(c_1,\dots,c_n)\colon c_i\in C_i\}\subseteq(f/{\sim})(C_1,\dots,C_n)</math>. (इस तरह का एक <math>(f/{\sim})(C_1,\dots,C_n)</math> अद्वितीय होने की आवश्यकता नहीं है।)
+* हरएक के लिए <math>n</math>-और <math>f\in F</math> और <math>C_1,\dots,C_n\in\mathcal C</math>, वहां एक <math>(f/{\sim})(C_1,\dots,C_n)\in\mathcal C</math> है जो ऐसा है कि <math>\{f(c_1,\dots,c_n)\colon c_i\in C_i\}\subseteq(f/{\sim})(C_1,\dots,C_n)</math>. (इस प्रकार का एक <math>(f/{\sim})(C_1,\dots,C_n)</math> अद्वितीय होने की आवश्यकता नहीं है।)
-के एक सेट का हर विभाजन <math>A</math> पहली दो शर्तों को संतुष्ट करता है, लेकिन इसके विपरीत नहीं। सर्वांगसमता संबंध एक सहिष्णुता संबंध है जो एक सेट विभाजन भी बनाता है।
+जिसके एक समुच्चय का हर विभाजन <math>A</math> पहली दो शर्तों को संतुष्ट करता है, किन्तु इसके विपरीत नहीं होती हैं। सर्वांगसमता संबंध एक सहिष्णुता संबंध है जो एक समुच्चय विभाजन भी बनाता है।
 === दो परिभाषाओं की समानता ===
-होने देना <math>\sim</math> एक बीजगणितीय संरचना पर सहिष्णुता द्विआधारी संबंध बनें <math>(A,F)</math>. होने देना <math>A/{\sim}</math> [[अधिकतम तत्व]] सबसेट का परिवार बनें <math>C\subseteq A</math> ऐसा है कि <math>c\sim d</math> हरएक के लिए <math>c,d\in C</math>. ग्राफ सैद्धांतिक शर्तों का उपयोग करना, <math>A/{\sim}</math> ग्राफ के सभी अधिकतम समूहों का सेट है (असतत गणित) <math>(A,\sim)</math>. अगर <math>\sim</math> एक समरूपता संबंध है, <math>A/{\sim}</math> [[तुल्यता वर्ग]]ों का भागफल समुच्चय मात्र है। तब <math>A/{\sim}</math> का आवरण (टोपोलॉजी) है <math>A</math> और कवर परिभाषा में तीनों शर्तों को पूरा करता है। (अंतिम स्थिति को ज़ोर्न लेम्मा का उपयोग करके दिखाया गया है।) इसके विपरीत, मान लीजिए <math>\mathcal C</math> का एक आवरण (टोपोलॉजी) हो <math>A</math> और मान लीजिए <math>\mathcal C</math> पर सहिष्णुता बनाता है <math>A</math>. एक द्विआधारी संबंध पर विचार करें <math>\sim_{\mathcal C}</math> पर <math>A</math> जिसके लिए <math>a\sim_{\mathcal C}b</math> अगर और केवल अगर <math>a,b\in C</math> कुछ के लिए <math>C\in\mathcal C</math>. तब <math>\sim_{\mathcal C}</math> पर सहनशीलता है <math>A</math> एक द्विआधारी संबंध के रूप में। वो नक्शा <math>{\sim}\mapsto A/{\sim}</math> सहिष्णुता के बीच [[द्विआधारी संबंध]]ों और कवर (टोपोलॉजी) के रूप में एक-से-एक पत्राचार है जिसका व्युत्क्रम है <math>\mathcal C\mapsto{\sim_{\mathcal C}}</math>. इसलिए, दो परिभाषाएँ समकक्ष हैं। एक सहिष्णुता एक द्विआधारी संबंध के रूप में सकर्मक संबंध है अगर और केवल अगर यह एक [[कवर (गणित)]] के रूप में एक सेट का विभाजन है। इस प्रकार सर्वांगसमता संबंधों के दो लक्षण भी सहमत हैं।
+इस प्रकार <math>\sim</math> एक बीजगणितीय संरचना पर सहिष्णुता द्विआधारी संबंध <math>(A,F)</math> बनें थे । जिसके फलस्वरूप <math>A/{\sim}</math> [[अधिकतम तत्व]] उपसमुच्चय का समूह बनें <math>C\subseteq A</math> ऐसा है कि <math>c\sim d</math> हरएक के लिए <math>c,d\in C</math>. ग्राफ सैद्धांतिक शर्तों का उपयोग करना, <math>A/{\sim}</math> ग्राफ के सभी अधिकतम समूहों का समुच्चय है (असतत गणित) <math>(A,\sim)</math>. यदि <math>\sim</math> समरूपता संबंध है, <math>A/{\sim}</math> [[तुल्यता वर्ग|तुल्यता वर्गों]] का भागफल समुच्चय मात्र है। तब <math>A/{\sim}</math> का आवरण (टोपोलॉजी) है <math>A</math> और कवर परिभाषा में तीनों शर्तों को पूरा करता है। (अंतिम स्थिति को ज़ोर्न लेम्मा का उपयोग करके दिखाया गया है।) इसके विपरीत, मान लीजिए <math>\mathcal C</math> का एक आवरण (टोपोलॉजी) हो <math>A</math> और मान लीजिए <math>\mathcal C</math> पर सहिष्णुता बनाता है <math>A</math>. एक द्विआधारी संबंध पर विचार करें <math>\sim_{\mathcal C}</math> पर <math>A</math> जिसके लिए <math>a\sim_{\mathcal C}b</math> यदि और केवल यदि <math>a,b\in C</math> कुछ के लिए <math>C\in\mathcal C</math>. तब <math>\sim_{\mathcal C}</math> पर सहनशीलता है <math>A</math> एक द्विआधारी संबंध के रूप में प्रदर्शित होता हैं। इस प्रकार यह नक्शे के अनुसार <math>{\sim}\mapsto A/{\sim}</math> सहिष्णुता के बीच [[द्विआधारी संबंध|द्विआधारी संबंधों]] और कवर (टोपोलॉजी) के रूप में वार्तालाभ को प्रदर्शित करता है जिसका व्युत्क्रम है <math>\mathcal C\mapsto{\sim_{\mathcal C}}</math>. इसलिए, दो परिभाषाएँ समकक्ष हैं। एक सहिष्णुता एक द्विआधारी संबंध के रूप में सकर्मक संबंध है यदि और केवल यदि यह एक [[कवर (गणित)]] के रूप में एक समुच्चय का विभाजन है। इस प्रकार सर्वांगसमता संबंधों के दो लक्षण भी सहमत हैं।
 === सहिष्णुता संबंधों पर भागफल बीजगणित ===
-होने देना <math>(A,F)</math> एक बीजगणितीय संरचना बनें और दें <math>\sim</math> एक सहिष्णुता संबंध हो <math>A</math>. मान लीजिए कि, प्रत्येक के लिए <math>n</math>-और ऑपरेशन <math>f\in F</math> और <math>C_1,\dots,C_n\in A/{\sim}</math>, एक अनूठा है <math>(f/{\sim})(C_1,\dots,C_n)\in A/{\sim}</math> ऐसा है कि
+होने देना <math>(A,F)</math> एक बीजगणितीय संरचना बनें और दें <math>\sim</math> एक सहिष्णुता संबंध हो <math>A</math>. मान लीजिए कि, प्रत्येक के लिए <math>n</math>-और प्रक्रिया <math>f\in F</math> और <math>C_1,\dots,C_n\in A/{\sim}</math>, जिसका मान इस प्रकार हैं- <math>(f/{\sim})(C_1,\dots,C_n)\in A/{\sim}</math> यह समीकरण इस प्रकार हैं कि
 :<math>\{f(c_1,\dots,c_n)\colon c_i\in C_i\}\subseteq(f/{\sim})(C_1,\dots,C_n)</math>
 तब यह भागफल बीजगणित की एक प्राकृतिक परिभाषा प्रदान करता है
 :<math>(A/{\sim},F/{\sim})</math>
-का <math>(A,F)</math> ऊपर <math>\sim</math>. सर्वांगसमता संबंधों के मामले में, अद्वितीयता की स्थिति हमेशा सही रहती है और यहाँ परिभाषित भागफल बीजगणित सामान्य स्थिति के साथ मेल खाता है।
+का <math>(A,F)</math> ऊपर <math>\sim</math>. सर्वांगसमता संबंधों की स्थिति में अद्वितीयता की स्थिति हमेशा सही रहती है और यहाँ परिभाषित भागफल बीजगणित सामान्य स्थिति के साथ मेल खाता है।
-सर्वांगसमता संबंधों से एक मुख्य अंतर यह है कि सहिष्णुता संबंध के लिए अद्वितीयता की स्थिति विफल हो सकती है, और यदि ऐसा नहीं भी होता है, तो भागफल बीजगणित [[विविधता (सार्वभौमिक बीजगणित)]] को परिभाषित करने वाली पहचानों को प्राप्त नहीं कर सकता है <math>(A,F)</math> से संबंधित है, इसलिए भागफल बीजगणित फिर से विविधता का सदस्य बनने में विफल हो सकता है। इसलिए, एक किस्म के लिए (सार्वभौमिक बीजगणित) <math>\mathcal V</math> बीजगणितीय संरचनाओं के लिए, हम निम्नलिखित दो स्थितियों पर विचार कर सकते हैं।<ref name="ChajdaRadeleczki" />* (सहिष्णुता कारक) किसी के लिए <math>(A,F)\in\mathcal V</math> और कोई सहिष्णुता संबंध <math>\sim</math> पर <math>(A,F)</math>, विशिष्टता की स्थिति सत्य है, इसलिए भागफल बीजगणित <math>(A/{\sim},F/{\sim})</math> परिभाषित किया गया।
+सर्वांगसमता संबंधों से एक मुख्य अंतर यह है कि सहिष्णुता संबंध के लिए अद्वितीयता की स्थिति विफल हो सकती है, और यदि ऐसा नहीं भी होता है, तो भागफल बीजगणित [[विविधता (सार्वभौमिक बीजगणित)]] को परिभाषित करने वाली पहचानों को प्राप्त नहीं कर सकता है <math>(A,F)</math> से संबंधित है, इसलिए भागफल बीजगणित फिर से विविधता का सदस्य बनने में विफल हो सकता है। इसलिए, एक किस्म के लिए (सार्वभौमिक बीजगणित) <math>\mathcal V</math> बीजगणितीय संरचनाओं के लिए, हम निम्नलिखित दो स्थितियों पर विचार कर सकते हैं।<ref name="ChajdaRadeleczki" />* (सहिष्णुता कारक) किसी के लिए <math>(A,F)\in\mathcal V</math> और कोई सहिष्णुता संबंध <math>\sim</math> पर <math>(A,F)</math>, विशिष्टता की स्थिति सत्य है, इसलिए भागफल बीजगणित <math>(A/{\sim},F/{\sim})</math> परिभाषित किया गया हैं।
-* (मजबूत सहिष्णुता कारक) किसी के लिए <math>(A,F)\in\mathcal V</math> और कोई सहिष्णुता संबंध <math>\sim</math> पर <math>(A,F)</math>, विशिष्टता की स्थिति सत्य है, और <math>(A/{\sim},F/{\sim})\in\mathcal V</math>.
+* मजबूत सहिष्णुता कारक मुख्य रूप से किसी के लिए <math>(A,F)\in\mathcal V</math> और कोई सहिष्णुता संबंध <math>\sim</math> पर <math>(A,F)</math>, विशिष्टता की स्थिति सत्य है, और <math>(A/{\sim},F/{\sim})\in\mathcal V</math>.
-प्रत्येक दृढ़ता से सहन करने योग्य विविधता सहनशीलता कारक है, लेकिन इसके विपरीत नहीं।
+प्रत्येक दृढ़ता से सहन करने योग्य विविधता सहनशीलता कारक है, किन्तु इसके विपरीत नहीं।
 == उदाहरण ==
-=== सेट ===
+=== समुच्चय ===
-एक समुच्चय (गणित) एक बीजगणितीय संरचना है जिसमें कोई भी संक्रिया नहीं होती है। इस मामले में, सहिष्णुता संबंध केवल प्रतिवर्त संबंध सममित संबंध हैं और यह तुच्छ है कि विभिन्न प्रकार के सेट दृढ़ता से सहनशीलता कारक हैं।
+किसी समुच्चय (गणित) एक बीजगणितीय संरचना है जिसमें कोई भी संक्रिया नहीं होती है। इस स्थिति में, सहिष्णुता संबंध केवल प्रतिवर्त संबंध सममित संबंध हैं और यह तुच्छ है कि विभिन्न प्रकार के समुच्चय दृढ़ता से सहनशीलता कारक हैं।
 === समूह ===
-एक [[समूह (गणित)]] पर, प्रत्येक सहिष्णुता संबंध एक सर्वांगसम संबंध है। विशेष रूप से, यह सभी बीजगणितीय संरचनाओं के लिए सत्य है जो समूह हैं जब उनके कुछ कार्यों को भुला दिया जाता है, उदा। रिंग (गणित) एस, वेक्टर रिक्त स्थान, [[मॉड्यूल (गणित)]] एस, [[बूलियन बीजगणित]], आदि।<ref name="Schein">{{cite journal|date=1987|doi=10.1016/0012-365X(87)90194-4|first1=Boris M.|issn=0012-365X|journal=Discrete Mathematics|language=en|last1=Schein|mr=0887364|pages=253–262|title=सहिष्णुता संबंधों के अर्धसमूह|volume=64|zbl=0615.20045}}</ref>{{rp|261–262}} इसलिए, समूह (गणित) s, वलय (गणित) s, सदिश स्थान, मॉड्यूल (गणित) s और बूलियन बीजगणित की किस्में भी दृढ़ता से सहन करने योग्य हैं।
+एक [[समूह (गणित)]] पर, प्रत्येक सहिष्णुता संबंध सर्वांगसम संबंध है। विशेष रूप से, यह सभी बीजगणितीय संरचनाओं के लिए सत्य है जो समूह हैं जब उनके कुछ कार्यों को भुला दिया जाता है, उदाहरण के लिे वलय (गणित) एस, वेक्टर रिक्त स्थान, [[मॉड्यूल (गणित)]] एस, [[बूलियन बीजगणित]], आदि सम्मिलित हैं।<ref name="Schein">{{cite journal|date=1987|doi=10.1016/0012-365X(87)90194-4|first1=Boris M.|issn=0012-365X|journal=Discrete Mathematics|language=en|last1=Schein|mr=0887364|pages=253–262|title=सहिष्णुता संबंधों के अर्धसमूह|volume=64|zbl=0615.20045}}</ref>{{rp|261–262}} इसलिए, समूह (गणित) s, वलय (गणित) s, सदिश स्थान, मॉड्यूल (गणित) s और बूलियन बीजगणित की किस्में भी दृढ़ता से सहन करने योग्य हैं।
-=== जाली ===
+=== लैटिस ===
-एक सहिष्णुता संबंध के लिए <math>\sim</math> एक जाली पर (आदेश) <math>L</math>, हर सेट में <math>L/{\sim}</math> का उत्तल उपजाल है <math>L</math>. इस प्रकार, सभी के लिए <math>A\in L/{\sim}</math>, अपने पास
+किसी सहिष्णुता संबंध के लिए <math>\sim</math> एक लैटिस पर (आदेश) <math>L</math>, हर समुच्चय में <math>L/{\sim}</math> का उत्तल उपजाल है <math>L</math>. इस प्रकार, सभी के लिए <math>A\in L/{\sim}</math>, अपने पास
 :<math>A=\mathop\uparrow A\cap\mathop\downarrow A</math>
 विशेष रूप से, निम्नलिखित परिणाम धारण करते हैं।
-* <math>a\sim b</math> अगर और केवल अगर <math>a\vee b\sim a\wedge b</math>.
+* <math>a\sim b</math> यदि और केवल यदि <math>a\vee b\sim a\wedge b</math>.
-* अगर <math>a\sim b</math> और <math>a\le c,d\le b</math>, तब <math>c\sim d</math>.
+* यदि <math>a\sim b</math> और <math>a\le c,d\le b</math>, तब <math>c\sim d</math>.
+लैटिस (आदेश) की विविधता दृढ़ता से सहनशीलता कारक है। अर्ताथ किसी भी लैटिस (आदेश) को देखते हुए <math>(L,\vee_L,\wedge_L)</math> और कोई सहिष्णुता संबंध <math>\sim</math> पर <math>L</math>, प्रत्येक के लिए <math>A,B\in L/{\sim}</math> अद्वितीय रूप से उपस्थित हैं।
-जाली (आदेश) की विविधता दृढ़ता से सहनशीलता कारक है। यानी किसी भी जाली (आदेश) को देखते हुए <math>(L,\vee_L,\wedge_L)</math> और कोई सहिष्णुता संबंध <math>\sim</math> पर <math>L</math>, प्रत्येक के लिए <math>A,B\in L/{\sim}</math> अद्वितीय मौजूद हैं <math>A\vee_{L/{\sim}}B,A\wedge_{L/{\sim}}B\in L/{\sim}</math> ऐसा है कि
+<math>A\vee_{L/{\sim}}B,A\wedge_{L/{\sim}}B\in L/{\sim}</math> ऐसा है कि
 :<math>\{a\vee_Lb\colon a\in A,\;b\in B\}\subseteq A\vee_{L/{\sim}}B</math>
 :<math>\{a\wedge_Lb\colon a\in A,\;b\in B\}\subseteq A\wedge_{L/{\sim}}B</math>
 और भागफल बीजगणित
 :<math>(L/{\sim},\vee_{L/{\sim}},\wedge_{L/{\sim}})</math>
-एक जाली (आदेश) फिर से है।<ref name="Czédli">{{cite journal|date=1982|first=Gábor|issn=0001-6969|journal=Acta Scientiarum Mathematicarum|language=en|last=Czédli|mr=0660510|pages=35–42|title=सहिष्णुता द्वारा कारक जाली|volume=44|zbl=0484.06010}}</ref><ref name="GrätzerWenzel">{{cite journal
+एक लैटिस (आदेश) फिर से है।<ref name="Czédli">{{cite journal|date=1982|first=Gábor|issn=0001-6969|journal=Acta Scientiarum Mathematicarum|language=en|last=Czédli|mr=0660510|pages=35–42|title=सहिष्णुता द्वारा कारक जाली|volume=44|zbl=0484.06010}}</ref><ref name="GrätzerWenzel">{{cite journal
 |first1=George
 |last1=Grätzer
@@ Line 85: / Line 83: @@
 }}</ref>{{rp|44, Theorem 22}}
-विशेष रूप से, हम सहिष्णुता संबंधों पर वितरणात्मक जाली और [[मॉड्यूलर जाली]] के भागफल जाली बना सकते हैं। हालाँकि, सर्वांगसमता संबंधों के विपरीत, भागफल जालकों को फिर से वितरण या मॉड्यूलर होने की आवश्यकता नहीं है। दूसरे शब्दों में, वितरणात्मक जाली और मॉड्यूलर जाली की किस्में सहनशीलता कारक हैं, लेकिन दृढ़ता से सहनशीलता कारक नहीं हैं।<ref name="Czédli" />{{rp|40}}<ref name="ChajdaRadeleczki" />वास्तव में, विभिन्न प्रकार की जाली की प्रत्येक उप-किस्म सहिष्णुता कारक है, और स्वयं के अलावा केवल दृढ़ता से सहन करने योग्य उप-भिन्नता तुच्छ उप-भिन्नता (एक-तत्व जाली से मिलकर) है।<ref name="Czédli" />{{rp|40}} इसका कारण यह है कि प्रत्येक जाली (आदेश) दो-तत्व जाली के प्रत्यक्ष उत्पाद के उप-वर्ग के सहिष्णुता संबंध पर भागफल जाली के उप-वर्ग के लिए समरूप है।<ref name="Czédli" />{{rp|40, Theorem 3}}
+विशेष रूप से, हम सहिष्णुता संबंधों पर वितरणात्मक लैटिस और [[मॉड्यूलर जाली|मॉड्यूलर लैटिस]] के भागफल लैटिस बना सकते हैं। चूंकि, सर्वांगसमता संबंधों के विपरीत, भागफल लैटिसों को फिर से वितरण या मॉड्यूलर होने की आवश्यकता नहीं है। दूसरे शब्दों में, वितरणात्मक लैटिस और मॉड्यूलर लैटिस की किस्में सहनशीलता कारक हैं, किन्तु दृढ़ता से सहनशीलता कारक नहीं हैं।<ref name="Czédli" />{{rp|40}}<ref name="ChajdaRadeleczki" />वास्तव में, विभिन्न प्रकार की लैटिस की प्रत्येक उप-किस्म सहिष्णुता कारक है, और स्वयं के अतिरिक्त केवल दृढ़ता से सहन करने योग्य उप-भिन्नता तुच्छ उप-भिन्नता एक-तत्व लैटिस से मिलकर बनाता है।<ref name="Czédli" />{{rp|40}} इसका कारण यह है कि प्रत्येक लैटिस (आदेश) दो-तत्व लैटिस के प्रत्यक्ष उत्पाद के उप-वर्ग के सहिष्णुता संबंध पर भागफल लैटिस के उप-वर्ग के लिए समरूप है।<ref name="Czédli" />{{rp|40, Theorem 3}}
 == यह भी देखें ==
 * [[निर्भरता संबंध]]
 *[[अर्धसकर्मक संबंध]]- सामाजिक पसंद सिद्धांत में उदासीनता को औपचारिक रूप देने के लिए एक सामान्यीकरण
-* कच्चा सेट
+* राॅ समुच्चय
 ==संदर्भ==

Anonymous

Search

सहिष्णुता संबंध: Difference between revisions

Namespaces

More

Page actions

Revision as of 23:19, 25 May 2023

Contents

परिभाषाएँ

द्विआधारी संबंधों के रूप में

कवर के रूप में

दो परिभाषाओं की समानता

सहिष्णुता संबंधों पर भागफल बीजगणित

उदाहरण

समुच्चय

समूह

लैटिस

यह भी देखें

संदर्भ

अग्रिम पठन

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

सहिष्णुता संबंध: Difference between revisions

Revision as of 23:19, 25 May 2023

परिभाषाएँ

द्विआधारी संबंधों के रूप में

कवर के रूप में

दो परिभाषाओं की समानता

सहिष्णुता संबंधों पर भागफल बीजगणित

उदाहरण

समुच्चय

समूह

लैटिस

यह भी देखें

संदर्भ

अग्रिम पठन

Navigation

Wiki tools

Page tools

Other projects

Categories