Вполне упорядоченное множество — линейно упорядоченное множество M такое, что в любом его непустом подмножестве есть минимальный элемент, другими словами это фундированное множество с линейным порядком.
Примеры
- Пустое множество является вполне упорядоченным.
- Простейший пример бесконечного вполне упорядоченного множества — множество натуральных чисел с естественным упорядочением.
- Простейшим примером несчётного вполне упорядоченного множества является совокупность всех счётных порядковых чисел, упорядоченных отношением . В предположении континуум-гипотезы, его мощность равна мощности континуума.
Свойства
- Утверждение о том, что каждое множество можно вполне упорядочить, равносильно аксиоме выбора.
- Если X и Y — два вполне упорядоченных множества, то либо они изоморфны друг другу, либо ровно одно из них изоморфно начальному отрезку другого.
См. также
Литература
- Н. К. Верещагин, А. Шень. Часть 1. Начала теории множеств // Лекции по математической логике и теории алгоритмов. — 2-е изд., испр. — М.: МЦНМО, 2002. — 128 с.