त्रिविकल्पी नियम

गणित में, ट्राइकोटॉमी का नियम बताता है कि प्रत्येक वास्तविक संख्या या तो धनात्मक,ऋणात्मक या शून्य होती है। सामान्यत, एक समुच्चय पर एक द्विआधारी संबंध आर 'त्रिभाजनीय' है अगर सभी x औरy के लिए x में,पूर्णतया एक xry, yrx और x =y में से कोई एक धारण करता है R को <के रूप में लिखने पर, इसे औपचारिक तर्क में इस रूप में व्यक्त किया जाता है

$\forall x\in X\,\forall y\in X\,([x<y\,\land \,\lnot (y<x)\,\land \,\lnot (x=y)]\,\lor \,[\lnot (x<y)\,\land \,y<x\,\land \,\lnot (x=y)]\,\lor \,[\lnot (x<y)\,\land \,\lnot (y<x)\,\land \,x=y])\,.$

गुण

• एक संबंध त्रिविभाजित है यदि, केवल , यह असममित संबंध से जुड़ा हुआ है।
• यदि एक त्रिगुणात्मक संबंध भी सकर्मक है, तो यह एक निश्चित कुल क्रम है, यह एक निश्चित कमजोर क्रम का सम्बन्ध है।

उदाहरण एक ही सेट पर, चक्रीय संबंध r = {(a, b), (b, c), (c, a)} ट्राइकोटोमस है, लेकिन सकर्मक नहीं है;यह अविश्वास भी है।

• समुच्चय x = {a, b, c},पर संबंध r = {(a, b), (a, c), (b, c)} सकर्मक और त्रिगुणात्मक है, और इसलिए एक निश्चित क्रम है।
• एक समुच्चय पर, चक्रीय संबंध r = {(a, b), (b, c), (c, a)} त्रिगुणात्मक है, लेकिन सकर्मक नहीं है;यह अकर्मक भी है।

संख्या पर ट्राइकोटॉमी

संख्याओं के कुछ समुच्चय x पर त्रिगुणात्मक नियम सामान्यतः व्यक्त करता है कि x पर कुछ निश्चित रूप से दिए गए क्रम संबंध त्रिगुणात्मक है। किसी वास्तविक संख्या x और y के लिए यह नियम,पूर्णतया x<y, y <x, या x ; y पर लागू होता है;कुछ लेखक भी y को शून्य करने का प्रयास करते हैं,वास्तविक संख्या के धनात्मक रैखिक रूप से श्रेणीबद्ध किए गए समूह संरचना पर भरोसा करना उत्तरार्द्ध में गणितीय समूह को संदर्भित करता है।

शास्त्रीय तर्क में, त्रिगुनात्मकता का यह स्वयंसिद्ध, वास्तविक संख्याओं के बीच सामान्य तुलना के लिए होता है और इसलिए पूर्णांक और तर्कसंगत संख्याओं के बीच तुलना के लिए भी इसका प्रयोग किया जाता है। त्रिगुणात्मक नियम सामान्य रूप से अंतर्ज्ञानवादी तर्क में नहीं है।

ज़ेर्मेलो फ्रेंकेल समुच्चय सिद्धांत और वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय सिद्धांत में, त्रिगुनात्मकता का नियम स्वयंसिद्ध के बिना भी अच्छी तरह से श्रेणीबद्ध करने योग्य समुच्चयो की संख्या के बीच रहता है।यदि स्वयंसिद्ध इसको धारण करता है, तो त्रिगुनात्मकता बुनियादी संख्यायो के बीच रखती है क्योंकि वे प्रमेय को अच्छी तरह से श्रेणीबद्ध कर रहे हैं। उस सन्दर्भ में सभी सुव्यवस्थित करने योग्य होते है।

यह भी देखें

• Begriffsschrift में ट्राइकोटॉमी के कानून का एक प्रारंभिक सूत्रीकरण होता है
• द्विभाजन
• नॉनकंट्रैडिक्शन का नियम
• बाहर के बीच का कानून
• तीन-तरफ़ा तुलना