# First axiom of countability

From Encyclopedia of Mathematics

A concept in set-theoretic topology. A topological space satisfies the first axiom of countability if the defining system of neighbourhoods of every point has a countable base. The class of spaces satisfying the first axiom of countability was defined by F. Hausdorff (1914). All metric spaces, the space of continuous functions on a segment, etc., belong to this class. Spaces that satisfy the second axiom of countability also satisfy the first one. The converse is false, e.g. an uncountable space with the discrete topology does not satisfy the second axiom of countability.

**How to Cite This Entry:**

First axiom of countability. M.I. Voitsekhovskii (originator),

*Encyclopedia of Mathematics.*URL: http://www.encyclopediaofmath.org/index.php?title=First_axiom_of_countability&oldid=18833

This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098