एर्गोडिसिटी

"एर्गोडिक" redirects here. For other uses, see एर्गोडिक (disambiguation).

गणित में, एर्गोडिसिटी इस विचार को व्यक्त करती है कि गतिमान प्रणाली का एक बिंदु, या तो गतिशील प्रणाली या प्रसम्भाव्‍य प्रक्रम, अंततः उस स्थान के सभी हिस्सों का दौरा करेगी जहां प्रणाली एक समान और यादृच्छिक अर्थ में चलता है। इसका तात्पर्य यह है कि प्रणाली के औसत आचरण को "विशिष्ट" बिंदु की प्रक्षेपवक्र(गतिकी) से घटाया जा सकता है। समतुल्य रूप से, प्रक्रिया से यादृच्छिक नमूनों का पर्याप्त रूप से बड़ा संग्रह पूरी प्रक्रिया के औसत सांख्यिकीय गुणों का प्रतिनिधित्व कर सकता है। एर्गोडिसिटी प्रणाली की विशेषता है; यह एक कथन है कि प्रणाली को छोटे घटकों में घटाया या विभाजित नहीं किया जा सकता है। एर्गोडिक सिद्धांत एर्गोडिसिटी रखने वाली प्रणालियों का अध्ययन है।

एर्गोडिक प्रणाली भौतिकी और ज्यामिति में प्रणाली की विस्तृत श्रृंखला में होते हैं। मोटे तौर पर इसे सामान्य परिघटना के कारण समझा जा सकता है: कणों की गति, अर्थात अतिशयोक्तिपूर्ण बहुविध पर जियोडेसिक्स अलग-अलग होते हैं; जब वह मैनिफोल्ड्स कॉम्पैक्ट होता है, जो कि परिमित आकार का होता है, तो वे पॉइनकेयर पुनरावृत्ति की परिक्रमा करते हैं, अंततः पूरे स्थान को भर देती है।

एर्गोडिक प्रणाली सामान्य ज्ञान, यादृच्छिकता की हर दिन की धारणाओं को पकड़ते हैं, जैसे कि धुएं से भरे कमरे को भरने के लिए धुआं आ सकता है, या कि धातु का अवरूध्द अंततः एक ही तापमान में आ सकता है, या जो उत्क्षेप करता है सिक्का आधे समय में हेड और टेल आ सकता है। एर्गोडिसिटी की तुलना में दृढ़ अवधारणा मिश्रण (गणित) की है, जिसका उद्देश्य गणितीय रूप से मिश्रण की सामान्य-ज्ञान की धारणाओं का वर्णन करना है, जैसे कि मिश्रण पेय या खाना पकाने की सामग्री को मिलाना है।

एर्गोडिसिटी का उचित गणितीय सूत्रीकरण माप सिद्धांत और गतिशील प्रणालियों की औपचारिक परिभाषाओं पर और विशेष रूप से माप-संरक्षण गतिशील प्रणाली की धारणा पर स्थापित किया गया है। एर्गोडिसिटी की उत्पत्ति सांख्यिकीय भौतिकी में है, जहां लुडविग बोल्ट्जमैन ने एर्गोडिक परिकल्पना तैयार की थी।

अनौपचारिक व्याख्या

एर्गोडिसिटी भौतिकी और गणित में व्यापक समायोजन में होती है। इन सभी समायोजन को एक सामान्य गणितीय विवरण द्वारा एकीकृत किया जाता है, जो कि माप-संरक्षण गतिशील प्रणाली का है। समतुल्य रूप से, प्रसम्भाव्‍य प्रक्रम के संदर्भ में एर्गोडिसिटी को समझा जा सकता है। प्रभावशाली रूप से भिन्न संकेतन और भाषा का उपयोग करने के अतिरिक्त वे एक ही हैं।

माप-संरक्षण गतिशील प्रणाली

एर्गोडिसिटी की गणितीय परिभाषा का उद्देश्य यादृच्छिकता के बारे में हर दिन सामान्य विचारों को पकड़ना है। इसमें उन प्रणालियों के बारे में विचार सम्मिलित हैं जो इस तरह से आगे बढ़ते हैं (अंततः) सभी स्थान भरते हैं, जैसे विसरण और ब्राउनियन गति, साथ ही मिश्रण की सामान्य ज्ञान धारणाएं, जैसे मिश्रण पेंट, पेय, खाना पकाने की सामग्री, औद्योगिक प्रक्रिया मिश्रण, धुएँ से भरे कमरे में धुँआ, शनि वलय में धूल इत्यादि। ठोस गणितीय आधार प्रदान करने के लिए, एर्गोडिक प्रणाली का विवरण माप-संरक्षण गतिशील प्रणाली की परिभाषा से प्रारंभ होता है। इसे इस प्रकार लिखा जाता है $(X,{\mathcal {A}},\mu ,T).$

समुच्चय $X$ को भरे जाने वाले कुल स्थान के रूप में समझा जाता है: मिश्रण कटोरा, धुएँ से भरा कमरा, आदि। माप (गणित) $\mu$ स्थान की प्राकृतिक घनफल $X$ और इसके उप-स्थान को परिभाषित करने के लिए समझा जाता है। उपस्थानों के संग्रह को निरूपित किया जाता है ${\mathcal {A}}$, और किसी दिए गए उपसमुच्चय $A\subset X$ का आकार $\mu (A)$ है; आकार इसकी घनफल है। सरलता से, कोई कल्पना कर सकता है ${\mathcal {A}}$ का घात समुच्चय होना $X$; यह काफी काम नहीं करता है, क्योंकि स्थान के सभी उपसमुच्चय में घनफल नहीं होती है (प्रसिद्ध रूप से, बनच-तर्स्की विरोधाभास)। इस प्रकार, परंपरागत रूप से, ${\mathcal {A}}$ मापने योग्य उपसमुच्चय होते हैं—वह उपसमुच्चय जिनमें घनफल होता है। इसे हमेशा बोरेल समुच्चय के रूप में लिया जाता है - उपसमुच्चय का संग्रह जिसे प्रतिच्छेदन, समुच्च और खुले समुच्चयों के समुच्चय पूरक द्वारा बनाया जाता है; इन्हें हमेशा मापने योग्य माना जा सकता है।

प्रणाली का समय विकास मैप (गणित) द्वारा वर्णित है $T:X\to X$. कुछ उपसमुच्चय दिया $A\subset X$, इसका मैप $T(A)$ सामान्य रूप से एक विकृत संस्करण होगा $A$ - इसे स्क्वैश या स्ट्रेच जाता है, मोड़ा या टुकड़ों में काटा जाता है। गणितीय उदाहरणों में बेकर का मैप और हर्सशू मैप सम्मिलित है, दोनों रोटी बनाने से प्रेरित हैं। समुच्चय $T(A)$ के समान घनफल होनी चाहिए $A$; स्क्वैशिंग/स्ट्रेचिंग से स्थान का घनफल नहीं बदलता है, केवल इसका वितरण होता है। ऐसी प्रणाली "माप-संरक्षण" (क्षेत्र-संरक्षण, घनफल-संरक्षण) है।

