घूर्णन समुच्चय: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|In mathematics, a concept that formalizes a certain idea of movement and mixing}}
{{Short description|In mathematics, a concept that formalizes a certain idea of movement and mixing}}
गतिशील प्रणालियों और [[एर्गोडिक सिद्धांत]] में, भटकने वाले सेट की अवधारणा आंदोलन और [[मिश्रण (गणित)]] के निश्चित विचार को औपचारिक रूप देती है। जब [[गतिशील प्रणाली]] में गैर-शून्य माप का भटकने वाला सेट होता है, तो प्रणाली विघटनकारी प्रणाली होती है। यह [[रूढ़िवादी प्रणाली]] के विपरीत है, जिस पर पोंकारे पुनरावृत्ति प्रमेय लागू होता है। सहजता से, घूमने वाले सेट और अपव्यय के बीच संबंध आसानी से समझा जाता है: यदि [[चरण स्थान]] का हिस्सा सिस्टम के सामान्य समय-विकास के दौरान भटक जाता है, और फिर कभी नहीं देखा जाता है, तो सिस्टम विघटनकारी है। [[अपव्यय प्रणाली]] की अवधारणा को सटीक, गणितीय परिभाषा देने के लिए भटकने वाले सेट की भाषा का उपयोग किया जा सकता है। 1927 में [[जॉर्ज डेविड बिरखॉफ]] द्वारा फेज स्पेस में वांडरिंग सेट की धारणा पेश की गई थी।{{citation needed|date=November 2010}}
गतिशील प्रणालियों और [[एर्गोडिक सिद्धांत]] में घूर्णन समुच्चय की अवधारणा किसी [[मिश्रण (गणित)|गणितीय मिश्रण]] के निश्चित विचार को औपचारिक रूप देती है। जब [[गतिशील प्रणाली]] में गैर-शून्य माप का घूर्णन समुच्चय उपयोग होता है, तो इस प्रकार की प्रणाली विघटनकारी प्रणाली होती है। यह [[रूढ़िवादी प्रणाली]] के विपरीत रहती है, जिस पर पोंकारे पुनरावृत्ति प्रमेय लागू होती है। इस प्रकार सहजता से, घूर्णन समुच्चय और अपव्यय के बीच संबंध सरलता से समझा जाता है: यदि [[चरण स्थान]] का भाग किसी प्रणाली के सामान्य समय विकास के समय भटक जाता है, और फिर कभी नहीं देखा जाता तो यह प्रणाली विघटनकारी रूप से प्रयुक्त होती है। [[अपव्यय प्रणाली]] की अवधारणा को सटीक, गणितीय परिभाषा देने के लिए घूर्णन वाले समुच्चय की भाषा का उपयोग किया जा सकता है। 1927 में [[जॉर्ज डेविड बिरखॉफ]] द्वारा फेज स्पेस में वांडरिंग समुच्चय की धारणा पेश की गई थी।{{citation needed|date=November 2010}}


== भटकने वाले बिंदु ==
== घूर्णन बिंदु ==
घूमने वाले सेटों की आम, असतत-समय परिभाषा मानचित्र से शुरू होती है <math>f:X\to X</math> [[टोपोलॉजिकल स्पेस]] एक्स। बिंदु <math>x\in X</math> यदि कोई [[पड़ोस (गणित)]] ''x'' का ''U'' और सकारात्मक पूर्णांक ''N'' है, तो इसे भटकने वाला बिंदु कहा जाता है, जैसे कि सभी के लिए <math>n>N</math>, [[पुनरावृत्त नक्शा]] गैर-प्रतिच्छेदित है:
घूर्णन समुच्चयों की सरलता, असतत-समय को परिभाषा करने के लिए मानचित्र द्वारा इसे प्रारंभ किया जाता है, इस प्रकार फलन <math>f:X\to X</math> [[टोपोलॉजिकल स्पेस]] x बिंदु के लिए <math>x\in X</math> यदि कोई [[पड़ोस (गणित)|समीपस्थ]] बिन्दु ''x'' का ''U'' और धनात्मक पूर्णांक ''N'' है, तो इसे घूर्णन बिंदु कहा जाता है, जैसे कि सभी के लिए <math>n>N</math>, [[पुनरावृत्त नक्शा]] गैर-प्रतिच्छेदित होता है:


