कडक ऑर्डर संबंध. कठोर ऑर्डर संबंध कठोर रेखीय ऑर्डर संबंधात गुणधर्म असतात

"ऑर्डर" हा शब्द बर्‍याचदा विविध समस्यांमध्ये वापरला जातो. अधिकारी आज्ञा देतो: "संख्येच्या क्रमाने गणना करा", अंकगणित ऑपरेशन्स एका विशिष्ट क्रमाने केले जातात, अॅथलीट उंचीवर जातात, सर्व आघाडीच्या बुद्धिबळपटूंना तथाकथित एलो गुणांकानुसार एका विशिष्ट क्रमाने व्यवस्था केली जाते (एक अमेरिकन प्राध्यापक ज्याने सिस्टम गुणांक विकसित केले, खेळाडूंचे सर्व यश आणि अपयश विचारात घेण्यास परवानगी दिली), चॅम्पियनशिपनंतर सर्व फुटबॉल संघ एका विशिष्ट क्रमाने आयोजित केले जातात, इत्यादींनी गाढव लावले नाही "!).

एकामागून एक विशिष्ट संचाच्या घटकांची मांडणी करून, आम्ही त्याद्वारे त्यांना क्रम देतो किंवा त्यांच्यामध्ये काही संबंध प्रस्थापित करतो. एका रांगेत.सर्वात सोपे उदाहरण म्हणजे नैसर्गिक संख्यांचा नैसर्गिक क्रम. त्याची नैसर्गिकता या वस्तुस्थितीमध्ये आहे की कोणत्याही दोन नैसर्गिक संख्यांसाठी आपल्याला माहित आहे की त्यापैकी कोणती दुसऱ्याला फॉलो करते किंवा त्यापैकी कोणती संख्या दुसऱ्यापेक्षा मोठी आहे, म्हणून आपण नैसर्गिक संख्यांची क्रमवारी लावू शकतो जेणेकरून मोठी संख्या स्थित असेल. उदाहरणार्थ, लहानाच्या उजवीकडे: 1, 2, 3, ... . अर्थात, घटकांचा क्रम डावीकडून उजवीकडे नव्हे तर कोणत्याही दिशेने लिहिला जाऊ शकतो. नैसर्गिक संख्यांच्या संकल्पनेत आधीच ऑर्डरची कल्पना आहे. कोणत्याही संचाच्या घटकांची काही सापेक्ष व्यवस्था स्थापित करून, आम्ही त्यावर काही बायनरी ऑर्डर रिलेशन सेट करतो, ज्याचे प्रत्येक विशिष्ट बाबतीत स्वतःचे नाव असू शकते, उदाहरणार्थ, "कमी असणे", "मोठे असणे", "यात समाविष्ट असणे. ", "फॉलो", इ. ऑर्डरसाठी चिन्हे देखील भिन्न असू शकतात, उदाहरणार्थ, Í, इ.

ऑर्डर रिलेशनचे मुख्य वेगळे वैशिष्ट्य म्हणजे त्यात संक्रमणाची मालमत्ता आहे. तर, जर आपण काही वस्तूंचा क्रम हाताळत आहोत x 1, x 2, ..., x n,... , आदेश दिले, उदाहरणार्थ, संबंधात, नंतर काय केले जाते पासून x १x २... x n..., कोणत्याही जोडीसाठी ते अनुसरण केले पाहिजे x i, x jया क्रमाचे घटक देखील केले जातात x ix j:

घटकांच्या जोडीसाठी x ijरिलेशनशिप ग्राफमध्ये, आम्ही वरच्या बाजूने एक बाण काढतो x iशीर्षस्थानी x j, म्हणजे एका लहान घटकापासून मोठ्या घटकापर्यंत.

ऑर्डर रिलेशन आलेख तथाकथित वापरून सरलीकृत केले जाऊ शकते हॅसे आकृत्या.हॅसे आकृती खालीलप्रमाणे तयार केली आहे. लहान घटक खाली ठेवलेले आहेत आणि मोठे घटक वर आहेत. असा एक नियम प्रतिमेसाठी पुरेसा नसल्यामुळे, दोन घटकांपैकी कोणता घटक मोठा आहे आणि कोणता इतर घटकांपेक्षा लहान आहे हे दर्शविणाऱ्या रेषा काढल्या जातात. या प्रकरणात, एकमेकांच्या घटकांचे त्वरित अनुसरण करण्यासाठी फक्त रेषा काढणे पुरेसे आहे. हॅसे आकृतीची उदाहरणे आकृतीमध्ये दर्शविली आहेत:


हॅसे डायग्राममध्ये बाण वगळले जाऊ शकतात. हॅसे आकृती विमानात फिरवता येते, परंतु अनियंत्रितपणे नाही. वळताना, आकृतीच्या शिरोबिंदूंची सापेक्ष स्थिती (वर - खाली) राखणे आवश्यक आहे:

वृत्ती आरगर्दीत एक्सम्हणतात कठोर आदेशाचा संबंध,जर ते सकर्मक आणि असममित असेल.

एक संच ज्यामध्ये कठोर ऑर्डर संबंध परिभाषित केला जातो त्याला म्हणतात व्यवस्थितउदाहरणार्थ, नैसर्गिक संख्यांचा संच "त्यापेक्षा कमी" या संबंधाने क्रमबद्ध केला जातो. परंतु समान संच दुसर्‍या नात्याद्वारे देखील क्रमाने दिलेला आहे - “विभाजित आहे” आणि “मोठे”.

नैसर्गिक संख्यांच्या संचामध्ये "त्यापेक्षा कमी" संबंधाचा आलेख किरण म्हणून दर्शविला जाऊ शकतो:

वृत्ती आरमध्ये एक्ससंबंध म्हणतात कठोर नसलेला (आंशिक) ऑर्डर, जर ते सकर्मक आणि विषमताविरोधी असेल. नॉनस्ट्रिक्ट ऑर्डरचा प्रत्येक संबंध रिफ्लेक्सिव्ह असतो.

"आंशिक" हे विशेषण हे वस्तुस्थिती व्यक्त करते की संचाचे सर्व घटक या संदर्भात तुलना करता येत नाहीत.