औपचारिक कठिनाई तब उत्पन्न होती है जब कोई मैप के अंतर्गत उनके आकार को संरक्षित करने की आवश्यकता के साथ समुच्चय की घनफल को समेटने का प्रयास करता है। समस्या उत्पन्न होती है, क्योंकि सामान्य तौर पर, किसी फलन के प्रांत में कई अलग-अलग बिंदु इसकी सीमा में एक ही बिंदु पर मैप कर सकते हैं; अर्थात् $x\neq y$ साथ $T(x)=T(y)$ हो सकता है इससे भी बदतर, एक बिंदु $x\in X$ कोई आकार नहीं है। व्युत्क्रम मैप के साथ काम करके इन कठिनाइयों से बचा जा सकता है $T^{-1}:{\mathcal {A}}\to {\mathcal {A}}$; यह किसी दिए गए उपसमुच्चय को मैप करेगा $A\subset X$ उन भाग के लिए जो इसे बनाने के लिए इकट्ठे किए गए थे: ये भाग हैं $T^{-1}(A)\in {\mathcal {A}}$, इसमें यह महत्वपूर्ण विशेषता है कि चीजें कहां से आई हैं इसका तरीका न खोएं। अधिक दृढ़ता से, इसमें महत्वपूर्ण विशेषता है कि कोई भी (माप-संरक्षण) मैप ${\mathcal {A}}\to {\mathcal {A}}$ किसी मैप का विपरीत है $X\to X$, घनफल-संरक्षण मैप की उचित परिभाषा वह है जिसके लिए $\mu (A)=\mu {\mathord {\left(T^{-1}(A)\right)}}$ क्योंकि $T^{-1}(A)$ सभी टुकड़ों-भागों का वर्णन $A$ से आया है।

अब प्रणाली के समय के विकास का अध्ययन करने में रुचि रखता है। यदि समुच्चय $A\in {\mathcal {A}}$ अंत में सभी को भरने के लिए आता है $X$ लंबे समय तक (अर्थात, यदि $T^{n}(A)$ सभी के पास पहुंचता है $X$ बड़े के लिए $n$), प्रणाली को एर्गोडिक प्रणाली कहा जाता है। यदि हर समुच्चय $A$ इस तरह से आचरण करता है, प्रणाली संरक्षी निकाय है, जो क्षयी तंत्र के विपरीत रखी जाती है, जहां कुछ उपसमुच्चय $A$ अस्थिर समुच्चय, कभी वापस नहीं किया जाता है। एक उदाहरण नीचे की ओर बहता हुआ पानी होगा: एक बार जब यह नीचे चला जाता है, तो यह फिर कभी ऊपर नहीं आता है। हालाँकि, इस नदी के तल पर बनने वाली झील अच्छी तरह से मिश्रित हो सकती है। एर्गोडिक अपघटन प्रमेय कहता है कि प्रत्येक एर्गोडिक प्रणाली को दो भागों में विभाजित किया जा सकता है: रूढ़िवादी भाग और विघटनकारी भाग।

एर्गोडिसिटी की तुलना में मिश्रण एक दृढ़ कथन है। मिश्रण इस एर्गोडिक विशेषता को किन्हीं दो समुच्चयों के बीच रखने के लिए कहता है $A,B$, और न केवल कुछ समुच्चय के बीच $A$ और $X$. अर्थात् कोई दो समुच्चय दिए गए हैं $A,B\in {\mathcal {A}}$, यदि कोई पूर्णांक है तो प्रणाली को (सांस्थितिक रूप से) मिश्रण कहा जाता है $N$ ऐसा कि, सभी के लिए $A,B$ और $n>N$, एक के पास है $T^{n}(A)\cap B\neq \varnothing$. यहाँ, $\cap$ समुच्चय सर्वनिष्ठ को दर्शाता है और $\varnothing$ रिक्त समुच्चय है। मिश्रण की अन्य धारणाओं में दृढ़ और अशक्त मिश्रण सम्मिलित हैं, जो इस धारणा का वर्णन करते हैं कि मिश्रित पदार्थ हर स्थान समान अनुपात में मिलते हैं। यह गैर-तुच्छ हो सकता है, जैसा कि चिपचिपे, चिपचिपे पदार्थों को मिलाने के व्यावहारिक अनुभव से पता चलता है।

एर्गोडिक प्रक्रियाएं

Main article: एर्गोडिक प्रक्रियाएं

उपरोक्त चर्चा घनफल के भौतिक अर्थ की अपील करती है। घनफल को शाब्दिक रूप से 3D स्थान का कुछ भाग होना आवश्यक नहीं है; यह कुछ अमूर्त घनफल हो सकता है। यह सामान्यतः सांख्यिकीय प्रणालियों में होता है, जहां संभाव्यता द्वारा घनफल (माप) दी जाती है। कुल घनफल प्रायिकता एक से मेल खाती है। यह पत्राचार काम करता है क्योंकि संभाव्यता सिद्धांत के सिद्धांत माप सिद्धांत के समान हैं; ये संभाव्यता स्वयंसिद्ध हैं।

घनफल का विचार बहुत सार हो सकता है। उदाहरण के लिए, सभी संभव कॉइन-फ्लिप्स के समुच्चय पर विचार करें: हेड्स और टेल्स के अनंत अनुक्रमों का समुच्चय है। इस स्थान को 1 का घनफल निर्दिष्ट करते हुए, यह स्पष्ट है कि ऐसे सभी अनुक्रमों में से आधे हेड्स से प्रारंभ होते हैं, और आधे टेल्स से प्रारंभ होते हैं। कोई इस घनफल को अन्य तरीकों से स्लाइस कर सकता है: कोई कह सकता है कि "मुझे पहले की परवाह नहीं है $n-1$ कॉइन-फ्लिप्स; लेकिन मैं चाहता हूँ $n$ उनमें से वें हेड्स होने के लिए, और उसके बाद जो आता है उसके बारे में मुझे परवाह नहीं है। इसे समुच्चय के रूप में लिखा जा सकता है $(*,\cdots ,*,h,*,\cdots )$ जहाँ $*$ "परवाह मत करो" और $h$ हेड्स है। इस स्थान का घनफल फिर से आधा है।

उपरोक्त माप-संरक्षण गतिशील प्रणाली को पूरी तरह से बनाने के लिए पर्याप्त है। $h$ या $t$ के समुच्चय में होने वाला $n$वें स्थान को सिलेंडर समुच्चय कहा जाता है। सिलेंडर समुच्चय के सभी संभावित प्रतिच्छेदन, यूनियनों और पूरकों का समुच्चय तब बोरेल समुच्चय बनाता है ${\mathcal {A}}$ ऊपर परिभाषित है। औपचारिक शब्दों में, सिलेंडर समुच्चय स्थान (गणित) पर टोपोलॉजी (संरचना) के लिए आधार (टोपोलॉजी) बनाते हैं। $X$ सभी संभावित अनंत-लंबाई वाले कॉइन-फ्लिप्स है। पैमाना $\mu$ सभी सामान्य ज्ञान गुण हैं जिनकी कोई आशा कर सकता है: एक सिलेंडर का माप जिसके साथ समुच्चय किया गया है $h$ में $m$वें स्थान, और $t$ में $k$'वें स्थान स्पष्ट रूप से 1/4 है, और इसी तरह आगे भी हैं। ये सामान्य ज्ञान गुण समुच्चय-पूरक और समुच्चय-यूनियन के लिए बने रहते हैं: इसके अतिरिक्त सब कुछ $h$ और $t$ स्थानों में $m$ और $k$ स्पष्ट रूप से 3/4 की घनफल है। सभी एक साथ, सिग्मा-एडिटिव माप के स्वयंसिद्धों का निर्माण करते हैं; माप-संरक्षण गतिशील प्रणालियाँ हमेशा सिग्मा-योगात्मक माप का उपयोग करती हैं। कॉइन-फ्लिप्स के लिए, इस माप को बर्नौली माप कहा जाता है।

