stringtranslate.com

Линейный континуум

В математической области теории порядка континуум или линейный континуум является обобщением действительной линии .

Формально линейный континуум — это линейно упорядоченное множество S из более чем одного элемента, которое является плотно упорядоченным , т. е. между любыми двумя различными элементами есть другой (и, следовательно, бесконечно много других), и полным , т. е. которое «не имеет пробелов» в том смысле, что каждое непустое подмножество с верхней границей имеет наименьшую верхнюю границу . Более символично:

  1. S имеет свойство наименьшей верхней границы , и
  2. Для каждого x в S и каждого y в S с x < y , существует z в S, такой что x < z < y

Множество имеет свойство наименьшей верхней границы, если каждое непустое подмножество множества, ограниченное сверху, имеет наименьшую верхнюю границу в множестве. Линейные континуумы ​​особенно важны в области топологии , где они могут использоваться для проверки того, является ли упорядоченное множество, заданное топологией порядка , связным или нет. [1]

В отличие от стандартной действительной линии, линейный континуум может быть ограничен с любой стороны: например, любой (действительный) замкнутый интервал является линейным континуумом.

Примеры

Примеры в дополнение к реальным числам:

π 1 ( х , у ) = х
Это отображение известно как отображение проекции . Отображение проекции непрерывно (относительно топологии произведения на I × I ) и является сюръективным . Пусть A будет непустым подмножеством I × I , которое ограничено сверху. Рассмотрим π 1 ( A ). Поскольку A ограничено сверху, π 1 ( A ) также должно быть ограничено сверху. Поскольку π 1 ( A ) является подмножеством I , оно должно иметь наименьшую верхнюю границу (так как I обладает свойством наименьшей верхней границы). Следовательно, мы можем позволить b быть наименьшей верхней границей π 1 ( A ). Если b принадлежит π 1 ( A ), то b × I пересечет A , скажем, в точке b × c для некоторого cI . Обратите внимание , что поскольку b × I имеет тот же тип порядка , что и I , множество ( b × I ) ∩ A действительно будет иметь наименьшую верхнюю границу b × c' , которая является искомой наименьшей верхней границей для A.
Если b не принадлежит π 1 ( A ), то b × 0 является наименьшей верхней границей A , поскольку если d < b , а d × e является верхней границей A , то d будет меньшей верхней границей π 1 ( A ), чем b , что противоречит уникальному свойству b .

Не примеры

А = { хQ | х < 2 }
множества рациональных чисел. Несмотря на то, что это множество ограничено сверху любым рациональным числом, большим 2 (например, 3), оно не имеет наименьшей верхней границы среди рациональных чисел. [2] (В частности, для любой рациональной верхней границы r > 2 , r /2 + 1/ r является более близкой рациональной верхней границей; подробности в Методы вычисления квадратных корней § Метод Герона .)
А = (−∞, 0) ∪ (0, +∞)
не является линейным континуумом. Свойство b) выполняется тривиально. Однако, если B — множество отрицательных действительных чисел:
В = (−∞, 0)
тогда B является подмножеством A , которое ограничено сверху (любым элементом A , большим 0; например, 1), но не имеет наименьшей верхней границы в B. Обратите внимание, что 0 не является границей для B , поскольку 0 не является элементом A.
S = Z A .
Тогда S не удовлетворяет ни свойству а), ни свойству б). Доказательство аналогично предыдущим примерам.

Топологические свойства

Хотя линейные континуумы ​​важны в изучении упорядоченных множеств , они имеют приложения в математической области топологии . Фактически, мы докажем, что упорядоченное множество в топологии порядка связно тогда и только тогда, когда оно является линейным континуумом. Мы докажем одно следствие, а другое оставим в качестве упражнения. (Мункрес объясняет вторую часть доказательства в [ 3] )

Теорема

Пусть X — упорядоченное множество в топологии порядка. Если X связно, то X — линейный континуум.

Доказательство:

Предположим, что x и y являются элементами X с x < y . Если не существует z в X такого, что x < z < y , рассмотрим множества:

А = (−∞, у )
В = ( х , +∞)

Эти множества не пересекаются (если a принадлежит A , то a < y , так что если a принадлежит B , то a > x и a < y , что невозможно по предположению), непусты ( x принадлежит A , а y принадлежит B ) и открыты (в топологии порядка), а их объединение равно X. Это противоречит связности X.

Теперь докажем свойство наименьшей верхней границы. Если C — подмножество X , ограниченное сверху и не имеющее наименьшей верхней границы, пусть D — объединение всех открытых лучей вида ( b , +∞), где b — верхняя граница для C. Тогда D открыто (так как это объединение открытых множеств) и замкнуто (если a не принадлежит D , то a < b для всех верхних границ b множества C, так что мы можем выбрать q > a , такое, что q принадлежит C (если такого q не существует, a — наименьшая верхняя граница C ), то можно выбрать открытый интервал, содержащий a , который не пересекает D ). Поскольку D непусто (существует более одной верхней границы D , поскольку если бы была ровно одна верхняя граница s , s была бы наименьшей верхней границей. Тогда если b 1 и b 2 — две верхние границы D с b 1 < b 2 , b 2 будет принадлежать D ), D и его дополнение вместе образуют разделение на X . Это противоречит связности X.

Приложения теоремы

  1. Поскольку упорядоченное множество A = (−∞, 0) U (0,+∞) не является линейным континуумом, оно несвязно.
  2. Применяя только что доказанную теорему, получаем, что R связно. Фактически любой интервал (или луч) в R также связен.
  3. Множество целых чисел не является линейным континуумом и поэтому не может быть связано.
  4. В самом деле, если упорядоченное множество в топологии порядка является линейным континуумом, оно должно быть связным. Поскольку любой интервал в этом множестве также является линейным континуумом, то отсюда следует, что это пространство локально связно , поскольку имеет базис, состоящий исключительно из связных множеств.
  5. Пример топологического пространства , представляющего собой линейный континуум, см. в статье длинная линия .

Смотрите также

Ссылки

  1. ^ Манкрес, Джеймс (2000). Топология, 2-е изд . Pearson Education . стр. 31, 153. ISBN 0-13-181629-2.
  2. ^ Харди, Г. Х. (1952). Курс чистой математики, 10-е изд . Cambridge University Press . С. 11–15, 24–31. ISBN 0-521-09227-2.
  3. ^ Манкрес, Джеймс (2000). Топология, 2-е изд . Pearson Education. стр. 153–154. ISBN 0-13-181629-2.