Difference between revisions of "Axiom of choice"

From Cantor's Attic
Jump to: navigation, search
m (moved Axiom of Choice to Axiom of choice: removed capitalization)
Line 1: Line 1:
 +
{{DISPLAYTITLE: The axiom of choice}}
 +
 
The ''axiom of choice'' is an axiom, usually adjoined to the Zermelo-Frenkael axioms of set theory. Informally the axiom of choice says that given a family of non-empty sets we have a function selecting exactly one element from each set. The axiom is equivalent to the assertion that every set can be well ordered, and equivalently that all the infinite cardinals are [[Aleph|$\aleph$-numbers]].
 
The ''axiom of choice'' is an axiom, usually adjoined to the Zermelo-Frenkael axioms of set theory. Informally the axiom of choice says that given a family of non-empty sets we have a function selecting exactly one element from each set. The axiom is equivalent to the assertion that every set can be well ordered, and equivalently that all the infinite cardinals are [[Aleph|$\aleph$-numbers]].
  
 
{{stub}}
 
{{stub}}

Revision as of 04:34, 5 January 2012


The axiom of choice is an axiom, usually adjoined to the Zermelo-Frenkael axioms of set theory. Informally the axiom of choice says that given a family of non-empty sets we have a function selecting exactly one element from each set. The axiom is equivalent to the assertion that every set can be well ordered, and equivalently that all the infinite cardinals are $\aleph$-numbers.


    This article is a stub. Please help us to improve Cantor's Attic by adding information.