WikiDer > Проективно расширенная действительная линия

Projectively extended real line

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

В реальный анализ, то проективно расширенная действительная линия (также называемый одноточечная компактификация из реальная линия), является расширением множества действительные числа, ${ displaystyle mathbb {R},}$ точкой, обозначенной $\infty$ . Таким образом, набор ${ Displaystyle mathbb {R} чашка { infty }}$ со стандартными арифметическими операциями, расширенными, где это возможно, и иногда обозначается ${ displaystyle { widehat { mathbb {R}}}.}$ Добавленная точка называется точка в бесконечности, потому что он считается соседом обоих заканчивается реальной линии. Точнее, бесконечно удаленная точка - это предел каждого последовательность действительных чисел, чьи абсолютные значения растут и неограниченный.

Проективно расширенную действительную линию можно отождествить с проективная линия над реалами, в которых трем точкам были присвоены определенные значения (например, $0$ , $1$ и $\infty$ ). Проективно удлиненную действительную линию не следует путать с расширенная строка действительных чисел, в котором $+\infty$ и $-\infty$ различны.

Деление на ноль

В отличие от большинства математических моделей интуитивного понятия числа, эта структура позволяет деление на ноль:

{ displaystyle { frac {a} {0}} = infty}

для ненулевого а. Особенно $1/0 = \infty$ , и более того $1/\infty = 0$ , делая взаимный, $1/ Икс$ , а общая функция в этой структуре. Однако структура не является поле, и ни одна из двоичных арифметических операций не является полной, как, например, свидетельствует $0\cdot\infty$ не определено, несмотря на то, что обратное является полным. Однако у него есть полезные интерпретации - например, в геометрии вертикальная линия имеет бесконечный наклон.

Расширения реальной линии

Проективно продолженная вещественная прямая продолжает поле из действительные числа так же, как Сфера Римана расширяет сферу сложные числа, добавив одну точку, обычно называемую ${ displaystyle infty}$ .

Напротив, расширенная строка действительных чисел (также называемый двухточечным компактификация реальной линии) различает ${ displaystyle + infty}$ и ${ displaystyle - infty}$ .

порядок

Отношение порядка нельзя распространить на ${ displaystyle { widehat { mathbb {R}}}}$ осмысленно. Учитывая число ${ Displaystyle а neq infty}$ , нет убедительных аргументов для определения ${ displaystyle a> infty}$ или это ${ Displaystyle а < infty}$ . поскольку ${ displaystyle infty}$ нельзя сравнивать ни с одним из других элементов, нет смысла сохранять это отношение на ${ displaystyle { widehat { mathbb {R}}}}$ . Однако заказ на ${ Displaystyle mathbb {R}}$ используется в определениях в ${ displaystyle { widehat { mathbb {R}}}}$ .

Геометрия

В основе идеи о том, что ∞ - точка ничем не отличается от любого другого как реальная проективная прямая однородное пространство, по факту гомеоморфный к круг. Например, общая линейная группа 2 × 2 реальных обратимый матрицы имеет переходное действие в теме. В групповое действие может быть выражено Преобразования Мебиуса, (также называемые дробно-линейными преобразованиями), с пониманием того, что, когда знаменатель дробно-линейного преобразования равен 0, изображение равно ∞.

Детальный анализ действия показывает, что для любых трех различных точек п, Q и р, существует дробно-линейное преобразование, принимающее п до 0, Q к 1, и р до ∞, т. е. группа дробно-линейных преобразований троекратно переходный на реальной проективной прямой. Это не может быть распространено на наборы из 4 точек, потому что перекрестное соотношение инвариантен.

Терминология проективная линия уместно, поскольку точки находятся во взаимно однозначном соответствии с одномерными линейные подпространства из ${ Displaystyle mathbb {R} ^ {2}}$ .

Арифметические операции

Мотивация к арифметическим операциям

Арифметические операции над этим пространством являются продолжением тех же операций над вещественными числами. Мотивация для новых определений - пределы функций действительных чисел.

Определенные арифметические операции

