मानक बोरेल स्थान

गणित में मानक बोरेल स्थान एक पोलिश स्थान से जुड़ा हुआ बोरेल स्थान हैं। असतत पोलिश स्थान के डिस्काउन्टिंग बोरेल रिक्त स्थान, मापने योग्य स्थान के समरूपता वक्र केवल एक मानक बोरेल रिक्त स्थान है।

औपचारिक परिभाषा

यदि कोई मीट्रिक (गणित) $X$ उपस्थित है। जिससे उसे मानक बोरेल मापने योग्य स्थान $(X,\Sigma )$ कहा जाता है। जो इसे इस प्रकार से एक पूर्ण मीट्रिक स्थान वियोज्य स्पेस मीट्रिक स्पेस बनाता है। जिससे $\Sigma$ एक बोरेल σ-बीजगणित है।

मानक बोरेल रिक्त स्थान में कई उपयोगी विशेषताएं होती हैं। जो सामान्य औसत क्रमांक के स्थान के लिए नहीं होती हैं।

विशेषताएँं

• यदि $(X,\Sigma )$ और $(Y,T)$ मानक बोरेल हैं। जिससे कोई विशेषण मापने योग्य मैपिंग $f:(X,\Sigma )\to (Y,\mathrm {T} )$ एक समरूपता है (अर्थात प्रतिलोम मानचित्रण भी मापने योग्य है)। यह विश्लेषणात्मक समुच्चय से प्राप्त किया जाता है। सूस्लिन की प्रमेय, एक समुच्चय के रूप में जो एनालिटिक समुच्चय और को-एनालिटिक दोनों होते है, जिससे अनिवार्य रूप से बोरेल हैं।
• यदि $(X,\Sigma )$ और $(Y,T)$ मानक बोरेल स्थान हैं और $f:X\to Y$, जिससे $f$ मापने योग्य है। यदि और केवल यदि किसी फलन का ग्राफ़ $f$ बोरेल है।
• मानक बोरेल रिक्त स्थान के एक गणना करने योग्य फैमली का उत्पाद और प्रत्यक्ष संघ मानक है।
• मानक बोरेल स्थान पर प्रत्येक पूर्ण माप संभाव्यता माप इसे एक मानक संभावना स्थान में है।

कुराटोव्स्की का प्रमेय

प्रमेय। होने देना $X$ एक पोलिश स्पेस हो, यानी एक टोपोलॉजिकल स्पेस हो जैसे कि एक मेट्रिक (गणित) हो $d$ पर $X$ की टोपोलॉजी को परिभाषित करता है $X$ और वह बनाता है $X$ एक पूर्ण वियोज्य मीट्रिक स्थान। तब $X$ बोरेल स्पेस के रूप में बोरेल समरूपता में से एक है (1) $\mathbb {R} ,$ (2) $\mathbb {Z}$ या (3) एक परिमित असतत स्थान। (यह परिणाम महरम के प्रमेय की याद दिलाता है।)

यह इस प्रकार है कि एक मानक बोरेल स्पेस को इसकी प्रमुखता से आइसोमोर्फिज्म तक की विशेषता है, और यह कि किसी भी बेशुमार मानक बोरेल स्थान में सातत्य की प्रमुखता होती है।

मानक बोरेल रिक्त स्थान पर बोरेल समरूपता टोपोलॉजिकल रिक्त स्थान पर होमोमोर्फिम्स के समान हैं: दोनों विशेषण हैं और संरचना के तहत बंद हैं, और एक होमियोमोर्फिज्म और इसके व्युत्क्रम दोनों निरंतरता (टोपोलॉजी) हैं, दोनों के बजाय केवल बोरेल औसत दर्जे का है।

यह भी देखें

• Measurable space