परिमित सांस्थितिक समष्टि

गणित में परिमित सांस्थितिक समष्टि एक सांस्थितिक समष्टि है जिसके लिए मूल बिंदु समुच्चय एक परिमित समुच्चय है अर्थात्, यह एक सांस्थितिक समष्टि है जिसमें सीमित रूप से कई तत्व होते हैं।

परिमित सांस्थितिक रिक्त समष्टि का उपयोग प्रायः मूल घटनाओं के उदाहरण या गणना करने वाले अनुमानों के लिए प्रति उदाहरण प्रदान करने के लिए किया जाता है। विलियम थर्स्टन ने इस अर्थ में परिमित सांस्थिति के अध्ययन को एक विचित्र विषय कहा है जो विभिन्न प्रकार के प्रश्नों के लिए अपेक्षाकृत अच्छी जानकारी दे सकता है।

परिमित समुच्चय पर सांस्थिति
माना कि $$ X $$ एक परिमित समुच्चय है और $$ X $$ पर एक सांस्थिति $$ P(X)  $$ का एक उपसमुच्चय $$ \tau $$ है जो कि $$ X  $$ का घात समुच्चय है जैसे कि,
 * 1) $$ \varnothing \in \tau  $$ और $$ X\in \tau  $$.
 * 2) यदि $$ U, V \in \tau  $$ तब $$ U \cup V \in \tau  $$.
 * 3) यदि $$ U, V \in \tau  $$ तब $$ U \cap V \in \tau  $$.

दूसरे शब्दों में $$ P(X) $$ का उपसमुच्चय $$ \tau $$ एक सांस्थिति है यदि $$ \tau $$ में $$ \varnothing $$ और $$  X $$ दोनों सम्मिलित हैं और अपेक्षाकृत रूप से यूनियनों और समुच्चय सिद्धांत के अंतर्गत विवृत है तब $$ \tau  $$ के तत्वों को विवृत समुच्चय कहा जाता है। सांस्थितिक रिक्त समष्टि के सामान्य विवरण के लिए आवश्यक है क्योकि एक सांस्थिति को विवृत समुच्चयों के अपेक्षाकृत परिमित या अनंत समुच्चय के अंतर्गत विवृत किया जा सकता है लेकिन केवल सीमित रूप से कई विवृत समुच्चयों के प्रतिच्छेदन के अंतर्गत यहाँ वह समुच्चय अनावश्यक है चूँकि किसी परिमित समुच्चय का घात समुच्चय परिमित होता है। इसलिए केवल परिमित रूप से अनेक विवृत समुच्चय हो सकते हैं और केवल परिमित रूप से अनेक विवृत समुच्चय भी हो सकते हैं।

परिमित समुच्चय पर एक सांस्थिति को $$ (P(X), \subset) $$ के एक उपसमुच्चय के रूप में भी जाना जा सकता है, जिसमें निचला तत्व $$  \varnothing $$ और शीर्ष तत्व $$ X  $$ दोनों सम्मिलित होते हैं।

0 या 1 अंक
रिक्त समुच्चय ∅ पर एक अद्वितीय सांस्थिति है। यह एकमात्र विवृत रिक्त समुच्चय है वास्तव में यह ∅ का एकमात्र उपसमुच्चय है। इसी प्रकार सिंगलटन समुच्चय {a} पर एक अद्वितीय सांस्थिति है जहां विवृत समुच्चय {∅} और {a} हैं यह सांस्थिति असतत और तुच्छ दोनों है। हालांकि कुछ सिद्धांतों में इसे एक असतत समष्टि के रूप में भी जाना जाता है क्योंकि यह परिमित असतत रिक्त समष्टि के समुच्चय के साथ अधिक गुण साझा करता है।

किसी भी सांस्थितिक रिक्त समष्टि X के लिए ∅ से X तक एक अद्वितीय नियमित फलन होता है, अर्थात् रिक्त फलन $$ X $$ से सिंगलटन समष्टि {a} तक एक अद्वितीय नियमित फलन भी है अर्थात् {a} के लिए नियमित फलन श्रेणी सिद्धांत की भाषा में रिक्त समष्टि सांस्थितिक समष्टि की श्रेणी में एक प्रारंभिक फलन के रूप में कार्य करता है जबकि सिंगलटन समष्टि एक टर्मिनल फलन के रूप में कार्य करती है।

