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
There are currently no matching articles.