thumb|Dla każdej rodziny niepustych zbiorów (słoików) istnieje funkcja przypisująca elementom z tych zbiorów po jednym elemencie w pewnym zbiorze (słoiku) thumb|(Si) jest rodziną zbiorów indeksowaną za pomocą liczb rzeczywistych R, tzn. dla każdej liczby rzeczywistej i istnieje jakiś zbiór Si; kilka takich zbiorów pokazano powyżej. Każdy taki zbiór posiada co najmniej jeden element, choć może ich mieć dowolnie wiele. Aksjomat wyboru pozwala dowolnie wybrać po jednym elemencie z każdego zbioru, aby utworzyć rodzinę elementów (xi) indeksowanych liczbami rzeczywistymi, gdzie xi wybrano z Si. W ogólności rodzina może być indeksowana liczbami należącymi do dowolnego zbioru I, niekoniecznie do R.
Aksjomat wyboru, pewnik wyboru, AC (od ) – aksjomat teorii mnogości gwarantujący istnienie zbioru zawierającego dokładnie po jednym elemencie z każdego zbioru należącego do danej rodziny niepustych zbiorów rozłącznych. Postulowany zbiór jest nazywany selektorem.
Aksjomat AC jest niezależny od powszechnie przyjmowanych aksjomatów Zermela-Fraenkla (ZF). Teorie mnogości oparte na aksjomatach ZF oraz aksjomat AC oznacza się zwykle skrótem ZFC. Można również rozważać teorie mnogości oparte na ZF, w których przyjęto negację AC.
Większość matematyków uznaje i stosuje AC, jednak w dowodach twierdzeń zazwyczaj wyraźnie zaznacza się, gdy zakłada się AC. Dowody te nazywa się nieefektywnymi; zwykle są one także niekonstruktywne, gdy mówią jedynie o istnieniu danego obiektu, jednak nie wskazują go (nie podają konstrukcji; por. intuicjonizm).
W przypadku skończonych rodzin zbiorów aksjomat wyboru wynika z innych aksjomatów ZF. W przypadku nieskończonych rodzin zbiorów aksjomat AC również wydaje się intuicyjny, jednak jego konsekwencje bywają zaskakujące. Na przykład Stefan Banach i Alfred Tarski korzystając z AC udowodnili twierdzenie o paradoksalnym rozkładzie kuli (kulę z trójwymiarowej przestrzeni euklidesowej można rozłożyć na sześć części, a następnie z tych części można złożyć, korzystając wyłącznie z obrotów i przesunięć, dwie kule identyczne jak kula wyjściowa).
Definicja formalna Aksjomat wyboru podawany jest zwykle w następującej postaci: Dla każdej rodziny niepustych zbiorów parami rozłącznych istnieje zbiór (tzw. selektor), do którego należy dokładnie po jednym elemencie z każdego ze zbiorów należących do rodziny
Czasami alternatywnie używa się równoważnej postaci aksjomatu wyboru: Dla każdej rodziny zbiorów niepustych istnieje jej funkcja wyboru, to znaczy funkcja spełniająca dla każdego warunek
Twierdzenia równoważne Wśród ważnych twierdzeń równoważnych aksjomatowi wyboru można wymienić następujące wyniki teorii mnogości:
twierdzenie Tarskiego: Iloczyn kartezjański dowolnej rodziny zbiorów niepustych jest niepusty.Elementami iloczynu kartezjańskiego rodziny niepustych zbiorów są wszystkie funkcje spełniające warunek dla każdego gdzie jest ustalonym zbiorem indeksów. Teza twierdzenia Tarskiego brzmi: istnieje chociaż jedna taka funkcja twierdzenie Hessenberga: Każdy zbiór nieskończony jest równoliczny ze swoim kwadratem kartezjańskim, tj. prawo trychotomii: Dla dowolnych zbiorów zachodzi albo albo twierdzenie Königa: Jeśli dla dowolnych liczb kardynalnych spełniona jest nierówność to gdzie przebiega zbiór indeksów lemat Teichmüllera-Tukeya: Niech będzie własnością skończonego typu, mogącą przysługiwać podzbiorom pewnego zbioru każdy podzbiór tego zbioru mający wspomnianą własność jest zawarty w maksymalnym (ze względu na zawieranie) podzbiorze mającym własność twierdzenie Zermela: każdy zbiór można dobrze uporządkować. lemat Kuratowskiego-Zorna: w dowolnym niepustym zbiorze częściowo uporządkowanym, w którym każdy podzbiór liniowo uporządkowany ma ograniczenie górne, istnieje (co najmniej jeden) element maksymalny; twierdzenie Hausdorffa o łańcuchu maksymalnym: każdy niepusty zbiór częściowo uporządkowany zawiera maksymalny (w sensie zawierania) podzbiór liniowo uporządkowany.
Twierdzenia słabsze Czasami matematycy asekurując się przed paradoksalnymi następstwami zakładania aksjomatu wyboru ograniczają się do jego słabszych, nierównoważnych wersji. W wielu zastosowaniach są one wystarczające i, nierzadko, wygodniejsze. Część z nich jest podobna do samego aksjomatu wyboru: niektóre ograniczają tylko rozważane rodziny niepustych zbiorów, np. do skończonych (ACF), inne zakładają z kolei, że funkcja wyboru wybiera podzbiór każdego danego niepustego zbioru zamiast elementu.
Zasada wyboru (SP od ang. selection principle) Dla każdego zbioru istnieje funkcja przyporządkowująca każdemu, co najmniej dwuelementowemu podzbiorowi zbioru pewien niepusty, właściwy podzbiór zbioru Aksjomat wyboru dla zbiorów dających się dobrze uporządkować (ACWO, od ang. axiom of choice for well orderable sets) Dla każdego zbioru istnieje funkcja przyporządkowująca dokładnie jeden element każdemu niepustemu podzbiorowi zbioru dającemu się dobrze uporządkować. Aksjomat wyboru dla zbiorów skończonych (ACF, od ang. axiom of choice for finite sets) Dla każdego zbioru istnieje funkcja przyporządkowująca dokładnie jeden element każdemu niepustemu, skończonemu podzbiorowi zbioru Aksjomat wyboru dla zbiorów n-elementowych (Cn, od ang. axiom of choice for finite sets of n elements) Dla każdego zbioru istnieje funkcja wybierająca po jednym elemencie z każdego -elementowego podzbioru zbioru Przeliczalny aksjomat wyboru (CAC, od ang. countable axiom of choice, albo ACω) Dla każdej przeliczalnej rodziny zbiorów istnieje funkcja wyboru.
Inne wersje wynikają z aksjomatu wyboru, ale mają całkowicie od niego odmienną postać: aksjomat liniowego uporządkowania (OP, od ang. ordering principle) Każdy zbiór da się uporządkować liniowo. Aksjomat podziałuAksjomat ten jest bardzo słaby: na przykład nie można przy jego założeniu udowodnić, że każdy nieskończony zbiór da się podzielić na nieskończenie wiele nieskończonych rozłącznych zbiorów. (PP, od ang. partition principle) Każdy zbiór nieskończony da się podzielić na dwa nieskończone, rozłączne zbiory. Zasada wyborów zależnychJuż podstawowe twierdzenia w analizie i teorii miary potrzebują założenia PDC albo przynajmniej CC (np. aby udowodnić, że zbiór liczb rzeczywistych nie jest sumą przeliczalnej rodziny zbiorów miary zero). Istnienie zbiorów niemierzalnych nie wynika z aksjomatów ZF + PDC, czyli układ ZF + PDC + „każdy podzbiór prostej rzeczywistej jest mierzalny” jest niesprzeczny. (PDC, od ang. principle of dependent choices, albo DC) Jeśli jest taką relacją na niepustym zbiorze że dla dowolnego istnieje spełniający to istnieje ciąg dla którego dla Twierdzenie o ideale pierwszymTen aksjomat wystarczy, aby udowodnić np. twierdzenie o zwartości, twierdzenie Hahna-Banacha, istnienie zbiorów niemierzalnych, czy twierdzenie Tichonowa dla przestrzeni Hausdorffa. (BPI, od ang. Boolean prime ideal theorem) Na każdej algebrze Boole’a istnieje ultrafiltr.
Prawdziwe są następujące ciągi implikacji: AC ⇒ PDC ⇒ CAC AC ⇒ SP ⇒ OP ⇒ ACF ⇒ ∀n Cn ⇒ Cm ⇒ PP AC ⇒ BPI ⇒ OP AC ⇒ ACWO ⇒ ACF
Przykłady zastosowań aksjomatu Aksjomat wyboru (często w postaci lematu Kuratowskiego-Zorna) pojawia się w dowodach różnych wyników spoza teorii mnogości, choć często potrzebna jest jedynie jego słabsza wersja, na przykład: analiza matematyczna – równoważność definicji ciągłości funkcji według Cauchy’ego i HeinegoDo udowodnienia wystarcza przeliczalny aksjomat wyboru CAC. teoria pierścieni – twierdzenie Krulla: każdy pierścień z jedynką ma ideał maksymalny (każdy ideał zawarty jest w pewnym ideale maksymalnym) algebra liniowa – twierdzenie Hamela: każda przestrzeń liniowa ma bazę (Hamela) algebra uniwersalna – twierdzenie Steiniza: każde ciało ma domknięcie algebraiczneDo udowodnienia wystarcza jedna ze słabszych wersji aksjomatu wyboru. analiza funkcjonalna – twierdzenie Hahna-BanachaWymaga jedynie BPI. oraz twierdzenie Krejna-MilmanaDo dowodu wystarcza słabsza wersja aksjomatu wyboru; wraz z BPI twierdzenie pociąga AC. topologia – twierdzenie Tichonowa: produkt przestrzeni zwartych jest zwartyProduktowane przestrzenie nie muszą być Hausdorffa; jeśli są, to do dowodu wystarczy wtedy BPI..
Zobacz też aksjomat determinacji
Uwagi
Przypisy
Bibliografia
Linki zewnętrzne Polskojęzyczne Roman Duda, Kłopotliwy aksjomat wyboru, Centrum Kopernika Badań Interdyscyplinarnych – Uniwersytet Jagielloński (CKBI UJ), kanał „Copernicus” na YouTube, 3 sierpnia 2016 [dostęp 2021-05-23].
Anglojęzyczne [dostęp 2023-06-01]. Axiom of choice , Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2025-04-23].
Axiom of choice , Routledge Encyclopedia of Philosophy, rep.routledge.com [dostęp 2023-05-08]. How the Axiom of Choice Gives Sizeless Sets, kanał PBS Infinite Series na YouTube, 14 września 2017 [dostęp 2024-08-23].
Wyboru