Wednesday, 21 May 2008

ds.dynamical systems - Does essentially minimal imply minimal?

Suppose X is compact and totally disconnected space, and that phi a homeomorphism of X.



We say a subset Z of X is phi-invariant if phi(Z) = Z. A phi-invariant set is minimal if it is closed, phi-invariant, nonempty and the smallest of all such sets. We say (X,phi) is minimal if X itself is a minimal set.



An orbit of x in X is the set {phi^n(x) : n an integer}



A system (X,phi) is minimal iff every orbit is dense.



Given (X,phi) as above, and any point y in X. The system is "essentially minimal" if one of the following equivalent conditions hold:
1) For all x in X, y in { phi^n(x) : n >= 0, n an integer }.
2) For all x in X, y in { phi^n(x) : n < 0, n an integer }.
3) X contains a unique minimal set Y, and y in Y.



If a system is minimal, then condition 3 is satisfied (setting Y := X), and is hence essentially minimal.



Does essential minimality imply minimality?

No comments:

Post a Comment