Tail topology on the natural numbers
ID: tail-topology-on-the-natural-numbers
The nonempty open sets are the upper tails of the natural numbers. Arbitrary nonempty unions select the smallest starting index, and finite intersections select the largest, so these sets form a topology. A map into this space is continuous exactly when the inverse image of every upper tail is open.
New to topics? Read the docs here!