Countability axioms in topology

From Citizendium
Jump to: navigation, search
This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

Countability axioms in topology are properties that a topological space may satisfy which refer to the countability of certain structures within the space.

A separable space is one which has a countable dense subset.

A first countable space is one for which there is a countable filter base for the neighbourhood filter at any point.

A second countable space is one for which there is a countable base for the topology.

The second axiom of countability implies separability and the first axiom of countability. Neither implication is reversible.