Помимо стандартных операций над подмножеством ${ Displaystyle mathbb {R}}$ из ${ displaystyle { widehat { mathbb {R}}}}$ , следующие операции определены для ${ displaystyle a in { widehat { mathbb {R}}}}$ , с указанными исключениями:

{ displaystyle { begin {align} a + infty = infty + a & = infty, & a neq infty a- infty = infty -a & = infty, & a neq infty a / infty = a cdot 0 = 0 cdot a & = 0, & a neq infty infty / a & = infty, & a neq infty a / 0 = a cdot infty = infty cdot a & = infty, & a neq 0 0 / a & = 0, & a neq 0 end {выровнено}}}

Неопределенные арифметические операции

Следующие ниже выражения не могут быть мотивированы рассмотрением пределов реальных функций, и никакое их определение не позволяет сохранить формулировку стандартных алгебраических свойств неизменной для всех определенных случаев.^[а] Следовательно, они остаются неопределенными:

{ displaystyle { begin {align} & infty + infty & infty - infty & infty cdot 0 & 0 cdot infty & infty / infty & 0 / 0 конец {выровнено}}}

Алгебраические свойства

Следующие равенства означают: Либо обе стороны не определены, либо обе стороны определены и равны. Это верно для любого ${ displaystyle a, b, c in { widehat { mathbb {R}}}}$ .

{ displaystyle { begin {align} (a + b) + c & = a + (b + c) a + b & = b + a (a cdot b) cdot c & = a cdot (b cdot c) a cdot b & = b cdot a a cdot infty & = { frac {a} {0}} конец {выровнено}}}

Следующее верно всякий раз, когда правая часть определена, для любого ${ displaystyle a, b, c in { widehat { mathbb {R}}}}$ .

{ Displaystyle { begin {align} a cdot (b + c) & = a cdot b + a cdot c a & = ({ frac {a} {b}}) cdot b & = , , & { frac {(a cdot b)} {b}} a & = (a + b) -b & = , , & (ab) + b end {выровнено}}}

В общем, все законы арифметики, справедливые для ${ Displaystyle mathbb {R}}$ также действительны для ${ displaystyle { widehat { mathbb {R}}}}$ всякий раз, когда определены все встречающиеся выражения.

Интервалы и топология

