पृथक्करण सम्बन्ध

गणित में, पृथक्करण संबंध वस्तुओं के एक समूह को एक असम्बद्ध वृत्त में व्यवस्थित करने का एक औपचारिक तरीका है। इसे चतुर्धातुक संबंध के रूप में परिभाषित किया गया है S(a, b, c, d) कुछ सिद्धांतों को संतुष्ट करना, जिसकी व्याख्या इस प्रकार की गई है कि ए और सी बी को डी से अलग करते हैं। जबकि एक रैखिक क्रम एक सेट को एक सकारात्मक अंत और एक नकारात्मक अंत प्रदान करता है, एक पृथक्करण संबंध न केवल यह भूल जाता है कि कौन सा अंत है, बल्कि यह भी भूल जाता है कि अंत कहाँ स्थित हैं। इस तरह यह बीच के संबंध और चक्रीय क्रम की अवधारणाओं को अंतिम, और कमजोर करने वाला है। ऐसा कुछ भी नहीं है जिसे भुलाया जा सके: अंतर-परिभाषा की प्रासंगिक भावना तक, ये तीन संबंध तर्कसंगत संख्याओं के क्रमबद्ध सेट के एकमात्र गैर-तुच्छ कटौती हैं।

आवेदन

पृथक्करण का उपयोग यह दिखाने में किया जा सकता है कि वास्तविक प्रक्षेप्य तल एक पूर्ण स्थान है। अलगाव संबंध का वर्णन 1898 में जॉन वैलाती द्वारा स्वयंसिद्ध शब्दों के साथ किया गया था।

• abcd =badc
• abcd =adcb
• abcd ⇒ ¬acbd
• abcd ∨acdb ∨adbc
• abcd ∧acde ⇒abde.

बिंदुओं के पृथक्करण के संबंध को एच.एस.एम. कॉक्सेटर ने अपनी पाठ्यपुस्तक द रियल प्रोजेक्टिव प्लेन में AC//BD लिखा था। निरंतरता का स्वयंसिद्ध प्रयोग इस प्रकार है: बिंदुओं के प्रत्येक मोनोटोनिक अनुक्रम की एक सीमा होती है। पृथक्करण संबंध का उपयोग परिभाषाएँ प्रदान करने के लिए किया जाता है:

• {ए_n} मोनोटोनिक है ≡ ∀ n > 1 $A_{0}A_{n}//A_{1}A_{n+1}.$
• M एक 'सीमा' है ≡ (∀ n > 2 $A_{1}A_{n}//A_{2}M$) ∧ (∀ पी $A_{1}P//A_{2}M$ ⇒ ∃ एन $A_{1}A_{n}//PM$ ).