निरंतर स्थिति

क्रम सिद्धांत में, सतत पोसमुच्चय आंशिक रूप से आदेशित समुच्चय है जिसमें प्रत्येक तत्व अपने अनुमानित तत्वों का निर्देशित समुच्चय सर्वोच्चतम रखता है।

परिभाषाएँ

$a,b\in P$ पूर्व-आदेशित समुच्चय के दो तत्व $(P,\lesssim )$ होते हैं, इसके माध्यम से हम यह कह सकते हैं कि $a$ अनुमानित $b$, या वो $a$ तथा $b$ के लिए बहुत नीचे है, यदि निम्नलिखित दो समकक्ष शर्तें पूरी होती हैं।

• किसी भी निर्देशित समुच्चय के लिए $D\subseteq P$ का मान इस प्रकार है कि $b\lesssim \sup D$, यहाँ पर $d\in D$ हैं जो इस प्रकार है कि $a\lesssim d$ के समान हैं।
• किसी भी आदर्श के लिए (आदेश सिद्धांत) $I\subseteq P$ इस प्रकार हैं $b\lesssim \sup I$, $a\in I$ के समान हैं।

यहाँ पर यदि $a$ अनुमानित $b$ तो हम इस प्रकार कह सकते हैं कि $a\ll b$ सन्निकटन संबंध $\ll$ सकर्मक संबंध है, जो मूल क्रम से कमजोर है, इस प्रकार एंटीसिमेट्रिक संबंध भी है, इसके आधार पर यदि $P$ आंशिक रूप से ऑर्डर किया गया समुच्चय है, अपितु यह आवश्यक नहीं है कि यह पूर्व आदेश में उपयोग किया गया हों। यहाँ पर यह प्रीऑर्डर है, इस प्रकार यदि $(P,\lesssim )$ आरोही श्रृंखला की स्थिति को संतुष्ट करता है।

इसके लिए $a\in P$, का मान इस प्रकार हैं कि

$\mathop {\Uparrow } a=\{b\in L\mid a\ll b\}$

$\mathop {\Downarrow } a=\{b\in L\mid b\ll a\}$

तब $\mathop {\Uparrow } a$ उच्च समुच्चय है, और $\mathop {\Downarrow } a$ निम्न समुच्चय हैं। इसके आधार पर यदि $P$ उच्च अर्धवृत्ताकार है, तो $\mathop {\Downarrow } a$ निर्देशित समुच्चय है, अर्थात्, $b,c\ll a$ तात्पर्य $b\vee c\ll a$), और इसलिए आदर्श या आदेश सिद्धांत को प्रदर्शित करता हैं।

यहाँ पर पूर्व आदेशित समुच्चय $(P,\lesssim )$ इस प्रकार हैं कि यदि इसका कोई मान इस प्रकार हैं तो इसे सतत पूर्व-आदेशित समुच्चय कहा जाता है, और $a\in P$, उपसमुच्चय $\mathop {\Downarrow } a$ निर्देशित समुच्चय $a=\sup \mathop {\Downarrow } a$ है।

गुण

प्रक्षेप गुण

किन्हीं दो तत्वों के लिए $a,b\in P$ सतत पूर्व-आदेशित समुच्चय का $(P,\lesssim )$, $a\ll b$ हैं। इसके आधार पर यदि किसी निर्देशित समुच्चय के लिए $D\subseteq P$ इस प्रकार है कि $b\lesssim \sup D$, है तो $d\in D$ का मान इस प्रकार होगा कि $a\ll d$ के समान होगा। इसके आधार पर निरंतर पूर्व-आदेशित समुच्चय की प्रक्षेप संपत्ति का पता चलता है, जिसके लिए $(P,\lesssim )$: किसी के लिए $a,b\in P$ ऐसा है कि $a\ll b$ यहाँ $c\in P$ इस प्रकार हैं कि $a\ll c\ll b$ के समान हैं।

सतत डी काॅप्स

किन्हीं दो तत्वों के लिए $a,b\in P$ सतत निर्देशित-पूर्ण आंशिक रूप से आदेशित समुच्चय का $(P,\leq )$ मान निम्नलिखित दो स्थितियों के समतुल्य होते हैं।

• $a\ll b$ और $a\neq b$.
• किसी भी निर्देशित समुच्चय के लिए $D\subseteq P$ ऐसा है कि $b\leq \sup D$, यहाँ $d\in D$ इस प्रकार हैं कि $a\ll d$ और $a\neq d$ के समान हैं।

इसका उपयोग करके यह दिखाया जा सकता है कि निम्नलिखित मजबूत प्रक्षेप गुण निरंतर dcpos के लिए सत्य है। किसी के लिए $a,b\in P$ ऐसा है कि