התורה הארגודית
פעולות נוספות
התורה הארגודית (אנגלית: Ergodic Theory) היא תאוריה מתמטית בתחום של אנליזה ובפרט בתחום של אנליזה מודרנית ושל סטטיסטיקה ותורת הכאוס אשר מנסה לתת כלים ומדדים עבור "התנהגויות ארוכות טווח" של מערכת ידועה (דטרמיניסטית (אנ')) תחת אילוצים מתמטים שונים. בפרט בתורה הארגודית נחקרים תחומים כמו אנטרופיה, תוחלת, מרחבים משמרי מידה (אנ') וכו'. כיום משתמשים בתורה ארגודית לחקר סטוכסטי של תהליכים מתמטים ומדעיים.
הגדרה עריכה
נאמר כי <math>\mathfrak{K} = (X,\mathcal{B}, \mu, T)</math> מרחב משמר מידה הוא ארגודי אם לכל <math>A \in \mathcal{B}</math> אינווריאנטית (כלומר שנשמרת) תחת T (<math>T^{-1}A = A</math>) מתקיים <math>\mu (A) \in \{0,1\}</math>
במילים אחרות מרחב משמר מידה הוא ארגודי אם כל קבוצה שלא משתנה תחת T היא זניחה (בניסוח לא פורמלי: אינה מהותית) או ממידה 1 (כלומר היא בגודל המרחב או לעיתים היא אף כל המרחב).
אפיונים שקולים לארגודיות עריכה
ישנו מכלול של אפיונים לכך שמרחב משמר מידה הוא ארגודי, בפרט נציג כאן חמישה אפיונים חשובים אשר מהם ניתן להסיק את השאר ומסקנות חשובות מהם
טענה יהי <math>\mathfrak{K} = (X,\mathcal{B}, \mu, T)</math> מרחב משמר מידה אזי התנאים הבאים שקולים:
- <math>\mathfrak{K}</math> הוא ארגודי
- לכל <math>A,B\in \mathcal{B}</math> אם <math>\mu(B\bigtriangleup T^{-1}B) = 0</math> אזי <math>\mu (B) \in \{0,1\}</math> כאשר הסימון <math>\bigtriangleup</math> מסמן הפרש סימטרי בין A ל-B
- לכל <math>B \in \mathcal{B}</math> אם <math>\mu(B) > 0 </math> אזי <math>\mu( \bigcup_{n \geq 0} T^{-n} B ) = 1</math> כאשר <math>T^{k}</math> מסמן את פעולת ההרכבה k פעמים
- לכל <math>A,B\in \mathcal{B}</math> אם <math>\mu(B) > 0 </math>, <math>\mu(A) > 0 </math> אז קיים <math>N \in \mathbb{N} </math> כך ש- <math>\mu(A\cap T^{-N}B) > 0 </math>
- לכל <math>f: X \rightarrow \mathbb{C} </math> מדידה שהיא T-אינווריאנטית (כלומר נשמרת תחת T) μ-כמעט תמיד (כלומר <math>f \circ T = f </math> μ-כ"ת) היא בהכרח קבועה μ-כ"ת
ישנם אפיונים נוספים להיותו של מרחב משמר מידה ארגודי אך אלה דורשים טענות ומסקנות נוספות.
קישורים חיצוניים עריכה
- סיכום, האוניברסיטה העברית
- התורה הארגודית, באתר MathWorld (באנגלית)