विशेषज्ञता (पूर्व) आदेश: Difference between revisions
(Created page with "टोपोलॉजी के रूप में जानी जाने वाली गणित की शाखा में, विशेषज्ञता (य...") |
No edit summary |
||
| Line 1: | Line 1: | ||
[[टोपोलॉजी]] के रूप में जानी जाने वाली गणित की शाखा में, विशेषज्ञता (या विहित) [[पूर्व आदेश]] | [[टोपोलॉजी]] के रूप में जानी जाने वाली गणित की शाखा में, विशेषज्ञता (या विहित) [[पूर्व आदेश]] के [[टोपोलॉजिकल स्पेस]] बिंदुओं के सेट पर प्राकृतिक प्रीऑर्डर है। अधिकांश स्थानों के लिए जिन्हें व्यवहार में माना जाता है, अर्थात् उन सभी के लिए जो T0 स्थान | T को संतुष्ट करते हैं<sub>0</sub>[[पृथक्करण स्वयंसिद्ध]], यह पूर्व-आदेश को [[आंशिक आदेश]] भी है (विशेषज्ञता आदेश कहा जाता है)। दूसरी ओर, T1 स्पेस | T के लिए<sub>1</sub> रिक्त स्थान क्रम तुच्छ हो जाता है और कम रुचि वाला होता है। | ||
विशेषज्ञता क्रम को अक्सर [[कंप्यूटर विज्ञान]] के अनुप्रयोगों में माना जाता है, जहां टी<sub>0</sub> रिक्त स्थान [[सांकेतिक शब्दार्थ]] में होते हैं। आंशिक रूप से आदेशित सेटों पर उपयुक्त टोपोलॉजी की पहचान करने के लिए विशेषज्ञता क्रम भी महत्वपूर्ण है, जैसा कि [[आदेश सिद्धांत]] में किया जाता है। | विशेषज्ञता क्रम को अक्सर [[कंप्यूटर विज्ञान]] के अनुप्रयोगों में माना जाता है, जहां टी<sub>0</sub> रिक्त स्थान [[सांकेतिक शब्दार्थ]] में होते हैं। आंशिक रूप से आदेशित सेटों पर उपयुक्त टोपोलॉजी की पहचान करने के लिए विशेषज्ञता क्रम भी महत्वपूर्ण है, जैसा कि [[आदेश सिद्धांत]] में किया जाता है। | ||
| Line 5: | Line 5: | ||
== परिभाषा और प्रेरणा == | == परिभाषा और प्रेरणा == | ||
किसी भी टोपोलॉजिकल स्पेस एक्स पर विचार करें। एक्स पर 'स्पेशलाइजेशन प्रीऑर्डर' ≤ एक्स के दो बिंदुओं से संबंधित है जब | किसी भी टोपोलॉजिकल स्पेस एक्स पर विचार करें। एक्स पर 'स्पेशलाइजेशन प्रीऑर्डर' ≤ एक्स के दो बिंदुओं से संबंधित है जब दूसरे के [[क्लोजर (टोपोलॉजी)]] में स्थित है। हालाँकि, विभिन्न लेखक इस बात से असहमत हैं कि आदेश किस 'दिशा' में जाना चाहिए। क्या सहमति है{{Citation needed|reason=This seems counter-intuitive, looks like specialization and generization could be mixed up. Consider the topology on the set of words in a finite alphabet where basic open sets are sets of words with given prefixes (each word defines the basic open set consisting of all the words that have this word as a prefix).|date=June 2017}} क्या वह अगर है | ||
:x सीएल {वाई} में निहित है, | :x सीएल {वाई} में निहित है, | ||
(जहाँ cl{y} [[सिंगलटन सेट]] {y} के बंद होने को दर्शाता है, यानी {y} वाले सभी [[बंद सेट]]ों का प्रतिच्छेदन (सेट सिद्धांत), हम कहते हैं कि x, y की | (जहाँ cl{y} [[सिंगलटन सेट]] {y} के बंद होने को दर्शाता है, यानी {y} वाले सभी [[बंद सेट]]ों का प्रतिच्छेदन (सेट सिद्धांत), हम कहते हैं कि x, y की 'विशेषज्ञता' है और वह y और x का 'सामान्यीकरण'; यह आमतौर पर y ⤳ x लिखा जाता है। | ||
दुर्भाग्य से, संपत्ति x y की विशेषज्ञता है जिसे वैकल्पिक रूप से विभिन्न लेखकों द्वारा x ≤ y और y ≤ x के रूप में लिखा गया है (देखें, क्रमशः, <ref>{{Citation| last = Hartshorne | first = Robin |authorlink = Robin Hartshorne| year = 1977 | title = Algebraic geometry | publisher = Springer-Verlag | publication-place = New York-Heidelberg | url = https://archive.org/details/springer_10.1007-978-1-4757-3849-0}}</ref> और <ref>{{Citation |last=Hochster |first=Melvin |authorlink = Melvin Hochster|year=1969 |title=Prime ideal structure in commutative rings |publisher=Trans. Amer. Math. Soc. |volume=142 |pages=43–60 |url=https://www.ams.org/journals/tran/1969-142-00/S0002-9947-1969-0251026-X/S0002-9947-1969-0251026-X.pdf }}</ref>). | दुर्भाग्य से, संपत्ति x y की विशेषज्ञता है जिसे वैकल्पिक रूप से विभिन्न लेखकों द्वारा x ≤ y और y ≤ x के रूप में लिखा गया है (देखें, क्रमशः, <ref>{{Citation| last = Hartshorne | first = Robin |authorlink = Robin Hartshorne| year = 1977 | title = Algebraic geometry | publisher = Springer-Verlag | publication-place = New York-Heidelberg | url = https://archive.org/details/springer_10.1007-978-1-4757-3849-0}}</ref> और <ref>{{Citation |last=Hochster |first=Melvin |authorlink = Melvin Hochster|year=1969 |title=Prime ideal structure in commutative rings |publisher=Trans. Amer. Math. Soc. |volume=142 |pages=43–60 |url=https://www.ams.org/journals/tran/1969-142-00/S0002-9947-1969-0251026-X/S0002-9947-1969-0251026-X.pdf }}</ref>). | ||
| Line 17: | Line 17: | ||
:x ≤ y [[अगर और केवल अगर]] cl{x} ⊆ cl{y}। | :x ≤ y [[अगर और केवल अगर]] cl{x} ⊆ cl{y}। | ||
हालाँकि, उस स्थिति में जहाँ हमारा [[प्रजातियाँ]] X | हालाँकि, उस स्थिति में जहाँ हमारा [[प्रजातियाँ]] X [[क्रमविनिमेय अंगूठी]] R का [[प्रधान स्पेक्ट्रम]] स्पेक R है (जो कि [[बीजगणितीय ज्यामिति]] से संबंधित अनुप्रयोगों में प्रेरक स्थिति है), फिर ऑर्डर की हमारी दूसरी परिभाषा के तहत, हमारे पास है | ||
:y ≤ x यदि और केवल यदि y ⊆ x वलय R की प्रधान आदर्शावली के रूप में। | :y ≤ x यदि और केवल यदि y ⊆ x वलय R की प्रधान आदर्शावली के रूप में। | ||
| Line 26: | Line 26: | ||
:x ≤ y यदि और केवल यदि y सभी खुले सेटों में निहित है जिसमें x शामिल है। | :x ≤ y यदि और केवल यदि y सभी खुले सेटों में निहित है जिसमें x शामिल है। | ||
ये पुनर्कथन यह समझाने में मदद करते हैं कि कोई विशेषज्ञता की बात क्यों करता है: y x की तुलना में अधिक सामान्य है, क्योंकि यह अधिक खुले सेटों में समाहित है। यह विशेष रूप से सहज ज्ञान युक्त है यदि कोई बंद सेट को गुणों के रूप में देखता है जो | ये पुनर्कथन यह समझाने में मदद करते हैं कि कोई विशेषज्ञता की बात क्यों करता है: y x की तुलना में अधिक सामान्य है, क्योंकि यह अधिक खुले सेटों में समाहित है। यह विशेष रूप से सहज ज्ञान युक्त है यदि कोई बंद सेट को गुणों के रूप में देखता है जो बिंदु x हो सकता है या नहीं हो सकता है। जितने अधिक बंद समुच्चय में बिंदु होता है, बिंदु के जितने अधिक गुण होते हैं, और उतना ही विशेष होता है। उपयोग जीनस और प्र[[जाति]]यों की शास्त्रीय तार्किक धारणाओं के अनुरूप है; और बीजगणितीय ज्यामिति में [[सामान्य बिंदु]]ओं के पारंपरिक उपयोग के साथ, जिसमें बंद बिंदु सबसे विशिष्ट होते हैं, जबकि स्थान का सामान्य बिंदु प्रत्येक गैर-रिक्त खुले उपसमुच्चय में निहित होता है। विचार के रूप में विशेषज्ञता [[मूल्यांकन सिद्धांत]] में भी लागू होती है। | ||
ऊपरी तत्वों के अधिक विशिष्ट होने का अंतर्ज्ञान आमतौर पर [[डोमेन सिद्धांत]] में पाया जाता है, ऑर्डर थ्योरी की | ऊपरी तत्वों के अधिक विशिष्ट होने का अंतर्ज्ञान आमतौर पर [[डोमेन सिद्धांत]] में पाया जाता है, ऑर्डर थ्योरी की शाखा जिसमें कंप्यूटर विज्ञान में पर्याप्त अनुप्रयोग हैं। | ||
== ऊपरी और निचले सेट == | == ऊपरी और निचले सेट == | ||
X को | X को टोपोलॉजिकल स्पेस होने दें और ≤ को X पर स्पेशलाइजेशन प्रीऑर्डर होने दें। हर खुला सेट ≤ के संबंध में [[ऊपरी सेट]] है और हर बंद सेट [[निचला सेट]] है। बातचीत आम तौर पर सच नहीं होती है। वास्तव में, टोपोलॉजिकल स्पेस [[अलेक्जेंड्रोव-असतत स्थान]] है अगर और केवल अगर हर ऊपरी सेट भी खुला है (या समतुल्य हर निचला सेट भी बंद है)। | ||
मान लीजिए कि A, X का | मान लीजिए कि A, X का उपसमुच्चय है। A वाले सबसे छोटे ऊपरी समुच्चय को ↑A से निरूपित किया जाता है | ||
और A वाले सबसे छोटे निचले सेट को ↓A दर्शाया जाता है। मामले में ए = {x} | और A वाले सबसे छोटे निचले सेट को ↓A दर्शाया जाता है। मामले में ए = {x} सिंगलटन है जो नोटेशन ↑x और ↓x का उपयोग करता है। x ∈ X के लिए: | ||
*↑x = {y ∈ X : x ≤ y} = ∩{ओपन सेट युक्त x}। | *↑x = {y ∈ X : x ≤ y} = ∩{ओपन सेट युक्त x}। | ||
| Line 45: | Line 45: | ||
* Sierpinski अंतरिक्ष {0,1} में खुले सेट {∅, {1}, {0,1}} के साथ विशेषज्ञता क्रम प्राकृतिक (0 ≤ 0, 0 ≤ 1, और 1 ≤ 1) है। | * Sierpinski अंतरिक्ष {0,1} में खुले सेट {∅, {1}, {0,1}} के साथ विशेषज्ञता क्रम प्राकृतिक (0 ≤ 0, 0 ≤ 1, और 1 ≤ 1) है। | ||
* यदि पी, क्यू स्पेक (आर) के तत्व हैं ( | * यदि पी, क्यू स्पेक (आर) के तत्व हैं ( कम्यूटेटिव रिंग आर की अंगूठी का स्पेक्ट्रम) तो पी ≤ क्यू अगर और केवल अगर क्यू ⊆ पी (प्रमुख आदर्शों के रूप में)। इस प्रकार स्पेक (आर) के बंद बिंदु सटीक रूप से [[अधिकतम आदर्श]] हैं। | ||
== महत्वपूर्ण गुण == | == महत्वपूर्ण गुण == | ||
जैसा कि नाम से पता चलता है, स्पेशलाइजेशन प्रीऑर्डर | जैसा कि नाम से पता चलता है, स्पेशलाइजेशन प्रीऑर्डर प्रीऑर्डर है, यानी यह [[प्रतिवर्त संबंध]] और [[सकर्मक संबंध]] है। | ||
विशेषज्ञता पूर्व-आदेश द्वारा निर्धारित [[तुल्यता संबंध]] सिर्फ टोपोलॉजिकल रूप से अप्रभेद्य है। अर्थात्, x और y स्थैतिक रूप से अप्रभेद्य हैं यदि और केवल यदि x ≤ y और y ≤ x। इसलिए, ≤ का प्रतिसममित संबंध निश्चित रूप से T है<sub>0</sub> पृथक्करण अभिगृहीत: यदि x और y अप्रभेद्य हैं तो x = y। इस मामले में 'विशेषज्ञता आदेश' की बात करना उचित है। | विशेषज्ञता पूर्व-आदेश द्वारा निर्धारित [[तुल्यता संबंध]] सिर्फ टोपोलॉजिकल रूप से अप्रभेद्य है। अर्थात्, x और y स्थैतिक रूप से अप्रभेद्य हैं यदि और केवल यदि x ≤ y और y ≤ x। इसलिए, ≤ का प्रतिसममित संबंध निश्चित रूप से T है<sub>0</sub> पृथक्करण अभिगृहीत: यदि x और y अप्रभेद्य हैं तो x = y। इस मामले में 'विशेषज्ञता आदेश' की बात करना उचित है। | ||
| Line 55: | Line 55: | ||
दूसरी ओर, स्पेशलाइजेशन प्रीऑर्डर का [[सममित संबंध]] R0 स्पेस | R के बराबर है<sub>0</sub>पृथक्करण अभिगृहीत: x ≤ y यदि और केवल यदि x और y स्थैतिक रूप से अप्रभेद्य हैं। यह इस प्रकार है कि यदि अंतर्निहित टोपोलॉजी टी है<sub>1</sub>, तो विशेषज्ञता क्रम असतत है, यानी किसी के पास x ≤ y अगर और केवल अगर x = y है। इसलिए, T के लिए विशेषज्ञता क्रम बहुत कम रुचि का है<sub>1</sub> टोपोलॉजी, विशेष रूप से सभी हॉसडॉर्फ रिक्त स्थान के लिए। | दूसरी ओर, स्पेशलाइजेशन प्रीऑर्डर का [[सममित संबंध]] R0 स्पेस | R के बराबर है<sub>0</sub>पृथक्करण अभिगृहीत: x ≤ y यदि और केवल यदि x और y स्थैतिक रूप से अप्रभेद्य हैं। यह इस प्रकार है कि यदि अंतर्निहित टोपोलॉजी टी है<sub>1</sub>, तो विशेषज्ञता क्रम असतत है, यानी किसी के पास x ≤ y अगर और केवल अगर x = y है। इसलिए, T के लिए विशेषज्ञता क्रम बहुत कम रुचि का है<sub>1</sub> टोपोलॉजी, विशेष रूप से सभी हॉसडॉर्फ रिक्त स्थान के लिए। | ||
दो टोपोलॉजिकल स्पेस के बीच कोई भी [[निरंतरता (टोपोलॉजी)]] इन स्पेस के स्पेशलाइजेशन प्रीऑर्डर्स के संबंध में [[मोनोटोनिक फ़ंक्शन]] है। हालाँकि, इसका विलोम सामान्य रूप से सत्य नहीं है। [[श्रेणी सिद्धांत]] की भाषा में, हमारे पास टोपोलॉजिकल रिक्त स्थान की श्रेणी से पूर्ववर्ती सेटों की श्रेणी के लिए | दो टोपोलॉजिकल स्पेस के बीच कोई भी [[निरंतरता (टोपोलॉजी)]] इन स्पेस के स्पेशलाइजेशन प्रीऑर्डर्स के संबंध में [[मोनोटोनिक फ़ंक्शन]] है। हालाँकि, इसका विलोम सामान्य रूप से सत्य नहीं है। [[श्रेणी सिद्धांत]] की भाषा में, हमारे पास टोपोलॉजिकल रिक्त स्थान की श्रेणी से पूर्ववर्ती सेटों की श्रेणी के लिए फ़ैक्टर है जो टोपोलॉजिकल स्पेस को अपनी विशेषज्ञता प्रीऑर्डर प्रदान करता है। इस [[ऑपरेटर]] के पास [[बायां जोड़]] है, जो [[अलेक्जेंडर टोपोलॉजी]] को पूर्वनिर्धारित सेट पर रखता है। | ||
ऐसे स्थान हैं जो T से अधिक विशिष्ट हैं<sub>0</sub> रिक्त स्थान जिसके लिए यह आदेश दिलचस्प है: [[शांत स्थान]]। विशेषज्ञता क्रम से उनका संबंध अधिक सूक्ष्म है: | ऐसे स्थान हैं जो T से अधिक विशिष्ट हैं<sub>0</sub> रिक्त स्थान जिसके लिए यह आदेश दिलचस्प है: [[शांत स्थान]]। विशेषज्ञता क्रम से उनका संबंध अधिक सूक्ष्म है: | ||
विशेषज्ञता क्रम ≤ के साथ किसी शांत स्थान X के लिए, हमारे पास है | विशेषज्ञता क्रम ≤ के साथ किसी शांत स्थान X के लिए, हमारे पास है | ||
* (X, ≤) | * (X, ≤) [[निर्देशित पूर्ण आंशिक आदेश]] है, अर्थात (X, ≤) के प्रत्येक [[निर्देशित सेट]] S में सर्वोच्च सुपर S है, | ||
* प्रत्येक निर्देशित उपसमुच्चय S (X, ≤) और प्रत्येक खुले समुच्चय O के लिए, यदि sup S, O में है, तो S और O में गैर-खाली चौराहा (सेट सिद्धांत) है। | * प्रत्येक निर्देशित उपसमुच्चय S (X, ≤) और प्रत्येक खुले समुच्चय O के लिए, यदि sup S, O में है, तो S और O में गैर-खाली चौराहा (सेट सिद्धांत) है। | ||
दूसरी संपत्ति का यह कहकर वर्णन किया जा सकता है कि खुले सेट निर्देशित [[अंतिम]] द्वारा पहुंच योग्य नहीं हैं। | दूसरी संपत्ति का यह कहकर वर्णन किया जा सकता है कि खुले सेट निर्देशित [[अंतिम]] द्वारा पहुंच योग्य नहीं हैं। टोपोलॉजी निश्चित क्रम के संबंध में 'आदेश संगत' है ≤ यदि यह ≤ को अपने विशेषज्ञता क्रम के रूप में प्रेरित करता है और इसमें ≤ में निर्देशित सेटों के सर्वोच्च (मौजूदा) के संबंध में दुर्गमता की उपरोक्त संपत्ति है। | ||
== ऑर्डर पर टोपोलॉजी == | == ऑर्डर पर टोपोलॉजी == | ||
विशेषज्ञता क्रम प्रत्येक टोपोलॉजी से | विशेषज्ञता क्रम प्रत्येक टोपोलॉजी से पूर्व-आदेश प्राप्त करने के लिए उपकरण उत्पन्न करता है। बातचीत के लिए भी पूछना स्वाभाविक है: क्या हर प्रीऑर्डर को किसी टोपोलॉजी के स्पेशलाइजेशन प्रीऑर्डर के रूप में प्राप्त किया जाता है? | ||
दरअसल, इस प्रश्न का उत्तर सकारात्मक है और आम तौर पर | दरअसल, इस प्रश्न का उत्तर सकारात्मक है और आम तौर पर सेट एक्स पर कई टोपोलॉजी हैं जो किसी दिए गए ऑर्डर ≤ को उनके विशेषज्ञता क्रम के रूप में प्रेरित करते हैं। ऑर्डर ≤ की [[अलेक्जेंड्रॉफ टोपोलॉजी]] विशेष भूमिका निभाती है: यह बेहतरीन टोपोलॉजी है जो ≤ को प्रेरित करती है। दूसरा चरम, सबसे मोटे टोपोलॉजी जो ≤ को प्रेरित करता है, [[ऊपरी टोपोलॉजी]] है, कम से कम टोपोलॉजी जिसके भीतर सेट ↓x (एक्स में कुछ एक्स के लिए) के सभी पूरक खुले हैं। | ||
इन दो चरम सीमाओं के बीच दिलचस्प टोपोलॉजी भी हैं। बेहतरीन सोबर टोपोलॉजी जो किसी दिए गए ऑर्डर ≤ के लिए उपरोक्त अर्थों में संगत है, वह [[स्कॉट टोपोलॉजी]] है। ऊपरी टोपोलॉजी हालांकि अभी भी सबसे मोटे सोबर ऑर्डर-सुसंगत टोपोलॉजी है। वास्तव में, इसके खुले सेट किसी भी सर्वोच्च के लिए भी दुर्गम हैं। इसलिए विशेषज्ञता क्रम के साथ कोई भी शांत स्थान ≤ ऊपरी टोपोलॉजी की तुलना में महीन और स्कॉट टोपोलॉजी की तुलना में मोटा है। फिर भी, ऐसा स्थान अस्तित्व में विफल हो सकता है, अर्थात, ऐसे आंशिक आदेश मौजूद हैं जिनके लिए कोई शांत क्रम-संगत टोपोलॉजी नहीं है। विशेष रूप से, स्कॉट टोपोलॉजी जरूरी शांत नहीं है। | इन दो चरम सीमाओं के बीच दिलचस्प टोपोलॉजी भी हैं। बेहतरीन सोबर टोपोलॉजी जो किसी दिए गए ऑर्डर ≤ के लिए उपरोक्त अर्थों में संगत है, वह [[स्कॉट टोपोलॉजी]] है। ऊपरी टोपोलॉजी हालांकि अभी भी सबसे मोटे सोबर ऑर्डर-सुसंगत टोपोलॉजी है। वास्तव में, इसके खुले सेट किसी भी सर्वोच्च के लिए भी दुर्गम हैं। इसलिए विशेषज्ञता क्रम के साथ कोई भी शांत स्थान ≤ ऊपरी टोपोलॉजी की तुलना में महीन और स्कॉट टोपोलॉजी की तुलना में मोटा है। फिर भी, ऐसा स्थान अस्तित्व में विफल हो सकता है, अर्थात, ऐसे आंशिक आदेश मौजूद हैं जिनके लिए कोई शांत क्रम-संगत टोपोलॉजी नहीं है। विशेष रूप से, स्कॉट टोपोलॉजी जरूरी शांत नहीं है। | ||
Revision as of 20:17, 23 February 2023
टोपोलॉजी के रूप में जानी जाने वाली गणित की शाखा में, विशेषज्ञता (या विहित) पूर्व आदेश के टोपोलॉजिकल स्पेस बिंदुओं के सेट पर प्राकृतिक प्रीऑर्डर है। अधिकांश स्थानों के लिए जिन्हें व्यवहार में माना जाता है, अर्थात् उन सभी के लिए जो T0 स्थान | T को संतुष्ट करते हैं0पृथक्करण स्वयंसिद्ध, यह पूर्व-आदेश को आंशिक आदेश भी है (विशेषज्ञता आदेश कहा जाता है)। दूसरी ओर, T1 स्पेस | T के लिए1 रिक्त स्थान क्रम तुच्छ हो जाता है और कम रुचि वाला होता है।
विशेषज्ञता क्रम को अक्सर कंप्यूटर विज्ञान के अनुप्रयोगों में माना जाता है, जहां टी0 रिक्त स्थान सांकेतिक शब्दार्थ में होते हैं। आंशिक रूप से आदेशित सेटों पर उपयुक्त टोपोलॉजी की पहचान करने के लिए विशेषज्ञता क्रम भी महत्वपूर्ण है, जैसा कि आदेश सिद्धांत में किया जाता है।
परिभाषा और प्रेरणा
किसी भी टोपोलॉजिकल स्पेस एक्स पर विचार करें। एक्स पर 'स्पेशलाइजेशन प्रीऑर्डर' ≤ एक्स के दो बिंदुओं से संबंधित है जब दूसरे के क्लोजर (टोपोलॉजी) में स्थित है। हालाँकि, विभिन्न लेखक इस बात से असहमत हैं कि आदेश किस 'दिशा' में जाना चाहिए। क्या सहमति है[citation needed] क्या वह अगर है
- x सीएल {वाई} में निहित है,
(जहाँ cl{y} सिंगलटन सेट {y} के बंद होने को दर्शाता है, यानी {y} वाले सभी बंद सेटों का प्रतिच्छेदन (सेट सिद्धांत), हम कहते हैं कि x, y की 'विशेषज्ञता' है और वह y और x का 'सामान्यीकरण'; यह आमतौर पर y ⤳ x लिखा जाता है।
दुर्भाग्य से, संपत्ति x y की विशेषज्ञता है जिसे वैकल्पिक रूप से विभिन्न लेखकों द्वारा x ≤ y और y ≤ x के रूप में लिखा गया है (देखें, क्रमशः, [1] और [2]).
दोनों परिभाषाओं का सहज औचित्य है: पूर्व के मामले में, हमारे पास है
- x ≤ y अगर और केवल अगर cl{x} ⊆ cl{y}।
हालाँकि, उस स्थिति में जहाँ हमारा प्रजातियाँ X क्रमविनिमेय अंगूठी R का प्रधान स्पेक्ट्रम स्पेक R है (जो कि बीजगणितीय ज्यामिति से संबंधित अनुप्रयोगों में प्रेरक स्थिति है), फिर ऑर्डर की हमारी दूसरी परिभाषा के तहत, हमारे पास है
- y ≤ x यदि और केवल यदि y ⊆ x वलय R की प्रधान आदर्शावली के रूप में।
संगति के लिए, इस लेख के शेष भाग के लिए हम पहली परिभाषा लेंगे, कि x y की विशेषज्ञता है जिसे x ≤ y के रूप में लिखा जा सकता है। हम तब देखते हैं,
- x ≤ y अगर और केवल अगर x सभी बंद सेटों में निहित है जिसमें y शामिल है।
- x ≤ y यदि और केवल यदि y सभी खुले सेटों में निहित है जिसमें x शामिल है।
ये पुनर्कथन यह समझाने में मदद करते हैं कि कोई विशेषज्ञता की बात क्यों करता है: y x की तुलना में अधिक सामान्य है, क्योंकि यह अधिक खुले सेटों में समाहित है। यह विशेष रूप से सहज ज्ञान युक्त है यदि कोई बंद सेट को गुणों के रूप में देखता है जो बिंदु x हो सकता है या नहीं हो सकता है। जितने अधिक बंद समुच्चय में बिंदु होता है, बिंदु के जितने अधिक गुण होते हैं, और उतना ही विशेष होता है। उपयोग जीनस और प्रजातियों की शास्त्रीय तार्किक धारणाओं के अनुरूप है; और बीजगणितीय ज्यामिति में सामान्य बिंदुओं के पारंपरिक उपयोग के साथ, जिसमें बंद बिंदु सबसे विशिष्ट होते हैं, जबकि स्थान का सामान्य बिंदु प्रत्येक गैर-रिक्त खुले उपसमुच्चय में निहित होता है। विचार के रूप में विशेषज्ञता मूल्यांकन सिद्धांत में भी लागू होती है।
ऊपरी तत्वों के अधिक विशिष्ट होने का अंतर्ज्ञान आमतौर पर डोमेन सिद्धांत में पाया जाता है, ऑर्डर थ्योरी की शाखा जिसमें कंप्यूटर विज्ञान में पर्याप्त अनुप्रयोग हैं।
ऊपरी और निचले सेट
X को टोपोलॉजिकल स्पेस होने दें और ≤ को X पर स्पेशलाइजेशन प्रीऑर्डर होने दें। हर खुला सेट ≤ के संबंध में ऊपरी सेट है और हर बंद सेट निचला सेट है। बातचीत आम तौर पर सच नहीं होती है। वास्तव में, टोपोलॉजिकल स्पेस अलेक्जेंड्रोव-असतत स्थान है अगर और केवल अगर हर ऊपरी सेट भी खुला है (या समतुल्य हर निचला सेट भी बंद है)।
मान लीजिए कि A, X का उपसमुच्चय है। A वाले सबसे छोटे ऊपरी समुच्चय को ↑A से निरूपित किया जाता है और A वाले सबसे छोटे निचले सेट को ↓A दर्शाया जाता है। मामले में ए = {x} सिंगलटन है जो नोटेशन ↑x और ↓x का उपयोग करता है। x ∈ X के लिए:
- ↑x = {y ∈ X : x ≤ y} = ∩{ओपन सेट युक्त x}।
- ↓x = {y ∈ X : y ≤ x} = ∩{बंद सेट युक्त x} = cl{x}।
निचला सेट ↓x हमेशा बंद रहता है; हालाँकि, ऊपरी सेट ↑x को खुले या बंद होने की आवश्यकता नहीं है। टोपोलॉजिकल स्पेस X के बंद बिंदु ठीक ≤ के संबंध में X के न्यूनतम तत्व हैं।
उदाहरण
- Sierpinski अंतरिक्ष {0,1} में खुले सेट {∅, {1}, {0,1}} के साथ विशेषज्ञता क्रम प्राकृतिक (0 ≤ 0, 0 ≤ 1, और 1 ≤ 1) है।
- यदि पी, क्यू स्पेक (आर) के तत्व हैं ( कम्यूटेटिव रिंग आर की अंगूठी का स्पेक्ट्रम) तो पी ≤ क्यू अगर और केवल अगर क्यू ⊆ पी (प्रमुख आदर्शों के रूप में)। इस प्रकार स्पेक (आर) के बंद बिंदु सटीक रूप से अधिकतम आदर्श हैं।
महत्वपूर्ण गुण
जैसा कि नाम से पता चलता है, स्पेशलाइजेशन प्रीऑर्डर प्रीऑर्डर है, यानी यह प्रतिवर्त संबंध और सकर्मक संबंध है।
विशेषज्ञता पूर्व-आदेश द्वारा निर्धारित तुल्यता संबंध सिर्फ टोपोलॉजिकल रूप से अप्रभेद्य है। अर्थात्, x और y स्थैतिक रूप से अप्रभेद्य हैं यदि और केवल यदि x ≤ y और y ≤ x। इसलिए, ≤ का प्रतिसममित संबंध निश्चित रूप से T है0 पृथक्करण अभिगृहीत: यदि x और y अप्रभेद्य हैं तो x = y। इस मामले में 'विशेषज्ञता आदेश' की बात करना उचित है।
दूसरी ओर, स्पेशलाइजेशन प्रीऑर्डर का सममित संबंध R0 स्पेस | R के बराबर है0पृथक्करण अभिगृहीत: x ≤ y यदि और केवल यदि x और y स्थैतिक रूप से अप्रभेद्य हैं। यह इस प्रकार है कि यदि अंतर्निहित टोपोलॉजी टी है1, तो विशेषज्ञता क्रम असतत है, यानी किसी के पास x ≤ y अगर और केवल अगर x = y है। इसलिए, T के लिए विशेषज्ञता क्रम बहुत कम रुचि का है1 टोपोलॉजी, विशेष रूप से सभी हॉसडॉर्फ रिक्त स्थान के लिए।
दो टोपोलॉजिकल स्पेस के बीच कोई भी निरंतरता (टोपोलॉजी) इन स्पेस के स्पेशलाइजेशन प्रीऑर्डर्स के संबंध में मोनोटोनिक फ़ंक्शन है। हालाँकि, इसका विलोम सामान्य रूप से सत्य नहीं है। श्रेणी सिद्धांत की भाषा में, हमारे पास टोपोलॉजिकल रिक्त स्थान की श्रेणी से पूर्ववर्ती सेटों की श्रेणी के लिए फ़ैक्टर है जो टोपोलॉजिकल स्पेस को अपनी विशेषज्ञता प्रीऑर्डर प्रदान करता है। इस ऑपरेटर के पास बायां जोड़ है, जो अलेक्जेंडर टोपोलॉजी को पूर्वनिर्धारित सेट पर रखता है।
ऐसे स्थान हैं जो T से अधिक विशिष्ट हैं0 रिक्त स्थान जिसके लिए यह आदेश दिलचस्प है: शांत स्थान। विशेषज्ञता क्रम से उनका संबंध अधिक सूक्ष्म है:
विशेषज्ञता क्रम ≤ के साथ किसी शांत स्थान X के लिए, हमारे पास है
- (X, ≤) निर्देशित पूर्ण आंशिक आदेश है, अर्थात (X, ≤) के प्रत्येक निर्देशित सेट S में सर्वोच्च सुपर S है,
- प्रत्येक निर्देशित उपसमुच्चय S (X, ≤) और प्रत्येक खुले समुच्चय O के लिए, यदि sup S, O में है, तो S और O में गैर-खाली चौराहा (सेट सिद्धांत) है।
दूसरी संपत्ति का यह कहकर वर्णन किया जा सकता है कि खुले सेट निर्देशित अंतिम द्वारा पहुंच योग्य नहीं हैं। टोपोलॉजी निश्चित क्रम के संबंध में 'आदेश संगत' है ≤ यदि यह ≤ को अपने विशेषज्ञता क्रम के रूप में प्रेरित करता है और इसमें ≤ में निर्देशित सेटों के सर्वोच्च (मौजूदा) के संबंध में दुर्गमता की उपरोक्त संपत्ति है।
ऑर्डर पर टोपोलॉजी
विशेषज्ञता क्रम प्रत्येक टोपोलॉजी से पूर्व-आदेश प्राप्त करने के लिए उपकरण उत्पन्न करता है। बातचीत के लिए भी पूछना स्वाभाविक है: क्या हर प्रीऑर्डर को किसी टोपोलॉजी के स्पेशलाइजेशन प्रीऑर्डर के रूप में प्राप्त किया जाता है?
दरअसल, इस प्रश्न का उत्तर सकारात्मक है और आम तौर पर सेट एक्स पर कई टोपोलॉजी हैं जो किसी दिए गए ऑर्डर ≤ को उनके विशेषज्ञता क्रम के रूप में प्रेरित करते हैं। ऑर्डर ≤ की अलेक्जेंड्रॉफ टोपोलॉजी विशेष भूमिका निभाती है: यह बेहतरीन टोपोलॉजी है जो ≤ को प्रेरित करती है। दूसरा चरम, सबसे मोटे टोपोलॉजी जो ≤ को प्रेरित करता है, ऊपरी टोपोलॉजी है, कम से कम टोपोलॉजी जिसके भीतर सेट ↓x (एक्स में कुछ एक्स के लिए) के सभी पूरक खुले हैं।
इन दो चरम सीमाओं के बीच दिलचस्प टोपोलॉजी भी हैं। बेहतरीन सोबर टोपोलॉजी जो किसी दिए गए ऑर्डर ≤ के लिए उपरोक्त अर्थों में संगत है, वह स्कॉट टोपोलॉजी है। ऊपरी टोपोलॉजी हालांकि अभी भी सबसे मोटे सोबर ऑर्डर-सुसंगत टोपोलॉजी है। वास्तव में, इसके खुले सेट किसी भी सर्वोच्च के लिए भी दुर्गम हैं। इसलिए विशेषज्ञता क्रम के साथ कोई भी शांत स्थान ≤ ऊपरी टोपोलॉजी की तुलना में महीन और स्कॉट टोपोलॉजी की तुलना में मोटा है। फिर भी, ऐसा स्थान अस्तित्व में विफल हो सकता है, अर्थात, ऐसे आंशिक आदेश मौजूद हैं जिनके लिए कोई शांत क्रम-संगत टोपोलॉजी नहीं है। विशेष रूप से, स्कॉट टोपोलॉजी जरूरी शांत नहीं है।
संदर्भ
- M.M. Bonsangue, Topological Duality in Semantics, volume 8 of Electronic Notes in Theoretical Computer Science, 1998. Revised version of author's Ph.D. thesis. Available online, see especially Chapter 5, that explains the motivations from the viewpoint of denotational semantics in computer science. See also the author's homepage.
- ↑ Hartshorne, Robin (1977), Algebraic geometry, New York-Heidelberg: Springer-Verlag
- ↑ Hochster, Melvin (1969), Prime ideal structure in commutative rings (PDF), vol. 142, Trans. Amer. Math. Soc., pp. 43–60
