Difference between revisions of "Axiom of choice"

From Cantor's Attic
Jump to: navigation, search
(not redirect, useful links)
(Statements inconsistent with AC: Some sets cannot be well-ordered, and the Hartog number measures how well-ordered they can be.)
(One intermediate revision by the same user not shown)
Line 16: Line 16:
  
 
== Statements inconsistent with AC ==
 
== Statements inconsistent with AC ==
 +
[[Cardinal general|Cardinals without the axiom of choice]] cannot all be equated with initial ordinals. Some sets cannot be well-ordered, and the [[Hartog number]] measures how well-ordered they can be. There can be e.g. infinite [[Dedekind finite]] cardinals and amorphous sets.
 +
 
[[Reinhardt]] cardinals and [[Berkeley]] cardinals are known to be inconsistent with ZFC, but not known to be inconsistent with ZF.
 
[[Reinhardt]] cardinals and [[Berkeley]] cardinals are known to be inconsistent with ZFC, but not known to be inconsistent with ZF.
  

Revision as of 07:13, 11 September 2021

See wikipedia:Axiom of choice

The axiom of choice (AC) is an axiom, usually adjoined to the Zermelo-Frenkael (ZF) axioms of set theory. With this axiom the theory is known as ZFC. ZF and ZFC are equiconsistent.

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.

Equivalent formulations

The axiom has many equivalents, including but not limited to:

  • The assertion that all the infinite cardinals are $\aleph$-numbers.
  • The well-ordering principle, which states that every set can be well-ordered.
  • Zorn's lemma, stating that if the union of any chain in $x$ is itself a member of $x$, then $x$ must have some maximal element, with respect to inclusion.
  • Cantor's Law of Trichotomy, the statement that any two sets are comparable with respect to cardinality, that is, $|A|\lt|B| \lor |A|=|B| \lor |B|\lt|A|$

Weaker forms

Among weaker form are the axiom of dependent choice (AD) and the axiom of countable choice ($\text{AC}_\omega$).

Statements inconsistent with AC

Cardinals without the axiom of choice cannot all be equated with initial ordinals. Some sets cannot be well-ordered, and the Hartog number measures how well-ordered they can be. There can be e.g. infinite Dedekind finite cardinals and amorphous sets.

Reinhardt cardinals and Berkeley cardinals are known to be inconsistent with ZFC, but not known to be inconsistent with ZF.

Axiom of determinacy is inconsistent with AC too.

Without the axiom of choice $\omega_1$ can be e.g. measurable (this is even consistent with dependent choice), strongly compact, supercompact(Jech, 1968, Takeuti, 1970, after [1]) or huge [2].


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