НОУ ИНТУИТ | Введение в теорию множеств. Лекция 8: Фундированные и вполне упорядоченные множества

Учитесь и получайте официальные документы БЕСПЛАТНО. Вы можете поддержать наш проект.

Твой путь к знаниям!

Московский государственный университет имени М.В.Ломоносова

Опубликован: 21.02.2007 | Доступ: свободный | Студентов: 1689 / 169 | Оценка: 4.60 / 3.50 | Длительность: 14:25:00

Теги: beta, алгебра, антисимметричность, бесконечная последовательность, геометрия, график функции, графика, инъекция, отношение частичного порядка, полный порядок, порядковый тип, рекурсивное определение, теория, частичная упорядоченность, частичный порядок, элементы

|

Вам нравится? Нравится 29 студентам

| Поделиться |

Поддержать курс

| Скачать электронную книгу

Вполне упорядоченные множества

Фундированные линейно упорядоченные множества называются вполне упорядоченными, а соответствующие порядки - полными. Для линейных порядков понятия наименьшего и минимального элемента совпадают, так что во вполне упорядоченном множестве всякое непустое подмножество имеет наименьший элемент.

Заметим, что частично упорядоченное множество, в котором всякое непустое подмножество имеет наименьший элемент, автоматически является линейно упорядоченным (в самом деле, всякое двухэлементное множество имеет наименьший элемент, поэтому любые два элемента сравнимы).

Примеры вполне упорядоченных множеств: $\bbN$ , $\bbN\hm+k$ (здесь обозначает конечное линейно упорядоченное множество из элементов), $\bbN\hm+\bbN$ , $\bbN\hm\times\bbN$ .

Наша цель - понять, как могут быть устроены вполне упорядоченные множества. Начнем с нескольких простых замечаний.

Вполне упорядоченное множество имеет наименьший элемент. (Непосредственное следствие определения.)
Для каждого элемента вполне упорядоченного множества (кроме наибольшего) есть непосредственно следующий за ним элемент (это значит, что $y\hm>x$ , но не существует , для которого $y\hm>z\hm>x$ ). В самом деле, если множество всех элементов, больших , непусто, то в нем есть минимальный элемент , который и будет искомым. Такой элемент логично обозначать $x\hm+1$ , следующий за ним - и т.д.
Некоторые элементы вполне упорядоченного множества могут не иметь непосредственно предыдущего. Например, в множестве $\mathbb{N}\hm+\mathbb{N}$ есть два элемента, не имеющих непосредственно предыдущего (наименьший элемент, а также наименьший элемент второй копии натурального ряда). Такие элементы называют предельными.
Всякий элемент упорядоченного множества имеет вид $z\hm+n$ , где - предельный, а - натуральное число (обозначение $z\hm+n$ понимается в описанном выше смысле). В самом деле, если не предельный, возьмем предыдущий, если и он непредельный - то его предыдущий и т.д., пока не дойдем до предельного (бесконечно продолжаться это не может, так как множество вполне упорядочено). Очевидно, такое представление однозначно (у элемента может быть только один непосредственно предыдущий).
Любое ограниченное сверху множество элементов вполне упорядоченного множества имеет точную верхнюю грань. (Как обычно, подмножество частично упорядоченного множества называется ограниченным сверху, если оно имеет верхнюю границу, т.е. элемент $a\hm\in A$ , для которого $x\hm\le a$ при всех $x\hm\in X$ . Если среди всех верхних границ данного подмножества есть наименьшая, то она называется точной верхней гранью.)
В самом деле, множество всех верхних границ непусто и потому имеет наименьший элемент. (Заметим в скобках, что вопрос о точной нижней грани для вполне упорядоченного множества тривиален, так как всякое множество имеет наименьший элемент.)

