एंटीसिमेट्रिक संबंध
This article needs additional citations for verification. (January 2010) (Learn how and when to remove this template message) |
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.
गणित में, एक द्विआधारी संबंध एक सेट पर (गणित) यदि 'विशिष्ट' तत्वों का कोई युग्म नहीं है, तो यह विषम है जिनमें से प्रत्येक से संबंधित है अन्य के लिए। अधिक औपचारिक रूप से, अगर सभी के लिए ठीक है तो एंटीसिमेट्रिक है
उदाहरण
प्राकृतिक संख्याओं पर विभाज्यता संबंध एक प्रतिसममित संबंध का एक महत्वपूर्ण उदाहरण है। इस संदर्भ में, प्रतिसममिति का अर्थ है कि दो संख्याओं में से प्रत्येक को दूसरे से विभाज्य होने का एकमात्र तरीका यह है कि यदि दोनों वास्तव में एक ही संख्या हैं; समकक्ष, अगर और विशिष्ट हैं और का कारक है तब का कारक नहीं हो सकता उदाहरण के लिए, 12 4 से विभाज्य है, लेकिन 4 12 से विभाज्य नहीं है।
सामान्य आदेश संबंध वास्तविक संख्याओं पर एंटीसिमेट्रिक है: यदि दो वास्तविक संख्याओं के लिए और दोनों असमानता (गणित) और पकड़ो, फिर और बराबर होना चाहिए। इसी प्रकार, उपसमुच्चय क्रम किसी दिए गए सेट के सबसेट पर एंटीसिमेट्रिक है: दो सेट दिए गए हैं और यदि प्रत्येक तत्व (गणित) में में भी है और प्रत्येक तत्व में में भी है तब और सभी समान तत्व होने चाहिए और इसलिए समान होना चाहिए:
गुण
आंशिक आदेश और कुल आदेश परिभाषा के अनुसार विषम हैं। एक रिश्ता सममित संबंध और एंटीसिमेट्रिक दोनों हो सकता है (इस मामले में, यह कोरफ्लेक्टिव संबंध होना चाहिए), और ऐसे संबंध हैं जो न तो सममित हैं और न ही एंटीसिमेट्रिक (उदाहरण के लिए, जैविक प्रजातियों पर संबंध का शिकार)।
एंटीसिमेट्री असममित संबंध से अलग है: एक संबंध असममित है यदि और केवल अगर यह एंटीसिमेट्रिक और इर्रेफ्लेक्सिव संबंध है।
यह भी देखें
संदर्भ
- Weisstein, Eric W. "Antisymmetric Relation". MathWorld.
- Lipschutz, Seymour; Marc Lars Lipson (1997). Theory and Problems of Discrete Mathematics. McGraw-Hill. p. 33. ISBN 0-07-038045-7.
- nLab antisymmetric relation