Концепция интервал может быть расширен до ${ displaystyle { widehat { mathbb {R}}}}$ . Однако, поскольку это неупорядоченный набор, интервал имеет немного другое значение. Определения для закрытых интервалов следующие (предполагается, что ${ displaystyle a, b in mathbb {R}, a$ ):

{ Displaystyle { begin {align} left [a, b right] & = lbrace x mid x in mathbb {R}, a leq x leq b rbrace left [a, infty right] & = lbrace x mid x in mathbb {R}, a leq x rbrace cup lbrace infty rbrace left [b, a right] & = lbrace x mid x in mathbb {R}, b leq x rbrace cup lbrace infty rbrace cup lbrace x mid x in mathbb {R}, x leq a rbrace left [ infty, a right] & = lbrace infty rbrace cup lbrace x mid x in mathbb {R}, x leq a rbrace left [a, a right ] & = {a } left [ infty, infty right] & = lbrace infty rbrace end {align}}}

За исключением случаев, когда конечные точки равны, соответствующие открытые и полуоткрытые интервалы определяются путем удаления соответствующих конечных точек.

${ displaystyle { widehat { mathbb {R}}}}$ и пустое множество также является интервалом, как и ${ displaystyle { widehat { mathbb {R}}}}$ исключая любую отдельную точку.^[b]

Открытые интервалы как база определить топология на ${ displaystyle { widehat { mathbb {R}}}}$ . В качестве основы достаточно конечных открытых интервалов в ${ Displaystyle mathbb {R}}$ и интервалы ${ displaystyle (b, a) = {x mid x in mathbb {R}, b$ для всех ${ displaystyle a, b in mathbb {R}}$ такой, что ${ displaystyle a$ .

Как сказано, топология гомеоморфный к круг. Таким образом метризуемый соответствующая (для данного гомеоморфизма) обычной метрике на этой окружности (измеренной по прямой или по окружности). Нет метрики, которая была бы продолжением обычной метрики на ${ Displaystyle mathbb {R}}$ .

Интервальная арифметика

Интервальная арифметика распространяется на ${ displaystyle { widehat { mathbb {R}}}}$ от ${ Displaystyle mathbb {R}}$ . Результатом арифметической операции над интервалами всегда является интервал, за исключением случаев, когда интервалы с двоичной операцией содержат несовместимые значения, приводящие к неопределенному результату.^[c] В частности, для каждого ${ displaystyle a, b in { widehat { mathbb {R}}}}$ :

{ displaystyle x in [a, b] iff { frac {1} {x}} in left [{ frac {1} {b}}, { frac {1} {a}} правильно],}

независимо от того, включает ли какой-либо интервал ${ displaystyle 0}$ и ${ displaystyle infty}$ .

Исчисление

Инструменты исчисление может использоваться для анализа функций ${ displaystyle { widehat { mathbb {R}}}}$ . Определения мотивированы топологией этого пространства.

Окрестности

Позволять ${ displaystyle x in { widehat { mathbb {R}}}, A substeq { widehat { mathbb {R}}}}$ .

А это окрестности из Икс, если и только если А содержит открытый интервал B и ${ displaystyle x in B}$ .
А является правой окрестностью точки x тогда и только тогда, когда существует ${ Displaystyle у в { widehat { mathbb {R}}} setminus {х }}$ такой, что А содержит ${ Displaystyle [х, у)}$ .
А является левой окрестностью точки x тогда и только тогда, когда существует ${ Displaystyle у в { widehat { mathbb {R}}} setminus {х }}$ такой, что А содержит ${ displaystyle (y, x]}$ .
А является (правосторонним, левосторонним) проколотый район из Икс, тогда и только тогда, когда есть ${ Displaystyle B substeq { widehat { mathbb {R}}}}$ такой, что B является окрестностью точки x (правой, левой) и ${ Displaystyle А = В setminus {х }}$ .

Пределы

Основные определения лимитов

Позволять ${ displaystyle f: { widehat { mathbb {R}}} to { widehat { mathbb {R}}}, p in { widehat { mathbb {R}}}, L in { широкая шляпа { mathbb {R}}}}$ .

В предел из f (x) так как Икс подходы п является L, обозначенный

{ Displaystyle lim _ {х к р} {е (х)} = L}

тогда и только тогда, когда для каждого района А из L, есть проколотый район B из п, так что ${ displaystyle x in B}$ подразумевает ${ displaystyle f (x) in A}$ .

В односторонний предел из f (x) так как Икс подходы п справа (слева) L, обозначенный

{ Displaystyle lim _ {х к р ^ {+}} {е (х)} = L}

{ displaystyle left ( lim _ {x to p ^ {-}} {f (x)} = L right)}

тогда и только тогда, когда для каждого района А из Lсуществует проколотая справа (слева) окрестность B из п, так что ${ displaystyle x in B}$ подразумевает ${ displaystyle f (x) in A}$ .

Можно показать, что ${ Displaystyle lim _ {х к р} {е (х)} = L}$ если и только если оба ${ Displaystyle lim _ {х к р ^ {+}} {е (х)} = L}$ и ${ Displaystyle lim _ {х к р ^ {-}} {е (х)} = L}$ .

Сравнение с пределами в ${ Displaystyle mathbb {R}}$

Приведенные выше определения можно сравнить с обычными определениями пределов реальных функций. В следующих утверждениях ${ displaystyle p, L in mathbb {R}}$ , первый предел определен выше, а второй - в обычном смысле:

${ Displaystyle lim _ {х к р} {е (х)} = L}$ эквивалентно ${ Displaystyle lim _ {х к р} {е (х)} = L}$ .
${ Displaystyle lim _ {х к infty ^ {+}} {е (х)} = L}$ эквивалентно ${ Displaystyle lim _ {х к - infty} {е (х)} = L}$ .
${ Displaystyle lim _ {х к infty ^ {-}} {е (х)} = L}$ эквивалентно ${ Displaystyle lim _ {х к + infty} {е (х)} = L}$ .
${ Displaystyle lim _ {х к р} {е (х)} = infty}$ эквивалентно ${ displaystyle lim _ {x to p} {| f (x) |} = + infty}$ .
${ Displaystyle lim _ {х к infty ^ {+}} {е (х)} = infty}$ эквивалентно ${ Displaystyle lim _ {х к - infty} {| е (х) |} = + infty}$ .
${ Displaystyle lim _ {х к infty ^ {-}} {е (х)} = infty}$ эквивалентно ${ Displaystyle lim _ {х к + infty} {| е (х) |} = + infty}$ .

Расширенное определение лимитов

Позволять ${ Displaystyle А substeq { widehat { mathbb {R}}}}$ . потом п это предельная точка из А тогда и только тогда, когда каждая окрестность п включает точку ${ displaystyle y in A}$ такой, что ${ displaystyle y neq p}$ .

Позволять ${ displaystyle f: { widehat { mathbb {R}}} to { widehat { mathbb {R}}}, A substeq { widehat { mathbb {R}}}, L in { widehat { mathbb {R}}}, p in { widehat { mathbb {R}}}}$ , п предельная точка А. Предел f (x) так как Икс подходы п через А является L, тогда и только тогда, когда для каждой окрестности B из L, есть проколотый район C из п, так что ${ displaystyle x in A cap C}$ подразумевает ${ displaystyle f (x) in B}$ .

Это соответствует обычному топологическому определению непрерывности, применяемому к топология подпространства на ${ Displaystyle А чашка lbrace p rbrace}$ , а ограничение ж к ${ Displaystyle А чашка lbrace p rbrace}$ .

Непрерывность

Функция

{ displaystyle f: { widehat { mathbb {R}}} to { widehat { mathbb {R}}}, quad p in { widehat { mathbb {R}}}.}

является непрерывный в $п$ если и только если $ж$ определяется в $п$ и

{ displaystyle lim _ {x to p} {f (x)} = f (p).}

Если ${ displaystyle A substeq { widehat { mathbb {R}}},}$ функция

{ displaystyle f: от А до { widehat { mathbb {R}}}}

непрерывно в $А$ тогда и только тогда, когда для каждого ${ displaystyle p in A}$ , $ж$ определяется в $п$ и предел $ж (Икс)$ так как $Икс$ как правило $п$ через $А$ является $ж (п)$ .

Каждые рациональная функция $п (Икс)/ Q (Икс)$ , где $п$ и $Q$ находятся многочлены, можно уникальным образом продолжить до функции из ${ displaystyle { widehat { mathbb {R}}}}$ к ${ displaystyle { widehat { mathbb {R}}}}$ что непрерывно в ${ displaystyle { widehat { mathbb {R}}}}$ . В частности, это случай полиномиальные функции, которые принимают значение ${ displaystyle infty}$ в ${ displaystyle infty,}$ если они не постоянны.

Кроме того, если касательная функция $загар$ расширяется так, чтобы

{ displaystyle tan left ({ frac { pi} {2}} + n pi right) = infty { text {for}} n in mathbb {Z},}

тогда $загар$ непрерывно в ${ displaystyle mathbb {R},}$ но не может быть продолжен до функции, непрерывной в ${ displaystyle { widehat { mathbb {R}}}.}$

Много элементарные функции которые непрерывны в ${ Displaystyle mathbb {R}}$ не может быть продолжен до функций, непрерывных в ${ displaystyle { widehat { mathbb {R}}}.}$ Так обстоит дело, например, с экспоненциальная функция и все тригонометрические функции. Например, функция синуса непрерывно в ${ displaystyle mathbb {R},}$ но его нельзя сделать непрерывным при ${ displaystyle infty.}$ Как было показано выше, касательную функцию можно продолжить до функции, непрерывной в ${ displaystyle mathbb {R},}$ но эту функцию нельзя сделать непрерывной при ${ displaystyle infty.}$

Многие прерывистые функции, которые становятся непрерывными, когда codomain распространяется на ${ displaystyle { widehat { mathbb {R}}}}$ остаются разрывными, если область значений продолжается до аффинно расширенная система действительных чисел ${ displaystyle { overline { mathbb {R}}}.}$ Это случай функции ${ displaystyle x mapsto { frac {1} {x}}.}$ С другой стороны, некоторые функции, непрерывные в ${ Displaystyle mathbb {R}}$ и прерывистый на ${ displaystyle infty in { widehat { mathbb {R}}}}$ станет непрерывным, если домен распространяется на ${ displaystyle { overline { mathbb {R}}}.}$ Это случай арктангенс.

Как проективный диапазон

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

Так как проекции сохраняют гармоническую связь, они образуют автоморфизмы реальной проективной линии. Проективности алгебраически описываются как омографии, поскольку действительные числа сформировать кольцо, согласно общей конструкции проективная прямая над кольцом. Вместе они образуют группу PGL (2, R).

Проективности, которые сами себе обратны, называются инволюции. А гиперболическая инволюция имеет два фиксированные точки. Два из них соответствуют элементарным арифметическим операциям над реальной проективной прямой: отрицание и взаимность. В самом деле, 0 и ∞ фиксируются при отрицании, а 1 и −1 фиксируются при возврате.

Заметки

^ Однако существует расширение, в котором все алгебраические свойства, ограниченные определенными операциями в ${ displaystyle { widehat { mathbb {R}}}}$ , решите стандартные правила: см. Теория колеса.
^ Если требуется последовательность дополнения, так что ${ Displaystyle [а, Ь] ^ { дополнение} = (Ь, а)}$ и ${ Displaystyle (а, Ь] ^ { дополнение} = (Ь, а]}$ для всех ${ displaystyle a, b in { widehat { mathbb {R}}}}$ (где определен интервал с обеих сторон), все интервалы, исключая ${ displaystyle varnothing}$ и ${ displaystyle { widehat { mathbb {R}}}}$ могут быть естественно представлены с использованием этих обозначений, с ${ Displaystyle (а, а)}$ интерпретируется как ${ Displaystyle { widehat { mathbb {R}}} setminus {а }}$ , и полуоткрытые интервалы с равными конечными точками, например ${ displaystyle (а, а]}$ , оставаясь неопределенным.
^ Например, соотношение интервалов ${ Displaystyle [0,1] / [0,1]}$ содержит ${ displaystyle 0}$ в обоих интервалах, и поскольку ${ displaystyle 0/0}$ не определено, результат деления этих интервалов не определен.

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

внешние ссылки

Проективно расширенные действительные числа - из Mathworld

[1] Однако существует расширение, в котором все алгебраические свойства, ограниченные определенными операциями в ${ displaystyle { widehat { mathbb {R}}}}$ , решите стандартные правила: см. Теория колеса.

[2] Если требуется последовательность дополнения, так что ${ Displaystyle [а, Ь] ^ { дополнение} = (Ь, а)}$ и ${ Displaystyle (а, Ь] ^ { дополнение} = (Ь, а]}$ для всех ${ displaystyle a, b in { widehat { mathbb {R}}}}$ (где определен интервал с обеих сторон), все интервалы, исключая ${ displaystyle varnothing}$ и ${ displaystyle { widehat { mathbb {R}}}}$ могут быть естественно представлены с использованием этих обозначений, с ${ Displaystyle (а, а)}$ интерпретируется как ${ Displaystyle { widehat { mathbb {R}}} setminus {а }}$ , и полуоткрытые интервалы с равными конечными точками, например ${ displaystyle (а, а]}$ , оставаясь неопределенным.

[3] Например, соотношение интервалов ${ Displaystyle [0,1] / [0,1]}$ содержит ${ displaystyle 0}$ в обоих интервалах, и поскольку ${ displaystyle 0/0}$ не определено, результат деления этих интервалов не определен.

[а]

[b]

[c]

Navigation