Axiom of choice

From Cantor's Attic
Revision as of 07:03, 11 September 2021 by BartekChom (Talk | contribs) (not redirect, useful links)

Jump to: navigation, search

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

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.