बेयर समष्टि (समुच्चय सिद्धांत)

For टोपोलॉजी में अवधारणा, see बेयर स्पेस.

सेट सिद्धांत में, बेयर स्पेस एक निश्चित टोपोलॉजी के साथ प्राकृतिक संख्याओं के सभी अनंत अनुक्रमों का सेट है। यह स्थान सामान्यतः वर्णनात्मक सेट सिद्धांत में उपयोग किया जाता है, इस हद तक कि इसके तत्वों को अधिकांशतः "वास्तविक" कहा जाता है। इसे N^N, ^ωω, प्रतीक ${\mathcal {N}}$ या ω^ω द्वारा दर्शाया जाता है, इसे क्रमसूचक घातांक द्वारा प्राप्त गणनीय क्रमसूचक के साथ अस्पष्ट न करें।

बेयर स्पेस को प्राकृतिक संख्याओं के सेट की अनगिनत प्रतियों के कार्टेशियन उत्पाद के रूप में परिभाषित किया गया है, और इसे उत्पाद टोपोलॉजी दी गई है (जहां प्राकृतिक संख्याओं के सेट की प्रत्येक प्रतिलिपि को असतत टोपोलॉजी दी गई है)। बेयर स्पेस को अधिकांशतः प्राकृतिक संख्याओं के परिमित अनुक्रमों के पेड़ का उपयोग करके दर्शाया जाता है।

बेयर स्पेस की तुलना कैंटर स्पेस से की जा सकती है, जो बाइनरी अंकों के अनंत अनुक्रमों का सेट है।

टोपोलॉजी और पेड़

See also: गणनीय समुच्चय

बेयर स्पेस को परिभाषित करने के लिए उपयोग की जाने वाली उत्पाद टोपोलॉजी को पेड़ों के संदर्भ में अधिक ठोस रूप से वर्णित किया जा सकता है। उत्पाद टोपोलॉजी का आधार (टोपोलॉजी) सिलेंडर सेट हैं, यहां इसकी विशेषता इस प्रकार है:

यदि प्राकृतिक संख्या निर्देशांक I={i} का कोई भी सीमित सेट चुना जाता है, और प्रत्येक i के लिए एक विशेष प्राकृतिक संख्या मान v_i चुना जाता है, तो प्राकृतिक संख्याओं के सभी अनंत अनुक्रमों का सेट, जिसका मान स्थिति i पर v_i है, एक मूल खुला सेट है . प्रत्येक खुला सेट इनके संग्रह का एक गणनीय संघ है।

अधिक औपचारिक संकेतन का उपयोग करके, कोई भी व्यक्तिगत सिलेंडर को इस प्रकार परिभाषित कर सकता है

$C_{n}[v]=\{(a_{1},a_{2},\cdots )\in \omega ^{\omega }:a_{n}=v\}$

एक निश्चित पूर्णांक स्थान n और पूर्णांक मान v के लिए सिलेंडर तब सिलेंडर सेट के लिए जनरेटर होते हैं: सिलेंडर सेट में सिलेंडर की एक सीमित संख्या के सभी चौराहे सम्मिलित होते हैं। अर्थात्, प्रत्येक $i\in I$ के लिए प्राकृतिक संख्या निर्देशांक $I\subseteq \omega$ और संबंधित प्राकृतिक संख्या मान $v_{i}$ के किसी भी सीमित सेट को देखते हुए, कोई सिलेंडर के प्रतिच्छेदन पर विचार करता है

$\bigcap _{i\in I}C_{i}[v_{i}]$

इस प्रतिच्छेदन को सिलेंडर सेट कहा जाता है, और ऐसे सभी सिलेंडर सेट का सेट उत्पाद टोपोलॉजी के लिए एक आधार प्रदान करता है। प्रत्येक खुला सेट ऐसे सिलेंडर सेटों का एक गणनीय संघ है।

एक ही टोपोलॉजी के लिए एक अलग आधार पर जाकर, खुले सेटों का एक वैकल्पिक लक्षण वर्णन प्राप्त किया जा सकता है:

यदि प्राकृतिक संख्याओं का एक क्रम {w_i: i < n} का चयन किया जाता है, फिर प्राकृतिक संख्याओं के सभी अनंत अनुक्रमों का सेट जिनका मान w_i है स्थिति i पर सभी i < n के लिए एक मूलभूत खुला सेट है। प्रत्येक खुला सेट इनके संग्रह का एक गणनीय संघ है।

