असममित संबंध
Jump to navigation
Jump to search
Transitive binary relations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
✗ indicates that the property may, or may not hold. All definitions tacitly require the homogeneous relation be transitive: for all if and then and there are additional properties that a homogeneous relation may satisfy. | indicates that the column's property is required by the definition of the row's term (at the very left). For example, the definition of an equivalence relation requires it to be symmetric.
गणित में, एक असममित संबंध एक द्विआधारी संबंध है एक सेट पर (गणित) जहां सभी के लिए यदि से संबंधित है तब से संबंधित नहीं है [1]
औपचारिक परिभाषा
एक द्विआधारी संबंध कोई उपसमुच्चय है का दिया गया लिखो अगर और केवल अगर जिसका मतलब है कि के लिए आशुलिपि है भाव के रूप में पढ़ा जाता है से संबंधित है द्वारा द्विआधारी संबंध कहा जाता हैasymmetricअगर सभी के लिए यदि सच है तो गलत है; वह है, अगर तब इसे प्रथम-क्रम तर्क के अंकन में लिखा जा सकता है
एक तार्किक तुल्यता परिभाषा है:
- सबके लिए कम से कम एक और है false,
जिसे पहले क्रम के तर्क के रूप में लिखा जा सकता है:
असममित संबंध का एक उदाहरण संबंध से कम है वास्तविक संख्या ओं के बीच: यदि फिर अनिवार्य रूप से से कम नहीं है कम या बराबर संबंध दूसरी ओर, असममित नहीं है, क्योंकि उलटना उदाहरण के लिए, का उत्पादन और दोनों सच हैं।
विषमता वही नहीं है जो सममित संबंध नहीं है: कम-से-या-बराबर संबंध एक ऐसे संबंध का उदाहरण है जो न तो सममित है और न ही असममित है। रिक्त संबंध एकमात्र ऐसा संबंध है जो (रिक्त सत्य) सममित और असममित दोनों है।
गुण
- एक संबंध असममित है यदि और केवल यदि यह प्रतिसममित संबंध और प्रतिवर्ती संबंध दोनों है।[2]
- द्विआधारी संबंध#प्रतिबंध और असममित संबंधों के विलोम संबंध भी असममित होते हैं। उदाहरण के लिए, का प्रतिबंध वास्तविक से पूर्णांक तक अभी भी असममित और व्युत्क्रम है का असममित भी है।
- एक सकर्मक संबंध असममित है यदि और केवल यदि यह अपरिवर्तनीय है:[3] यदि और संक्रामण देता है असंबद्धता के विपरीत।
- परिणामस्वरूप, एक संबंध सकर्मक और असममित होता है यदि और केवल यदि यह एक सख्त आंशिक क्रम है।
- सभी असममित संबंध सख्त आंशिक आदेश नहीं होते हैं। एक असममित गैर-संक्रमणीय, यहां तक कि प्रतिसंक्रमणीय संबंध का एक उदाहरण है rock paper scissors रिश्ता: अगर धड़कता है तब हरा नहीं करता है और अगर धड़कता है और धड़कता है तब हरा नहीं करता है
- एक असममित संबंध के लिए Connex संबंध होना आवश्यक नहीं है। उदाहरण के लिए, सख्त उपसमुच्चय संबंध असममित है, और कोई भी सेट नहीं है और दूसरे का एक सख्त उपसमुच्चय है। एक संबंध जुड़ा हुआ है अगर और केवल अगर इसका पूरक असममित है।
यह भी देखें
- टार्स्की का वास्तविकताओं का स्वयंसिद्धीकरण - इसका एक हिस्सा वह आवश्यकता है जो वास्तविक संख्याओं पर असममित हो।
संदर्भ
- ↑ Gries, David; Schneider, Fred B. (1993), A Logical Approach to Discrete Math, Springer-Verlag, p. 273.
- ↑ Nievergelt, Yves (2002), Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Springer-Verlag, p. 158.
- ↑ Flaška, V.; Ježek, J.; Kepka, T.; Kortelainen, J. (2007). Transitive Closures of Binary Relations I (PDF). Prague: School of Mathematics - Physics Charles University. p. 1. Archived from the original (PDF) on 2013-11-02. Retrieved 2013-08-20. Lemma 1.1 (iv). Note that this source refers to asymmetric relations as "strictly antisymmetric".