nLab first-countable space

First-countable spaces



topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory


Basic concepts

Universal constructions

Extra stuff, structure, properties


Basic statements


Analysis Theorems

topological homotopy theory

First-countable spaces


A space (such as a topological space) is first-countable if, in a certain sense, there is only a countable amount of information locally in its topology. (Change ‘locally’ to ‘globally’ to get a second-countable space.)



A topological space is first-countable if every point xx has a countable local basis B xB_x.


The character of a space at a point xx is the minimum of the cardinalities of the possible bases B xB_x. We are implicitly using the axiom of choice here, to suppose that this set of cardinalities (which really is a small set because bounded above by the number of neighbourhoods of xx, and inhabited by this number as well) has a minimum. But without Choice, we can still consider this collection of cardinalities.

Then a first-countable space is simply one whose characters are all countable.

The character, tout court, of a space is the supremum of the characters of its points; then a first-countable space is simply one with a countable character.

Axioms: axiom of choice (AC), countable choice (CC).



Last revised on June 1, 2024 at 01:02:25. See the history of this page for a list of all contributions to it.