2 अंक
मान लीजिए कि X = {a,b}, 2 तत्वों वाला एक समुच्चय है जिसकी X पर चार अलग-अलग सांस्थितिकी हैं:
 * {∅, {a,b }} (तुच्छ सांस्थिति)
 * {∅, {a}, {a,b }}
 * {∅, {b}, {a,b }}
 * {∅, {a}, {b}, {a,b }} (असतत सांस्थिति)

उपरोक्त दूसरी और तीसरी सांस्थिति को आसानी से होमियोमोर्फिक के रूप में देखा जा सकता है। X का एक फलन जो a और b को स्वैप करता है वह एक होमोमोर्फिज्म फलन है। इनमें से {a} के लिए {a} सांस्थितिक समष्टि होमोमोर्फिक को सिएरपिंस्की समष्टि कहा जाता है। वास्तव में दो-बिंदु समुच्चय पर केवल तीन असमान तुच्छ, असतत और सिएरपिंस्की सांस्थितिकी हैं।

सिएरपिंस्की समष्टि {a,b} को {b} विवृत समुच्चय के साथ विशेष अनुक्रम a ≤ a, b ≤ b और a ≤ b द्वारा दिया गया है।

3 अंक
मान लीजिए कि X = {a,b,c} तीन तत्वों वाला एक समुच्चय है जिसकी X पर 29 अलग-अलग सांस्थितिकी हैं लेकिन केवल 9 असमान सांस्थिति हैं:


 * {∅, {a,b,c }}
 * {∅, {c}, {a,b,c }}
 * {∅, {a,b}, {a,b,c }}
 * {∅, {c}, {a,b}, {a,b,c }}
 * {∅, {c}, {b,c}, {a,b,c }} (T 0)
 * {∅, {c}, {a,c}, {b,c}, {a,b,c }} (T 0)
 * {∅, {a}, {b}, {a,b}, {a,b,c }} (T 0)
 * {∅, {b}, {c}, {a,b}, {b,c}, {a,b,c }} (T 0)
 * {∅, {a}, {b}, {c}, {a,b}, {a,c}, {b,c}, {a,b,c }} (T 0)

इनमें से अंतिम 5 सभी T0 हैं। पहली सांस्थिति तुच्छ है, जबकि 2, 3 और 4 में बिंदु a और b स्थलीय रूप से अज्ञात हैं।