आंशिक ऑर्डर संबंधाची विशिष्ट उदाहरणे "अधिक नाही", "कमी नाही", "जुने नाही" आहेत. नातेसंबंधांच्या नावातील "नाही" हा कण त्यांची रिफ्लेक्सिव्हिटी व्यक्त करतो. "आणखी नाही" हे संबंध "किंवा त्यापेक्षा कमी किंवा समान" या संबंधाशी जुळतात आणि "कमी नाही" हे संबंध "त्यापेक्षा मोठे किंवा समान" सारखे आहे. या संदर्भात, आंशिक आदेश देखील म्हणतात शिथिलक्रमाने बर्‍याचदा, "" चिन्हाद्वारे आंशिक (नॉन-कठोर) ऑर्डर संबंध दर्शविला जातो.

काही संचाच्या उपसंचांमधील U समावेशन संबंध देखील एक आंशिक क्रम आहे. अर्थात, या संदर्भात कोणतेही दोन उपसंच तुलना करता येत नाहीत. खालील आकृती संच (1,2,3) च्या सर्व उपसंचांच्या संचावर समावेश करून आंशिक क्रम दर्शवते. आलेखावरील बाण, जे वरच्या दिशेने निर्देशित केले पाहिजेत, ते दर्शविलेले नाहीत.

ज्या सेटवर आंशिक ऑर्डर दिली जाते त्यांना कॉल केले जाते अंशतः आदेश दिलेला,किंवा फक्त व्यवस्थितसंच

घटक एक्सआणि येथेअर्धवट ऑर्डर केलेले संच म्हणतात तुलना करातर एक्सयेथेकिंवा येथेएक्स.अन्यथा, त्यांची तुलना होऊ शकत नाही.

एक क्रमबद्ध संच ज्यामध्ये कोणतेही दोन घटक तुलना करता येतात त्याला म्हणतात रेखीय क्रमाने, आणि ऑर्डर एक रेखीय क्रम आहे. रेखीय क्रमाला परिपूर्ण ऑर्डर देखील म्हणतात.

उदाहरणार्थ, नैसर्गिक क्रमासह सर्व वास्तविक संख्यांचा संच, तसेच त्याचे सर्व उपसंच, रेखीय क्रमाने दिलेले आहेत.

सर्वात वैविध्यपूर्ण निसर्गाच्या वस्तू ऑर्डर केल्या जाऊ शकतात श्रेणीबद्धपणे.येथे काही उदाहरणे आहेत.

उदाहरण 1: पुस्तकाचे भाग क्रमाने दिलेले आहेत जेणेकरून पुस्तकात अध्याय आहेत, अध्यायांमध्ये विभाग आहेत आणि विभागांमध्ये उपविभाग आहेत.

उदाहरण 2. कॉम्प्युटर फाइल सिस्टीममधील फोल्डर्स एकमेकांमध्ये नेस्टेड केले जातात, एक शाखा संरचना तयार करतात.

उदाहरण 3. पालक-मुलांचे नाते तथाकथित स्वरूपात चित्रित केले जाऊ शकते वंशावळ,जे कोणाचे पूर्वज (किंवा संतती) कोण आहे हे दर्शविते.

सेटवर येऊ द्या परंतुआंशिक आदेश दिले. घटक एक्सम्हणतात कमाल (किमान)संच A चा घटक, जर वस्तुस्थिती असेल तर एक्सयेथे(येथेएक्स),समानता खालीलप्रमाणे आहे एक्स= yदुसऱ्या शब्दांत, घटक एक्सकोणत्याही घटकासाठी कमाल (किमान) आहे येथेकिंवा ते खरे नाही एक्सयेथे(येथेएक्स), किंवा केले जाते एक्स=yअशा प्रकारे, कमाल (किमान) घटक इतर सर्व घटकांपेक्षा जास्त (कमी) आहे ज्यांच्याशी तो संबंध आहे.

घटक एक्सम्हणतात सर्वात मोठा (सर्वात लहान),जर कोणत्याहीसाठी येथेÎ परंतुकेले येथे< х (х< у).

अंशतः ऑर्डर केलेल्या सेटमध्ये अनेक किमान आणि/किंवा कमाल घटक असू शकतात, परंतु एकापेक्षा जास्त किमान आणि कमाल घटक असू शकत नाहीत. सर्वात लहान (सर्वात मोठे) घटक देखील किमान (कमाल) आहे, परंतु संवाद सत्य नाही. डावीकडील आकृती दोन किमान आणि दोन कमाल घटकांसह आंशिक क्रम दर्शविते आणि उजवीकडे - सर्वात लहान आणि सर्वात मोठ्या घटकांसह आंशिक क्रम:

मर्यादित अंशतः ऑर्डर केलेल्या सेटमध्ये, नेहमी किमान आणि कमाल घटक असतात.

सर्वात मोठा आणि सर्वात लहान घटक असलेल्या ऑर्डर केलेल्या सेटला म्हणतात मर्यादितआकृती अनंत बाउंडेड सेटचे उदाहरण दाखवते. अर्थात, मर्यादित पृष्ठावर अनंत संचाचे चित्रण करणे अशक्य आहे, परंतु त्याच्या बांधकामाचे तत्त्व दर्शविणे शक्य आहे. येथे रेखाचित्र सुलभ करण्यासाठी शिरोबिंदूंजवळील लूप दाखवले जात नाहीत. त्याच कारणास्तव, ट्रान्झिटिव्हिटी गुणधर्माचे प्रदर्शन प्रदान करणारे आर्क्स दर्शविले जात नाहीत. दुसऱ्या शब्दांत, आकृती ऑर्डर रिलेशनचे हॅसे आकृती दर्शवते.

अनंत संचांमध्ये कमाल किंवा किमान किंवा दोन्ही असू शकत नाहीत. उदाहरणार्थ, नैसर्गिक संख्यांच्या संचामध्ये (1,2, 3, ...) सर्वात लहान घटक 1 आहे परंतु कमाल नाही. नैसर्गिक क्रमाने सर्व वास्तविक संख्यांच्या संचामध्ये सर्वात लहान किंवा सर्वात मोठा घटक नसतो. तथापि, त्याचा उपसंच सर्व संख्यांचा समावेश होतो एक्स< 5 मध्ये सर्वात मोठा घटक आहे (संख्या 5) परंतु सर्वात लहान घटक नाही.

R ला संच A वर बायनरी संबंध समजा.

व्याख्या. बायनरी संबंधसंच A वरील R ला A वरील ऑर्डर संबंध म्हणतात किंवा A वरील ऑर्डर संक्रामक आणि प्रति-सममित असल्यास.

व्याख्या. संच A वरील ऑर्डर संबंध R ला नॉन-स्ट्रिक्ट म्हणतात जर ते A वर रिफ्लेक्सिव्ह असेल, म्हणजे, A साठी.

