Принцип максимума Хаусдорфа
- Принцип максимума Хаусдорфа является альтернативной формулировкой леммы Цорна, доказанной Феликсом Хаусдорфом в 1914 году.
- В нем говорится, что в любом частично упорядоченном множестве каждое полностью упорядоченное подмножество содержится в максимальном полностью упорядоченном подмножестве.
- Принцип максимума Хаусдорфа является одним из многих утверждений, эквивалентных аксиоме выбора вместо ZF.
- Этот принцип также называется теоремой о максимальности Хаусдорфа или леммой Куратовского.
- В общем случае может существовать множество максимальных полностью упорядоченных подмножеств, содержащих данное полностью упорядоченное подмножество.
- Эквивалентная форма принципа максимума Хаусдорфа состоит в том, что в каждом частично упорядоченном множестве существует максимальное полностью упорядоченное подмножество.
Полный текст статьи: