Аксио́ма вы́бора утверждает: «Для каждого семейства непустых непересекающихся множеств существует множество , имеющее один и только один общий элемент с каждым из множеств , принадлежащих ».
Аксиома выбора не всеми математиками принимается безоговорочно, некоторые относятся к ней с недоверием. Бытует мнение, что доказательства, полученные с привлечением этой аксиомы, имеют иную познавательную ценность, чем доказательства, независимые от неё. Основано оно, прежде всего, на том, что утверждается лишь существование множества , но не дается никакого способа его определения – отсюда неэффективность в случае бесконечных множеств. Это мнение, например, Бореля и Лебега. Противоположного мнения придерживались, например, Хаусдорф и Френкель, которые принимали аксиому выбора без всяких оговорок, признавая за ней ту же степень «очевидности», что и за другими аксиомами теории множеств: аксиома объемности, аксиома существования пустого множества, аксиома пары, аксиома суммы, аксиома степени, аксиома бесконечности. Более того, среди следствий аксиомы выбора есть много довольно специфичных: например, появляется возможность доказать парадокс Банаха—Тарского, который вряд ли можно считать «очевидным». Подробный анализ многочисленных доказательств, использующих аксиому выбора, провел Серпиньский. Однако, без сомнения, многие важные математические открытия нельзя было бы сделать без аксиомы выбора.
Альтернативные формулировки[]
Аксиома выбора утверждает:
- Пусть X — множество непустых множеств. Тогда мы можем выбрать единственный элемент из каждого множества в X.
Функция выбора — функция на множестве множеств X такая, что для каждого множества s в X, f(s) является элементом из s. С использованием понятия функции выбора аксиома утверждает:
- Для любого семейства непустых множеств X существует функция выбора f, определенная на X.
Или альтернативно:
- Произвольное декартово произведение непустых множеств непусто.
Или наиболее сжато:
- Каждое множество непустых множеств имеет функцию выбора.
Отсюда немедленно следует компактная формулировка отрицания аксиомы выбора:
- Существует множество непустых множеств, которое не имеет никакой функции выбора.
Вторая версия аксиомы выбора утверждает:
- Для данного произвольного множества попарно непересекающихся непустых множеств существует, по крайней мере, одно множество, которое содержит точно один элемент, общий с каждым из непустых множеств.
Некоторые авторы используют другую версию, которая эффективно утверждает:
- Для любого множества A, степенное множество (минус пустое подмножество) имеет функцию выбора.
Авторы, которые используют эту формулировку, часто также говорят о «функции выбора на A», но оговаривают, что имеют ввиду немного другое понятие функции выбора. Её область определения — степенное множество (минус пустое подмножество), тогда как в других местах этой статьи, область определения функции выбора — «множество множеств». С этим дополнительным понятием функции выбора, аксиома выбора может быть сжато сформулирована так:
- Каждое множество имеет функцию выбора.