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.
For a map from the cofinite topology to the tail topology on the natural numbers, continuity is equivalent to every set being empty or cofinite. If the image is unbounded, every such set is nonempty and cofinite, so . If it is bounded, its maximum exists, and the inverse image of the tail at forces eventually, with always. Conversely either condition makes every tail preimage empty or cofinite.
Articles by others on the same topic
There are currently no matching articles.