कॉइन-फ्लिप प्रक्रिया के लिए, टाइम-इवोल्यूशन ऑपरेटर $T$ शिफ्ट ऑपरेटर है जो कहता है कि "पहले कॉइन-फ्लिप फेंक दो, और बाकी को रखो"। औपचारिक रूप से, यदि $(x_{1},x_{2},\cdots )$ कॉइन-फ्लिप का एक क्रम है, फिर $T(x_{1},x_{2},\cdots )=(x_{2},x_{3},\cdots )$. माप स्पष्ट रूप से शिफ्ट-इनवेरिएंट है: जब तक हम किसी समुच्चय के बारे में बात कर रहे हैं $A\in {\mathcal {A}}$ जहां पहला कॉइन-फ्लिप $x_{1}=*$ ध्यान न दें मान है, फिर घनफल है $\mu (A)$ नहीं बदलता है: $\mu (A)=\mu (T(A))$ पहले कॉइन-फ्लिप के बारे में बात करने से बचने के लिए, इसे परिभाषित करना आसान है $T^{-1}$ पहली स्थिति में "परवाह न करें" मान डालने के रूप में: $T^{-1}(x_{1},x_{2},\cdots )=(*,x_{1},x_{2},\cdots )$. इस परिभाषा के साथ, स्पष्ट रूप से वह है $\mu {\mathord {\left(T^{-1}(A)\right)}}=\mu (A)$ बिना किसी बाध्यता के $A$। यह फिर से क्यों का उदाहरण है $T^{-1}$ औपचारिक परिभाषाओं में प्रयोग किया जाता है।

उपरोक्त विकास यादृच्छिक प्रक्रिया, बर्नौली प्रक्रिया लेता है, और इसे माप-संरक्षण गतिशील प्रणाली में परिवर्तित करता है $(X,{\mathcal {A}},\mu ,T).$ वही रूपांतरण (तुल्यता, समरूपता) किसी भी प्रसम्भाव्‍य प्रक्रम पर लागू किया जा सकता है। इस प्रकार, एर्गोडिसिटी की अनौपचारिक परिभाषा यह है कि अनुक्रम एर्गोडिक है यदि यह सभी का दौरा करता है $X$; इस तरह के क्रम प्रक्रिया के लिए विशिष्ट हैं। दूसरा यह है कि इसके सांख्यिकीय गुणों को प्रक्रिया के एकल, पर्याप्त रूप से लंबे, यादृच्छिक नमूने से घटाया जा सकता है (इस प्रकार समान रूप से सभी का नमूना लेना)। $X$), या यह कि किसी प्रक्रिया से यादृच्छिक नमूनों का कोई भी संग्रह पूरी प्रक्रिया के औसत सांख्यिकीय गुणों का प्रतिनिधित्व करता है (अर्थात, समान रूप से नमूने लिए गए नमूने) $X$ के प्रतिनिधि हैं $X$ एक पूरे के रूप में।) वर्तमान उदाहरण में, कॉइन-फ्लिप का एक क्रम, जहाँ आधे हेड्स हैं, और आधे टेल्स हैं, विशिष्ट क्रम है।

बरनौली प्रक्रिया के बारे में कई महत्वपूर्ण बातें बताई जानी हैं। यदि कोई टेल्स के लिए 0 और हेड्स के लिए 1 लिखता है, तो उसे बाइनरी अंकों के सभी अनंत स्ट्रिग का समुच्चय मिलता है। ये वास्तविक संख्याओं के आधार-दो विस्तार के अनुरूप हैं। स्पष्ट रूप से, एक क्रम दिया $(x_{1},x_{2},\cdots )$, संगत वास्तविक संख्या है

$y=\sum _{n=1}^{\infty }{\frac {x_{n}}{2^{n}}}$

वर्णन है कि बर्नौली प्रक्रिया एर्गोडिक है, वर्णन के बराबर है कि वास्तविक संख्याएं समान रूप से वितरित की जाती हैं। ऐसे सभी स्ट्रिंग्स के समुच्चय को विभिन्न तरीकों से लिखा जा सकता है: $\{h,t\}^{\infty }=\{h,t\}^{\omega }=\{0,1\}^{\omega }=2^{\omega }=2^{\mathbb {N} }.$ यह समुच्चय कैंटर समुच्चय है, जिसे कभी-कभी कैंटर फलन के साथ भ्रम से बचने के लिए कैंटर स्पेस कहा जाता है

$C(x)=\sum _{n=1}^{\infty }{\frac {x_{n}}{3^{n}}}$

अंत में ये सब एक ही बात हैं।

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

ऑर्नस्टीन समरूपता प्रमेय में कहा गया है कि प्रत्येक स्थिर स्टोकास्टिक प्रक्रिया बर्नौली योजना (एक एन-पक्षीय (और संभवतः अनुचित) पासा के साथ एक बर्नौली प्रक्रिया) के बराबर है। अन्य परिणामों में सम्मिलित है कि प्रत्येक गैर-विघटनकारी एर्गोडिक प्रणाली मार्कोव ओडोमीटर के बराबर है, जिसे कभी-कभी "एडिंग मशीन" कहा जाता है क्योंकि यह प्राथमिक-विद्यालय जोड़ की तरह दिखता है, अर्थात आधार-N अंक अनुक्रम लेना, जोड़ना और कैरी बिट्स का प्रचार करना है तुल्यता का प्रमाण बहुत सारगर्भित है; परिणाम को समझना नहीं है: प्रत्येक समय कदम पर जोड़कर, ओडोमीटर की हर संभव स्थिति का दौरा किया जाता है, जब तक कि यह रोल्स नहीं है, और फिर से प्रारंभ होता है। इसी तरह, एर्गोडिक प्रणाली प्रत्येक स्थिति का दौरा करते हैं, समान रूप से, अगले पर चलते हुए, जब तक कि वे सभी का दौरा नहीं किया जाता हैं।

प्रणाली जो N अक्षरों के अनुक्रम (अनंत) उत्पन्न करते हैं, प्रतीकात्मक गतिकी के माध्यम से अध्ययन किए जाते हैं। महत्वपूर्ण विशेष स्थितियों में परिमित प्रकार और सोफिक प्रणाली के सबशिफ्ट सम्मिलित हैं।

इतिहास और व्युत्पत्ति

एर्गोडिक शब्द सामान्यतः ग्रीक भाषा के शब्दों से लिया गया माना जाता है ἔργον (एर्गन: काम ) और ὁδός (होडोस: पाथ, वे), जैसा कि लुडविग बोल्ट्जमैन द्वारा चुना गया था जब वह सांख्यिकीय यांत्रिकी में एक समस्या पर काम कर रहे थे। साथ ही यह भी दावा किया जाता है कि यह एर्गोमोनोड की व्युत्पत्ति है, जिसे 1884 से अपेक्षाकृत अस्पष्ट पेपर में बोल्ट्जमैन द्वारा गढ़ा गया था। व्युत्पत्ति अन्य तरीकों से भी विवादित प्रतीत होती है।

एर्गोडिसिटी का विचार ऊष्मप्रवैगिकी के क्षेत्र में उत्पन्न हुआ था, जहां गैस के अणुओं की अलग-अलग अवस्थाओं को गैस के तापमान और उसके समय के विकास के रूप में संबंधित करना आवश्यक था। ऐसा करने के लिए, यह बताना आवश्यक था कि गैसों के साथ अच्छी तरह से मिश्रण करने का वास्तव में क्या मतलब है, जिससे कि गणितीय कठोरता के साथ उष्मागतिक साम्य को परिभाषित किया जा सकता था। एक बार सिद्धांत भौतिकी में अच्छी तरह से विकसित हो जाने के बाद, इसे तेजी से औपचारिक रूप दिया गया और विस्तारित किया गया, जिससे कि एर्गोडिक सिद्धांत लंबे समय तक अपने आप में गणित का स्वतंत्र क्षेत्र रहा। उस प्रगति के हिस्से के रूप में, विभिन्न क्षेत्रों में अवधारणा की एक से अधिक अलग-अलग परिभाषाएँ और अवधारणा की व्याख्याओं की बहुलता सह-अस्तित्व में हैं।

उदाहरण के लिए, चिरसम्मत भौतिकी में इस शब्द का तात्पर्य है कि प्रणाली ऊष्मप्रवैगिकी की एर्गोडिक परिकल्पना को संतुष्ट करती है, प्रासंगिक स्थिति स्थान स्थिति और गति स्थान है।