4 अंक
मान लीजिए कि X = {a,b,c,d} 4 तत्वों वाला एक समुच्चय है, जिसमे X पर 355 अलग-अलग सांस्थितिकी हैं लेकिन केवल 33 असमान सांस्थिति हैं:


 * {∅, {a, b, c, d }}
 * {∅, {a, b, c}, {a, b, c, d }}
 * {∅, {a}, {a, b, c, d }}
 * {∅, {a}, {a, b, c}, {a, b, c, d }}
 * {∅, {a, b}, {a, b, c, d }}
 * {∅, {a, b}, {a, b, c}, {a, b, c, d }}
 * {∅, {a}, {a, b}, {a, b, c, d }}
 * {∅, {a}, {b}, {a, b}, {a, b, c, d }}
 * {∅, {a, b, c}, {d}, {a, b, c, d }}
 * {∅, {a}, {a, b, c}, {a, d}, {a, b, c, d }}
 * {∅, {a}, {a, b, c}, {d}, {a, d}, {a, b, c, d }}
 * {∅, {a}, {b, c}, {a, b, c}, {a, d}, {a, b, c, d }}
 * {∅, {a, b}, {a, b, c}, {a, b, d}, {a, b, c, d }}
 * {∅, {a, b}, {c}, {a, b, c}, {a, b, c, d }}
 * {∅, {a, b}, {c}, {a, b, c}, {a, b, d}, {a, b, c, d }}
 * {∅, {a, b}, {c}, {a, b, c}, {d}, {a, b, d}, {c, d}, {a, b, c, d }}
 * {∅, {b, c}, {a, d}, {a, b, c, d }}
 * {∅, {a}, {a, b}, {a, b, c}, {a, b, d}, {a, b, c, d }} (T 0)
 * {∅, {a}, {a, b}, {a, c}, {a, b, c}, {a, b, c, d }} (T 0)
 * {∅, {a}, {b}, {a, b}, {a, c}, {a, b, c}, {a, b, c, d }} (T 0)
 * {∅, {a}, {a, b}, {a, b, c}, {a, b, c, d }} (T 0)
 * {∅, {a}, {b}, {a, b}, {a, b, c}, {a, b, c, d }} (T 0)
 * {∅, {a}, {a, b}, {c}, {a, c}, {a, b, c}, {a, b, d}, {a, b, c, d }} (T 0)
 * {∅, {a}, {a, b}, {a, c}, {a, b, c}, {a, b, d}, {a, b, c, d }} (T 0)
 * {∅, {a}, {b}, {a, b}, {a, b, c}, {a, b, d}, {a, b, c, d }} (T 0)
 * {∅, {a}, {b}, {a, b}, {a, c}, {a, b, c}, {a, b, d}, {a, b, c, d }} (T 0)
 * {∅, {a}, {b}, {a, b}, {b, c}, {a, b, c}, {a, d}, {a, b, d}, {a, b, c, d }} (T 0)
 * {∅, {a}, {a, b}, {a, c}, {a, b, c}, {a, d}, {a, b, d}, {a, c, d}, {a, b, c, d }} (T 0)
 * {∅, {a}, {b}, {a, b}, {a, c}, {a, b, c}, {a, d}, {a, b, d}, {a, c, d}, {a, b, c, d }} (T 0)
 * {∅, {a}, {b}, {a, b}, {c}, {a, c}, {b, c}, {a, b, c}, {a, b, d}, {a, b, c, d }} (T 0)
 * {∅, {a}, {b}, {a, b}, {c}, {a, c}, {b, c}, {a, b, c}, {a, d}, {a, b, d}, {a, c, d}, {a, b, c, d }} (T 0)
 * {∅, {a}, {b}, {a, b}, {c}, {a, c}, {b, c}, {a, b, c}, {a, b, c, d }} (T 0)
 * {∅, {a}, {b}, {a, b}, {c}, {a, c}, {b, c}, {a, b, c}, {d}, {a, d}, {b, d}, {a, b, d}, {c, d}, {a, c, d}, {b, c, d}, {a, b, c, d }} (T 0)

इनमें से अंतिम 16 सभी T0 हैं।

विशेषज्ञता पूर्व-अनुक्रम
एक परिमित समुच्चय X पर पूर्व-अनुक्रम के साथ विभिन्न समानताए हैं। ध्यान दें कि X पर पूर्व-अनुक्रम X एक द्विआधारी संबंध है जो निजवाचक और सकर्मक (गणित) है। एक आवश्यक रूप से सीमित सांस्थितिक समष्टि X को देखते हुए हम X पर पूर्व-अनुक्रम को परिभाषित कर सकते हैं:
 * x ≤ y यदि x ∈ cl{y}

जहां cl{y} सिंगलटन समुच्चय {y} के विवृत होने को दर्शाता है। इस पूर्व-अनुक्रम को X पर विशेषज्ञता पूर्व-अनुक्रम कहा जाता है। X का प्रत्येक विवृत समुच्चय U के संबंध में एक ऊपरी समुच्चय X होगा (अर्थात यदि x ∈ U और x ≤ y तो y ∈ U) यदि X परिमित समुच्चय है तो इसका विपरीत भी सत्य है। इसलिए परिमित समष्टि के लिए प्रत्येक ऊपरी समुच्चय X में एक विवृत समुच्चय है।

माना कि दूसरी दिशा में जाने पर (X, ≤) एक पूर्व-आदेशित समुच्चय है। विवृत समुच्चयों को ≤ के संबंध में ऊपरी समुच्चय मानकर X पर एक सांस्थिति τ को परिभाषित करें। तब संबंध ≤ (X, τ) का विशेषज्ञता पूर्वक्रम होगा। इस प्रकार परिभाषित सांस्थिति को ≤ द्वारा निर्धारित अलेक्जेंडर सांस्थिति कहा जाता है।

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

संक्षिप्तता और गणनीयता
प्रत्येक परिमित सांस्थितिक समष्टि विवृत होती है क्योंकि कोई भी विवृत समुच्चय पहले से ही परिमित होना चाहिए। वास्तव में विवृत समष्टि को प्रायः परिमित समष्टि के सामान्यीकरण के रूप में जाना जाता है क्योंकि उनमें कई गुण समान होते हैं। प्रत्येक परिमित सांस्थितिक समष्टि सीमित रूप से कई विवृत समुच्चय और वियोज्य समुच्चय के रूप मे द्वितीय-गणनीय भी है।

