Содержание
Частично упорядоченное множество
проверено
Упорядоченные множества
Определение 1. Множество называется частично упорядоченным1), если на нем задано отношение частичного порядка .
Определение 2. Множество называется линейно упорядоченным2), если на нем задано некоторое отношение линейного порядка .
Пример 1. Множество всех подмножеств конечного множества является частично упорядоченным множеством с бинарным отношением . Но неверно, что из двух произвольных подмножеств в одно из них содержится в другом, поэтому множество не является линейно упорядоченным.
Верхняя и нижняя грань множества
Определение 3. Элемент частично упорядоченного множества называется максимальным3), если влечет за собой .
Определение 4. Элемент частично упорядоченного множества называется минимальным4), если влечет за собой .
Если множество линейно упорядочено, то минимальный и максимальный элементы этого множества, если они существуют, определены единственным образом и называются наименьшим и наибольшим элементом множества, соответственно.
Определение 5. Пусть — подмножество частично упорядоченного множества . Говорят, что элемент — верхняя грань5) для множества , если для всех . Минимальный элемент среди всех верхних граней для множества , если он существует, называется наименьшей верхней гранью6) для множества .
Определение 6. Пусть — подмножество частично упорядоченного множества . Говорят, что элемент — нижняя грань7) для множества , если для всех . Максимальный элемент среди всех нижних граней для множества , если он существует, называется наибольшей нижней гранью8) для множества .
Пример 2. Подмножество в не имеет максимального элемента, но имеет верхнюю грань в множестве , в качестве которой можно выбрать любое число, не меньшее 1. Наименьшая верхняя грань для равна 1.
Лемма Цорна
Определение 7. Множество называется индуктивно упорядоченным9), если
- — частично упорядоченное множество;
- любое линейно упорядоченное подмножество в имеет верхнюю грань.
Предложение 1 (Лемма Цорна). Пусть — непустое индуктивно упорядоченное множество, тогда в существует по крайней мере один максимальный элемент.
Теорема Цермело
Определение 8. Линейно упорядоченное множество называется вполне упорядоченным10), если каждое его непустое подмножество имеет наименьший элемент.
Пример 3. Множество натуральных чисел со стандартным отношением порядка является вполне упорядоченным множеством.
Теорема 1 (Теорема Цермело). Каждое множество может быть вполне упорядочено.