ऑर्डर रिलेशन R ला कडक (A वर) असे म्हटले जाते जर ते A वर अँटीरेफ्लेक्सिव्ह असेल, म्हणजे, A पैकी कोणत्याही साठी. तथापि, संक्रमणात्मक संबंध R ची अँटीरिफ्लेक्सिव्ह आहे या वस्तुस्थितीवरून दिसून येते. म्हणून, आम्ही खालील समतुल्य व्याख्या देऊ शकतो.

व्याख्या. A संच A वरील बायनरी संबंध R ला A वर कठोर क्रम म्हणतात जर ते A वर संक्रामक आणि प्रतिरक्षी असेल.

उदाहरणे. 1. संच M च्या सर्व उपसंचांचा संच असू द्या. संचावरील समावेशन संबंध हा एक कठोर क्रम नसलेला संबंध आहे.

2. वास्तविक संख्यांच्या संचावरील संबंध हे अनुक्रमे कठोर आणि कठोर नसलेल्या क्रमाचे संबंध आहेत.

3. नैसर्गिक संख्यांच्या संचामधील विभाज्यता संबंध हा कठोर क्रम नसलेला संबंध आहे.

व्याख्या. A संच A वरील बायनरी संबंध R ला प्रीऑर्डर रिलेशन किंवा A वर प्रीऑर्डर असे म्हणतात जर ते रिफ्लेक्सिव्ह ऑन आणि ट्रांझिटिव्ह असेल.

उदाहरणे. 1. पूर्णांकांच्या संचामध्ये विभाज्यतेचे गुणोत्तर हा क्रम नाही. तथापि, ते रिफ्लेक्सिव्ह आणि ट्रांझिटिव्ह आहे, याचा अर्थ तो एक प्रीऑर्डर आहे.

2. तार्किक परिणाम संबंध हा प्रस्तावित तर्क सूत्रांच्या संचावर पूर्वक्रम आहे.

रेखीय क्रम. ऑर्डरचा एक महत्त्वाचा विशेष केस म्हणजे रेखीय ऑर्डर.

व्याख्या. सेटवरील ऑर्डर रिलेशनला रेखीय क्रम संबंध किंवा रेखीय क्रम असे म्हणतात जर ते ऑन जोडलेले असेल, म्हणजे A पासून कोणत्याही x, y साठी.

रेखीय नसलेल्या ऑर्डर संबंधाला सामान्यतः आंशिक ऑर्डर संबंध किंवा आंशिक ऑर्डर म्हणून संबोधले जाते.

उदाहरणे. 1. वास्तविक संख्यांच्या संचावरील "त्यापेक्षा कमी" हा संबंध रेखीय क्रमाचा संबंध आहे.

2. रशियन भाषेच्या शब्दकोषांमध्ये स्वीकारल्या जाणार्‍या क्रम संबंधांना लेक्सोग्राफिक म्हणतात. रशियन भाषेतील शब्दांच्या संचावरील कोशलेखन क्रम एक रेखीय क्रम आहे.

"ऑर्डर" हा शब्द अनेकदा विविध समस्यांमध्ये वापरला जातो. अधिकारी आज्ञा देतो: "संख्येच्या क्रमाने गणना करा", अंकगणित ऑपरेशन्स एका विशिष्ट क्रमाने केले जातात, अॅथलीट्स उंचीवर जातात, भागाच्या निर्मितीमध्ये ऑपरेशन्स करण्यासाठी ऑर्डर असते, वाक्यात शब्द क्रम असतो.

जेव्हा ऑर्डर येतो तेव्हा सर्व प्रकरणांमध्ये काय सामान्य आहे? वस्तुस्थिती की "ऑर्डर" या शब्दाचा असा अर्थ आहे: याचा अर्थ या किंवा त्या संचाचा कोणता घटक खालीलप्रमाणे आहे (किंवा कोणता घटक कोणत्या आधी आहे).

वृत्ती " एक्सअनुसरण करते येथे»संक्रामक: जर « एक्सअनुसरण करते येथे"आणि" येथेअनुसरण करते z", नंतर" xअनुसरण करते z" याव्यतिरिक्त, हे गुणोत्तर असममित असणे आवश्यक आहे: दोन भिन्नांसाठी एक्सआणि येथे, तर एक्सअनुसरण करते येथे, नंतर येथेअनुसरण करत नाही एक्स.

व्याख्या.वृत्ती आरसेटवर एक्सम्हणतात कडक ऑर्डर संबंध, जर ते सकर्मक आणि विषमताविरोधी असेल.

चला ग्राफची वैशिष्ट्ये आणि कठोर ऑर्डर संबंधांचा आलेख शोधू या.

एक उदाहरण विचारात घ्या. सेटवर एक्स= (5, 7, 10, 15, 12) संबंध आर: « एक्स < येथे" आम्ही हा संबंध जोड्यांच्या गणनेद्वारे परिभाषित करतो
आर = {(5, 7), (5, 10), (5, 15), (5, 12), (7, 10), (7, 15), (7, 12), (10, 15), (10, 12), (12, 15)}.

त्याचा आलेख तयार करू. आपण पाहतो की या संबंधाच्या आलेखाला लूप नाहीत. आलेखावर दुहेरी बाण नाहीत. जर पासून एक्सबाण जातो येथे, आणि पासून येथे- मध्ये z, नंतर पासून एक्सबाण जातो z(अंजीर 8).

तयार केलेला आलेख तुम्हाला संचाच्या घटकांची मांडणी करण्यास अनुमती देतो एक्सया क्रमाने:

{5, 7, 10, 12, 15}.

अंजीर मध्ये 6 (या प्रकरणातील § 6) स्तंभ VII, VIII हे कठोर क्रमाच्या संबंधांचे आलेख आहेत.

नॉन-कठोर ऑर्डर संबंध

वास्तविक संख्यांच्या संचामध्ये "कमी पेक्षा कमी" हा संबंध "कमी नाही" च्या विरुद्ध आहे. तो आता कडक आदेश नाही. मुद्दा आहे, येथे एक्स = येथे, संबंध एक्स ³ येथेआणि येथे ³ एक्स, म्हणजे संबंध "कमी नाही" हे प्रतिक्षेपी आहे.

व्याख्या.वृत्ती आरसेटवर एक्सम्हणतात गैर-कठोर ऑर्डर संबंध, जर ते रिफ्लेक्सिव्ह, अँटिसिमेट्रिक आणि ट्रांझिटिव्ह असेल.

असे संबंध ओळखीच्या नातेसंबंधाशी कठोर क्रमाचे संबंध आहेत.

