Questions: First and Second Countability Axioms

Question 1

In which type of space are sequences guaranteed to be sufficient for characterizing all topological properties such as closure and continuity?

• A. Any topological space, because convergence of sequences is always well-defined
• B. Only metric spaces, because the metric provides the distance needed to define sequence convergence precisely
• C. Any first-countable space, because the countable neighborhood basis at each point allows all topological properties to be captured by sequences
• D. Only second-countable spaces, because a countable global basis is required for sequence arguments to apply everywhere

Answer: (C)

First countability is exactly the condition that makes sequences work. In a first-countable space, a point x is in the closure of a set A if and only if some sequence in A converges to x — this fails in general topological spaces where the closure can contain points not reachable by any sequence. Similarly, a function is continuous at x if and only if f(xₙ) → f(x) for every sequence xₙ → x. Second countability (option D) is stronger than necessary — it implies first countability, but first countability alone is sufficient for sequence arguments. Metric spaces (option B) are first-countable, making them a special case rather than the general condition.

Question 2

A topologist wants to prove that every second-countable space is separable (has a countable dense subset). What is the correct argument?

• A. Every second-countable space is metrizable, and every metrizable space is separable
• B. From the countable basis {B₁, B₂, ...}, choose one point xₙ ∈ Bₙ for each n; this countable set is dense because every open set contains some Bₙ and thus contains xₙ
• C. Second countability is equivalent to separability in all topological spaces, so the claim follows directly from the definition
• D. First-countable spaces are separable, and since second-countable implies first-countable, second-countable spaces are separable

Answer: (B)

Option B gives the direct and general argument from second countability to separability. Choose one point from each basis element; since every open set contains a basis element (by definition of a basis), every open set contains one of these chosen points, making the countable collection dense. Option A is not always correct: not every second-countable space is metrizable (that requires additional separation axioms, per the Urysohn metrization theorem). Option C is false — separability does not imply second countability in general. Option D is false — first-countable spaces are not generally separable (an uncountable discrete space is first-countable but not separable).

Question 3

Every second-countable space is first-countable, because the collection of basis elements containing a given point forms a countable neighborhood basis at that point.

• T. True
• F. False

Answer: True

This is a direct implication from the definitions. If the space has a countable global basis {B₁, B₂, ...}, then for any point x, the sub-collection of those basis elements that contain x is countable (as a subset of a countable collection) and forms a neighborhood basis at x — every open set containing x contains some basis element containing x, which is in this sub-collection. So second countability implies first countability, but not vice versa: uncountable discrete spaces are first-countable (open singletons form a local basis) but not second-countable.

Question 4

In a general topological space that is not first-countable, sequences are still sufficient to determine which points belong to the closure of a set.

• T. True
• F. False

Answer: False

This fails precisely in spaces that are not first-countable. In such spaces, there can exist points x in the closure of a set A such that no sequence in A converges to x — you would need a net or filter (more general tools) to reach x. A classical example is the cocountable topology on an uncountable set: a point is in the closure of every infinite set, but no sequence from the set need converge to it. First countability is exactly the condition that makes the equivalence 'x ∈ cl(A) iff some sequence in A converges to x' hold. Without it, sequences are incomplete tools for topology.

Question 5

What is the difference between a space being first-countable and second-countable, and why does first countability make sequences sufficient for characterizing topological properties?

Model answer: Second countability is a global condition: the entire topology has a countable basis — a single countable collection of open sets from which every open set can be built as a union. First countability is a local condition: each individual point has a countable neighborhood basis — a countable collection of open sets containing that point such that every neighborhood of the point contains one of them. Second countability implies first countability, but not vice versa. First countability makes sequences sufficient because at a first-countable point, if x is in the closure of A, the countable local basis allows you to construct a sequence in A converging to x by picking one point from A in each successively smaller basis neighborhood.

The key insight is that first countability provides the 'ladder' needed to build sequences: you can always step from one open set to a smaller one, taking a point from A each time, and the resulting sequence converges because any neighborhood of x eventually contains a basis element which is eventually in the sequence. Without a countable neighborhood basis, this construction fails — there is no way to enumerate the open sets to step through them with a sequence. Nets and filters are designed to work without this countability, using directed sets instead of the natural numbers as the index set.