घूर्णन समुच्चय

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

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


 * $$f^n(U) \cap U = \varnothing.$$

एक आसान परिभाषा के लिए केवल यह आवश्यक है कि चौराहे का माप शून्य हो। सटीक होने के लिए, परिभाषा के लिए आवश्यक है कि X एक माप स्थान हो, यानी ट्रिपल का हिस्सा $$(X,\Sigma,\mu)$$ बोरेल सेट की $$\Sigma$$ और एक उपाय $$\mu$$ ऐसा है कि


 * $$\mu\left(f^n(U) \cap U \right) = 0,$$

सभी के लिए $$n>N$$. इसी तरह, एक सतत समय प्रणाली में एक नक्शा होगा $$\varphi_t:X\to X$$ टाइम-इवोल्यूशन ऑपरेटर के साथ सिस्टम के समय विकास या प्रवाह (गणित) को परिभाषित करना $$\varphi$$ X पर एक-पैरामीटर सतत एबेलियन समूह समूह क्रिया (गणित) होना:


 * $$\varphi_{t+s} = \varphi_t \circ \varphi_s.$$

ऐसे में यह एक भटकने वाला बिंदु है $$x\in X$$ x का पड़ोस U होगा और एक समय T ऐसा होगा कि हर समय के लिए $$t>T$$, समय-विकसित नक्शा माप शून्य का है:


 * $$\mu\left(\varphi_t(U) \cap U \right) = 0.$$

इन सरल परिभाषाओं को एक टोपोलॉजिकल समूह के समूह क्रिया (गणित) के लिए पूरी तरह से सामान्यीकृत किया जा सकता है। होने देना $$\Omega=(X,\Sigma,\mu)$$ एक माप स्थान हो, जो कि एक सेट (गणित) है जिसमें एक माप (गणित) है जो इसके बोरेल सबसेट पर परिभाषित है। होने देना $$\Gamma$$ उस सेट पर अभिनय करने वाला समूह बनें। एक बिंदु दिया $$x \in \Omega$$, सेट


 * $$\{\gamma \cdot x : \gamma \in \Gamma\}$$

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

तत्व $$x \in \Omega$$ एक भटकने वाला बिंदु कहा जाता है यदि वहां 'एक्स' का एक पड़ोस 'यू' और पहचान का एक पड़ोस 'वी' मौजूद है $$\Gamma$$ ऐसा है कि
 * $$\mu\left(\gamma \cdot U \cap U\right)=0$$

सभी के लिए $$\gamma \in \Gamma-V$$.

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


 * $$\mu\left(f^n(U)\cap U \right) > 0. $$

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

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


 * $$\gamma W \cap W$$

माप शून्य का एक सेट है।

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

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


 * $$W^* = \bigcup_{\gamma \in \Gamma} \;\; \gamma W.$$

की क्रिया $$\Gamma$$ बताया गया यदि सकारात्मक माप का एक भटकने वाला सेट W मौजूद है, जैसे कि कक्षा $$W^*$$ लगभग-हर जगह के बराबर है $$\Omega$$, यानी अगर


 * $$\Omega - W^*$$

माप शून्य का एक सेट है।

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

यह भी देखें

 * कोई भटकने वाला डोमेन प्रमेय नहीं

संदर्भ

 * Alexandre I. Danilenko and Cesar E. Silva (8 April 2009). Ergodic theory: Nonsingular transformations; See Arxiv arXiv:0803.2424.
 * Alexandre I. Danilenko and Cesar E. Silva (8 April 2009). Ergodic theory: Nonsingular transformations; See Arxiv arXiv:0803.2424.