सेटसाठी "नो मोअर" (£) संबंध विचारात घ्या

एक्स= (5, 7, 10, 15, 12). त्याचा आलेख तयार करूया (चित्र 9).

कठोर ऑर्डर रिलेशन आलेखाच्या विपरीत नॉन-स्ट्रिक्ट ऑर्डर रिलेशन आलेखामध्ये प्रत्येक शिरोबिंदूवर लूप असतात.

अंजीर वर. 6 (या प्रकरणातील § 6) आलेख V, VI हे कठोर नसलेल्या क्रमाच्या संबंधांचे आलेख आहेत.

ऑर्डर केलेले सेट

एखादा संच काही ऑर्डर रिलेशन द्वारे ऑर्डर केला जाऊ शकतो (ते पूर्णपणे ऑर्डर केलेले देखील म्हणतात), तर दुसरा अशा रिलेशनद्वारे अक्रमित किंवा अंशतः ऑर्डर केला जाऊ शकतो.

व्याख्या.खूप एक्सम्हणतात व्यवस्थितकाही ऑर्डर संबंध आरकोणत्याही दोन घटकांसाठी असल्यास x, yपासून एक्स:

(एक्स, येथे) Î आरकिंवा ( y, x) Î आर.

जर ए आरएक कडक ऑर्डर संबंध आहे, नंतर संच एक्सया संबंधाने अट अंतर्गत आदेश दिले: जर एक्स, येथेसंचाचे कोणतेही दोन असमान घटक एक्स, नंतर ( एक्स, येथे) Î आरकिंवा ( y, x) Î आर, किंवा कोणतेही दोन घटक x, yसंच एक्ससमान आहेत.

शालेय गणिताच्या अभ्यासक्रमावरून हे कळते की संख्या सेट होते एन , झेड , प्र , आर "पेक्षा कमी" गुणोत्तराने क्रमबद्ध (<).

विशिष्ट संचाच्या उपसमूहाचा संच समावेशन संबंध (U) किंवा वरील अर्थाने कठोर समावेशन संबंध (T) सादर करून क्रमबद्ध केला जात नाही, कारण तेथे उपसमूह आहेत ज्यापैकी एकही दुसऱ्यामध्ये समाविष्ट केलेला नाही. या प्रकरणात, दिलेला संच अंशतः संबंध Í (किंवा Ì) द्वारे क्रमबद्ध असल्याचे म्हटले जाते.

संच विचारात घ्या एक्स= (1, 2, 3, 4, 5, 6) आणि त्यात "पेक्षा कमी" आणि "ने भागाकार" असे दोन संबंध आहेत. हे दोन्ही संबंध ऑर्डर संबंध आहेत हे तपासणे सोपे आहे. रिलेशन पेक्षा कमी आलेख किरण म्हणून दर्शविला जाऊ शकतो.

"भागून" या संबंधाचा आलेख केवळ समतल भागावर दर्शविला जाऊ शकतो.

याशिवाय, दुसऱ्या रिलेशनच्या आलेखावर असे शिरोबिंदू आहेत जे बाणाने जोडलेले नाहीत. उदाहरणार्थ, 4 आणि 5 (चित्र 10) या अंकांना जोडणारा कोणताही बाण नाही.

पहिला संबंध एक्स < येथे' रेखीय म्हणतात. सर्वसाधारणपणे, ऑर्डर संबंध असल्यास आर(कठोर आणि कठोर नसलेल्या) सेटवर एक्समालमत्ता आहे: कोणत्याही साठी एक्स, येथेÎ एक्सकिंवा xRy, किंवा yRx, नंतर त्याला रेखीय क्रम संबंध आणि संच म्हणतात एक्सरेखीय क्रमाने केलेला संच आहे.

जर संच एक्सअर्थात, आणि यांचा समावेश आहे nघटक, नंतर रेखीय क्रम एक्सत्याच्या घटकांची संख्या 1,2,3, ..., ने कमी करते. n.

रेखीय क्रमाने दिलेल्या सेटमध्ये अनेक गुणधर्म आहेत:

1°. द्या a, b, c- घटक सेट करा एक्स, नातेसंबंधानुसार क्रमबद्ध आर. हे माहीत असेल तर aRvआणि vRc, मग आपण म्हणतो की घटक मध्येघटकांच्या दरम्यान स्थित आहे aआणि सह.

2°. खूप एक्स, नातेसंबंधाने रेखीय क्रमाने आर, त्याच्या कोणत्याही दोन घटकांमध्ये या संचाच्या घटकांचा केवळ मर्यादित संच असेल तर त्याला स्वतंत्र म्हणतात.

३°. जर या संचाच्या कोणत्याही दोन भिन्न घटकांसाठी त्यांच्यामध्ये संचाचा एक घटक असेल तर रेखीय क्रमाने तयार केलेल्या संचाला दाट असे म्हणतात.

द्विआधारी संबंधांचा एक महत्त्वाचा प्रकार म्हणजे ऑर्डर संबंध. कडक आदेश संबंध -बायनरी रिलेशन जे अँटीरेफ्लेक्सिव्ह, अँटिसिमेट्रिक आणि ट्रांझिटिव्ह आहे:

पदनाम - (अआधीचे b).उदाहरणे आहेत

संबंध "त्यापेक्षा मोठे", "त्यापेक्षा कमी", "जुने", इ. संख्यांसाठी, नेहमीच्या नोटेशन म्हणजे चिन्हे "<", ">".

कठोर आदेश नसलेला संबंध -बायनरी रिफ्लेक्सिव्ह, अँटिसिमेट्रिक आणि ट्रांझिटिव्ह रिलेशन. संख्यांसाठी कठोर नसलेल्या असमानतेच्या नैसर्गिक उदाहरणांसह, एक उदाहरण म्हणजे समतल किंवा अंतराळातील बिंदूंमधील संबंध "उत्पत्तीच्या जवळ असणे". पूर्णांक आणि वास्तविक संख्यांसाठी कठोर नसलेली असमानता, समानता आणि कठोर क्रम संबंधांचे विघटन म्हणून देखील मानले जाऊ शकते.

जर एखाद्या क्रीडा स्पर्धेमध्ये ठिकाणांची विभागणी केली जात नसेल (म्हणजे प्रत्येक सहभागीला ठराविक, फक्त खाणे/पुरस्कृत ठिकाण मिळते), तर हे कठोर आदेशाचे उदाहरण आहे; अन्यथा, कठोर नसलेले.

ऑर्डर संबंध सेटवर स्थापित केले जातात जेव्हा, त्याच्या घटकांच्या काही किंवा सर्व जोड्यांसाठी., संबंध

