Choose an uncountable set and a point . Every point other than is isolated, and a set containing is open precisely when its complement is countable. Equivalently, the closed sets are all subsets containing together with all countable subsets. Arbitrary intersections and finite unions preserve this latter condition, so it defines a topology.
Every convergent sequence in this space is eventually equal to its limit. Indeed the set of its values different from its limit is countable and closed; its complement is an open neighbourhood of the limit. Eventual membership in this complement forces eventual equality. Nevertheless is not isolated, because its singleton has uncountable complement. In particular sequence convergence alone does not determine this topology.
A real-valued function on this space is continuous exactly when is countable. Sufficiency follows by considering the preimages of closed subsets of the real line: each either contains or is a subset of that countable exceptional set. For necessity, each set is closed and excludes , hence is countable; their countable union is the exceptional set.
Articles by others on the same topic
There are currently no matching articles.