Ergodicitet

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2022-09)
Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.

Ergodicitet är ett begrepp inom matematiken, särskilt använt inom den matematiska statistiken och inom dynamiska system.

En stokastisk process sägs vara ergodisk om dess egenskaper, som väntevärde och autokorrelationsfunktion, kan skattas ur en realisering (en serie utfall x n {\displaystyle x_{n}} ) av processen.

lim N 1 N n = 0 N 1 x n = E [ X ] {\displaystyle \lim _{N\rightarrow \infty }{\frac {1}{N}}\sum _{n=0}^{N-1}x_{n}=E[X]}

En sexsidig tärning får illustrera en ergodisk process kallad X {\displaystyle X} . Väntevärdet för tärningen är:

E [ X ] = n = 1 6 n P ( X = n ) = 1 1 6 + 2 1 6 + + 6 1 6 = 3 , 5 {\displaystyle E[X]=\sum _{n=1}^{6}n\cdot P(X=n)=1\cdot {\frac {1}{6}}+2\cdot {\frac {1}{6}}+\ldots +6\cdot {\frac {1}{6}}=3,5}

Om man kastar tärningen ett antal gånger så kommer medelvärdet av utfallen att närma sig väntevärdet – ju fler kast, desto närmare och stabilare.

Ett exempel på en stokastisk process Y {\displaystyle Y} som inte är ergodisk är en vars värde är konstant lika med ett utfall z {\displaystyle z} av en stokastisk variabel Z {\displaystyle Z} . Väntevärdet för Y {\displaystyle Y} är detsamma som väntevärdet för Z {\displaystyle Z} , E [ Z ] {\displaystyle E[Z]} , men medelvärdet för en serie utfall av Y {\displaystyle Y} är lika med z {\displaystyle z} , som inte behöver vara lika med E [ Z ] {\displaystyle E[Z]} .

Ett dynamiskt system f : X X {\displaystyle f\colon X\rightarrow X} , försett med ett invariant mått μ {\displaystyle \mu } , det vill säga ett mått sådant att μ ( E ) = μ ( f 1 ( E ) ) {\displaystyle \mu (E)=\mu (f^{-1}(E))} gäller för varje mätbar mängd E {\displaystyle E} , kallas ergodiskt med avseende på μ {\displaystyle \mu } om det för varje mätbar mängd E {\displaystyle E} sådan att E = f 1 ( E ) {\displaystyle E=f^{-1}(E)} , gäller att μ ( E ) = 0 {\displaystyle \mu (E)=0} eller μ ( X E ) = 0 {\displaystyle \mu (X\setminus E)=0} . Studiet av dynamiska system med invarianta mått, benämns ergodteori.