Continuous maps between cofinite and tail topologies
ID: continuous-maps-between-cofinite-and-tail-topologies
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.
New to topics? Read the docs here!