:<math>f^n(U) \cap U = \varnothing.</math>
:<math>f^n(U) \cap U = \varnothing.</math>
एक आसान परिभाषा के लिए केवल यह आवश्यक है कि चौराहे का माप शून्य हो। सटीक होने के लिए, परिभाषा के लिए आवश्यक है कि X माप स्थान हो, यानी ट्रिपल का हिस्सा <math>(X,\Sigma,\mu)</math> [[बोरेल सेट]] की <math>\Sigma</math> और उपाय <math>\mu</math> ऐसा है कि
किसी सरल परिभाषा के लिए केवल यह आवश्यक है कि प्रतिच्छेदन बिन्दु का मान शून्य हो। इसका सही मान प्राप्त करने के लिए इसकी परिभाषा के अनुसार यह आवश्यक है कि X माप स्थान हो, अर्ताथ ट्रिपल भाग के लिए <math>(X,\Sigma,\mu)</math> [[बोरेल सेट|बोरेल समुच्चय]] की <math>\Sigma</math> और <math>\mu</math> का मान इस प्रकार है कि


:<math>\mu\left(f^n(U) \cap U \right) = 0,</math>
:<math>\mu\left(f^n(U) \cap U \right) = 0,</math>
सभी के लिए <math>n>N</math>. इसी तरह, सतत समय प्रणाली में नक्शा होगा <math>\varphi_t:X\to X</math> टाइम-इवोल्यूशन ऑपरेटर के साथ सिस्टम के समय विकास या [[प्रवाह (गणित)]] को परिभाषित करना <math>\varphi</math> X पर एक-पैरामीटर सतत [[एबेलियन समूह]] [[समूह क्रिया (गणित)]] होना:
इसके सभी मानों के लिए <math>n>N</math> रहता हैं। इसी प्रकार सतत समय प्रणाली में <math>\varphi_t:X\to X</math> नक्शा प्राप्त होगा। इस प्रकार टाइम इवोल्यूशन ऑपरेटर के साथ प्रणाली के समय विकास या [[प्रवाह (गणित)]] को <math>\varphi</math> X द्वारा परिभाषित करने पर एक-पैरामीटर सतत [[एबेलियन समूह]] [[समूह क्रिया (गणित)]] होती हैं जो इस प्रकार हैं:


:<math>\varphi_{t+s} = \varphi_t \circ \varphi_s.</math>
:<math>\varphi_{t+s} = \varphi_t \circ \varphi_s.</math>
ऐसे में यह भटकने वाला बिंदु है <math>x\in X</math> x का पड़ोस U होगा और समय T ऐसा होगा कि हर समय के लिए <math>t>T</math>, समय-विकसित नक्शा माप शून्य का है:
ऐसे में यह घूर्णन बिंदु <math>x\in X</math> है जिसके लिए x का समीपस्थ बिंदु U होगा और समय T ऐसा होगा कि हर समय के लिए <math>t>T</math>, समय-विकसित नक्शे की माप करने पर मान शून्य है:


