बेयर स्पेस (सेट सिद्धांत)

For the concept in topology, see Baire space.

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

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

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

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

See also: Countable set

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

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

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

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

एक निश्चित पूर्णांक स्थान n और पूर्णांक मान v के लिए। सिलेंडर तब सिलेंडर सेट के लिए जनरेटर होते हैं: सिलेंडर सेट में सिलेंडर की एक सीमित संख्या के सभी चौराहे शामिल होते हैं। अर्थात्, प्राकृतिक संख्या निर्देशांक का कोई भी सीमित सेट दिया गया है $I\subseteq \omega$ और संगत प्राकृतिक संख्या मान $v_{i}$ प्रत्येक के लिए $i\in 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. यह एक अनगिनत अनंत संतृप्त मॉडल का ऑटोमोर्फिज्म समूह है $M$ कुछ संपूर्ण सिद्धांत का $T$.

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

जब उन्हें वास्तविक रेखा से विरासत में मिली उप-स्थान टोपोलॉजी दी जाती है, तो बेयर स्पेस अपरिमेय संख्याओं के सेट के लिए समरूप होता है। निरंतर भिन्नों का उपयोग करके बेयर स्पेस और अपरिमेयता के बीच एक समरूपता का निर्माण किया जा सकता है। यानी एक क्रम दिया गया है $(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}}$ हमें एक और होमोमोर्फिज्म मिलता है $\omega ^{\omega }$ खुले इकाई अंतराल में अपरिमेयता के लिए $(0,1)$ और हम नकारात्मक अपरिमेयता के लिए भी ऐसा ही कर सकते हैं। हम देखते हैं कि अपरिमेय चार स्थानों का टोपोलॉजिकल योग है जो बेयर स्पेस के लिए होमियोमॉर्फिक है और इसलिए बेयर स्पेस के लिए होमियोमॉर्फिक भी है।

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

ω^ωवास्तविक विश्लेषण में स्वतंत्र, लेकिन मामूली रुचि का भी है, जहां इसे एक समान स्थान माना जाता है। ω की समान संरचनाएँ^{हालाँकि, ω} और 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 ]$. बेयर स्पेस से जटिल विमान तक के कार्यों के लिए संबंधित ऑपरेटर गॉस-कुज़मिन-विर्सिंग ऑपरेटर है; यह गॉस मानचित्र का स्थानांतरण ऑपरेटर है। अर्थात् मानचित्रों पर विचार करता है $\omega ^{\omega }\to \mathbb {C}$ बेयर अंतरिक्ष से जटिल तल तक $\mathbb {C}$. मानचित्रों का यह स्थान बेयर स्पेस पर उत्पाद टोपोलॉजी से एक टोपोलॉजी प्राप्त करता है; उदाहरण के लिए, कोई एक समान अभिसरण वाले कार्यों पर विचार कर सकता है। फ़ंक्शंस के इस स्थान पर कार्य करने वाला शिफ्ट मैप, तब GKW ऑपरेटर होता है।

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

यह भी देखें

• Baire space
• List of topologies

संदर्भ

• 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.