Проективно расширенная числовая прямая
Проективно расширенная числовая прямая — множество вещественных чисел , дополненное одной точкой, называемой бесконечностью (проективной бесконечностью, беззнаковой бесконечностью, двусторонней бесконечностью, бесконечно удалённой точкой).
Бесконечно удалённую точку интуитивно можно понимать как отождествлённые положительную и отрицательную бесконечности. Это можно наглядно продемонстрировать, изобразив множество действительных чисел не на прямой, а на окружности с одной выколотой точкой. Тогда бесконечность будет соответствовать этой самой выколотой точке.
Проективно расширенная числовая прямая расширяет числовую прямую аналогично тому, как расширенная комплексная плоскость расширяет комплексную плоскость.
Несмотря на то, что термин расширенная числовая прямая обычно употребляют применительно ко множеству действительных чисел с двумя знаковыми бесконечностями, иногда он употребляется и для проективно расширенно числовой прямой. Поэтому для подчёркивания их отличия числовую прямую, дополненную двумя бесконечностями, иногда называют аффинно расширенной числовой прямой.
Проективно расширенную числовую прямую различные авторы обозначают как [1], [2], [3]. В данной статье будет использовано обозначение . Проективную бесконечность обозначают как , . Первое обозначение также иногда используют для обозначения плюс бесконечности, но в данной статье оно используется только по отношению к проективной.
Порядок
На нет какого-либо естественного линейного порядка, так как нет никакого естественного способа определить, больше ли бесконечность некоторого числа или меньше. Однако на определён циклический порядок. Его можно представить как направление движения по окружности от 0 к ∞ проходя через 1. То есть если они идут друг за другом при движении вдоль окружности по тому направлению, по которому идут друг за другом 0, 1 и ∞. Таким образом, при движении по этому порядку от 0 мы проходим по возрастанию все положительные числа, затем бесконечность, затем все отрицательные, а затем снова 0.
Формально этот порядок определяется следующими соотношениями:[4]
- случаи, когда бесконечностей больше одной, всегда неверны
Здесь все .
Циклический порядок определяет на интервалы как множества вида (отдельно определяются интервалы вида ). В обычных обозначениях это может быть переписано следующим образом:[5]
Интервалом в называется либо множество вида , либо для некоторых .
Отрезком в называется либо множество вида , либо , либо , либо для некоторых .
Полуинтервалом в называется либо множество вида , либо , либо , либо , , либо , либо , либо , либо для некоторых .
Иногда для таких промежутков используются обычные обозначения , понимаемые в указанном выше смысле. То есть , , , , . При таких обозначениях (с левой стороны равенства в определённом выше смысле, с правой — в обычном) , . Запись определяется как .
Топология
Циклический порядок на определяет топологию: открытым считается множество, представимое в виде объединения интервалов (интервалы понимаются в определённом выше смысле). Данная топология представляет собой ничто иное, как объединение открытых множеств с окрестностями бесконечности.
ε-окрестностью ∞ называется множество . Любая окрестность бесконечности содержит некоторую ε-окрестность бесконечности.
Проколотой ε-окрестностью ∞ называется множество .
Без определения интервалов топологию на можно было бы ввести следующим образом. Определим проколотую окрестность бесконечности, как некоторое открытое множество в , содержащее в себе некоторую ε-окрестность бесконечности. Тогда окрестностью бесконечности назовём проколотую окрестность бесконечности с добавленной к ней бесконечностью. Тогда топология на это объединение топологии с множеством окрестностей бесконечности.
Проективно расширенная числовая прямая является компактным хаусдорфовым пространством, гомеоморфным окружности. Она является одноточечной компактификацией числовой прямой и представляет собой её компактификацию Александрова.
В может быть обычным образом определён предел при стремлении аргумента к бесконечности . Также, запись приобретает обычный для неё в топологии смысл.
В существуют некоторые пределы, которые не существуют в и даже в . Так, предел не существует в и в , но существует в и равен . В свою очередь, если предел существует в , то он существует и в . При этом если предел в конечен, то в он равен тому же значению, а если бесконечен, то равен .
Арифметические операции
Стандартные операции в распространяются на по непрерывности. Во многих случаях такое распространение невозможно, поэтому операции становятся частично определёнными.[1]
- — не определено
- — не определено
- — не определено
- — не определено
- — не определено
одна из немногих структур, допускающих деление на 0.
Алгебраческие свойства
Следующие равенства означают: левые части либо обе не определены, либо равны.
Следующие равенства верны, если их правая часть определена.
Проективные свойства
Проективно расширенная числовая прямая является проективной прямой, полученной из аффинной прямой добавлением бесконечно удалённой точки. Проективные преобразования этой прямой имеют вид
Такие преобразования называются преобразованиями Мёбиуса. Их свойства во многом похожи на свойства их комплексных аналогов:[2]
- Множество преобразований Мёбиуса с операцией композиции образует группу.
- Для любых двух троек , в каждой из которых точки попарно различны, существует единственное преобразование Мёбиуса, переводящее в .
- Функция является преобразованием Мёбиуса тогда и только тогда, когда она сохраняет ангармоническое отношение.
- Функция является преобразованием Мёбиуса тогда и только тогда, когда она может быть представлена в виде композиции отражений и инверсий
См. также
- Аффинно расширенная числовая прямая
Примечания
Литература
- Cantrell D. W. Projectively Extended Real Numbers (англ.). Wolfram Math World. Weisstein E. W.. Дата обращения: 18 апреля 2021.
- Nam-Hoon Lee. Geometry: from Isometries to Special Relativity (англ.). — Springer International Publishing, 2020. — 258 p. — (Undergraduate Texts in Mathematics). — ISBN 9783030421014.
- Emanuello J. A., Nolder C. A. Projective Compactification of and Its Möbius Geometry (англ.) // Daniel Alpay Complex Analysis and Operator Theory : журнал. — Orange, CA USA, 2015. — 1 February (no. 9). — P. 329–354. — ISSN 1661-8262. — doi:10.1007/s11785-014-0363-5.
- Extended real numbers (англ.). nLab[англ.].
- Warwick Tucker. Validated Numerics: A Short Introduction to Rigorous Computations (англ.). — Princeton University Press, 2011. — 152 p. — ISBN 9781400838974.