Axiom of choice: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Howard C. Berkowitz
No edit summary
imported>Howard C. Berkowitz
No edit summary
Line 4: Line 4:
One formulation of the axiom is that the [[Cartesian product]] of any family of non-empty sets is again non-empty.
One formulation of the axiom is that the [[Cartesian product]] of any family of non-empty sets is again non-empty.


AC is equivalent to [[Zorn's Lemma]] and to the [[Well-ordering Principle]].
AC is equivalent to [[Zorn's Lemma]] and to the [[Well-ordering Principle]].  


==References==
==References==
* {{cite book | author=Paul Halmos | authorlink=Paul Halmos | title=Naive set theory | series=The University Series in Undergraduate Mathematics | publisher=[[Van Nostrand Reinhold]] | year=1960 | pages=59-69 }}
* {{cite book | author=Paul Halmos | authorlink=Paul Halmos | title=Naive set theory | series=The University Series in Undergraduate Mathematics | publisher=[[Van Nostrand Reinhold]] | year=1960 | pages=59-69 }}
* {{cite book | author=Michael D. Potter | title=Sets: An Introduction | publisher=[[Oxford University Press]] | year=1990 | isbn=0-19-853399-3 | pages=137-159 }}
* {{cite book | author=Michael D. Potter | title=Sets: An Introduction | publisher=[[Oxford University Press]] | year=1990 | isbn=0-19-853399-3 | pages=137-159 }}

Revision as of 15:02, 12 February 2009

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In mathematics, the Axiom of Choice or AC is a fundamental principle in set theory which states that it is possible to choose an element out of each of infinitely many sets simultaneously. The validity of the axiom is not universally accepted among mathematicians and Kurt Gödel showed that it was independent of the other axioms of set theory.

One formulation of the axiom is that the Cartesian product of any family of non-empty sets is again non-empty.

AC is equivalent to Zorn's Lemma and to the Well-ordering Principle.

References