इस प्रकार बेयर स्पेस में एक मूलभूत खुला सेट एक सामान्य परिमित प्रारंभिक खंड τ का विस्तार करने वाली प्राकृतिक संख्याओं के सभी अनंत अनुक्रमों का सेट है। इससे पूर्ण वृक्ष ω^<ω से गुजरने वाले सभी अनंत पथों के सेट के रूप में बेयर स्पेस का प्रतिनिधित्व होता है विस्तार द्वारा क्रमित प्राकृतिक संख्याओं के परिमित अनुक्रमों का। प्रत्येक परिमित प्रारंभिक खंड परिमित अनुक्रमों के वृक्ष का एक नोड है। प्रत्येक खुला सेट उस पेड़ के नोड्स के (संभवतः अनंत) संघ द्वारा निर्धारित किया जाता है। बेयर स्पेस में एक बिंदु एक खुले सेट में है यदि और केवल तभी जब इसका पथ इसके निर्धारण संघ में किसी एक नोड से होकर गुजरता है।

एक पेड़ के माध्यम से पथ के रूप में बेयर स्पेस का प्रतिनिधित्व भी बंद सेटों का एक लक्षण वर्णन देता है। बेयर स्पेस का प्रत्येक बिंदु ω^<ω के नोड्स के अनुक्रम से होकर गुजरता है बंद सेट खुले सेट के पूरक हैं। प्रत्येक बंद सेट में सभी बेयर अनुक्रम सम्मिलित होते हैं जो किसी भी नोड से नहीं गुजरते हैं जो इसके पूरक खुले सेट को परिभाषित करता है। बेयर स्पेस के किसी भी बंद उपसमुच्चय C के लिए ω^<ω का एक उपवृक्ष T है जैसे कि कोई भी बिंदु x C में है यदि और केवल यदि x T के माध्यम से एक पथ है: उपवृक्ष T में C के तत्वों के सभी प्रारंभिक खंड सम्मिलित हैं। इसके विपरीत, ω^<ω के किसी भी उपवृक्ष के माध्यम से पथों का सेट एक बंद सेट है।

कार्टेशियन उत्पादों में एक वैकल्पिक टोपोलॉजी, बॉक्स टोपोलॉजी भी होती है। यह टोपोलॉजी उत्पाद टोपोलॉजी की तुलना में बहुत उत्तम है क्योंकि यह सूचक सेट $I=\{i\in \omega \}$को सीमित नहीं करता है। परंपरागत रूप से, बेयर स्पेस इस टोपोलॉजी को संदर्भित नहीं करता है; यह केवल उत्पाद टोपोलॉजी को संदर्भित करता है।

गुण

बाहर जगह में निम्नलिखित गुण हैं:

1. यह एक पूर्ण सेट पोलिश स्थान है, जिसका अर्थ है कि यह एक पूर्ण मीट्रिक स्थान है, दूसरा गणनीय स्थान है जिसमें कोई पृथक बिंदु नहीं है। इस प्रकार इसमें वास्तविक रेखा के समान ही प्रमुखता है और यह शब्द के टोपोलॉजिकल अर्थ में एक बेयर स्पेस है।
2. यह शून्य-आयामी है और पूरी तरह से असंबद्ध है।
3. यह स्थानीय रूप स्थानीय रूप से सघन नहीं है.
4. यह पोलिश स्थानों के लिए इस अर्थ में सार्वभौमिक है कि इसे किसी भी गैर-रिक्त पोलिश स्थान पर निरंतर मैप किया जा सकता है। इसके अतिरिक्त, किसी भी पोलिश स्थान में बेयर स्पेस के G_δ उपस्थान के लिए एक घना G_δ उपस्थान होमोमोर्फिक होता है।
5. बेयर स्पेस स्वयं की किसी भी सीमित या गणनीय संख्या की प्रतियों के उत्पाद के लिए समरूप है।
6. यह कुछ पूर्ण सिद्धांत $T$ के गणनीय अनंत संतृप्त मॉडल $M$ का ऑटोमोर्फिज्म समूह है।

वास्तविक रेखा से संबंध

जब उन्हें वास्तविक रेखा से विरासत में मिली उप-स्थान टोपोलॉजी दी जाती है, तो बेयर स्पेस अपरिमेय संख्याओं के सेट के लिए समरूप होता है। निरंतर भिन्नों का उपयोग करके बेयर स्पेस और अपरिमेयता के बीच एक समरूपता का निर्माण किया जा सकता है। यानी एक क्रम दिया गया है $(a_{0},a_{1},a_{2},\cdots )\in \omega ^{\omega }$, हम 1 से बड़ी संगत अपरिमेय संख्या निर्दिष्ट कर सकते हैं

