НОВОСТИ    БИБЛИОТЕКА    ЭНЦИКЛОПЕДИЯ    БИОГРАФИИ    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

ВЫБОРА АКСИОМА

ВЫБОРА АКСИОМА - одна из аксиом теории множеств, гласящая: для всякого семейства F непустых множеств существует функция f такая, что для всякого множества S из F имеет место f(S) ∈ S (при этом f наз. функцией выбора на F). Для конечных семейств F В. а. выводима из остальных аксиом теории множеств (напр., в системе ZF).

В. а. была явно сформулирована Э. Цермело (Е. Zermelo, 1904) и встретила отрицательное отношение со стороны многих математиков. Это объяснялось, во-первых, ее чисто экзистенциальным характером, отличающим ее от остальных аксиом теории множеств, а во-вторых, нек-рыми «неприятными» или даже противоречащими интуиции «здравого смысла» следствиями. Напр., из В. а. вытекает: существование неизмеримого по Лебегу множества действительных чисел; существование трех разбиений шара В:

B = U1 ∪ ... ∪ Un,

B = V1 ∪ ... ∪ Vm,

B = X1 ∪ ... ∪ Xn+m,

таких, что Ui конгруэнтно Xi, 1 ≤ i ≤ n, Vj конгруэнтно Xn+j, 1 ≤ j ≤ m. Таким образом, шар В разбивается на конечное число частей Х1, ..., Хn+m, из к-рых движениями в пространстве можно составить два таких же шара.

Впоследствии обнаружилось много содержательных утверждений, эквивалентных В. а. Таковы, напр., следующие. 1. Принцип вполне упорядочения: на всяком множестве А существует отношение линейного порядка В ⊆ Х × X такое, что любое непустое подмножество U ⊆ X содержит наименьший в смысле отношения R элемент. 2. Принцип максимальности (лемма Цорна): если всякое линейно упорядоченное подмножество U частично упорядоченного множества X ограничено сверху, то X содержит максимальный элемент. 3. Всякая нетривиальная ре-щетка с единицей имеет максимальный идеал. 4. Произведение компактных топологич. пространств компактно. 5. Всякое множество X равномощно X × X.

B. а. не вступает в противоречие с остальными аксиомами теории множеств (напр., системы ZF) и логически не выводима из последних при условии их непротиворечивости. В. а. широко используется в классич. математике. Так, В. а. используют следующие утверждения. 1) Каждая подгруппа свободной группы свободна. 2) Существует, и притом единственное с точностью до изоморфизма, алгебраич. замыкание произвольного поля. 3) Каждое векторное пространство имеет базис. 4) Эквивалентность двух определений непрерывности функции в точке (ε - δ-определение и определение через пределы последовательностей). 5) Счетная аддитивность меры Лебега. Причем последние два утверждения вытекают из счетной В. а. (в формулировке аксиомы добавляется условие счетности семейства F). Доказано, что без В. а. утверждения 1)-5) не выводимы в системе ZF, если ZF непротиворечива.

Была построена модель теории множеств, в к-рой выполняется счетная В. а. и каждое множество чисел измеримо по Лебегу. Эта модель была построена в предположении непротиворечивости системы ZF с аксиомой существования недостижимого кардинала.

Лит.: [1] Френкель А., Бар-Хиллел И., Основания теории множеств, пер. с англ., М., 1966; [2] Йех Т., Теория множеств и метод форсинга, пер. с англ., М., 1973; [3] Jech Т. J., The axiom of choise, Amst.-L., 1973.

В. H. Гришин.


Источники:

  1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.








© Злыгостев Алексей Сергеевич, статьи, подборка материалов, оформление, разработка ПО 2001-2019
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'Математическая библиотека'
Рейтинг@Mail.ru