Проєктивно розширена числова пряма
Проєктивно розширена числова пряма — множина дійсних чисел , доповнена однією точкою, званою нескінченністю (проєктивною нескінченністю, беззнаковою нескінченністю, двосторонньою нескінченністю, нескінченно віддаленою точкою).
Нескінченно віддалену точку інтуїтивно можна розуміти як ототожнені додатну і від'ємну нескінченності. Це можна наочно продемонструвати, зобразивши множину дійсних чисел не на прямий, а на колі з однією виколотою точкою. Тоді нескінченність буде відповідати цій самій виколотій точці.
Проєктивно розширена числова пряма розширює числову пряму аналогічно тому, як розширена комплексна площина розширює комплексну площину.
Попри те, що термін розширена числова пряма зазвичай застосовують до множини дійсних чисел з двома знаковими нескінченностями, іноді його вживають і до проєктивно розширеної числової прямої. Тому для підкреслення їх відмінності числову пряму, доповнену двома нескінченностями, іноді називають афінно розширеною числовою прямою.
Проєктивно розширену числову пряму різні автори позначають як [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. Архів оригіналу за 31 січня 2021. Процитовано 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 // Complex Analysis and Operator Theory : журнал. — Orange, CA USA, 2015. — No. 9. — (2). — P. 329–354. — ISSN 1661-8262. — DOI: .
- Extended real numbers. nLab[en] (англ.).
- Warwick Tucker. Validated Numerics: A Short Introduction to Rigorous Computations. — Princeton University Press, 2011. — 152 p. — ISBN 9781400838974.