În matematică, axioma alegerii este o axiomă în cadrul teoriei mulțimilor. Axioma alegerii spune, informal vorbind, că, dându-se o familie (posibil infinită) de mulțimi nevide, se poate alege simultan câte un element din fiecare dintre ele, rezultând o mulțime. Axioma alegerii are un statut mai special în teoria mulțimilor, în sensul că sunt studiate și variante ale teoriei mulțimilor în care nu este acceptată axioma alegerii.

Un posibil enunț al axiomei alegerii este următorul: Dacă   este o familie de mulțimi nevide ( ), disjuncte două câte două ( ), atunci există o mulțime   a cărei intersecție cu fiecare mulțime din   conține un singur element:

 

O formulare echivalentă este aceea că, dându-se o familie   de mulțimi nevide, există o funcție   satisfăcând

 

De notat că în cazul în care   este finită, nu este nevoie de axioma alegerii, existența lui   rezultă direct din celelalte axiome ale teoriei mulțimilor. De asemenea, este nevoie de axioma alegerii numai dacă nu există vreun element privilegiat în fiecare mulțime din  . De exemplu, dacă mulțimile din   sunt ordonate și fiecare mulțime are un minim, atunci funcția   există, fără să avem nevoie de axioma alegerii.

Independența de restul teoriei mulțimilor

modificare

Axioma alegerii este independentă de restul teoriei mulțimilor în sensul că, dacă teoria mulțimilor este necontradictorie, atunci teoria mulțimilor cu axioma alegerii este de asemenea necontradictorie și de asemenea teoria mulțimilor împreună cu negația axiomei alegerii este necontradictorie.

Din acest punct de vedere, poziția axiomei alegerii față de teoria mulțimilor este similară poziției axiomei lui Euclid față de geometrie.

Consecințe și proprietăți echivalente

modificare

Următoarele propoziții sunt echivalente cu axioma alegerii:

  • Teorema lui Zermelo: pe orice mulțime se poate stabili o relație de bună ordonare
  • Lema lui Zorn: dacă pe o mulțime nevidă X se definește o relație de ordine cu proprietatea că orice submulțime T care este total ordonată (de ordinea de pe X) admite un majorant în X, atunci X are cel puțin un element maximal

Următoarele propoziții rezultă din axioma alegerii: