Sei
ein Attraktor von
in
mit Einzugsgebiet
.
Für eine beliebige BOREL-Menge
und einen
beliebigen Punkt
wird die Größe
 |
(17.30) |
gebildet, wobei
jeweils der Teil der Gesamtzeit
ist, in dem der
Orbitabschnitt
in der Menge
liegt.
Wenn für
-fast alle
aus
sogar
ist,
wird
gesetzt.
Da fast alle Orbits mit Anfang
für
gegen
streben, ist
ein Wahrscheinlichkeitsmaß, das auf
konzentriert ist.