गतिशील प्रणालियों के सिद्धांत में स्थिति स्थान को सामान्यतः अधिक सामान्य चरण स्थान माना जाता है। दूसरी ओर कोडिंग सिद्धांत में स्थिति स्थान अधिकांशतः कम सहवर्ती संरचना के साथ, समय और स्थिति दोनों में असतत होता है। उन सभी क्षेत्रों में समय औसत और सामुदायिक औसत के विचार अतिरिक्त सामान भी ले सकते हैं - जैसा कि कई संभावित उष्मागतिक रूप से प्रासंगिक विभाजन फलन (सांख्यिकीय यांत्रिकी) के मामले में भौतिकी में सामुदायिक औसत को परिभाषित करने के लिए उपयोग किया जाता है। इस प्रकार अवधारणा के माप सिद्धांत औपचारिकता भी एकीकृत अनुशासन के रूप में कार्य करता है। 1913 में मिशेल प्लांचरेल ने पूरी तरह से यांत्रिक प्रणाली के लिए एर्गोडिसिटी के लिए सख्त असंभवता सिद्ध कर दी थी।

भौतिकी और ज्यामिति में एर्गोडिसिटी

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

भौतिक प्रणालियों को तीन श्रेणियों में विभाजित किया जा सकता है: चिरसम्मत यांत्रिकी, जो चलती भागों की सीमित संख्या वाली मशीनों का वर्णन करती है, क्वांटम यांत्रिकी, जो परमाणुओं की संरचना का वर्णन करती है, और सांख्यिकीय यांत्रिकी, जो गैसों, तरल पदार्थों, ठोस पदार्थों का वर्णन करती है; इसमें संघनित पदार्थ भौतिकी सम्मिलित है। इन्हें नीचे प्रस्तुत किया गया है।

सांख्यिकीय यांत्रिकी में

यह खंड सांख्यिकीय यांत्रिकी में क्षुद्रता की समीक्षा करता है। भौतिकी में एर्गोडिसिटी की परिभाषाओं के लिए उपयुक्त समुच्चयिंग के रूप में घनफल की उपरोक्त अमूर्त परिभाषा आवश्यक है। तरल, गैस, या प्लाज्मा (भौतिकी), या परमाणुओं या कण के अन्य संग्रह के कंटेनर पर विचार करें। कण-कण $x_{i}$ की 3D स्थिति और 3D वेग है, और इस प्रकार छह संख्याओं द्वारा वर्णित किया गया है: छह-आयामी स्थान में बिंदु $\mathbb {R} ^{6}.$ यदि हैं $N$ प्रणाली में इन कणों की, एक पूर्ण विवरण की आवश्यकता है $6N$ नंबर। कोई भी प्रणाली केवल एक बिंदु है $\mathbb {R} ^{6N}.$ भौतिक प्रणाली सब कुछ नहीं है $\mathbb {R} ^{6N}$, बिल्कुल; यदि यह चौड़ाई, ऊंचाई और लंबाई का बॉक्स है $W\times H\times L$ तो एक बिंदु अंदर है $\left(W\times H\times L\times \mathbb {R} ^{3}\right)^{N}.$न ही वेग अनंत हो सकते हैं: उन्हें कुछ संभाव्यता माप द्वारा बढ़ाया जाता है, उदाहरण के लिए बोल्ट्जमैन-गिब्स गैस के लिए उपाय करते हैं। कोई नहीं-कम, के लिए $N$ अवोगाद्रो संख्या के करीब, यह स्पष्ट रूप से बहुत बड़ी स्थान है। इस स्थान को कैनोनिकल सामुदायिक कहा जाता है।

भौतिक प्रणाली को एर्गोडिक कहा जाता है यदि प्रणाली का कोई प्रतिनिधि बिंदु अंततः प्रणाली की संपूर्ण घनफल का दौरा करने के लिए आता है। उपरोक्त उदाहरण के लिए, इसका तात्पर्य है कि कोई भी परमाणु न केवल बॉक्स के प्रत्येक भाग पर जाता है $W\times H\times L$ समान संभावना के साथ, लेकिन यह ऐसा हर संभव वेग के साथ करता है, उस वेग के लिए बोल्ट्जमैन वितरण द्वारा दी गई संभावना के साथ (इसलिए, उस माप के संबंध में समान) करता है। एर्गोडिक परिकल्पना में कहा गया है कि भौतिक प्रणालियां वास्तव में एर्गोडिक हैं। मल्टीपल टाइम स्केल काम कर रहे हैं: गैस और तरल पदार्थ कम समय के पैमाने पर एर्गोडिक प्रतीत होते हैं। एक ठोस में एर्गोडिसिटी को कंपन मोड या फोनन के संदर्भ में देखा जा सकता है, क्योंकि स्पष्ट रूप से ठोस में परमाणु स्थान का आदान-प्रदान नहीं करते हैं। ग्लॉस एर्गोडिक परिकल्पना के लिए चुनौती पेश करता है; समय के पैमाने को लाखों वर्षों में माना जाता है, लेकिन परिणाम विवादास्पद हैं। स्पिन ग्लॉस विशेष कठिनाइयाँ पेश करते हैं।

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

सरल गतिशील प्रणाली

काफी सरल गतिशील प्रणालियों की जांच करके एर्गोडिसिटी का औपचारिक अध्ययन किया जा सकता है। कुछ प्राथमिक यहां सूचीबद्ध हैं।

वृत्त का अपरिमेय घुमाव एर्गोडिक है: एक बिंदु की कक्षा (गतिकी) ऐसी है कि अंततः, वृत्त के हर दूसरे बिंदु का दौरा किया जाता है। इस तरह के घुमाव अंतराल विनिमय मैप का विशेष मामला है। किसी संख्या के अंकों का गैर-पूर्णांक आधार एर्गोडिक होता है: वास्तविक संख्या का बीटा विस्तार बेस-N में नहीं, बल्कि बेस- $\beta$ में कुछ के लिए $\beta .$ किया जाता है। बीटा विस्तार का परिलक्षित संस्करण टेंट मैप है; यूनिट अंतराल के कई अन्य एर्गोडिक मैप हैं। दो आयामों में जाने पर, अपरिमेय कोण वाले अंकगणितीय बिलियर्ड्स एर्गोडिक होते हैं। कोई सपाट आयत भी ले सकता है, इसे स्क्वैश कर सकता है, इसे काट सकता है और इसे फिर से जोड़ सकता है; यह पहले उल्लिखित बेकर का मैप है। इसके बिंदुओं को दो अक्षरों में द्वि-अनंत तार के समुच्चय द्वारा वर्णित किया जा सकता है, जो कि बाएँ और दाएँ दोनों तक फैला हुआ है; इस प्रकार, यह बरनौली प्रक्रिया की दो प्रतियों जैसा दिखता है। यदि स्क्वैशिंग के दौरान कोई साइड में विकृत हो जाता है, तो उसे अर्नोल्ड का कैट मैप प्राप्त होता है। ज्यादातर मायनों में, कैट मैप किसी अन्य समान परिवर्तन का प्रोटोटाइप है।

चिरसम्मत यांत्रिकी और ज्यामिति में

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

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

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