अग्रक्रम सेटिंग - सेटसाठी काही ऑर्डर रिलेशन म्हणतात त्याचा "ऑर्डर,आणि "स्व. याचा परिणाम म्हणून सेट होतो व्यवस्थितऑर्डर संबंध वेगवेगळ्या प्रकारे सादर केले जाऊ शकतात. एका मर्यादित संचासाठी, त्याच्या घटकांचे कोणतेही क्रमपरिवर्तन "काही कठोर क्रम निर्दिष्ट करते. अनंत संच अनंत मार्गांनी ऑर्डर केले जाऊ शकतात. केवळ तेच क्रम ज्यांना अर्थपूर्ण अर्थ आहे ते स्वारस्य आहे.

जर ऑर्डर संबंधासाठी आरसेटवर .एमआणि काही भिन्न घटक, किमान एक संबंध ठेवतो

aRbकिंवा ब रा,नंतर घटक aआणि bम्हणतात तुलना करण्यायोग्यअन्यथा - अतुलनीय

पूर्णपणे (किंवा रेखीय) ऑर्डर केलेला सेट मी -

संच ज्यावर ऑर्डर संबंध दिलेला आहे आणि सेटचे कोणतेही दोन घटक एमतुलना करण्यायोग्य अर्धवट ऑर्डर केलेला सेट- समान, परंतु अतुलनीय घटकांच्या जोड्यांना परवानगी आहे.

रेखीय क्रमाने दिलेला संच म्हणजे "उजवीकडे" संबंध असलेल्या सरळ रेषेवरील बिंदूंचा संच, पूर्णांक, परिमेय, वास्तविक संख्यांचा संच "त्यापेक्षा मोठा" इ.

अंशतः क्रमबद्ध केलेल्या संचाचे उदाहरण म्हणजे त्रिमितीय व्हेक्टर, जर क्रम असा दिला असेल तर

म्हणजेच, सर्व तीन निर्देशांकांमध्ये अग्रक्रम समाधानी असल्यास, व्हेक्टर (2, 8, 5) आणि (6, 9, 10) तुलना करता येतील आणि व्हेक्टर (2, 8, 5) आणि (12, 7, 40) ) तुलना करता येत नाही. क्रमवारीचा हा मार्ग कोणत्याही परिमाणाच्या सदिशांपर्यंत विस्तारित केला जाऊ शकतो: वेक्टर

जर व्हेक्टरच्या आधी

आणि केले

वेक्टर्सच्या सेटवर ऑर्डरिंगची इतर उदाहरणे विचारात घेतली जाऊ शकतात.

1) आंशिक ऑर्डर: , तर

त्या. वेक्टरच्या लांबीनुसार; समान लांबीचे वेक्टर अतुलनीय आहेत.

२) रेखीय क्रम: , तर a तर a-d,नंतर b< е ; जर jed \u003d c? u6 \u003d e, तर

शेवटचे उदाहरण वर्णक्रमानुसार संकल्पना सादर करते.

वर्णमालाजोड्याप्रमाणे भिन्न वर्णांचा एक टपल आहे ज्याला अक्षरांची अक्षरे म्हणतात. उदाहरण म्हणजे कोणत्याही युरोपियन भाषेची वर्णमाला, तसेच 10 अरबी अंकांची वर्णमाला. संगणकामध्ये, कीबोर्ड आणि काही एड्स वैध वर्णांची वर्णमाला निर्धारित करतात.

