Я написал доказательство, но вижу: то ли неверно, то ли нестрого. Вот оно: Линейный порядок: вторая координата -- главная. Выберем в $$ \mathbb{N}\times\mathbb{Z} $$ упорядоченную пару $${<}1, z{>}.$$ У неё есть бесконечно много "однозначных соседей" справа: $${<}{2, z}{>}, {<}3, z{>}, \dots,$$ но слева -- "разрыв в бесконечность", "однозначного соседа" нет: $${<}{n, z-1}{>} < \dots < {<}{1, z}{>}.$$ В $$\mathbb{Z}\times\mathbb{Z}$$ же, напротив, благодаря отсутствию наименьшего элемента во множестве целых чисел у каждой упорядоченной пары слева существует и единственный "однозначный сосед". Структура не сохраняется. Изоморфизма нет. Как доказать правильно и строго? В том ли направлении я думаю? Занимаюсь по "Началам теории множеств" Верещагина и Шеня. Большое спасибо. задан 22 Мар '18 13:39 fragileradius |
@fragileradius: надо заметить, в чём структурная разница, и описать в терминах стандартных понятий. У ZxZ для любого элемента (x,y) рассмотрим множество всех меньших. Оно имеет наибольший элемент (x-1,y). Для NxZ это неверно: если взять пару вида (1,a), то первую координату не уменьшить. Тогда у любого меньшего элемента вторая координата меньше a. Увеличивая первую координату, мы получим больший элемент, и он также меньше (1,a).
@falcao Большое спасибо! Я правильно понимаю, что самое главное в том, что в ZxZ любая пара (в том числе вида <1, z>) задаёт множество меньших себе, в котором всегда //есть// наибольший элемент, а в NxZ пары вида <1, z> задают множество меньших себе, в котором //нет// наибольшего элемента -- а для изоморфизма необходимо, чтобы наибольший соответствовал наибольшему, энный -- энному и так далее?
Спасибо ещё раз.
@fragileradius: да, всё верно. Только в конце нужно уточнить, что чему соответствует. При изоморфизме пара (x,y) переходит в какую-то пару из NxZ. Множество всех меньших для одной пары переходит в множество всех меньших для другой пары, так как изоморфизм сохраняет порядок. Получается порядковый изоморфизм двух подмножеств. Наибольший элемент в одном подмножестве есть, а в другом нет -- противоречие.
@falcao Спасибо. Стало больше понятно про изоморфизм.