בערך זה נעשה שימוש בסימנים מוסכמים מתחום המתמטיקה. להבהרת הסימנים ראו סימון מתמטי.

משפט ההישנות של פואנקרה הוא משפט מתמטי העוסק במערכות דינמיות, בעל שימושים בסטטיסטיקה ובפרט בתהליכים מקריים, וכן בפיזיקה סטטיסטית. במילים פשוטות המשפט קובע כי בתנאים מסוימים, חלקיק הנע בצורה אקראית בתוך תיבה, יחזור קרוב ככל שנרצה למיקומו המקורי לאחר פרק זמן סופי כלשהו.

למשפט היה תפקיד חשוב בהתפתחות הפיזיקה הסטטיסטית בסופה של המאה ה-19, והוא הביא את הפיזיקאים לנסח מחדש את הנחת הארגודיות.

המשפט קרוי על-שמו של המתמטיקאי הצרפתי אנרי פואנקרה שדן בו בשנת 1890.^[1] המשפט הוכח על ידי המתמטיקאי היווני-גרמני קונסטנטין קרתאודורי בשנת 1919, תוך שימוש בכלים מתורת המידה.^[2] מאז הוכחת הגרסה הבסיסית של המשפט, פותחו גרסאות נוספות והכללות נוספות שלו, בין השאר גם מנקודות מבט טופולוגיות או גאומטריות. למשל גרסאות העוסקות ב"הישנות מְרוּבָּה".^[3]

באופן כללי, המשפט עוסק במרחב הסתברות ${\displaystyle \left(X,{\mathcal {F}},\mathbb {P} \right)}$, יחד עם העתקה מדידה ${\displaystyle T:X\to X}$ שהיא שומרת מידה, כלומר, ${\displaystyle \mathbb {P} \left(E\right)=\mathbb {P} \left(T^{-1}E\right)}$ לכל מאורע ${\displaystyle E\in {\mathcal {F}}}$.

גרסה הסתברותית^[4]

יהי ${\displaystyle E\in {\mathcal {F}}}$ מאורע בעל הסתברות חיובית. לכל ${\displaystyle x\in E}$, נגדיר ${\displaystyle n(x)=\inf \left\{n\in \mathbb {N} \mid T^{n}x\in E\right\}}$. אזי מתקיים כי ${\displaystyle n(x)<\infty }$ בהסתברות 1.

דוגמה לכך שהדרישה כי מידת המרחב תהיה סופית, כלומר שהמרחב יהיה מרחב הסתברות, היא הדוגמה של ההעתקה ${\displaystyle T:\mathbb {R} \to \mathbb {R} }$ המוגדרת ${\displaystyle Tx=x+1}$. קל לראות כי זו העתקה מדידה ושומרת מידה, ובכל זאת אף נקודה אינה חוזרת לעצמה.

גרסה מטרית^[5][6]

נניח עוד כי ${\displaystyle \left(X,d\right)}$ מרחב מטרי קומפקטי, וכי ${\displaystyle T}$ היא גם פונקציה רציפה שהיא הומאומורפיזם. אזי קיימת נקודה ${\displaystyle x\in X}$ כך שלכל ${\displaystyle \epsilon >0}$ קיים ${\displaystyle n\in \mathbb {N} }$ שעבורו ${\displaystyle d\left(x,T^{n}x\right)<\epsilon }$.

גרסה טופולוגית^[4]

נניח עוד כי ${\displaystyle X}$ מרחב טופולוגי האוסדורף המקיים את אקסיומת המנייה השנייה. תהי ${\displaystyle \Sigma }$ טופולוגיה המכילה את סיגמא-אלגברת בורל, שביחס אליה ${\displaystyle T}$ היא פונקציה רציפה. אזי בהסתברות 1, עבור ${\displaystyle x\in X}$, לכל סביבה פתוחה ${\displaystyle U\in \Sigma }$ של ${\displaystyle x}$, קיים ${\displaystyle n\in \mathbb {N} }$ שעבורו ${\displaystyle T^{n}x\in U}$.

נוכיח להלן את הגרסה ההסתברותית של המשפט.

לכל ${\displaystyle n\in \mathbb {N} }$ נגדיר ${\displaystyle E_{n}=\left\{x\in E\mid n(x)=n\right\}}$. כמו כן נגדיר ${\displaystyle E_{\infty }=\left\{x\in E\mid T^{n}x\notin E,~\forall n\in \mathbb {N} E\right\}}$. ברור כי ${\displaystyle E=E_{\infty }\cup \bigcup _{n=1}^{\infty }E_{n}}$ וכי הצגה זו היא איחוד זר. כמו כן אלה קבוצות מדידות, שכן מתקיים ${\displaystyle E_{1}=E\cap T^{-1}E}$ וכן ניתן להראות באינדוקציה כי ${\displaystyle E_{n}=E\cap T^{-n}E\cap \bigcap _{j=1}^{n-1}T^{-j}\left(X\backslash E\right)}$ לכל ${\displaystyle n\geq 2}$.

נשים לב כי עבור כל ${\displaystyle x\in E_{\infty }}$ בהכרח ${\displaystyle T^{n}x\notin E_{\infty }}$ לכל ${\displaystyle n\in \mathbb {N} }$. נובע מכך כי הסדרה ${\displaystyle \left\{T^{-i}E_{\infty }\right\}_{i=1}^{\infty }}$ היא סדרה של קבוצות זרות.

מהיות ${\displaystyle T}$ שומרת מידה נובע כי ${\displaystyle \mathbb {P} \left(E_{\infty }\right)=\mathbb {P} \left(T^{-i}E_{\infty }\right)}$ לכל ${\displaystyle i\in \mathbb {N} }$, ולכן נובע כי, $${\displaystyle 1=\mathbb {P} \left(X\right)\geq \mathbb {P} \left(\bigcup _{i=1}^{\infty }T^{-i}E\right)=\sum _{i=1}^{\infty }\mathbb {P} \left(T^{-i}E\right)=\sum _{i=1}^{\infty }\mathbb {P} \left(E_{\infty }\right)}$$ ומכאן כי בהכרח ${\displaystyle \mathbb {P} \left(E_{\infty }\right)=0}$, כפי שנדרש.