We consider which spaces can be realized as the omega limit set of the discrete time dynamical system. This is equivalent to asking which spaces admit a chain transitive homeomorphism and which do not. This leads us to ask for spaces where all homeomorphisms are chain transitive.

Abstract. The structures of the enveloping semigroups of certain elementary finite-and infinite-dimensional distal dynamical systems are given, answering open problems posed by Namioka in 1982. The universal minimal system with (topological) quasi-discrete spectrum is obtained from the infinite-dimensional case. It is proved that, on one hand, a minimal system is a factor of this universal system if and only if its enveloping semigroup has quasi-discrete spectrum and that, on the other hand, such a factor need not have quasidiscrete spectrum in itself. This leads to a natural generalisation of the property of having quasi-discrete spectrum, which is named the W-property.

As the main theorem, it is proved that a collection of minimal P I-flows with a common phase group and satisfying a certain algebraic condition is multiply disjoint if and only if the collection of the associated maximal equicontinuous factors is multiply disjoint. In particular, this result holds for collections of minimal distal flows. The disjointness techniques are combined with Furstenberg's example of a minimal distal system with multiple invariant measures to find the exact cardinalities of (extreme) invariant means on D(Z) and D(R), the spaces of distal functions on Z and R, respectively. In all cases, this cardinality is 2 c . The size of the quotient of D(Z) or of D(R) by a closed subspace with a unique invariant mean is observed to be non-separable by applying the same ideas.2010 Mathematics Subject Classification. Primary 37B05; Secondary 43A60.

No abstract