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


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.