वर्णमालेतील शब्दपरंतु -वर्णमाला वर्णांचा टपल परंतु.हा शब्द एका ओळीत, डावीकडून उजवीकडे, मोकळी जागा न ठेवता वर्णक्रमानुसार लिहिलेला आहे एक नैसर्गिक संख्या हा डिजिटल वर्णमालामधील एक शब्द आहे A सूत्र नेहमी वर्णांच्या नॉन-रेखीय व्यवस्थेमुळे शब्द नसतो. ) आणि सबस्क्रिप्ट (व्हेरिएबल्सचे निर्देशांक, लॉगरिदमचे बेस) वर्ण, फ्रॅक्शनल बार, चिन्हे रेडिकल इ.; तथापि, काही नियमांनुसार, ते एका स्ट्रिंगमध्ये लिहिले जाऊ शकते, ज्याचा वापर केला जातो, उदाहरणार्थ, संगणक प्रोग्रामिंगमध्ये (उदाहरणार्थ, घातांक चिन्ह सलग 2 गुणाकार चिन्हे म्हणून लिहिले जाते: 5**3 म्हणजे तिसरी शक्ती संख्या 5.

लेक्सिको-ग्राफिक (अल्फाबेटिक) क्रमवारी -क्रमानुसार वर्णमालामधील विविध शब्दांसाठी

वर्ण सेट क्रम: जर

संभाव्य सादरीकरण , ज्यावर एकतर

(उपशब्द रिक्त असू शकतो), किंवा - रिक्त उपशब्द

या व्याख्येमध्ये - उपसर्ग (प्रारंभिक उपशब्द) जो दोन्ही शब्दांसाठी समान आहे - किंवा डावीकडील एका ओळीत पहिला शब्द भिन्न आहेत

वर्ण, किंवा - शब्दातील शेवटचे वर्ण - शेपूट

उपशब्द

अशाप्रकारे, शब्दांची वर्णमाला क्रमवारी डावीकडून वेगळे करणार्‍या पहिल्या वर्णाद्वारे निर्धारित केली जाते (उदाहरणार्थ, KONUS हा शब्द COSINUS या शब्दाच्या आधी आहे, कारण ते प्रथम तिसर्‍या अक्षरात भिन्न आहेत आणि H हा रशियन वर्णमाला C च्या आधी आहे). हे देखील मानले जाते की स्पेस वर्ण वर्णमालाच्या कोणत्याही वर्णाच्या आधी असतो - जेव्हा एक शब्द दुसर्‍याचा उपसर्ग असतो (उदाहरणार्थ, KOH आणि CONE)

सराव.दशांश चिन्हात समान संख्या असलेल्या नैसर्गिक संख्यांचा वर्णमाला क्रम त्यांच्या परिमाणानुसार क्रमाने सारखाच आहे हे तपासा.

द्या परंतु -अर्धवट ऑर्डर केलेला सेट. घटक म्हणतात जास्तीत जास्तमध्ये परंतु,जर त्यासाठी कोणताही घटक नसेल a< b. घटक aम्हणतात महानमध्ये परंतु,पेक्षा इतर कोणत्याही साठी असल्यास aआयटम पूर्ण b<а-

सममितीयरित्या परिभाषित केले आहेत किमान आणि किमानघटक. सर्वात मोठ्या आणि कमाल (अनुक्रमे, सर्वात लहान आणि किमान) घटकांच्या संकल्पना भिन्न आहेत - पहा. Fig.14 मध्ये उदाहरण. अंजीर मध्ये संच. 14a मध्ये सर्वात मोठा घटक आहे आर,ते कमाल देखील आहे, दोन किमान घटक आहेत: s आणि tसर्वात लहान नाही. अंजीर मध्ये 14b, त्याउलट, दोन कमाल घटक असलेला संच / आणि j,सर्वात मोठे, किमान नाही, ते सर्वात लहान आहे - एक: ट.

सर्वसाधारणपणे, जर एखाद्या सेटमध्ये सर्वात मोठा (अनुक्रमे, सर्वात लहान) घटक असेल तर फक्त एकच (काहीही असू शकत नाही).

तेथे अनेक कमाल आणि किमान घटक असू शकतात (अजिबात असू शकत नाही - अनंत सेटमध्ये; अंतिम बाबतीत, असणे आवश्यक आहे).

आणखी दोन उदाहरणे पाहू. - सेटवरील संबंध एन:

"वायविभाजित करते एक्स",किंवा "एक्ससंख्येचा विभाजक आहे Y"(उदाहरणार्थ,

) रिफ्लेक्सिव्ह आणि ट्रान्सिटिव्ह आहे. 30 क्रमांकाच्या विभाजकांच्या मर्यादित संचावर याचा विचार करा.

संबंध हा आंशिक क्रमाचा संबंध आहे (कठोर नसलेला)

आणि ऑर्डर 8 च्या खालील मॅट्रिक्सद्वारे दर्शविले जाते, ज्यामध्ये 31 वर्ण आहेत

8 शिरोबिंदू असलेल्या संबंधित योजनेमध्ये 31 बंडल असणे आवश्यक आहे. . तथापि, आम्ही 8 वगळल्यास ते पाहण्यासाठी अधिक सोयीचे होईल

रिलेशनची रिफ्लेक्सिव्हिटी (मॅट्रिक्सचे कर्ण घटक) आणि ट्रान्झिटिव्ह लिंक्स दर्शवणारे लिंक-लूप, उदा. बंडल

जर मध्यवर्ती क्रमांक Z असेल तर

(उदाहरणार्थ, एक घड कारण ). मग योजनेत

12 अस्थिबंधन असतील (चित्र 15); गहाळ दुवे "ट्रान्झिटिव्हिटीद्वारे" निहित आहेत. संख्या 1 सर्वात लहान आणि संख्या 30 आहे

मधील सर्वात मोठे घटक. जर आम्ही संख्या 30 पासून वगळले आणि

सेटवर समान आंशिक क्रम विचारात घ्या, नंतर

कोणताही सर्वात मोठा घटक नाही, परंतु 3 कमाल घटक आहेत: 6, 10, 15

आता हीच योजना बुलियन रिलेशनसाठी बनवू

(सर्व उपसंचांचा संच) तीन-घटकांच्या संचाचा

8 घटकांचा समावेश आहे:

आपण घटकांशी जुळत असल्यास ते तपासा अ, ब, क,संख्या 2, 3, 5, अनुक्रमे, आणि संचांच्या एकत्रीकरणाची क्रिया ही संबंधित संख्यांचा गुणाकार आहे (म्हणजे, उदाहरणार्थ, उपसंच

उत्पादन 2 5 = 10), तर संबंध मॅट्रिक्स अचूक असेल

नात्याप्रमाणेच; वर्णन केलेल्या या दोन संबंधांच्या योजना

लूप आणि ट्रान्झिटिव्ह कनेक्टिव्हचे संक्षेप नोटेशनपर्यंत जुळतात (चित्र 16 पहा). सर्वात लहान घटक आहे

आणि सर्वात मोठा -

बायनरी संबंध आरसेटवर परंतुआणि एससेटवर एटीम्हणतात समरूपीदरम्यान असल्यास ए आणि बीएक-टू-वन पत्रव्यवहार स्थापित करणे शक्य आहे Г, ज्यामध्ये, जर (उदा.

घटक संबंधित आहेत आर),नंतर (प्रतिमा

हे घटक संबंधित आहेत एस).

अशा प्रकारे, अंशतः ऑर्डर केलेले सेट आणि समरूपी असतात.

विचारात घेतलेले उदाहरण सामान्यीकरण मान्य करते.

बुलियन संबंध हा एक आंशिक क्रम आहे. जर ए

त्या. खूप समाविष्टीत आहे पीघटक, नंतर प्रत्येक

उपसंच अनुरूप पीसह-आयामी वेक्टर

घटक, वैशिष्ट्यपूर्ण कार्य कोठे आहे

A/ सेट करते. अशा सर्व सदिशांचा संच बिंदूंचा संच मानला जाऊ शकतो पी- 0 किंवा 1 समन्वयांसह मितीय अंकगणितीय जागा, किंवा दुसऱ्या शब्दांत, शिरोबिंदू म्हणून पी-आयामी

युनिट घन, द्वारे दर्शविलेले, म्हणजे एकक लांबीच्या कडा असलेले घन. च्या साठी n = 1, 2, 3 दर्शविलेले बिंदू अनुक्रमे विभागाचे टोक, चौरसाचे शिरोबिंदू आणि घन दर्शवतात - म्हणून सामान्य नाव. /7=4 साठी, या संबंधाचे ग्राफिक प्रतिनिधित्व आकृती.17 मध्ये आहे. 4-मितीय घनाच्या प्रत्येक शिरोबिंदूजवळ, संबंधित

4-घटकांचा उपसंच आणि चार-आयामी

या उपसंचाच्या वैशिष्ट्यपूर्ण कार्याचे प्रतिनिधित्व करणारा सदिश. शिरोबिंदू एकमेकांशी जोडलेले आहेत, उपसमूहांशी संबंधित आहेत जे अगदी एका घटकाच्या उपस्थितीत भिन्न आहेत.

अंजीर 17 मध्ये, चार-आयामी घन अशा प्रकारे चित्रित केले आहे की एकावर

पातळीमध्ये जोडीनुसार अतुलनीय घटक आहेत ज्यात रेकॉर्डमध्ये समान संख्येची एकके आहेत (0 ते 4 पर्यंत), किंवा, दुसऱ्या शब्दांत, प्रतिनिधित्व केलेल्या उपसमूहांमध्ये समान घटकांची संख्या.

Fig.18a,b मध्ये - 4-मितीय घनाचे इतर दृश्य प्रतिनिधित्व;

Fig.18a मध्ये पहिल्या व्हेरिएबलचा अक्ष ओहवर निर्देशित (उभ्यापासून हेतुपुरस्सर विचलन जेणेकरुन घनाच्या विविध कडा विलीन होणार नाहीत):

3-मितीय सबक्यूबशी संबंधित असताना एक्स= 0 खाली स्थित आहे, आणि साठी एक्स= 1 - उच्च. अंजीर वर. 186 समान धुरा ओहक्यूबच्या आतून बाहेरून निर्देशित केले जाते, आतील सबक्यूब त्याच्याशी संबंधित आहे एक्स= अरे, आणि बाह्य - X= 1.

एटी
मटेरियल फाइल 5-आयामी युनिट क्यूबची प्रतिमा दर्शवते (पृ. 134).

व्याख्यान योजना #14 बायनरी संबंधांचे वर्गीकरण

1. सममितीय संबंधांचे वर्गीकरण
2. प्रतिक्षेपी संबंधांचे वर्गीकरण
२.१. अर्ध-क्रम संबंध
२.२. कठोर नसलेल्या आंशिक ऑर्डरचे संबंध
२.३. नॉन-कठोर ऑर्डरिंग संबंध
२.४. खराब दर्जाची ऑर्डर
2.5. नॉन-कठोर कमकुवत ऑर्डर
२.६. कठोर नसलेला आदेश
3. कठोर आणि गैर-कठोर ऑर्डरच्या संबंधांची द्वैत
4. विविध प्रकारच्या संबंधांच्या गुणधर्मांचे विहंगावलोकन

सममितीय संबंधांचे वर्गीकरण

अॅसायक्लिक संबंधांच्या आलेखांची रचना

गुणात्मक क्रमाच्या संबंधांच्या आलेखांची रचना

कमकुवत क्रमाच्या संबंध आलेखांची रचना

कडक ऑर्डर संबंध

कठोर ऑर्डर (कडक प्राधान्य, सशक्त क्रम, कठोर रेखीय क्रम) एक अँटीरेफ्लेक्सिव्ह, संक्रमणात्मक, कमकुवतपणे जोडलेले बायनरी संबंध आहे (12).

कठोर ऑर्डर ही कमकुवत ऑर्डरची एक विशेष केस आहे (कठोर आंशिक प्राधान्य) अतिरिक्त कमकुवतपणे जोडलेल्या स्थितीसह.

उदाहरण: पूर्णांकांच्या संचावर "कठोरपणे कमी" संबंध.

प्रतिक्षेपी संबंधांचे वर्गीकरण

अर्ध-क्रम संबंध

या बायनरी संबंधांमुळे एका विशिष्ट संचाच्या घटकांची तुलना करणे शक्य होते, परंतु समानतेने नाही, परंतु विशिष्ट क्रमाने गटांच्या घटकांची मांडणी करून, उदा. आंशिक ऑर्डर करून.

अर्ध-ऑर्डर (नॉन-कठोर आंशिक प्राधान्य) एक प्रतिक्षेपी आणि संक्रमणात्मक बायनरी संबंध आहे (3).

उदाहरण: "एक भाऊ बनणे" (इव्हान-पीटर, आंद्रे-अण्णा)

अर्ध-ऑर्डरचे गुणधर्म

1. अर्ध-ऑर्डरचा छेदनबिंदू अर्ध-ऑर्डर राहतो.
2. अर्ध-ऑर्डरच्या सममितीय भागामध्ये रिफ्लेक्सिव्हिटी, सममिती आणि संक्रमणशीलता यांचे गुणधर्म आहेत आणि म्हणून तो समतुल्य संबंध आहे. R c = R/R inv
3. या छेदनबिंदूच्या सहाय्याने, एकमेकांशी समतुल्य असलेल्या रूपांचे गट निवडणे शक्य आहे, त्यानंतर निवडलेल्या गटांमध्ये मूळ संबंधांद्वारे व्युत्पन्न केलेला कठोर नसलेला आंशिक क्रम संबंध स्थापित केला जाऊ शकतो.
4. अर्ध-क्रमाचा असममित भाग हा एक सकर्मक आणि प्रतिक्षेपी संबंध = गुणात्मक क्रम आहे.

कठोर नसलेल्या आंशिक ऑर्डरचे संबंध

नॉनस्ट्रिक्ट आंशिक ऑर्डर रिलेशन (4) हे असे संबंध आहे ज्यामध्ये रिफ्लेक्सिव्हिटी, अँटीसिमेट्री आणि ट्रांझिटिव्हिटीचे गुणधर्म आहेत.

एक नॉन-कठोर आंशिक ऑर्डर एक अँटीसिमेट्रिक अर्ध-ऑर्डर आहे

उदाहरण: संच (आणि त्यांचे उपसंच) साठी परिभाषित "भाग व्हा" संबंध

कठोर नसलेल्या आंशिक ऑर्डरचे गुणधर्म

1. नॉनस्ट्रिक्ट आंशिक ऑर्डरचा छेदनबिंदू हा एक नॉनस्ट्रिक्ट आंशिक ऑर्डर राहतो.
2. नॉनस्ट्रिक्ट आंशिक क्रमाचा सममितीय भाग हा कर्ण असतो.
3. नॉनस्ट्रिक्ट आंशिक ऑर्डरचा असममित भाग हा (कठोर) गुणात्मक क्रम आहे.
4. इंटेलिजेंट सिस्टम्सच्या सिद्धांतामध्ये, अंशतः ऑर्डर केलेल्या सेट्सद्वारे महत्त्वपूर्ण भूमिका बजावली जाते - डोमेन त्यांच्यावर परिभाषित नॉन-कठोर आंशिक ऑर्डर संबंधांसह.
5. घटकांच्या प्रत्येक जोडीला वरच्या आणि खालच्या सीमा असलेल्या अतिरिक्त गुणधर्मासह अंशतः ऑर्डर केलेल्या सेटला जाळी म्हणतात. बुलियन बीजगणित हे जाळीचे एक विशिष्ट प्रकरण आहे.

नॉन-कठोर ऑर्डरिंग संबंध

नॉनस्ट्रिक्ट ऑर्डरिंग हे रिफ्लेक्सिव्ह रिलेशन आहे ज्यामध्ये कमकुवतपणे जोडलेली प्रॉपर्टी आहे (5).

एक सैल ऑर्डरिंग देखील पूर्णपणे जोडलेले संबंध म्हणून परिभाषित केले जाऊ शकते.

काही सहिष्णुता आणि वर्चस्व संबंधांच्या संयोजनाचा परिणाम म्हणून गैर-कठोर ऑर्डरिंग संबंधाचा विचार केला जाऊ शकतो.

कठोर नसलेल्या आंशिक ऑर्डरच्या संबंधांचे गुणधर्म

1. पूर्णत: जोडलेल्या संबंधांचे छेदनबिंदू आणि मिलन हे पूर्णपणे जोडलेले नाते असते.
2. कठोर नसलेल्या आंशिक क्रमाचा सममितीय भाग म्हणजे सहिष्णुता.
3. नॉनस्ट्रिक्ट आंशिक ऑर्डरिंगचा असममित भाग हा एक वर्चस्व आहे.
4. पूर्णपणे जोडलेल्या संबंधांसाठी, संक्रमणासाठी एक आवश्यक अट आहे की संबंध नकारात्मक आहे.
5. पूर्णपणे जोडलेल्या संबंधांसाठी, संक्रमणाची मालमत्ता ही नातेसंबंध नकारात्मकरित्या संक्रामक असण्यासाठी पुरेशी अट आहे.

नॉनस्ट्रिक्ट गुणात्मक ऑर्डरचे संबंध

बायनरी रिलेशन R ला नॉनस्ट्रिक्ट गुणात्मक क्रम म्हणतात जर ते ऋणात्मक आणि पूर्णपणे जोडलेले असेल (6).

नॉनस्ट्रिक्ट गुणात्मक ऑर्डर म्हणजे नकारात्मक नॉनस्ट्रिक्ट ऑर्डरिंग.

गैर-कठोर गुणात्मक ऑर्डर संबंध काही सहिष्णुता आणि गुणात्मक ऑर्डर संबंधांच्या संयोजनाचा परिणाम म्हणून प्रस्तुत केले जाऊ शकतात.

नॉनस्ट्रिक्ट गुणात्मक ऑर्डरच्या संबंधांचे गुणधर्म

1. कठोर नसलेल्या गुणात्मक क्रमाचा सममितीय भाग म्हणजे सहिष्णुता. एनटी?
2. नॉनस्ट्रिक्ट गुणात्मक ऑर्डरचा असममित भाग संक्रमणात्मक असतो आणि म्हणून तो गुणात्मक क्रम संबंध असतो.
3. अशा प्रकारे, गैर-कठोर गुणात्मक ऑर्डर संबंध मूळ नातेसंबंधाद्वारे व्युत्पन्न केलेल्या सहिष्णुता आणि गुणात्मक ऑर्डर संबंधांच्या मिलनाचा परिणाम म्हणून दर्शविला जाऊ शकतो.
4. दुहेरी संबंधामध्ये विषमता आणि संक्रमणाचे गुणधर्म आहेत, म्हणून ते गुणात्मक क्रमाचे संबंध आहे.

गैर-कठोर कमकुवत ऑर्डरचे संबंध

नॉनस्ट्रिक्ट कमकुवत ऑर्डर हा पूर्णपणे जोडलेला सकर्मक आणि ऋणात्मक संक्रामक संबंध आहे (7).

एक नॉनस्ट्रिक्ट कमकुवत ऑर्डर एक पूर्णपणे कनेक्ट केलेले संक्रमणात्मक संबंध आहे.

एक नॉन-कठोर कमकुवत ऑर्डर एक संक्रमणात्मक नॉन-कठोर ऑर्डर आहे.

गैर-कठोर कमकुवत ऑर्डरच्या संबंधांचे गुणधर्म

1. नॉनस्ट्रिक्ट कमकुवत क्रमाचा सममितीय भाग समतुल्य आहे.
2. नॉनस्ट्रिक्ट कमकुवत ऑर्डरचा असममित भाग Rac हा सकर्मक असतो आणि त्यामुळे गुणात्मक क्रमाचा संबंध असतो.
3. अशा प्रकारे, मूळ नातेसंबंधाने निर्माण केलेल्या समतुल्यता आणि कमकुवत ऑर्डर संबंधांच्या मिलनाचा परिणाम म्हणून एक गैर-कठोर कमकुवत ऑर्डर संबंध दर्शविला जाऊ शकतो.
4. एक नॉन-कठोर कमकुवत ऑर्डर अंशतः ऑर्डर केलेल्या स्तरांचा संच म्हणून प्रस्तुत केला जाऊ शकतो, ज्यापैकी प्रत्येक एक समतुल्य वर्ग आहे.

नॉन-स्ट्रेक्ट (रेखीय) ऑर्डरचे संबंध

एक नॉन-स्ट्रिक्ट ऑर्डर (नॉन-स्ट्रिक्ट रेखीय ऑर्डर) एक अँटीसिमेट्रिक, ट्रांझिटिव्ह, पूर्णपणे कनेक्ट केलेला बायनरी रिलेशन आहे (8).

नॉन-स्ट्रिक्ट ऑर्डर म्हणजे अँटीसिमेट्रिक नॉन-स्ट्रिक्ट कमकुवत ऑर्डर.

नॉन-स्ट्रिक्ट ऑर्डर म्हणजे अँटी-सिमेट्रिक नॉन-स्ट्रिक्ट ऑर्डर.

कठोर नसलेल्या रेखीय क्रमाच्या संबंधांचे गुणधर्म

1. कठोर नसलेल्या क्रमाचा सममितीय भाग कर्ण आहे.
2. नॉन-स्ट्रिक्ट ऑर्डरचा असममित भाग R ac हा सकर्मक आणि कमकुवतपणे जोडलेला आहे आणि म्हणून तो कडक ऑर्डरचा संबंध आहे.
3. दुहेरी संबंधात विषमता, नकारात्मकता आणि कमकुवत जोडणीचे गुणधर्म आहेत; म्हणून, ते कठोर क्रमाचे नाते आहे. याव्यतिरिक्त, ते R ac शी जुळते.
4. अशाप्रकारे, कर्ण आणि मूळ नात्याद्वारे तयार केलेल्या कठोर क्रमाचा परिणाम म्हणून गैर-कठोर ऑर्डर संबंध दर्शविला जाऊ शकतो.

कठोर आणि नॉनस्ट्रिक्ट ऑर्डरच्या संबंधांचे द्वैत

विविध प्रकारच्या संबंधांच्या गुणधर्मांचे विहंगावलोकन