ये परिणाम उच्च आयामों तक विस्तारित होते हैं। ऋणात्मक रूप से घुमावदार कॉम्पैक्ट रीमैनियन मैनिफोल्ड्स के लिए जियोडेसिक प्रवाह एर्गोडिक है। इसके लिए उत्कृष्ट उदाहरण एनोसोव प्रवाह है, जो अतिशयोक्तिपूर्ण बहुविध पर हॉरोसायकल है। इसे एक तरह का हॉफ फिब्रेशन देखा जा सकता है। इस तरह के प्रवाह सामान्यतः चिरसम्मत यांत्रिकी में होते हैं, जो परिमित-आयामी गतिमान मशीनरी के भौतिकी में अध्ययन है, उदाहरण डबल पेंडुलम और इतने पर हैं। चिरसम्मत यांत्रिकी का निर्माण सिम्पलेक्टिक मैनिफोल्ड्स पर किया गया है। ऐसी प्रणालियों पर प्रवाह को स्थिर मैनिफोल्ड्स में विखंडित किया जा सकता है; एक सामान्य नियम के रूप में, जब यह संभव होता है, अराजक गति का परिणाम होता है। यह सामान्य है कि यह ध्यान देने से देखा जा सकता है कि रिमेंनियन बहुविध का कॉटैंगेंट बंडल (हमेशा) सहानुभूतिपूर्ण बहुविध है; इस मैनिफोल्ड्स के लिए हैमिल्टन-जैकोबी समीकरणों के समाधान द्वारा जियोडेसिक प्रवाह दिया जाता है। विहित निर्देशांक के संदर्भ में $(q,p)$ कोटेन्जेंट बहुविध पर, हैमिल्टनियन (फलन) या ऊर्जा द्वारा दिया जाता है

$H={\tfrac {1}{2}}\sum _{ij}g^{ij}(q)p_{i}p_{j}$

साथ $g^{ij}$ (के व्युत्क्रम) मीट्रिक टेंसर और $p_{i}$ गति। गतिज ऊर्जा से समानता $E={\tfrac {1}{2}}mv^{2}$ मुश्किल से आकस्मिक होता है; ऐसी चीज़ों को "ऊर्जा" कहने का सार यही है। इस अर्थ में, एर्गोडिक कक्षाओं के साथ अराजक व्यवहार ज्यामिति के बड़े इलाकों में अधिक या कम सामान्य घटना है।

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

वर्गीकरण और "विरोधी वर्गीकरण" दोनों के कई परिणाम प्राप्त हुए हैं। ऑर्नस्टीन समरूपता प्रमेय यहाँ भी लागू होता है; फिर से, यह बताता है कि इनमें से अधिकांश प्रणालियाँ कुछ बर्नौली योजना के लिए समरूप हैं। यह बड़े करीने से इन प्रणालियों को पिछले खंड में स्टोचैस्टिक प्रक्रिया के लिए दी गई एर्गोडिसिटी की परिभाषा से जोड़ता है। विरोधी वर्गीकरण के परिणाम बताते हैं कि असमान एर्गोडिक माप-संरक्षण गतिशील प्रणालियों की अनगिनत अनंत संख्या से अधिक हैं। यह शायद पूरी तरह से आश्चर्य की बात नहीं है, क्योंकि समान-लेकिन-भिन्न प्रणालियों के निर्माण के लिए कैंटर समुच्चय में बिंदुओं का उपयोग किया जा सकता है। कुछ विरोधी वर्गीकरण परिणामों के संक्षिप्त सर्वेक्षण के लिए माप-संरक्षण गतिशील प्रणाली देखें।

क्वांटम यांत्रिकी में

क्वांटम यांत्रिकी के रूप में, एर्गोडोसिटी या अराजकता की कोई सार्वभौमिक क्वांटम परिभाषा नहीं है (क्वांटम अराजकता देखें)। हालाँकि, क्वांटम एर्गोडिसिटी है, जिसमें कहा गया है कि ऑपरेटर की अपेक्षा का मान अर्धसूत्रीय सीमा में संबंधित माइक्रोकैनोनिकल चिरसम्मत औसत में परिवर्तित हो जाता है। $\hbar \rightarrow 0$. फिर भी, प्रमेय का अर्थ यह नहीं है कि हैमिलियनियन के सभी ईजेनस्टेट्स जिनके चिरसम्मत समकक्ष अराजक हैं, विशेषताएं और यादृच्छिक हैं। उदाहरण के लिए, क्वांटम एर्गोडिसिटी प्रमेय गैर-एर्गोडिक अवस्था जैसे क्वांटम स्कारिंग के अस्तित्व को बाहर नहीं करता है। पारंपरिक निशान के अतिरिक्त, दो अन्य प्रकार के क्वांटम स्कारिंग हैं, जो आगे क्वांटम अराजक प्रणालियों में अशक्त-क्षयहीनता को स्पष्ट करते हैं: प्रक्षोभ प्रेरित और कई- पिण्ड क्वांटम स्कारिंग।

असतत-समय प्रणालियों के लिए परिभाषा

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

मान लीजिये $(X,{\mathcal {B}})$ मापन योग्य स्पेस हो। यदि $T$ औसत दर्जे का कार्य है $X$ खुद के लिए और $\mu$ संभाव्यता माप पर $(X,{\mathcal {B}})$ तो हम ऐसा कहते हैं $T$ है $\mu$-एर्गोडिक या $\mu$ के लिए एर्गोडिक माप है $T$ यदि $T$ संरक्षित करता है $\mu$ और निम्नलिखित शर्त रखती है:

किसी के लिए $A\in {\mathcal {B}}$ जैसे कि $T^{-1}(A)=A$ या तो $\mu (A)=0$ या $\mu (A)=1$.

दूसरे शब्दों में नहीं हैं $T$-इनवेरिएंट उपसमुच्चय 0 को मापने के लिए (के संबंध में $\mu$). याद करें कि $T$ संरक्षण $\mu$ (या $\mu$ है $T$-इनवेरिएंट माप) का अर्थ है $\mu {\mathord {\left(T^{-1}(A)\right)}}=\mu (A)$ सभी के लिए $A\in {\mathcal {B}}$ (यह भी देखें माप-संरक्षण गतिशील प्रणाली)।

ध्यान दें कि कुछ लेखक (उदाहरण के लिए, एंडरसन द्वारा अनंत एर्गोडिक सिद्धांत का परिचय, पृष्ठ 21) उस आवश्यकता को शिथिल करते हैं जो $\mu$ है आवश्यकता के लिए $T$-इनवेरिएंट है कि माप-शून्य समुच्चय के पुलबैक माप-शून्य हैं, अर्थात पुशफॉरवर्ड माप $T_{*}\mu$ के संबंध में एकवचन है $\mu$.

उदाहरण

सबसे सरल उदाहरण है जब $X$ परिमित समुच्चय और $\mu$ गिनती पैमाना है। फिर स्व-मैप $X$ संरक्षित करता है $\mu$ यदि और केवल यदि यह आक्षेप है, और यदि और केवल यदि यह एर्गोडिक है $T$ केवल एक कक्षा (गतिकी) है (अर्थात, प्रत्येक के लिए $x,y\in X$ वहां सम्मिलित $k\in \mathbb {N}$ जैसे कि $y=T^{k}(x)$), उदाहरण के लिए, यदि $X=\{1,2,\ldots ,n\}$ फिर चक्रीय क्रमचय $(1\,2\,\cdots \,n)$ एर्गोडिक है, लेकिन क्रमचय है $(1\,2)(3\,4\,\cdots \,n)$ नहीं है (इसमें दो इनवेरिएंट उपसमुच्चय हैं $\{1,2\}$ और $\{3,4,\ldots ,n\}$).

समतुल्य सूत्रीकरण

ऊपर दी गई परिभाषा निम्नलिखित तत्काल सुधारों को स्वीकार करती है:

• हरएक के लिए $A\in {\mathcal {B}}$ साथ $\mu {\mathord {\left(T^{-1}(A)\bigtriangleup A\right)}}=0$ अपने पास $\mu (A)=0$ या $\mu (A)=1\,$ (जहाँ $\bigtriangleup$ सममित अंतर को दर्शाता है);
• हरएक के लिए $A\in {\mathcal {B}}$ घनात्मक माप के साथ हमारे पास है ${\textstyle \mu {\mathord {\left(\bigcup _{n=1}^{\infty }T^{-n}(A)\right)}}=1}$;
• हर दो समुच्चय के लिए $A,B\in {\mathcal {B}}$ घनात्मक माप का, सम्मिलित है $n>0$ ऐसा है कि $\mu {\mathord {\left(\left(T^{-n}(A)\right)\cap B\right)}}>0$;
• हर मापने योग्य कार्य $f:X\to \mathbb {R}$ साथ $f\circ T=f$ पूर्ण माप के उपसमुच्चय पर स्थिर है।

