एर्गोडिसिटी

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

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

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

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

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

माप-संरक्षण गतिशील प्रणाली
एर्गोडिसिटी की गणितीय परिभाषा का उद्देश्य यादृच्छिकता के बारे में हर दिन सामान्य विचारों को पकड़ना है। इसमें उन प्रणालियों के बारे में विचार शामिल हैं जो इस तरह से आगे बढ़ते हैं (अंततः) सभी जगह भरते हैं, जैसे विसरण और ब्राउनियन गति, साथ ही मिश्रण की सामान्य ज्ञान धारणाएं, जैसे मिश्रण पेंट, पेय, खाना पकाने की सामग्री, औद्योगिक प्रक्रिया मिश्रण, धुएँ से भरे कमरे में धुँआ, शनि के वलय में धूल इत्यादि। ठोस गणितीय आधार प्रदान करने के लिए, एर्गोडिक प्रणाली का विवरण माप-संरक्षण गतिशील प्रणाली की परिभाषा से शुरू होता है। इसे इस प्रकार लिखा जाता है $$(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 \ne 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 \ne \varnothing$$. यहाँ, $$\cap$$ सेट चौराहे को दर्शाता है और $$\varnothing$$ खाली सेट है। मिश्रण की अन्य धारणाओं में मजबूत और कमजोर मिश्रण शामिल हैं, जो इस धारणा का वर्णन करते हैं कि मिश्रित पदार्थ हर जगह समान अनुपात में मिलते हैं। यह गैर-तुच्छ हो सकता है, जैसा कि चिपचिपे, चिपचिपे पदार्थों को मिलाने के व्यावहारिक अनुभव से पता चलता है।

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

आयतन का विचार बहुत सार हो सकता है। उदाहरण के लिए, सभी संभव कॉइन-फ्लिप्स के सेट पर विचार करें: हेड्स और टेल्स के अनंत अनुक्रमों का सेट। इस स्थान को 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).$$ समान रूपांतरण (तुल्यता, समरूपता) किसी भी स्टोकेस्टिक प्रक्रिया पर लागू किया जा सकता है। इस प्रकार, ergodicity की एक अनौपचारिक परिभाषा यह है कि एक अनुक्रम ergodic है अगर यह सभी का दौरा करता है $$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}$$

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

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

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

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

इतिहास और व्युत्पत्ति
एर्गोडिक शब्द आमतौर पर ग्रीक भाषा के शब्दों से लिया गया माना जाता है ἔργον (एर्गन: काम ) और ὁδός (होडोस: पाथ, वे), जैसा कि लुडविग बोल्ट्जमैन द्वारा चुना गया था जब वह सांख्यिकीय यांत्रिकी में एक समस्या पर काम कर रहे थे। साथ ही यह भी दावा किया जाता है कि यह एर्गोमोनोड की व्युत्पत्ति है, जिसे 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$$ समान संभावना के साथ, लेकिन यह ऐसा हर संभव वेग के साथ करता है, उस वेग के लिए बोल्ट्जमैन वितरण द्वारा दी गई संभावना के साथ (इसलिए, उस माप के संबंध में समान)। एर्गोडिक परिकल्पना में कहा गया है कि भौतिक प्रणालियां वास्तव में एर्गोडिक हैं। मल्टीपल टाइम स्केल काम कर रहे हैं: गैस और तरल पदार्थ कम समय के पैमाने पर एर्गोडिक प्रतीत होते हैं। एक ठोस में एर्गोडिसिटी को कंपन मोड या फोनन के संदर्भ में देखा जा सकता है, क्योंकि स्पष्ट रूप से एक ठोस में परमाणु स्थान का आदान-प्रदान नहीं करते हैं। चश्मा एर्गोडिक परिकल्पना के लिए एक चुनौती पेश करता है; समय के पैमाने को लाखों वर्षों में माना जाता है, लेकिन परिणाम विवादास्पद हैं। स्पिन चश्मा विशेष कठिनाइयाँ पेश करते हैं।

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

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

एक वृत्त का तर्कहीन घुमाव एर्गोडिक है: एक बिंदु की कक्षा (गतिकी) ऐसी है कि अंततः, सर्कल के हर दूसरे बिंदु का दौरा किया जाता है। इस तरह के घुमाव अंतराल विनिमय मानचित्र का एक विशेष मामला है। किसी संख्या के अंकों का गैर-पूर्णांक आधार एर्गोडिक होता है: वास्तविक संख्या का बीटा विस्तार बेस-एन में नहीं, बल्कि बेस- में किया जाता है।$$\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$$ एक बिंदु कण की शायद ही आकस्मिक है; ऐसी चीजों को ऊर्जा कहने का सार यही है। इस अर्थ में, एर्गोडिक कक्षाओं के साथ अराजक व्यवहार ज्यामिति के बड़े इलाकों में अधिक या कम सामान्य घटना है।

एर्गोडिसिटी परिणाम अनुवाद सतहों, अतिशयोक्तिपूर्ण समूहों और सिस्टोलिक ज्यामिति में प्रदान किए गए हैं। तकनीकों में एर्गोडिक प्रवाह, हॉफ अपघटन और एर्गोडिक प्रवाह का अध्ययन शामिल है। एम्ब्रोस-काकुटानी-क्रेंगल-कुबो प्रमेय। प्रणाली का एक महत्वपूर्ण वर्ग Axiom 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$$-invariant सबसेट 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$$ सकारात्मक उपाय के साथ हमारे पास है $\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$$ लगभग हर जगह स्थिर है।

बरनौली शिफ्ट और सबशिफ्ट
होने देना $$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$-ergodic.

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

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