:<math>\mu\left(\varphi_t(U) \cap U \right) = 0.</math>
:<math>\mu\left(\varphi_t(U) \cap U \right) = 0.</math>
इन सरल परिभाषाओं को [[टोपोलॉजिकल समूह]] के समूह क्रिया (गणित) के लिए पूरी तरह से सामान्यीकृत किया जा सकता है। होने देना <math>\Omega=(X,\Sigma,\mu)</math> माप स्थान हो, जो कि [[सेट (गणित)]] है जिसमें माप (गणित) है जो इसके [[बोरेल सबसेट]] पर परिभाषित है। होने देना <math>\Gamma</math> उस सेट पर अभिनय करने वाला समूह बनें। बिंदु दिया <math>x \in \Omega</math>, सेट
इन सरल परिभाषाओं को [[टोपोलॉजिकल समूह]] के समूह क्रिया को गणितीय रूप से पूर्ण रूप से सामान्यीकृत किया जा सकता है। इस प्रकार <math>\Omega=(X,\Sigma,\mu)</math> माप स्थान को प्रकट करता हैं, जो कि [[सेट (गणित)|समुच्चय (गणित)]] है जिसमें माप (गणित) है जो इसके [[बोरेल सबसेट|बोरेल सबसमुच्चय]] पर परिभाषित है। इस प्रकार <math>\Gamma</math> उस समुच्चय पर अभिनय करने वाला समूह बनाता हैं। इस प्रकार दिया गया बिंदु <math>x \in \Omega</math> के लिए समुच्चय


:<math>\{\gamma \cdot x : \gamma \in \Gamma\}</math>
:<math>\{\gamma \cdot x : \gamma \in \Gamma\}</math>
बिंदु x का [[प्रक्षेपवक्र]] या [[कक्षा (समूह सिद्धांत)]] कहा जाता है।
बिंदु x का [[प्रक्षेपवक्र]] या [[कक्षा (समूह सिद्धांत)|समूह सिद्धांत]] कहा जाता है।


तत्व <math>x \in \Omega</math> भटकने वाला बिंदु कहा जाता है यदि वहां 'एक्स' का पड़ोस 'यू' और पहचान का पड़ोस 'वी' मौजूद है <math>\Gamma</math> ऐसा है कि
इस प्रकार अवयव <math>x \in \Omega</math> घूर्णन बिंदु कहा जाता है यदि वहां 'x' का समीपस्थ 'U' और इसकी पहचान के लिए समीपस्थ 'v' बिंदु उपस्थित है जिसे <math>\Gamma</math> से प्रकट करते हैं जो इस प्रकार हैं-
:<math>\mu\left(\gamma \cdot U \cap U\right)=0</math>
:<math>\mu\left(\gamma \cdot U \cap U\right)=0</math>
सभी के लिए <math>\gamma \in \Gamma-V</math>.
इसके सभी मानों के लिए <math>\gamma \in \Gamma-V</math> समीकरण प्रयुक्त हैं।


== गैर-भटकने वाले बिंदु ==
== गैर-घूर्णन वाले बिंदु ==
एक गैर-भटकने वाला बिंदु विपरीत है। असतत मामले में, <math>x\in X</math> गैर-घूमने वाला है, यदि x और प्रत्येक N> 0 वाले प्रत्येक खुले सेट U के लिए, कुछ n> N ऐसा है
गैर-घूर्णन बिंदु विपरीत रहते हैं। असतत स्थितियों में, <math>x\in X</math> गैर-घूमने वाले बिंदु है, यदि x और प्रत्येक N> 0 वाले प्रत्येक खुले समुच्चय U के लिए, कुछ n> N ऐसा है


:<math>\mu\left(f^n(U)\cap U \right) > 0. </math>
:<math>\mu\left(f^n(U)\cap U \right) > 0. </math>
इसी तरह की परिभाषाएँ निरंतर-समय और असतत और निरंतर समूह क्रियाओं के लिए अनुसरण करती हैं।
इसी प्रकार की परिभाषाएँ निरंतर-समय और असतत और निरंतर समूह क्रियाओं के लिए अनुसरण करती हैं।