$x=[a_{0}+1;a_{1}+1,a_{2}+1,\cdots ]=(a_{0}+1)+{\frac {1}{(a_{1}+1)+{\frac {1}{(a_{2}+1)+\cdots }}}}$

$x\mapsto {\frac {1}{x}}$ का उपयोग करके हमें खुले इकाई अंतराल $(0,1)$ में अपरिमेय तक $\omega ^{\omega }$ से एक और समरूपता प्राप्त होती है और हम नकारात्मक अपरिमेयता के लिए भी ऐसा ही कर सकते हैं। हम देखते हैं कि अपरिमेय चार स्थानों का टोपोलॉजिकल योग है जो बेयर स्पेस के लिए होमियोमॉर्फिक है और इसलिए बेयर स्पेस के लिए होमियोमॉर्फिक भी है।

वर्णनात्मक सेट सिद्धांत के दृष्टिकोण से यह तथ्य कि वास्तविक रेखा जुड़ी हुई है, तकनीकी कठिनाइयों का कारण बनती है। इस कारण से, बेयर स्पेस का अध्ययन करना अधिक समान्य है। क्योंकि प्रत्येक पोलिश स्थान बेयर स्पेस की निरंतर छवि है, यह दिखाकर इच्छानुसार से पोलिश रिक्त स्थान के बारे में परिणाम सिद्ध करना अधिकांशतः संभव होता है कि ये गुण बेयर स्पेस के लिए मान्य हैं और निरंतर कार्य द्वारा संरक्षित हैं।

ω^ω वास्तविक विश्लेषण में स्वतंत्र, किंतु सामान्य रुचि का भी है, जहां इसे एक समान स्थान माना जाता है। ω^ω और Ir (तर्कसंगत) की समान संरचनाएं अलग-अलग हैं,चूँकि ω^ω अपनी सामान्य मीट्रिक में पूर्ण स्थान है जबकि Ir नहीं है (चूँकि ये स्थान होमियोमोर्फिक हैं)।

शिफ्ट ऑपरेटर

बेयर स्पेस पर शिफ्ट ऑपरेटर, जब वास्तविक के इकाई अंतराल पर मैप किया जाता है, तो गॉस-कुज़मिन-विर्सिंग ऑपरेटर $h(x)=1/x-\lfloor 1/x\rfloor$बन जाता है। अर्थात्, अनुक्रम $(a_{1},a_{2},\cdots )$ दिया गया है, शिफ्ट ऑपरेटर टी रिटर्न $T(a_{1},a_{2},\cdots )=(a_{2},\cdots )$ देता है। इसी तरह, निरंतर भिन्न $x=[a_{1},a_{2},\cdots ]$ को देखते हुए, गॉस मानचित्र $h(x)=[a_{2},\cdots ]$ लौटाता है। बेयर स्पेस से जटिल विमान तक के कार्यों के लिए संबंधित ऑपरेटर गॉस-कुज़मिन-विर्सिंग ऑपरेटर है; यह गॉस मानचित्र का स्थानांतरण ऑपरेटर है।[1] अर्थात्, कोई बेयर स्पेस से जटिल समतल $\mathbb {C}$ तक के मानचित्रों $\omega ^{\omega }\to \mathbb {C}$ पर विचार करता है। मानचित्रों का यह स्थान बेयर स्पेस पर उत्पाद टोपोलॉजी से एक टोपोलॉजी प्राप्त करता है; उदाहरण के लिए, कोई एक समान अभिसरण वाले कार्यों पर विचार कर सकता है। फ़ंक्शंस के इस स्थान पर कार्य करने वाला शिफ्ट मैप, तब जीकेडब्ल्यू ऑपरेटर होता है।

शिफ्ट ऑपरेटर का हार माप, यानी, एक कार्य जो शिफ्ट के तहत अपरिवर्तनीय है, मिन्कोव्स्की माप $(...)'$ द्वारा दिया जाता है। यानी, किसी के पास वह $(TE)'=E'$ है, जहां T बदलाव है और E, ω^ω का कोई मापने योग्य उपसमुच्चय है।

यह भी देखें

• बेयर स्पेस
• टोपोलॉजी की सूची

संदर्भ

• Kechris, Alexander S. (1994). Classical Descriptive Set Theory. Springer-Verlag. ISBN 0-387-94374-9.
• Moschovakis, Yiannis N. (1980). Descriptive Set Theory. North Holland. ISBN 0-444-70199-0.