पृथक्करण सिद्धांत
परिमित सांस्थितिक समष्टि T1 विशेष रूप से यदि यह हॉसडॉर्फ समुच्चय है तो यह वास्तव में अलग होना चाहिए। ऐसा इसलिए है क्योंकि एक बिंदु का पूरक विवृत बिंदुओं का एक सीमित संघ है और इसलिए विवृत है। इसका तात्पर्य यह है कि प्रत्येक बिंदु विवृत होना चाहिए। इसलिए कोई भी परिमित सांस्थितिक समष्टि जो असतत नहीं है वह T1 हॉसडॉर्फ या समिश्र समष्टि नहीं हो सकती है।

हालाँकि एक गैर-असतत परिमित समष्टि का T0 होना संभव है। सामान्यतः दो बिंदु x और y सांस्थितिक रूप से अज्ञात हैं यदि और केवल यदि x ≤ y और y ≤ x, जहां ≤ X पर विशेषज्ञता पूर्व-अनुक्रम है। यह इस प्रकार है कि एक समष्टि X T0 है यदि और केवल यदि X पर विशेषज्ञता पूर्व-अनुक्रम ≤ है तब आंशिक अनुक्रम मे सीमित समुच्चय पर कई आंशिकअनुक्रम होते हैं जो प्रत्येक अद्वितीय T0 सांस्थिति को परिभाषित करते हैं।

इसी प्रकार एक समष्टि R0 है यदि और केवल यदि विशेषज्ञता पूर्व-अनुक्रम एक तुल्यता संबंध है तब किसी भी परिमित समुच्चय X पर किसी भी तुल्यता संबंध को देखते हुए संबद्ध सांस्थिति विभाजन सांस्थिति छद्म होती है। यह एक परिमित समष्टि R0 है यदि और केवल यदि यह पूरी तरह से नियमित है। गैर-असतत परिमित समष्टि भी सामान्य हो सकती हैं यदि किसी भी परिमित समुच्चय पर बहिष्कृत बिंदु सांस्थिति एक पूरी तरह से सामान्य T0 समष्टि है जो गैर-समष्टि नहीं है।

सह-संबद्धता
परिमित समष्टि X की संबद्धता को संबंधित आरेख Γ की संबद्धता (आरेख सिद्धांत) पर विचार करके समझा जा सकता है।

किसी भी सांस्थितिक समष्टि में यदि x ≤ y है तो x से y तक एक पथ है जो t > 0 के लिए आसानी से f(0) = x और f(t) = y मान ले सकता है। यह सत्यापित करना आसान है कि f नियमित है। यह इस प्रकार है कि एक परिमित सांस्थितिक समष्टि के फलन से संबंधित आरेख के शुद्धता से संबद्ध हैं। अर्थात्, x से y तक एक सांस्थितिक पथ है यदि और केवल यदि Γ के संगत शीर्षों के बीच कोई अप्रत्यक्ष पथ नही है। प्रत्येक परिमित समष्टि समुच्चय के बाद से संबद्ध समष्टि है:
 * $$\mathop{\uarr}x = \{y \in X : x \leq y\}$$

विवृत समुच्चय x जो प्रत्येक दूसरी निकटम समष्टि में समाहित है। दूसरे शब्दों में, यह एकल समुच्चय x एक समष्टि आधार है। इसलिए एक परिमित समष्टि से संबद्ध है यह प्रत्येक घटक X में विवृत और सवृत दोनों है। परिमित समष्टि में समिश्र संबद्धता गुण हो सकते हैं। एक परिमित समष्टि X है: उदाहरण के लिए एक परिमित समष्टि पर विशेष बिंदु सांस्थिति हाइपरकनेक्टेड है जबकि बहिष्कृत बिंदु सांस्थिति अल्ट्राकनेक्टेड है इसीलिए दोनों सिएरपिंस्की समष्टि है।
 * हाइपरकनेक्टेड समष्टि - यदि जब विशेषज्ञता पूर्व-अनुक्रम के संबंध में कोई सबसे बड़ा तत्व होता है यह एक ऐसा तत्व होता है जिसकी समापन संपूर्ण समष्टि X है।
 * अल्ट्राकनेक्टेड समष्टि - यदि जब विशेषज्ञता पूर्व-अनुक्रम के संबंध में कम से कम तत्व होता है यह एक ऐसा तत्व होता है जिसकी एकमात्र निकटतम संपूर्ण समष्टि X है।