अर्नोल्ड की बिल्ली का नक्शा
होने देना $$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$$. कब $g = \left(\begin{array}{cc} 2 & 1 \\ 1 & 1 \end{array}\right)$ एक तथाकथित अर्नोल्ड की बिल्ली का नक्शा प्राप्त करता है, जो टोरस पर लेबेस्गु माप के लिए एर्गोडिक है।

एर्गोडिक प्रमेय
अगर $$\mu$$ किसी स्थान पर संभाव्यता माप है $$X$$ जो एक परिवर्तन के लिए एर्गोडिक है $$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$$ पैमाना $\frac{1}{2}(\mu_0 + \mu_1)$ के लिए एर्गोडिक नहीं है $$T$$ लेकिन इसकी कक्षाएँ समर्थन में सघन हैं। शिफ्ट-इनवेरिएंट उपायों के साथ स्पष्ट उदाहरणों का निर्माण किया जा सकता है।

मिश्रण
एक परिवर्तन $$T$$ संभाव्यता माप स्थान का $$(X, \mu)$$ उपाय के लिए मिश्रण कहा जाता है $$\mu$$ अगर किसी मापने योग्य सेट के लिए $$A, B \subset X$$ निम्नलिखित धारण करता है: $$\lim_{n \to +\infty} \mu\left(T^{-n}A \cap B\right) = \mu(A)\mu(B)$$ यह तत्काल है कि एक मिश्रण परिवर्तन भी ergodic (ले रहा है $$A$$ बनने के लिए $$T$$-स्थिर सबसेट और $$B$$ इसका पूरक)। इसका विलोम सत्य नहीं है, उदाहरण के लिए वृत्त पर अपरिमेय कोण वाला एक घूर्णन (जो ऊपर दिए गए उदाहरणों के अनुसार एर्गोडिक है) मिश्रण नहीं कर रहा है (पर्याप्त रूप से छोटे अंतराल के लिए इसकी क्रमिक छवियां अधिकांश समय स्वयं को नहीं काटती हैं)। Bernoulli बदलाव मिश्रण कर रहे हैं, और अर्नोल्ड की बिल्ली का नक्शा भी है।

मिश्रण की इस धारणा को कभी-कभी कमजोर मिश्रण के विपरीत मजबूत मिश्रण कहा जाता है, जिसका अर्थ है कि $$ \lim_{n \to +\infty} \frac 1 n \sum_{k=1}^n \left|\mu(T^{-n}A \cap B) - \mu(A)\mu(B) \right| = 0$$

उचित ergodicity
रूपान्तरण $$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$$ Lebesgue माप के लिए एर्गोडिक है।

टोरस पर एक अपरिमेय ढलान के साथ प्रवाह द्वारा असीम रूप से कई कक्षाओं के साथ एक उदाहरण दिया गया है: चलो $$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$$-अपरिवर्तनीय उपाय एक बंद उत्तल उपसमुच्चय है, और एक उपाय के लिए ergodic है $$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]$$. विशेष रूप से $\frac{2}{n}\mu_1 + \frac{n - 2}{n}\mu_2$ मतगणना माप का एर्गोडिक अपघटन है।

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

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

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

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

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

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

मार्कोव श्रृंखला से जुड़ी गतिशील प्रणाली
होने देना $$S$$ एक परिमित सेट हो। एक मार्कोव श्रृंखला चालू $$S$$ एक मैट्रिक्स द्वारा परिभाषित किया गया है $$P \in [0, 1]^{S \times S}$$, कहाँ $$P(s_1, s_2)$$ से संक्रमण संभावना है $$s_1$$ को $$s_2$$, इसलिए प्रत्येक के लिए $$s \in S$$ अपने पास $\sum_{s' \in S} P(s, s') = 1$. के लिए एक स्थिर प्रक्रिया $$P$$ संभाव्यता माप है $$\nu$$ पर $$S$$ ऐसा है कि $$\nu P = \nu$$ ; वह है $\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}$$.

ergodicity के लिए मानदंड
पैमाना $$\mu_\nu$$ शिफ्ट मैप के लिए हमेशा एर्गोडिक होता है यदि संबंधित मार्कोव श्रृंखला मार्कोव श्रृंखला#Reducibility है (किसी भी राज्य को किसी भी अन्य राज्य से सकारात्मक संभावना के साथ सीमित चरणों में पहुँचा जा सकता है)।

उपरोक्त परिकल्पनाओं का अर्थ है कि मार्कोव श्रृंखला के लिए एक अद्वितीय स्थिर माप है। मैट्रिक्स के संदर्भ में $$P$$ इसके लिए एक पर्याप्त शर्त यह है कि 1 मैट्रिक्स का एक साधारण eigenvalue हो $$P$$ और के अन्य सभी eigenvalues $$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}$$ अपरिवर्तनीय संभाव्यता माप के लिए शिफ्ट-इनवेरिएंट और माप 1.2 दोनों हैं $\frac{1}{2}(\nu_1 + \nu_2)$. इसका एक बहुत ही सरल उदाहरण है चेन ऑन $$S = \{1, 2\}$$ मैट्रिक्स द्वारा दिया गया $\left(\begin{array}{cc} 1 & 0 \\ 0 & 1 \end{array}\right)$ (दोनों राज्य स्थिर हैं)।

एक आवधिक श्रृंखला
मार्कोव श्रृंखला चालू $$S = \{1, 2\}$$ मैट्रिक्स द्वारा दिया गया $\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$$ अपने पास $\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$$.

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

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

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

बाहरी संबंध

 * Karma Dajani and Sjoerd Dirksin, "A Simple Introduction to Ergodic Theory"