This post is about an observation about sequential spaces. In a sequential space, non-trivial convergent sequences abound. Thus in the extreme case of there being no trivial convergent convergent sequences, the space in question must not be sequential. Specifically we observe that if is a Hausdorff sequential space and if is a non-isolated point (i.e. the singleton set is not open), there is a convergent sequence of points of such that . Thus it is necessary condition that in a sequential space, there exist non-trivial convergent sequences at every non-isolated point. We present examples showing that this condition is not a sufficient condition for a space being sequential. As the following examples show, the property that there are non-trivial convergent sequences at every non-isolated is a rather weak property.
The first example is from the problem section of Mathematical Monthly in 1970 (see ). Let be the real line and let be the set of all irrational numbers. Let . Let and define a new topology on by calling a subset open if and only if where is a usual open subset of the real line and is a subset of that is at most countable. This new topology on the real line is finer than the Euclidean topology. Thus is a Hausdorff space. Every point of is a non-isolated point and is the the sequential limit of a sequence of rational numbers, satisfying the condition that every non-isolated point is the sequential limit of a non-trivial convergent sequence.
In the topology for , every countably infinite subset of the set is closed in . Thus no sequence of points of can converge to a point not in . Therefore is sequentially closed and non-closed in , making not a sequential space.
Not only that every countably infinite subset of is closed in , every countably infinite subset of is relatively discrete. Then it follows that for every compact , is finite (and is thus closed in ). Thus is also not a k-space.
Another example is that of a product space. Any uncountable product where each factor has at least two points is not sequential. This follows from the fact that is not sequential (see Sequential spaces, IV). Furthermore, in any product space with infinitely many factors each of which has at least two points, every point is the sequential limit of a non-trivial convergent sequence. Thus any product space with uncountably many factors, each of which has at least two points, is another example of a non-sequential space where there are non-trivial convergent sequences at every point.
Previous posts on sequential spaces and k-spaces:
Sequential spaces, I
Sequential spaces, II
Sequential spaces, III
Sequential spaces, IV
Sequential spaces, V
A note about the Arens’ space
- Engelking, R. General Topology, Revised and Completed edition, 1989, Heldermann Verlag, Berlin.
- Henkel, D. Solution to Monthly Problem 5698, American Mathematical Monthly 77, p. 896, 1970
- Willard, S., General Topology, 1970, Addison-Wesley Publishing Company.