== घुमक्कड़ सेट और अपव्यय प्रणाली ==
== वांडरिंग समुच्चय और अपव्यय प्रणाली ==
वांडरिंग सेट वांडरिंग पॉइंट्स का संग्रह है। अधिक सटीक रूप से, का उपसमुच्चय W <math>\Omega</math> असतत समूह की कार्रवाई के तहत भटकने वाला सेट है <math>\Gamma</math> यदि डब्ल्यू औसत दर्जे का है और यदि, किसी के लिए <math>\gamma \in \Gamma - \{e\}</math> चौराहा
वांडरिंग समुच्चय वांडरिंग पॉइंट्स का संग्रह है। अधिक सटीक रूप से, का उपसमुच्चय W <math>\Omega</math> असतत समूह के कार्यों के फलस्वरुप घूर्णन वाला समुच्चय <math>\Gamma</math> है, इस प्रकार यदि W औसत स्थिति का है और यदि, किसी के लिए <math>\gamma \in \Gamma - \{e\}</math> प्रतिच्छेदन


:<math>\gamma W \cap W</math>
:<math>\gamma W \cap W</math>
माप शून्य का सेट है।
माप शून्य का समुच्चय है।


घूमने वाले सेट की अवधारणा पोंकारे पुनरावृत्ति प्रमेय में व्यक्त विचारों के लिए अर्थ में दोहरी है। यदि सकारात्मक माप का आवारा सेट मौजूद है, तो की क्रिया <math>\Gamma</math> बताया गया{{dfn|dissipative}}, और गतिशील प्रणाली <math>(\Omega, \Gamma)</math> अपव्यय प्रणाली कहा जाता है। यदि ऐसा कोई वांडरिंग सेट नहीं है, तो क्रिया को कहा जाता है{{dfn|conservative}}, और प्रणाली रूढ़िवादी प्रणाली है। उदाहरण के लिए, कोई भी प्रणाली जिसके लिए पॉइनकेयर पुनरावृत्ति प्रमेय धारण करता है, परिभाषा के अनुसार, सकारात्मक माप का भटकने वाला सेट नहीं हो सकता है; और इस प्रकार रूढ़िवादी प्रणाली का उदाहरण है।
घूर्णन समुच्चय की अवधारणा पोंकारे पुनरावृत्ति प्रमेय में व्यक्त विचारों के लिए अर्थ में दोहरी है। यदि धनात्मक माप के लिए यह समुच्चय उपयोग किया जाता है, तो इस क्रिया को <math>\Gamma</math> द्वारा बताया गया हैं। इस प्रकार गतिशील प्रणाली <math>(\Omega, \Gamma)</math> अपव्यय प्रणाली कहा जाता है। यदि ऐसा कोई वांडरिंग समुच्चय नहीं है, तो क्रिया को कहा जाता है, अपव्ययी प्रणाली एक प्रकार से रूढ़िवादी प्रणाली है। इस प्रकार उदाहरण के लिए, कोई भी प्रणाली जिसके लिए पॉइनकेयर पुनरावृत्ति प्रमेय धारण करता है, परिभाषा के अनुसार, धनात्मक माप का घूर्णन वाला समुच्चय नहीं हो सकता है; और इस प्रकार रूढ़िवादी प्रणाली का उदाहरण है।


एक घुमंतू समुच्चय W के प्रक्षेपपथ को परिभाषित कीजिए
वांडरिंग समुच्चय W के प्रक्षेपपथ को परिभाषित कीजिए


:<math>W^* = \bigcup_{\gamma \in \Gamma} \;\; \gamma W.</math>
:<math>W^* = \bigcup_{\gamma \in \Gamma} \;\; \gamma W.</math>
की क्रिया <math>\Gamma</math> बताया गया{{dfn|completely dissipative}} यदि सकारात्मक माप का भटकने वाला सेट W मौजूद है, जैसे कि कक्षा <math>W^*</math> लगभग-हर जगह के बराबर है <math>\Omega</math>, यानी अगर
<math>\Gamma</math> की क्रिया में बताया गया हैं कि समुच्चय यदि धनात्मक माप का घूर्णन समुच्चय W मान प्रस्तुत करता है, जैसे कि कक्षा <math>W^*</math> लगभग-हर जगह <math>\Omega</math> के बराबर है , अर्ताथ यदि


