Questions: Second Countability and Separability

Question 1

A topological space X has a countable neighborhood base at every point. Which of the following is necessarily true?

• A. X is second-countable — it has a countable base for the whole topology
• B. X is separable — it has a countable dense subset
• C. X is first-countable — every point has a countable neighborhood base
• D. X has a countable number of open sets

Answer: (C)

Having a countable neighborhood base at every point is exactly the definition of first-countability — a local condition. Second-countability is a global condition: a single countable collection that is a base for the entire topology. The union of countably many countable local bases can be uncountable (e.g., ℝ with the discrete topology is first-countable but not second-countable), so first-countable does NOT imply second-countable. Option A is the key misconception: students often conflate the local condition (first-countable) with the global condition (second-countable).

Question 2

X is a separable metric space — it has a countable dense subset. Which conclusion follows?

• A. X is compact
• B. X is first-countable but not necessarily second-countable
• C. X is second-countable
• D. X has only countably many open sets

Answer: (C)

In a metric space, separability and second-countability are equivalent. The proof: take a countable dense subset D = {d₁, d₂, ...} and form the collection of open balls {B(dₙ, 1/m) : n, m ∈ ℕ}. This countable collection is a base for the topology. This equivalence is specific to metric spaces — in general topological spaces, separability does NOT imply second-countability. This equivalence is why 'separable metric space' is such a powerful hypothesis in analysis.

Question 3

A separable metric space is necessarily second-countable.

• T. True
• F. False

Answer: True

In a metric space, the two conditions are equivalent. Given a countable dense set D, the collection of open balls with centers in D and rational radii forms a countable base. Conversely, second-countability implies separability in any topological space (pick one point from each non-empty base element to get a countable dense set). The equivalence breaks down outside metric spaces — there exist separable topological spaces that are not second-countable.

Question 4

Second-countability is a local property: a space is second-countable if and mainly if most point has a countable neighborhood base.

• T. True
• F. False

Answer: False

Second-countability is a GLOBAL property: the entire topology admits a single countable base. What you described — every point having a countable neighborhood base — is the definition of FIRST-countability. Second-countable implies first-countable (since each point's neighborhoods include only those base elements containing that point, a countable subcollection of the global base), but the implication does not reverse. Global and local countability conditions are genuinely different.

Question 5

Why does second-countability imply separability? Describe how to construct a countable dense subset directly from a countable base.

Model answer: Let {B₁, B₂, B₃, ...} be a countable base. For each non-empty Bₙ, choose a point xₙ ∈ Bₙ. The resulting countable set S = {x₁, x₂, ...} is dense. To see why: every non-empty open set U is a union of base elements, so U contains some Bₙ, and therefore U contains xₙ ∈ S. Since S intersects every non-empty open set, S is dense. This construction works in any second-countable space, regardless of the metric structure.