blanketglossary

Axiom of choice

Definition

In mathematics, the axiom of choice, abbreviated AC or AoC, is an axiom of set theory. Informally put, the axiom of choice says that given any collection of non-empty sets, it is possible to construct a new set by choosing one element from each set, even if the collection is infinite. Formally, it states that for every set and every -indexed family of nonempty sets, there exists an -indexed set of elements of such that for every . The axiom of choice was formulated in 1904 by Ernst Zermelo in order to formalize his proof of the well-ordering theorem. The axiom of choice is equivalent to the statement that every partition has a transversal.

Related concepts

Abraham Fraenkel Absoluteness (mathematical logic)Abstract algebra Abstract logic Accumulation point Ackermann set theory Adjoint functors Aleph number Alfred Tarski Algebraic closure Algebraic logic Almost Alphabet (formal languages)Alternative set theory American Mathematical Society Amorphous set Andrzej Mostowski András Hajnal Anne Sjerp Troelstra Antichain Argument Arity Atomic formula Atomic model (mathematical logic)Atomic sentence Automata theory Automated theorem proving Axiom Axiom of Choice (band)Axiom of adjunction Axiom of constructibility Axiom of countable choice Axiom of dependent choice Axiom of determinacy Axiom of extensionality Axiom of global choice Axiom of infinity Axiom of limitation of size Axiom of pairing Axiom of power set Axiom of projective determinacy Axiom of regularity Axiom of union Axiom schema Axiom schema of replacement Axiom schema of specification Axiom scheme Axiomatic set theory Axiomatic system Axiomatization of Boolean algebras Azriel Lévy Baire category theorem Baire space (set theory)Banach–Alaoglu theorem Banach–Tarski paradox Basis (linear algebra)Bertrand Russell Bijection Bijective function Binary operation Boolean algebra Boolean algebras canonically defined Boolean function Boolean prime ideal theorem Borel set Burali-Forti paradox Cambridge University Press Cancellation property Cantor's diagonal argument Cantor's paradox Cantor's theorem Cardinal number Cardinality Cartesian product Categorical theory Category (mathematics)Category of sets Category theory Choice function Church encoding Church–Turing thesis Class (set theory)Classical logic Closed graph theorem Closure (topology)Codomain Compact space Compactness Compactness theorem Complement (set theory)Complete Boolean algebra Complete space Complete theory Complex number Computability theory Computable function Computable set Computably enumerable set Concrete category Connected graph Conservative extension Consistency Consistent Constructible universe Construction of the real numbers Constructive analysis Constructive set theory Constructivism (mathematics)Continuous function Continuum hypothesis Countable set Countable sets De Morgan's laws Decidability (logic)Decision problem Dedekind-infinite set Dedekind infinite Deductive system Definable set Descriptive set theory Determinacy Diaconescu's theorem Diagram (mathematical logic)Discontinuous linear map Disjoint union Divisible group Domain of a function Douglas S. Bridges Dover Publications Element (mathematics)Elementary diagram Elementary equivalence Elementary function arithmetic Elliott Mendelson Empty set Encyclopedia of Mathematics Enumeration Equiconsistency Equivalence of categories Equivalence relation Eric Schechter Ernst Zermelo Errett Bishop Euclid's Elements Euclidean geometry Existential quantification Expression (mathematics)Extension by definitions Extension by new constant and function names Extensionality Extreme point Family of sets Field (mathematics)Field extension Filter (mathematics)Filter on a set Finitary relation Finite-valued logic Finite model theory Finite set First-order logic First-order predicate calculus Fixed-point logic Forcing (mathematics)Formal grammar Formal language Formal proof Formal semantics (logic)Formal system Formation rule Foundations of geometry Foundations of mathematics Free abelian group Free logic Free module Free variables and bound variables Function (mathematics)Functional analysis Functional predicate Fundamenta Mathematicae Fuzzy set General set theory General topology Generalized continuum hypothesis Georg Cantor Graph theory Grothendieck universe Ground expression Ground formula Group (mathematics)Group structure and the axiom of choice Gödel's completeness theorem Gödel's incompleteness theorems Gödel numbering Hahn embedding theorem Hahn–Banach theorem Halting problem Hartogs number Harvard University Press Hausdorff maximal principle Hausdorff paradox Hausdorff space Hereditarily finite set Hereditary set Herman Rubin Heyting arithmetic Higher-order logic Hilbert's axioms Hilbert space Hilbert system History of logic History of mathematical logic Horst Herrlich Ideal (ring theory)Image (mathematics)Inaccessible cardinal Independence (mathematical logic)Indexed family Inference Infinite-valued logic Infinite set Information theory Inhabited set Initial ordinal Injective function Injective module Inner model Interpretation (logic)Interpretation (model theory)Interpretation function Intersection (set theory)Inverse function Isomorphism Israel Journal of Mathematics Jean-Pierre Serre Jean E. Rubin Jean van Heijenoort John Lane Bell John von Neumann Kolmogorov complexity Kripke's theory of truth Kripke–Platek set theory Krull's theorem Kuratowski's lemma Kurt Gödel König's theorem (set theory)Lambda calculus Large cardinal Law of excluded middle Lebesgue measurable Lebesgue measure Lemma (mathematics)Lexicographical order Lindström's theorem Linear map Linearly independent List of Hilbert systems List of axioms List of first-order theories List of formal systems List of mathematical theories List of set identities and relations List of statements independent of ZFC List of unsolved problems in mathematics Logic Logical biconditional Logical conjunction Logical connective Logical consequence Logical constant Logical disjunction Logical equality Logical equivalence Logical truth Logicism Löwenheim–Skolem theorem Many-valued logic Map (mathematics)Martin's axiom Martin-Löf type theory Material conditional Mathematical analysis Mathematical induction Mathematical logic Mathematical object Mathematics Mathematics, Form and Function Maximal ideal Measurable Measure space Measure theory Metalanguage Metric space Metric spaces Minimal axioms for Boolean algebra Model (model theory)Model complete theory Model theory Module theory Monadic predicate calculus Monadic second-order logic Morse–Kelley set theory Moschovakis coding lemma NLab NP (complexity)Naive Set Theory (book)Naive set theory Natural deduction Negation New Foundations Nielsen–Schreier theorem Non-Euclidean geometry Non-logical symbol Non-measurable set Non-standard model Non-standard model of arithmetic Nonconstructive proof Nonempty Normal space (topology)Normed vector space Open formula Open interval Open mapping theorem (functional analysis)Operation (mathematics)Orbit (group theory)Ordered pair Ordinal analysis Ordinal number P (complexity)P = NP P versus NP problem Pairwise disjoint Paracompactness Paradoxes of set theory Partially ordered set Partition of a set Partition of unity Partition principle Patrick Suppes Paul Bernays Paul Cohen Paul Cohen (mathematician)Paul Halmos Peano arithmetic Peano axioms Per Martin-Löf Perfect set property Permutation model Philosophy of mathematics Point-set topology Power set Predicate (mathematical logic)Predicate logic Predicate variable Prime model Primitive recursive arithmetic Primitive recursive function Principia Mathematica Product topology Projective module Projective object Proof of impossibility Proof theory Property of Baire Proposition Propositional calculus Propositional formula Propositional variable Quantifier (logic)Quantifier rank Real analysis Real number Real numbers Recursion Recursive set Relation (mathematics)Reverse mathematics Richard Dedekind Riemann hypothesis Ring (mathematics)Robert M. Solovay Robinson arithmetic Rule of inference Russell's paradox Satisfiability Saturated model Saunders Mac Lane Schröder–Bernstein theorem Second-order arithmetic Second-order logic Self-verifying theories Semantic theory of truth Semantics of logic Sentence (mathematical logic)Sequent calculus Sequential continuity Set-builder notation Set (mathematics)Set theory Shoenfield's absoluteness theorem Signature (logic)Singleton (mathematics)Skeleton (category theory)Skolem arithmetic Small category Soundness Span (linear algebra)Spanning subgraph Spanning tree Spectrum of a sentence Spectrum of a theory Springer Science+Business Media Square of opposition Stanford Encyclopedia of Philosophy Stone's representation theorem for Boolean algebras Stone–Čech compactification Strength (mathematical logic)String (formal languages)Structure (mathematical logic)Subset Substitution (logic)Substructure (mathematics)Supertask Surjective function Suslin's problem Syllogism Symbol (formal)Symmetric difference Symmetric model Syntax (logic)T-schema Tarski's axiomatization of the reals Tarski's axioms Tarski's theorem about choice Tarski's theory of truth Tarski's undefinability theorem Tarski–Grothendieck set theory Tautology (logic)Term (logic)Term logic Theorem Theories of truth Theory (mathematical logic)Thomas Jech Thoralf Skolem Three-valued logic Tietze extension theorem Timeline of mathematical logic Topos theory Totally ordered set Transcendence basis Transfer principle Transfinite induction Transitive set Transversal (combinatorics)Tree (graph theory)True arithmetic Truth predicate Truth table Truth value Tukey's lemma Tuple Turing machine Tychonoff's theorem Tychonoff space Type (model theory)Type theory Ultrafilter Ultrafilter (set theory)Ultrafilter lemma Ultrafilter on a set Ultraproduct Uncountable set Undecidable problem Uniformization (set theory)Uninterpreted function Union (set theory)Uniqueness quantification Universal quantification Universal set Universe (mathematics)Urelement Urysohn's Lemma Validity (logic)Variable (mathematics)Vector space Venn diagram Vitali set Von Neumann universe Von Neumann–Bernays–Gödel set theory Well-formed formula Well-order Well-ordered set Well-ordering Well-ordering theorem Willard Van Orman Quine Woodin cardinal Yehoshua Bar-Hillel ZFC (disambiguation)Zermelo set theory Zermelo–Fraenkel set theory Zorn's lemma

150 concepts already in your glossary