Россия, Челябинск, Южно-Уральский Государственный Университет (НИУ) |
Эквивалентность и порядок. Изоморфизмы
Изоморфизмы
Два частично упорядоченных множества называются изоморфными, если между ними существует изоморфизм, то есть взаимно однозначное соответствие,
сохраняющее порядок. (Естественно, что в этом случае
они равномощны как множества.) Можно сказать так:
биекция называется изоморфизмом частично
упорядоченных множеств
и
, если
![a_1 \le a_2 \ \Leftrightarrow \ f(a_1) \le f(a_2)](/sites/default/files/tex_cache/d7b508c014eb2014a221aacb68568f9c.png)
![a_1,a_2\hm\in A](/sites/default/files/tex_cache/6585d338ab838d827bf917735bc87d48.png)
![\le](/sites/default/files/tex_cache/2d1b2a11ff4a816536a8937f2ece2e9c.png)
![A](/sites/default/files/tex_cache/7fc56270e7a70fa81a5935b72eacbe29.png)
![B](/sites/default/files/tex_cache/9d5ed678fe57bcca610140957afab571.png)
Очевидно, что отношение изоморфности рефлексивно (каждое множество
изоморфно самому себе), симметрично (если изоморфно
, то
и наоборот) и транзитивно (два множества, изоморфные третьему,
изоморфны между собой). Таким образом, все частично
упорядоченные множества разбиваются на классы изоморфных,
которые называют порядковыми типами.
(Правда, как и с
мощностями, тут необходима осторожность - изоморфных множеств
слишком много, и потому говорить о порядковых типах как
множествах нельзя.)
Теорема 12. Конечные линейно упорядоченные множества из одинакового числа элементов изоморфны.
Доказательство.
Конечное линейно упорядоченное множество всегда имеет наименьший
элемент (возьмем любой элемент; если он не наименьший, возьмем меньший,
если и он не наименьший, еще меньший - и так далее; получим
убывающую последовательность , которая рано
или
поздно должна оборваться). Присвоим наименьшему элементу номер
.
Из оставшихся снова выберем наименьший
элемент и присвоим ему номер
и так далее. Легко понять,
что порядок между элементами соответствует порядку между
номерами, то есть что наше множество изоморфно множеству
.
95. Докажите, что множество всех целых положительных делителей
числа с отношением " быть делителем" в качестве
отношения порядка изоморфно множеству всех подмножеств
множества
, упорядоченному по включению.
96. Будем рассматривать финитные последовательности натуральных
чисел, то есть последовательности, у которых все члены, кроме
конечного числа, равны . На множестве таких
последовательностей введем покомпонентный порядок:
, если
при всех
. Докажите, что это множество изоморфно множеству
всех положительных целых чисел с отношением " быть
делителем" в качестве порядка.
Взаимно однозначное отображение частично упорядоченного
множества в себя, являющееся изоморфизмом,
называют автоморфизмом частично
упорядоченного множества
.
Тождественное отображение всегда является автоморфизмом, но
для некоторых множеств существуют и другие автоморфизмы. Например,
отображение прибавления единицы (
) является
автоморфизмом частично упорядоченного множества
целых чисел (с естественным порядком). Для множества
натуральных чисел та же формула не дает автоморфизма
(нет взаимной однозначности).
97. Покажите, что не существует автоморфизма упорядоченного
множества
натуральных чисел, отличного от тождественного.
98. Рассмотрим множество всех подмножеств некоторого
- элементного множества
, частично упорядоченное
по включению. Найдите число автоморфизмов этого множества.
99. Покажите, что множество целых положительных чисел, частично
упорядоченное отношением " делит
", имеет
континуум
различных автоморфизмов.
Вот несколько примеров равномощных, но не изоморфных линейно упорядоченных множеств (в силу теоремы 12 они должны быть бесконечными).
- Отрезок
(с обычным отношением порядка) не изоморфен множеству
, так как у первого есть наибольший элемент, а у второго нет. (При изоморфизме наибольший элемент, естественно, должен соответствовать наибольшему.)
- Множество
(целые числа с обычным порядком) не изоморфно множеству
(рациональные числа). В самом деле, пусть
является изоморфизмом. Возьмем два соседних целых числа, скажем,
и
. При изоморфизме
им должны соответствовать какие - то два рациональных числа
и
, причем
, так как
. Но тогда рациональным числам между
и
должны соответствовать целые числа между
и
, которых нет.
- Более сложный пример - множества
и
. Возьмем в
две копии нуля (из той и другой компоненты); мы обозначали их
и
. При этом
. При изоморфизме им должны соответствовать два целых числа
и
, для которых
. Тогда всем элементам между
и
(их бесконечно много:
,
,
,
,
,
,
) должны соответствовать числа между
и
- но их лишь конечное число.
Этот пример принципиально отличается от предыдущих тем, что здесь разницу между свойствами множеств нельзя записать формулой. Как говорят, упорядоченные множества
и
" элементарно эквивалентны".