मानक बोरेल स्थान: Difference between revisions
No edit summary |
No edit summary |
||
| Line 5: | Line 5: | ||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
यदि कोई [[मीट्रिक (गणित)]] <math>X</math> उपस्थित है। जिससे उसे मानक बोरेल मापने योग्य स्थान <math>(X, \Sigma)</math> कहा जाता है। जो इसे इस प्रकार से एक [[पूर्ण मीट्रिक स्थान]] वियोज्य स्पेस मीट्रिक स्पेस बनाता है। जिससे <math>\Sigma</math> एक बोरेल σ-बीजगणित है।<ref>Mackey, G.W. (1957): Borel structure in groups and their duals. [[Trans. Am. Math. Soc.]], 85, 134-165.</ref> | |||
मानक बोरेल रिक्त स्थान में कई उपयोगी विशेषताएं होती हैं। जो सामान्य औसत क्रमांक के स्थान के लिए नहीं होती हैं। | |||
* | == विशेषताएँं == | ||
* | |||
* मानक बोरेल रिक्त स्थान के एक [[गणनीय]] | * यदि <math>(X, \Sigma)</math> और <math>(Y, T)</math> मानक बोरेल हैं। जिससे कोई विशेषण [[मापने योग्य कार्य|मापने योग्य मैपिंग]] <math>f : (X, \Sigma) \to (Y, \Tau)</math> एक समरूपता है (अर्थात प्रतिलोम मानचित्रण भी मापने योग्य है)। यह[[ विश्लेषणात्मक सेट | विश्लेषणात्मक समुच्चय]] से प्राप्त किया जाता है। सूस्लिन की प्रमेय, एक समुच्चय के रूप में जो एनालिटिक समुच्चय और [[coanalytic|को-एनालिटिक]] दोनों होते है, जिससे अनिवार्य रूप से बोरेल हैं। | ||
* यदि <math>(X, \Sigma)</math> और <math>(Y, T)</math> मानक बोरेल स्थान हैं और <math>f : X \to Y</math>, जिससे <math>f</math> मापने योग्य है। यदि और केवल यदि किसी फलन का ग्राफ़ <math>f</math> बोरेल है। | |||
* मानक बोरेल रिक्त स्थान के एक [[गणनीय|गणना करने योग्य]] फैमली का उत्पाद और प्रत्यक्ष संघ मानक है। | |||
* एक मानक बोरेल स्थान पर प्रत्येक पूर्ण माप [[संभाव्यता माप]] इसे एक मानक संभावना स्थान में बदल देता है। | * एक मानक बोरेल स्थान पर प्रत्येक पूर्ण माप [[संभाव्यता माप]] इसे एक मानक संभावना स्थान में बदल देता है। | ||
Revision as of 00:07, 29 May 2023
गणित में मानक बोरेल स्थान एक पोलिश स्थान से जुड़ा हुआ बोरेल स्थान हैं। असतत पोलिश स्थान के डिस्काउन्टिंग बोरेल रिक्त स्थान, मापने योग्य स्थान के समरूपता वक्र केवल एक मानक बोरेल रिक्त स्थान है।
औपचारिक परिभाषा
यदि कोई मीट्रिक (गणित) उपस्थित है। जिससे उसे मानक बोरेल मापने योग्य स्थान कहा जाता है। जो इसे इस प्रकार से एक पूर्ण मीट्रिक स्थान वियोज्य स्पेस मीट्रिक स्पेस बनाता है। जिससे एक बोरेल σ-बीजगणित है।[1]
मानक बोरेल रिक्त स्थान में कई उपयोगी विशेषताएं होती हैं। जो सामान्य औसत क्रमांक के स्थान के लिए नहीं होती हैं।
विशेषताएँं
- यदि और मानक बोरेल हैं। जिससे कोई विशेषण मापने योग्य मैपिंग एक समरूपता है (अर्थात प्रतिलोम मानचित्रण भी मापने योग्य है)। यह विश्लेषणात्मक समुच्चय से प्राप्त किया जाता है। सूस्लिन की प्रमेय, एक समुच्चय के रूप में जो एनालिटिक समुच्चय और को-एनालिटिक दोनों होते है, जिससे अनिवार्य रूप से बोरेल हैं।
- यदि और मानक बोरेल स्थान हैं और , जिससे मापने योग्य है। यदि और केवल यदि किसी फलन का ग्राफ़ बोरेल है।
- मानक बोरेल रिक्त स्थान के एक गणना करने योग्य फैमली का उत्पाद और प्रत्यक्ष संघ मानक है।
- एक मानक बोरेल स्थान पर प्रत्येक पूर्ण माप संभाव्यता माप इसे एक मानक संभावना स्थान में बदल देता है।
कुराटोव्स्की का प्रमेय
प्रमेय। होने देना एक पोलिश स्पेस हो, यानी एक टोपोलॉजिकल स्पेस हो जैसे कि एक मेट्रिक (गणित) हो पर की टोपोलॉजी को परिभाषित करता है और वह बनाता है एक पूर्ण वियोज्य मीट्रिक स्थान। तब बोरेल स्पेस के रूप में बोरेल समरूपता में से एक है (1) (2) या (3) एक परिमित असतत स्थान। (यह परिणाम महरम के प्रमेय की याद दिलाता है।)
यह इस प्रकार है कि एक मानक बोरेल स्पेस को इसकी प्रमुखता से आइसोमोर्फिज्म तक की विशेषता है,[2] और यह कि किसी भी बेशुमार मानक बोरेल स्थान में सातत्य की प्रमुखता होती है।
मानक बोरेल रिक्त स्थान पर बोरेल समरूपता टोपोलॉजिकल रिक्त स्थान पर होमोमोर्फिम्स के समान हैं: दोनों विशेषण हैं और संरचना के तहत बंद हैं, और एक होमियोमोर्फिज्म और इसके व्युत्क्रम दोनों निरंतरता (टोपोलॉजी) हैं, दोनों के बजाय केवल बोरेल औसत दर्जे का है।
यह भी देखें
संदर्भ
- ↑ Mackey, G.W. (1957): Borel structure in groups and their duals. Trans. Am. Math. Soc., 85, 134-165.
- ↑ Srivastava, S.M. (1991), A Course on Borel Sets, Springer Verlag, ISBN 0-387-98412-7