अतिरिक्त संरचना
परिमित सांस्थितिक समष्टि छद्म समष्टि है यदि और केवल यदि यह R0 है। इस स्थिति में एक संभावित छद्ममिति द्वारा दिया गया है:
 * $$d(x,y) = \begin{cases}0 & x\equiv y \\ 1 & x\not\equiv y\end{cases}$$

जहां x ≡ y का अर्थ है x और y सांस्थितिक रूप से अप्रभेद्य हैं। एक परिमित सांस्थितिक समष्टि मेट्रिज़ेबल है यदि और केवल यदि यह असतत है। इसी प्रकार एक सांस्थितिक समष्टि एकरूपता योग्य है यदि और केवल यदि यह R0 है। एक समान संरचना उपरोक्त छद्ममिति से प्रेरित छद्ममितीय एकरूपता हो सकती है।

बीजगणितीय सांस्थिति
सामान्यतः बीजगणितीय सांस्थिति गैर-तुच्छ मौलिक समूहों के साथ सीमित सांस्थितिक समष्टि हैं इसका एक सरल उदाहरण छद्म वृत्त है, जो समष्टि X है जिसमें चार बिंदु हैं, जिनमें से दो विवृत हैं और जिनमें से दो सवृत हैं। इकाई वृत्त S1 से यह निष्कर्ष निकलता है कि छद्मवृत्त का मूल समूह अनंत चक्रीय होता है।

अधिक सामान्यतः यह दिखाया गया है कि किसी भी परिमित अमूर्त सरल समिश्र K के लिए एक परिमित सांस्थितिक समष्टि XK और दुर्बल होमोटॉपी तुल्यता f: |K| → XK जहां |K| का ज्यामितीय बोध है। यह इस प्रकार है कि |K| के समरूप समूह और XK के समरूपी हैं। वास्तव में, XK के अंतर्निहित समुच्चय को K ही माना जा सकता है, जिसमें सांस्थिति समावेशन आंशिक क्रम से संबद्ध होता है।

सीमित समुच्चय पर सांस्थिति की संख्या
जैसा कि ऊपर चर्चा की गई है एक सीमित समुच्चय पर सांस्थिति समुच्चय पूर्व-अनुक्रम के साथ संबद्ध हैं और T0 सांस्थिति आंशिक अनुक्रम के साथ संबद्ध हैं। इसलिए एक सीमित समुच्चय पर सांस्थिति की संख्या पूर्व-अनुक्रम की संख्या के बराबर है और T0 सांस्थिति की संख्या आंशिक अनुक्रम की संख्या के बराबर है।

नीचे दी गई तालिका n तत्वों वाले समुच्चय पर विशिष्ट (T0) सांस्थिति की संख्या सूचीबद्ध करती है। यह असमान (अर्थात गैर-होमियोमोर्फिक) सांस्थिति की संख्या को भी सूचीबद्ध करती है।

माना कि T(n), n बिंदुओं वाले समुच्चय पर अलग-अलग सांस्थिति की संख्या को दर्शाता है अपेक्षाकृत बिंदु n के लिए T(n) की गणना करने का कोई ज्ञात सरल सूत्र नहीं है। पूर्णांक अनुक्रमों का ऑनलाइन विश्वकोश वर्तमान में n ≤ 18 के लिए T(n) को सूचीबद्ध करता है।

N बिंदुओं वाले समुच्चय पर अलग-अलग T0 सांस्थिति की संख्या, जिसे T0(n) द्वारा दर्शाया गया है निम्नलिखित सूत्र T(n) से संबंधित है:
 * $$T(n) = \sum_{k=0}^{n}S(n,k)\,T_0(k)$$

जहां S(n,k) दूसरे प्रकार की स्टर्लिंग संख्या को दर्शाता है।

यह भी देखें

 * परिमित ज्यामिति
 * परिमित आव्यूह समष्टि
 * सांस्थितिक साहचर्य