Русская Википедия:Принцип максимума Хаусдорфа

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

Эквивалентная формулировка

Существует вторая формулировка принципа максимума, эквивалентная первой. Чтобы точно сформулировать её, предварительно введем следующие определения. Цепью в частично упорядоченном множестве <math>M</math> называется всякое его линейно упорядоченное подмножество (в частности, пустое множество). Цепь называется максимальной, если она не содержится в качестве собственного подмножества ни в какой другой цепи, принадлежащей <math>M</math>.

Принцип максимума Хаусдорфа (вторая формулировка). В частично упорядоченном множестве всякая цепь содержится в некоторой его максимальной цепи.

Первая формулировка является частным случаем второй, если в качестве исходной цепи взять пустое множество. Однако в действительности они эквивалентны. Доказательство см. в статье Утверждения, эквивалентные аксиоме выбора.

Источники

Литература

См. также