:<math>\Omega - W^*</math>
:<math>\Omega - W^*</math>
माप शून्य का सेट है।
माप शून्य का समुच्चय है।


हॉफ अपघटन बताता है कि रूढ़िवादी प्रणाली के साथ प्रत्येक माप स्थान | गैर-एकवचन परिवर्तन को अपरिवर्तनीय रूढ़िवादी सेट और अपरिवर्तनीय भटकने वाले सेट में विघटित किया जा सकता है।
हॉफ अपघटन बताता है कि रूढ़िवादी प्रणाली के साथ प्रत्येक माप स्थान या गैर-एकवचन परिवर्तन को अपरिवर्तनीय रूढ़िवादी समुच्चय और अपरिवर्तनीय घूर्णन वाले समुच्चय में विघटित किया जा सकता है।


== यह भी देखें ==
== यह भी देखें ==
* [[कोई भटकने वाला डोमेन प्रमेय नहीं]]
* [[कोई भटकने वाला डोमेन प्रमेय नहीं|घूर्णन समुच्चय के लिए डोमेन प्रमेय उपयोग नहीं की जाती हैं]]


==संदर्भ==
==संदर्भ==

Revision as of 23:58, 29 May 2023

गतिशील प्रणालियों और एर्गोडिक सिद्धांत में घूर्णन समुच्चय की अवधारणा किसी गणितीय मिश्रण के निश्चित विचार को औपचारिक रूप देती है। जब गतिशील प्रणाली में गैर-शून्य माप का घूर्णन समुच्चय उपयोग होता है, तो इस प्रकार की प्रणाली विघटनकारी प्रणाली होती है। यह रूढ़िवादी प्रणाली के विपरीत रहती है, जिस पर पोंकारे पुनरावृत्ति प्रमेय लागू होती है। इस प्रकार सहजता से, घूर्णन समुच्चय और अपव्यय के बीच संबंध सरलता से समझा जाता है: यदि चरण स्थान का भाग किसी प्रणाली के सामान्य समय विकास के समय भटक जाता है, और फिर कभी नहीं देखा जाता तो यह प्रणाली विघटनकारी रूप से प्रयुक्त होती है। अपव्यय प्रणाली की अवधारणा को सटीक, गणितीय परिभाषा देने के लिए घूर्णन वाले समुच्चय की भाषा का उपयोग किया जा सकता है। 1927 में जॉर्ज डेविड बिरखॉफ द्वारा फेज स्पेस में वांडरिंग समुच्चय की धारणा पेश की गई थी।[citation needed]

घूर्णन बिंदु

घूर्णन समुच्चयों की सरलता, असतत-समय को परिभाषा करने के लिए मानचित्र द्वारा इसे प्रारंभ किया जाता है, इस प्रकार फलन टोपोलॉजिकल स्पेस x बिंदु के लिए यदि कोई समीपस्थ बिन्दु x का U और धनात्मक पूर्णांक N है, तो इसे घूर्णन बिंदु कहा जाता है, जैसे कि सभी के लिए , पुनरावृत्त नक्शा गैर-प्रतिच्छेदित होता है:

किसी सरल परिभाषा के लिए केवल यह आवश्यक है कि प्रतिच्छेदन बिन्दु का मान शून्य हो। इसका सही मान प्राप्त करने के लिए इसकी परिभाषा के अनुसार यह आवश्यक है कि X माप स्थान हो, अर्ताथ ट्रिपल भाग के लिए बोरेल समुच्चय की और का मान इस प्रकार है कि

