Аксіома залежного вибору

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Аксіома залежного вибору — одне з послаблень аксіоми вибору.

Означення

[ред. | ред. код]

Бінарне відношення на називається повним, якщо .

Аксіома стверджує: Для непорожньої множини] повного відношення на існує послідовність в така, що:

Використання

[ред. | ред. код]

Аксіома містить саме те твердження, що необхідне для існування послідовності побудованою трансфінітною індукцією зліченної довжини.

Еквівалентні твердження

[ред. | ред. код]

Джерела

[ред. | ред. код]