Aksiom izbora je aksiom iz teorije skupova.
Imamo I, proizvoljan neprazan skup i vrijedi
neprazna familija u parovima disjunktnih nepraznih skupova.
U tom slučaju ima skup B takve osobine da je
jednočlan skup za sve .
Drugim riječima, svakom nepraznom skupu je bar jedna jedna funkcija čiji su argumenti neprazni podskupovi tog skupa, a slike su elementi argumenata.
Taj skup B nazivamo izborni skup za familiju
Neke od posljedica aksioma izbora su čudne, kao što je poučak Banach-Tarskog.
Analizom Cantorovih radova nameće se zaključak da skoro svi poučci koje je dobio daju se izvesti iz triju aksioma: aksioma rasprostranjenosti (ekstenzionalnosti), aksioma tj. načela komprehenzije i aksioma izbora.
This article uses material from the Wikipedia Hrvatski article Aksiom izbora, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Sadržaji se koriste u skladu s CC BY-SA 4.0 osim ako nije drukčije navedeno. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Hrvatski (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.