महत्वपूर्ण रूप से अनुप्रयोगों के लिए, अंतिम लक्षण वर्णन में स्थिति केवल वर्ग-अभिन्न कार्यों तक ही सीमित हो सकती है:

• यदि $f\in L^{2}(X,\mu )$ और $f\circ T=f$ तब $f$ लगभग हर स्थान स्थिर है।

अन्य उदाहरण

बरनौली शिफ्ट और सबशिफ्ट

See also: बरनौली शिफ्ट

मान लीजिये $S$ परिमित समुच्चय हो और $X=S^{\mathbb {Z} }$ साथ $\mu$ उत्पाद माप (प्रत्येक कारक $S$ इसके गिनती के माप से संपन्न है)। फिर शिफ्ट ऑपरेटर $T$ द्वारा परिभाषित $T\left((s_{k})_{k\in \mathbb {Z} })\right)=(s_{k+1})_{k\in \mathbb {Z} }$ है $\mu$-एर्गोडिक.

शिफ्ट मैप के लिए कई और एर्गोडिक माप हैं $T$ पर $X$, आवधिक अनुक्रम सूक्ष्म रूप से समर्थित माप देते हैं। अधिक दिलचस्प बात यह है कि असीम रूप से समर्थित हैं जो कि परिमित प्रकार के सबशिफ्ट हैं।

अपरिमेय घूर्णन

See also: अपरिमेय घूर्णन

मान लीजिये $X$ यूनिट वृत्त हो $\{z\in \mathbb {C} ,\,|z|=1\}$, इसके लेबेस्गुए माप के साथ $\mu$, किसी के लिए $\theta \in \mathbb {R}$ का घूर्णन $X$ कोण का $\theta$ द्वारा दिया गया है $T_{\theta }(z)=e^{2i\pi \theta }z$, यदि $\theta \in \mathbb {Q}$ तब $T_{\theta }$ लेबेस्गुए माप के लिए एर्गोडिक नहीं है क्योंकि इसमें असीम रूप से कई परिमित कक्षाएँ हैं। वहीं दूसरी ओर यदि $\theta$ तब अपरिमेय है $T_{\theta }$ एर्गोडिक है।

अर्नोल्ड कैट मैप

See also: अर्नोल्ड कैट मैप

मान लीजिये $X=\mathbb {R} ^{2}/\mathbb {Z} ^{2}$ 2-टोरस हो। फिर कोई तत्व $g\in \mathrm {SL} _{2}(\mathbb {Z} )$ के स्व-मैप को परिभाषित करता है $X$ के बाद से $g\left(\mathbb {Z} ^{2}\right)=\mathbb {Z} ^{2}$. जब ${\textstyle g=\left({\begin{array}{cc}2&1\\1&1\end{array}}\right)}$ एक तथाकथित अर्नोल्ड कैट मैप प्राप्त करता है, जो टोरस पर लेबेस्गु माप के लिए एर्गोडिक है।

एर्गोडिक प्रमेय

Main article: एर्गोडिक सिद्धांत § एर्गोडिक प्रमेय

यदि $\mu$ किसी स्थान पर संभाव्यता माप है $X$ जो परिवर्तन के लिए एर्गोडिक है G का पॉइंटवाइज एर्गोडिक प्रमेय $T$। बिरखॉफ के बिंदुवार एर्गोडिक प्रमेय में कहा गया है कि हर मापनीय कार्यों के लिए $f:X\to \mathbb {R}$ और के लिए $\mu$-लगभग हर बिंदु $x\in X$ की कक्षा पर समय औसत $x$ के स्थान औसत में परिवर्तित हो जाता है $f$। औपचारिक रूप से इसका मतलब है

$$\lim _{k\to +\infty }\left({\frac {1}{k+1}}\sum _{i=0}^{k}f\left(T^{i}(x)\right)\right)=\int _{X}fd\mu .$$

जे. वॉन न्यूमैन का औसत एर्गोडिक प्रमेय एक समान, अशक्त कथन है जो वर्ग-पूर्ण कार्यों के औसत स्थानांतर के बारे में है।

संबंधित गुण

सघन कक्षाएँ

एर्गोडिसिटी की परिभाषा का तात्कालिक परिणाम यह है कि टोपोलॉजिकल स्पेस पर $X$, और यदि ${\mathcal {B}}$ बोरेल समुच्चय का σ-बीजगणित है, यदि $T$ है $\mu$-फिर एर्गोडिक $\mu$-लगभग हर कक्षा $T$ के समर्थन में सघन है $\mu$.

यह तुल्यता नहीं है क्योंकि परिवर्तन के लिए जो विशिष्ट रूप से क्षुद्र नहीं है, लेकिन जिसके लिए पूर्ण समर्थन के साथ क्षुद्र माप $\mu _{0}$ है, किसी अन्य एर्गोडिक माप के लिए $\mu _{1}$ पैमाना ${\textstyle {\frac {1}{2}}(\mu _{0}+\mu _{1})}$ के लिए एर्गोडिक नहीं है $T$ लेकिन इसकी कक्षाएँ समर्थन में सघन हैं। शिफ्ट-इनवेरिएंट माप के साथ स्पष्ट उदाहरणों का निर्माण किया जा सकता है।

मिश्रण

Main article: मिश्रण (गणित)

परिवर्तन $T$ संभाव्यता माप स्थान का $(X,\mu )$ माप के लिए मिश्रण कहा जाता है $\mu$ यदि किसी मापने योग्य समुच्चय के लिए $A,B\subset X$ निम्नलिखित धारण करता है:

$$\lim _{n\to +\infty }\mu \left(T^{-n}A\cap B\right)=\mu (A)\mu (B)$$

यह तत्काल है कि मिश्रण परिवर्तन भी एर्गोडिक (ले रहा है $A$ बनने के लिए $T$-स्थिर उपसमुच्चय और $B$ इसका पूरक)। इसका विपरीत सत्य नहीं है, उदाहरण के लिए वृत्त पर अपरिमेय कोण वाला घूर्णन (जो ऊपर दिए गए उदाहरणों के अनुसार एर्गोडिक है) मिश्रण नहीं कर रहा है (पर्याप्त रूप से छोटे अंतराल के लिए इसकी क्रमिक छवियां अधिकांश समय स्वयं को नहीं काटती हैं)। बरनौली बदलाव मिश्रण कर रहे हैं, और अर्नोल्ड कैट मैप भी है।

मिश्रण की इस धारणा को कभी-कभी अशक्त मिश्रण के विपरीत दृढ़ मिश्रण कहा जाता है, जिसका अर्थ है कि

$$\lim _{n\to +\infty }{\frac {1}{n}}\sum _{k=1}^{n}\left|\mu (T^{-n}A\cap B)-\mu (A)\mu (B)\right|=0$$

उचित एर्गोडिसिटी

रूपान्तरण $T$ यदि इसमें पूर्ण माप की कक्षा नहीं है, तो इसे उचित रूप से एर्गोडिक कहा जाता है। असतत मामले में इसका मतलब है कि माप $\mu$ की परिमित कक्षा पर समर्थित नहीं है $T$।

निरंतर-समय गतिशील प्रणालियों के लिए परिभाषा

