Every nonempty relatively open interval contains a binary cylinder whose points share a finite prefix. Given nonempty open sets , choose such a cylinder of length . After binary shifts, contains with the usual half-open cylinder convention. In particular, some point of maps into . Thus is topologically transitive: . Equivalently, concatenate a prefix placing the point in with a tail placing its th iterate in .

Articles by others on the same topic (0)

There are currently no matching articles.