Пусть - произвольное вполне упорядоченное множество. Его наименьший элемент обозначим через . Следующий за ним элемент обозначим через , следующий за - через и т.д. Если множество конечно, процесс этот оборвется. Если бесконечно, посмотрим, исчерпали ли мы все элементы множества . Если нет, возьмем минимальный элемент из оставшихся. Обозначим его $\omega$ . Следующий за ним элемент (если он есть) обозначим $\omega\hm+1$ , затем $\omega\hm+2$ и т.д Если и на этом множество не исчерпается, то возьмем наименьший элемент из оставшихся, назовем его $\omega\hm\cdot2$ , и повторим всю процедуру. Затем будут $\omega\hm\cdot3$ , $\omega\hm\cdot4$ и т.д Если и на этом множество не кончится, минимальный из оставшихся элементов назовем $\omega^2.$ Затем пойдут $\omega^2\hm+1$ , $\omega^2\hm+2$ , $\dots$ , $\omega^2\hm+\omega$ , $\dots$ , $\omega^2\hm+\omega\hm\cdot2$ , $\dots$ , $\omega^2\hm\cdot2$ , $\dots$ , $\omega^2\hm\cdot3$ , $\dots$ , $\omega^3$ , $\dots$ (мы не поясняем сейчас подробно обозначения).

Что, собственно говоря, доказывает это рассуждение? Попытаемся выделить некоторые утверждения. При этом полезно такое определение: если линейно упорядоченное множество разбито на две (непересекающиеся) части и , причем любой элемент меньше любого элемента , то называют начальным отрезком множества . Другими словами, подмножество линейно упорядоченного множества является начальным отрезком, если любой элемент меньше любого элемента $A\hm\setminus B$ . Еще одна переформулировка: $B\hm\subset A$ является начальным отрезком, если из $a,b\hm\in A$ , $b\hm\in B$ и $a\hm\le b$ следует $a\hm\in B$ . Заметим, что начальный отрезок может быть пустым или совпадать со всем множеством.

Отметим сразу же несколько простых свойств начальных отрезков:

Начальный отрезок вполне упорядоченного множества (как, впрочем, и любое подмножество) является вполне упорядоченным множеством.
Начальный отрезок начального отрезка есть начальный отрезок исходного множества.
Объединение любого семейства начальных отрезков (в одном и том же упорядоченном множестве) есть начальный отрезок того же множества.
Если - произвольный элемент вполне упорядоченного множества , то множества (все элементы множества , меньшие ) и (элементы множества , меньшие или равные ) являются начальными отрезками.
Всякий начальный отрезок вполне упорядоченного множества , не совпадающий со всем множеством, имеет вид для некоторого $x\hm\in A$ . (В самом деле, если $I\hm\ne A$ , возьмем наименьший элемент в множестве $A\hm\setminus I$ . Тогда все меньшие элементы принадлежат , сам не принадлежит и все б\'ольшие элементы не принадлежат , иначе получилось бы противоречие с определением начального отрезка.)
Любые два начальных отрезка вполне упорядоченного множества сравнимы по включению,т.е. один есть подмножество другого. (Следует из предыдущего.)
Начальные отрезки вполне упорядоченного множества , упорядоченные по включению, образуют вполне упорядоченное множество. Это множество состоит из наибольшего элемента (все ) и остальной части, изоморфной множеству . (В самом деле, начальные отрезки множества , не совпадающие с , имеют вид , и соответствие $[0,x)\hm\leftrightarrow x$ будет изоморфизмом.)

Возвратимся к нашему рассуждению с последовательным выделением различных элементов из вполне упорядоченного множества. Его первую часть можно считать доказательством такого утверждения: если вполне упорядоченное множество бесконечно, то оно имеет начальный отрезок, изоморфный $\omega$ . (Говоря о множестве натуральных чисел вместе с порядком, обычно употребляют обозначение $\omega$ , а не $\bbN$ .)

Но на этом наше рассуждение не оканчивается. Его следующая часть может считаться доказательством такого факта: либо изоморфно некоторому начальному отрезку множества $\omega^2$ , либо оно имеет начальный отрезок, изоморфный $\omega^2$ . (Здесь $\omega^2$ - вполне упорядоченное множество пар натуральных чисел: сравниваются сначала вторые компоненты пар, а при их равенстве - первые.)

Вообще верно такое утверждение: для любых двух вполне упорядоченных множеств одно изоморфно начальному отрезку другого, и доказательство состоит более или менее в повторении проведенного рассуждения. Но чтобы сделать это аккуратно, нужна некоторая подготовка.

Дальше >>

Авторизоваться

Введение в теорию множеств

Фундированные и вполне упорядоченные множества

Вполне упорядоченные множества

Вопросы и ответы