परिभाषा अनिवार्य रूप से निरंतर-समय की गतिशील प्रणालियों के लिए एक ही परिवर्तन के लिए समान है। मान लीजिये $(X,{\mathcal {B}})$ औसत दर्जे का स्थान हो और प्रत्येक के लिए $t\in \mathbb {R} _{+}$, तो ऐसी व्यवस्था एक कुल द्वारा दी जाती है $T_{t}$ मापने योग्य कार्यों से $X$ खुद के लिए, जिससे कि किसी के लिए $t,s\in \mathbb {R} _{+}$ संबंध $T_{s+t}=T_{s}\circ T_{t}$ धारण करता है (सामान्यतः यह भी पूछा जाता है कि ऑर्बिट मैप से $\mathbb {R} _{+}\times X\to X$ मापने योग्य भी है)। यदि $\mu$ पर एक प्रायिकता माप है $(X,{\mathcal {B}})$ हम ऐसा कहते हैं $T_{t}$ है $\mu$-एर्गोडिक या $\mu$ के लिए एर्गोडिक माप है $T$ यदि प्रत्येक $T_{t}$ संरक्षित करता है $\mu$ और निम्नलिखित शर्त रखती है:

किसी के लिए $A\in {\mathcal {B}}$, यदि सभी के लिए $t\in \mathbb {R} _{+}$ अपने पास $T_{t}^{-1}(A)\subset A$ है $\mu (A)=0$ फिर या तो $\mu (A)=1$

उदाहरण

जैसा कि असतत मामले में सबसे सरल उदाहरण सकर्मक क्रिया का है, उदाहरण के लिए दिए गए वृत्त पर क्रिया $T_{t}(z)=e^{2i\pi t}z$ लेबेस्गुए माप के लिए एर्गोडिक है।

टोरस पर अपरिमेय ढाल के साथ प्रवाह द्वारा असीम रूप से कई कक्षाओं के साथ उदाहरण दिया गया है: चलो $X=\mathbb {S} ^{1}\times \mathbb {S} ^{1}$ और $\alpha \in \mathbb {R}$. मान लीजिये $T_{t}(z_{1},z_{2})=\left(e^{2i\pi t}z_{1},e^{2\alpha i\pi t}z_{2}\right)$; तो यदि $\alpha \not \in \mathbb {Q}$ यह लेबेस्ग माप के लिए एर्गोडिक है।

एर्गोडिक प्रवाह

एर्गोडिक प्रवाह के और उदाहरण हैं:

• उत्तल यूक्लिडियन प्रांत में गतिशील बिलियर्ड्स;
• परिमित घनफल के ऋणात्मक रूप से घुमावदार रीमैनियन बहुविध का जियोडेसिक प्रवाह एर्गोडिक है (सामान्यीकृत घनफल माप के लिए);
• परिमित घनफल के अतिशयोक्तिपूर्ण मैनिफोल्ड्स पर चक्रीय प्रवाह एर्गोडिक है (सामान्यीकृत घनफल माप के लिए)

कॉम्पैक्ट मेट्रिक स्पेस में एर्गोडिसिटी

यदि $X$ एक कॉम्पैक्ट मीट्रिक स्थान है जो बोरेल समुच्चय के σ-बीजगणित के साथ स्वाभाविक रूप से संपन्न है। टोपोलॉजी से आने वाली अतिरिक्त संरचना तब एर्गोडिक परिवर्तनों और माप $X$ के लिए अधिक विस्तृत सिद्धांत की अनुमति देती है।

कार्यात्मक विश्लेषण व्याख्या

बनच स्पेस के सिद्धांत का उपयोग करके एर्गोडिक माप की एक बहुत ही शक्तिशाली वैकल्पिक परिभाषा दी जा सकती है। रैडॉन पर माप करता है $X$ बनच स्पेस बनाते हैं जिसमें समुच्चय होता है ${\mathcal {P}}(X)$ संभाव्यता माप पर $X$ उत्तल समुच्चय है। निरंतर परिवर्तन को देखते हुए $T$ का $X$ उपसमुच्चय ${\mathcal {P}}(X)^{T}$ का $T$-इनवेरिएंट माप बंद उत्तल उपसमुच्चय है, और माप के लिए एर्गोडिक है $T$ यदि और केवल यदि यह इस उत्तल का चरम बिंदु है।

एर्गोडिक माप का अस्तित्व

ऊपर की समुच्चयिंग में यह बानाच-अलाग्लु प्रमेय से अनुसरण करता है कि इसमें हमेशा चरम बिंदु सम्मिलित होते हैं ${\mathcal {P}}(X)^{T}$, इसलिए कॉम्पैक्ट मीट्रिक स्पेस का परिवर्तन हमेशा एर्गोडिक माप को स्वीकार करता है।

एर्गोडिक अपघटन

सामान्यतः इनवेरिएंट माप को एर्गोडिक नहीं होना चाहिए, लेकिन चॉकेट सिद्धांत के परिणामस्वरूप इसे हमेशा एर्गोडिक माप के समुच्चय पर प्रायिकता माप के बायर्सेंटर के रूप में व्यक्त किया जा सकता है। इसे माप के एर्गोडिक अपघटन के रूप में जाना जाता है।

उदाहरण

$X=\{1,\ldots ,n\}$ और $T=(1\,2)(3\,4\,\cdots \,n)$ के मामले में गिनती का माप एर्गोडिक नहीं है। एर्गोडिक माप के लिए $T$ एकसमान माप हैं $\mu _{1},\mu _{2}$ उपसमुच्चय पर समर्थित $\{1,2\}$ और $\{3,\ldots ,n\}$ और हर $T$-इनवेरिएंट संभाव्यता माप के रूप में लिखा जा सकता है $t\mu _{1}+(1-t)\mu _{2}$ कुछ के लिए $t\in [0,1]$. विशेष रूप से ${\textstyle {\frac {2}{n}}\mu _{1}+{\frac {n-2}{n}}\mu _{2}}$ मतगणना माप का एर्गोडिक अपघटन है।

सतत प्रणाली

इस खंड में सब कुछ के निरंतर कार्यों के लिए शब्दशः स्थानांतरित करता है $\mathbb {R}$ या $\mathbb {R} _{+}$ कॉम्पैक्ट मीट्रिक स्पेस पर।

अद्वितीय एर्गोडिसिटी

रूपान्तरण $T$ को विशिष्ट रूप से एर्गोडिक कहा जाता है यदि कोई अद्वितीय बोरेल संभाव्यता माप है $\mu$ पर $X$ जिसके लिए एर्गोडिक है $T$।

ऊपर दिए गए उदाहरणों में, वृत्त के अपरिमेय घुमाव विशिष्ट रूप से एर्गोडिक हैं; शिफ्ट मैप नहीं हैं।

संभाव्य व्याख्या: एर्गोडिक प्रक्रियाएं

Main article: एर्गोडिक प्रक्रिया

यदि $\left(X_{n}\right)_{n\geq 1}$ स्थान पर असतत-समय की प्रसम्भाव्‍य प्रक्रम है $\Omega$, यह चरों के संयुक्त वितरण पर यदि एर्गोडिक कहा जाता है $\Omega ^{\mathbb {N} }$ शिफ्ट मैप के अनुसार इनवेरिएंट है $\left(x_{n}\right)_{n\geq 1}\mapsto \left(x_{n+1}\right)_{n\geq 1}$}। यह ऊपर चर्चा की गई धारणाओं का एक विशेष मामला है।

सबसे सरल मामला एक स्वतंत्र और समान रूप से वितरित प्रक्रिया का है जो ऊपर वर्णित शिफ्ट मैप से मेल खाता है। एक अन्य महत्वपूर्ण मामला मार्कोव श्रृंखला का है जिसकी चर्चा नीचे विस्तार से की गई है।

एक समान व्याख्या निरंतर-समय की प्रसम्भाव्‍य प्रक्रम के लिए होती है, चूंकि कार्य की औसत दर्जे की संरचना का निर्माण अधिक जटिल है।

मार्कोव श्रृंखला की एर्गोडिसिटी

मार्कोव श्रृंखला से जुड़ी गतिशील प्रणाली

