Minimalit´e Transitivit´e Attracteurs Entropie Probas invariantes R´ecurrence
Transitivit´e topologique
D´efinition
(X, φ)est topologiquement transitif s’il admet une orbite dense.
On suppose que toute orbite est d’int´erieur vide dans X.
Lemme
La transitivit´e topologique est caract´eris´ee par n’importe laquelle
des assertions suivantes:
(1) il existe x ∈X tel que O(x) = X ;
(2) il existe un Gδdense de points de X tels que O(x) = X ;
(3) il existe x ∈X tel que O+(x) = X ;
(4) il existe un Gδdense de points de X tels que
ω(φ, x) = O+(x) = X ;
(5) pour toute paire d’ouverts non-vides U,V de X , il existe
t∈T+arbitrairement grand tel que U ∩φ−1
t(V)6=∅.