# Axiom of countability

﻿
Axiom of countability

In mathematics, an axiom of countability is a property of certain mathematical objects (usually in a category) that requires the existence of a countable set with certain properties, while without it such sets might not exist.

Important countability axioms for topological spaces:

Relations:

• Every first countable space is sequential.
• Every second-countable space is first-countable, separable, and Lindelöf.
• Every σ-compact space is Lindelöf.
• A metric space is first-countable.
• For metric spaces second-countability, separability, and the Lindelöf property are all equivalent.

Other examples:

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• axiom of countability — Math. the property satisfied by a topological space in which the neighborhood system of each point has a base consisting of a countable number of neighborhoods (first axiom of countability) or the property satisfied by a topological space that… …   Universalium

• axiom of countability — Math. the property satisfied by a topological space in which the neighborhood system of each point has a base consisting of a countable number of neighborhoods (first axiom of countability) or the property satisfied by a topological space that… …   Useful english dictionary

• first axiom of countability — Math. See under axiom of countability. * * * …   Universalium

• second axiom of countability — Math. See under axiom of countability. * * * …   Universalium

• first axiom of countability — Math. See under axiom of countability …   Useful english dictionary

• second axiom of countability — Math. See under axiom of countability …   Useful english dictionary

• Second-countable space — In topology, a second countable space, also called a completely separable space, is a topological space satisfying the second axiom of countability. A space is said to be second countable if its topology has a countable base. More explicitly,… …   Wikipedia

• Abzählbarkeitsaxiome — Im mathematischen Teilgebiet der Topologie gibt es zwei Endlichkeitsbedingungen an die betrachteten Räume, die als erstes bzw. zweites Abzählbarkeitsaxiom bezeichnet werden. Räume, die ein Abzählbarkeitsaxiom erfüllen, können aus topologischer… …   Deutsch Wikipedia

• Erstabzählbar — Im mathematischen Teilgebiet der Topologie gibt es zwei Endlichkeitsbedingungen an die betrachteten Räume, die als erstes bzw. zweites Abzählbarkeitsaxiom bezeichnet werden. Räume, die ein Abzählbarkeitsaxiom erfüllen, können aus topologischer… …   Deutsch Wikipedia

• Erstes Abzählbarkeitsaxiom — Im mathematischen Teilgebiet der Topologie gibt es zwei Endlichkeitsbedingungen an die betrachteten Räume, die als erstes bzw. zweites Abzählbarkeitsaxiom bezeichnet werden. Räume, die ein Abzählbarkeitsaxiom erfüllen, können aus topologischer… …   Deutsch Wikipedia