मान लीजिये $S$ एक परिमित समुच्चय हो। मार्कोव श्रृंखला $S$ आव्यूह द्वारा परिभाषित किया गया है $P\in [0,1]^{S\times S}$, जहाँ $P(s_{1},s_{2})$ से संक्रमण प्रायिकता है $s_{1}$ को $s_{2}$, इसलिए प्रत्येक के लिए $s\in S$ हमारे पास है ${\textstyle \sum _{s'\in S}P(s,s')=1}$, स्थिर प्रक्रिया के लिए $P$ संभाव्यता माप है $\nu$ पर $S$ ऐसा है कि $\nu P=\nu$ ; वह है ${\textstyle \sum _{s'\in S}\nu (s')P(s',s)=\nu (s)}$ सभी के लिए $s\in S$.

इस डेटा का उपयोग करके हम प्रायिकता माप को परिभाषित कर सकते हैं $\mu _{\nu }$ समुच्चय पर $X=S^{\mathbb {Z} }$ इसके गुणनफल σ-बीजगणित के साथ सिलिंडरों की माप इस प्रकार देकर:

$$\mu _{\nu }(\cdots \times S\times \{(s_{n},\ldots ,s_{m})\}\times S\times \cdots )=\nu (s_{n})P(s_{n},s_{n+1})\cdots P(s_{m-1},s_{m}).$$

की स्थिरता $\nu$ तो इसका मतलब है कि माप $\mu _{\nu }$ शिफ्ट मैप के अनुसार इनवेरिएंट है $T\left(\left(s_{k}\right)_{k\in \mathbb {Z} })\right)=\left(s_{k+1}\right)_{k\in \mathbb {Z} }$.

एर्गोडिसिटी के लिए मानदंड

पैमाना $\mu _{\nu }$ हमेशा शिफ्ट मैप के लिए एर्गोडिक होता है, यदि संबंधित मार्कोव श्रृंखला इर्रेड्यूबल है (किसी भी स्थिति को किसी भी अन्य स्थिति से घनात्मक संभावना के साथ सीमित चरणों में पहुँचा जा सकता है)।

उपरोक्त परिकल्पनाओं का अर्थ है कि मार्कोव श्रृंखला के लिए अद्वितीय स्थिर माप है। आव्यूह के संदर्भ में $P$ इसके लिए पर्याप्त शर्त यह है कि 1आव्यूह का साधारण आइगेनवेल्यू हो $P$ और अन्य सभी आइगेनवेल्यू $P$ (में $\mathbb {C}$) मापांक <1 के हैं।

ध्यान दें कि संभाव्यता सिद्धांत में मार्कोव श्रृंखला को एर्गोडिक कहा जाता है यदि इसके अतिरिक्त प्रत्येक स्थिति एपेरियोडिक है (ऐसे समय जहां वापसी की संभावना घनात्मक है, एक पूर्णांक> 1 के गुणक नहीं हैं)। इनवेरिएंट माप के लिए यह आवश्यक नहीं है कि वह एर्गोडिक हो; इसलिए मार्कोव श्रृंखला और संबंधित शिफ्ट-इनवेरिएंट माप के लिए "एर्गोडिसिटी" की धारणाएं अलग हैं (श्रृंखला के लिए एक सख्ती से दृढ़ है)।

इसके अतिरिक्त मानदंड एक "यदि और केवल यदि" है यदि श्रृंखला में सभी संचार वर्ग आवर्तक हैं और हम सभी स्थिर माप पर विचार करते हैं।

उदाहरण

गिनती का पैमाना

यदि $P(s,s')=1/|S|$ सभी के लिए $s,s'\in S$ तो स्थिर माप गिनती का माप है, माप $\mu _{P}$ है गिनती के माप का उत्पाद है। मार्कोव श्रृंखला एर्गोडिक है, इसलिए ऊपर से बदलाव का उदाहरण मानदण्ड का विशेष मामला है।

गैर-एर्गोडिक मार्कोव श्रृंखला

पुनरावर्ती संचार वर्गों के साथ मार्कोव श्रृंखला इरेड्यूसिबल नहीं हैं, एर्गोडिक नहीं हैं, और इसे तुरंत निम्नानुसार देखा जा सकता है। यदि $S_{1}\subsetneq S$ दो अलग-अलग आवर्तक संचार वर्ग हैं, गैर-स्थिर स्थिर माप हैं $\nu _{1},\nu _{2}$ पर समर्थन किया $S_{1},S_{2}$ क्रमशः और उपसमुच्चय $S_{1}^{\mathbb {Z} }$ और $S_{2}^{\mathbb {Z} }$ इनवेरिएंट संभाव्यता माप ${\textstyle {\frac {1}{2}}(\nu _{1}+\nu _{2})}$ के लिए शिफ्ट-इनवेरिएंट और माप 1.2 दोनों हैं, इसका एक बहुत ही सरल उदाहरण है श्रृंखला $S=\{1,2\}$ आव्यूह द्वारा दिया गया ${\textstyle \left({\begin{array}{cc}1&0\\0&1\end{array}}\right)}$ (दोनों स्थिति स्थिर हैं)।

आवधिक श्रृंखला

मार्कोव श्रृंखला $S=\{1,2\}$ आव्यूह द्वारा दिया गया ${\textstyle \left({\begin{array}{cc}0&1\\1&0\end{array}}\right)}$ अप्रासंगिक लेकिन आवधिक है। इस प्रकार यह संबंधित माप के अतिरिक्त मार्कोव श्रृंखला के अर्थ में एर्गोडिक नहीं है $\mu$ पर $\{1,2\}^{\mathbb {Z} }$ शिफ्ट मैप के लिए एर्गोडिक है। हालाँकि, इस माप के लिए शिफ्ट मिश्रण नहीं है, जैसा कि समुच्चय के लिए है

$$A=\cdots \times \{1,2\}\times 1\times \{1,2\}\times 1\times \{1,2\}\cdots$$

और

$$B=\cdots \times \{1,2\}\times 2\times \{1,2\}\times 2\times \{1,2\}\cdots$$

अपने पास ${\textstyle \mu (A)={\frac {1}{2}}=\mu (B)}$ लेकिन

$$\mu \left(T^{-n}A\cap B\right)={\begin{cases}{\frac {1}{2}}{\text{ if }}n{\text{ is odd}}\\0{\text{ if }}n{\text{ is even.}}\end{cases}}$$

सामान्यीकरण

एर्गोडिसिटी की परिभाषा समूह क्रियाओं के लिए भी समझ में आती है। चिरसम्मत सिद्धांत (उलटा परिवर्तन के लिए) के कार्यों से मेल खाता है $\mathbb {Z}$ या $\mathbb {R}$.

गैर-अबेलियन समूहों के लिए कॉम्पैक्ट मीट्रिक रिक्त स्थान पर भी इनवेरिएंट माप नहीं हो सकते हैं। चूंकि यदि कोई इनवेरिएंट माप को अर्ध-इनवेरिएंट माप से बदल देता है तो एर्गोडिसिटी की परिभाषा अपरिवर्तित रहती है।

महत्वपूर्ण उदाहरण इसकी फुरस्टनबर्ग सीमा पर अर्ध-सरल लाइ समूह (या एक जाली (असतत उपसमूह)) का कार्य है।

मापने योग्य समतुल्य संबंध को एर्गोडिक कहा जाता है यदि सभी संतृप्त उपसमुच्चय या तो शून्य (नल्ल) या अशक्त (कोनल्ल) हों।

संदर्भ

• Walters, Peter (1982). An Introduction to Ergodic Theory. Springer. ISBN 0-387-95152-0.
• Brin, Michael; Garrett, Stuck (2002). Introduction to Dynamical Systems. Cambridge University Press. ISBN 0-521-80841-3.

बाहरी संबंध

• Karma Dajani and Sjoerd Dirksin, "A Simple Introduction to एर्गोडिक Theory"