इसके सभी मानों के लिए रहता हैं। इसी प्रकार सतत समय प्रणाली में नक्शा प्राप्त होगा। इस प्रकार टाइम इवोल्यूशन ऑपरेटर के साथ प्रणाली के समय विकास या प्रवाह (गणित) को X द्वारा परिभाषित करने पर एक-पैरामीटर सतत एबेलियन समूह समूह क्रिया (गणित) होती हैं जो इस प्रकार हैं:

ऐसे में यह घूर्णन बिंदु है जिसके लिए x का समीपस्थ बिंदु U होगा और समय T ऐसा होगा कि हर समय के लिए , समय-विकसित नक्शे की माप करने पर मान शून्य है:

इन सरल परिभाषाओं को टोपोलॉजिकल समूह के समूह क्रिया को गणितीय रूप से पूर्ण रूप से सामान्यीकृत किया जा सकता है। इस प्रकार माप स्थान को प्रकट करता हैं, जो कि समुच्चय (गणित) है जिसमें माप (गणित) है जो इसके बोरेल सबसमुच्चय पर परिभाषित है। इस प्रकार उस समुच्चय पर अभिनय करने वाला समूह बनाता हैं। इस प्रकार दिया गया बिंदु के लिए समुच्चय

बिंदु x का प्रक्षेपवक्र या समूह सिद्धांत कहा जाता है।

इस प्रकार अवयव घूर्णन बिंदु कहा जाता है यदि वहां 'x' का समीपस्थ 'U' और इसकी पहचान के लिए समीपस्थ 'v' बिंदु उपस्थित है जिसे से प्रकट करते हैं जो इस प्रकार हैं-

इसके सभी मानों के लिए समीकरण प्रयुक्त हैं।

गैर-घूर्णन वाले बिंदु

गैर-घूर्णन बिंदु विपरीत रहते हैं। असतत स्थितियों में, गैर-घूमने वाले बिंदु है, यदि x और प्रत्येक N> 0 वाले प्रत्येक खुले समुच्चय U के लिए, कुछ n> N ऐसा है

इसी प्रकार की परिभाषाएँ निरंतर-समय और असतत और निरंतर समूह क्रियाओं के लिए अनुसरण करती हैं।

वांडरिंग समुच्चय और अपव्यय प्रणाली

वांडरिंग समुच्चय वांडरिंग पॉइंट्स का संग्रह है। अधिक सटीक रूप से, का उपसमुच्चय W असतत समूह के कार्यों के फलस्वरुप घूर्णन वाला समुच्चय है, इस प्रकार यदि W औसत स्थिति का है और यदि, किसी के लिए प्रतिच्छेदन

माप शून्य का समुच्चय है।

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

वांडरिंग समुच्चय W के प्रक्षेपपथ को परिभाषित कीजिए

की क्रिया में बताया गया हैं कि समुच्चय यदि धनात्मक माप का घूर्णन समुच्चय W मान प्रस्तुत करता है, जैसे कि कक्षा लगभग-हर जगह के बराबर है , अर्ताथ यदि

माप शून्य का समुच्चय है।

हॉफ अपघटन बताता है कि रूढ़िवादी प्रणाली के साथ प्रत्येक माप स्थान या गैर-एकवचन परिवर्तन को अपरिवर्तनीय रूढ़िवादी समुच्चय और अपरिवर्तनीय घूर्णन वाले समुच्चय में विघटित किया जा सकता है।

यह भी देखें

संदर्भ

  • Nicholls, Peter J. (1989). The Ergodic Theory of Discrete Groups. Cambridge: Cambridge University Press. ISBN 0-521-37674-2.
  • Alexandre I. Danilenko and Cesar E. Silva (8 April 2009). Ergodic theory: Nonsingular transformations; See Arxiv arXiv:0803.2424.
  • Krengel, Ulrich (1985), Ergodic theorems, De Gruyter Studies in Mathematics, vol. 6, de Gruyter, ISBN 3-11-008478-3