射影的に拡張された実数直線
射影的に拡張された実数直線は、（何らかの立体射影によって）円の周囲に巻き付けられた実数直線と、無限遠点の追加点として視覚化できます。

実解析において、射影的に拡張された実数直線（実数直線の一点コンパクト化とも呼ばれる）は、実数集合を点∞で表す拡張である。[ 1 ]これは、標準的な算術演算が可能な範囲で拡張された集合であり、[ 1 ] [ 2 ]またはで表されることもある。追加された点は、実数直線の両端に隣接する点と見なされるため、無限大点と呼ばれる。より正確には、無限大点は、絶対値が増加し無制限であるような実数列のあらゆる極限である。 R{\displaystyle \mathbb {R} }R∪{∞}{\displaystyle \mathbb {R} \cup \{\infty \}}R∗{\displaystyle \mathbb {R} ^{*}}R^。{\displaystyle {\widehat {\mathbb {R} }}.}

射影的に拡張された実数直線は、 3点に特定の値0、1、∞が割り当てられた実射影直線と同一視される。射影的に拡張された実数直線は、+∞と−∞が異なるアフィン的に拡張された実数直線とは異なる。

ゼロで割る

ほとんどの数学的数値モデルとは異なり、この構造ではゼロ除算が可能です。

1つの0＝∞{\displaystyle {\frac {a}{0}}=\infty }

非ゼロのaに対して。特に、1 / 0 = ∞および1 / ∞ = 0であり、この構造では逆関数1 / x は全関数となる。 [ 1 ]ただし、この構造は体ではなく、2項算術演算はどれも全関数ではない。たとえば、逆数が全関数であっても、 0 ⋅ ∞は未定義である。[ 1 ]ただし、これには使用可能な解釈がある。たとえば、幾何学では、垂直線の傾きは∞である。[ 1 ]

実数直線の延長

射影的に拡張された実数直線は、慣例的に∞と呼ばれる単一の点を追加することによって、リーマン球面が複素数体を拡張するのと同じ方法で実数体を拡張します。

対照的に、アフィン拡張実数直線（実数直線の2点コンパクト化とも呼ばれる）は、+∞と−∞を区別します。

注文

順序関係はに意味のある形で拡張することはできない。数a ≠ ∞が与えられたとき、 a > ∞あるいはa < ∞を定義する説得力のある議論は存在しない。 ∞ は他のどの要素とも比較できないため、 においてこの関係を維持する意味はない。[ 2 ]しかし、 における順序はの定義において用いられる。 R^{\displaystyle {\widehat {\mathbb {R} }}}R^{\displaystyle {\widehat {\mathbb {R} }}}R{\displaystyle \mathbb {R} }R^{\displaystyle {\widehat {\mathbb {R} }}}

幾何学

∞が他の点と何ら変わらない点であるという考えの根底にあるのは、実射影直線が同質空間、つまり円と同相であるという事実です。例えば、2 × 2 の実可逆行列の一般線型群は、それに対して推移作用を持ちます。この群作用は、線型分数変換の分母が0のとき、像は∞ であるという理解のもと、メビウス変換（線型分数変換とも呼ばれる）によって表現できます。

作用の詳細な解析により、任意の3つの異なる点P、Q、Rに対して、 Pを0、Qを1、Rを∞とする線型分数変換が存在することが示される。つまり、線型分数変換群は実射影直線上で三重推移的である。これは、複比が不変であるため、4組の点には拡張できない。

点は の 1次元線形部分空間と1 対 1 で対応しているので、射影直線という用語が適切です。 R2{\displaystyle \mathbb {R} ^{2}}

算術演算

算術演算の動機

この空間における算術演算は、実数における同じ演算の拡張である。新しい定義の動機は、実数関数の 極限にある。

定義されている算術演算

のサブセット に対する標準的な演算に加えて、以下の演算が定義されているが、以下に示す例外がある: [ 3 ] [ 2 ]R{\displaystyle \mathbb {R} }R^{\displaystyle {\widehat {\mathbb {R} }}}1つの∈R^{\displaystyle a\in {\widehat {\mathbb {R} }}}

1つの+∞＝∞+1つの＝∞、1つの≠∞1つの−∞＝∞−1つの＝∞、1つの≠∞1つの/∞＝1つの⋅0＝0⋅1つの＝0、1つの≠∞∞/1つの＝∞、1つの≠∞1つの/0＝1つの⋅∞＝∞⋅1つの＝∞、1つの≠00/1つの＝0、1つの≠0{\displaystyle {\begin{aligned}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{aligned}}}

定義されていない算術演算

以下の式は実関数の極限を考慮して導き出すことはできず、また、それらの定義は、定義されたすべてのケースに対して標準的な代数的性質の記述をそのままの形で保持することを許さない。[ a ]したがって、それらは未定義のままである。

∞+∞∞−∞∞⋅00⋅∞∞/∞0/0{\displaystyle {\begin{aligned}&\infty +\infty \\&\infty -\infty \\&\infty \cdot 0\\&0\cdot \infty \\&\infty /\infty \\&0/0\end{aligned}}}

指数関数 は まで拡張できない。[ 2 ]e×{\displaystyle e^{x}}R^{\displaystyle {\widehat {\mathbb {R} }}}

代数的性質

以下の等式は、両辺が未定義であるか、両辺が定義されていて等しいかのいずれかを意味します。これは、任意の1つの、b、c∈R^。{\displaystyle a,b,c\in {\widehat {\mathbb {R} }}.}

（1つの+b）+c＝1つの+（b+c）1つの+b＝b+1つの（1つの⋅b）⋅c＝1つの⋅（b⋅c）1つの⋅b＝b⋅1つの1つの⋅∞＝1つの0{\displaystyle {\begin{aligned}(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}}\\\end{aligned}}}

関係する式が定義されているときはいつでも、以下の式が成り立ちます。1つの、b、c∈R^。{\displaystyle a,b,c\in {\widehat {\mathbb {R} }}.}

1つの⋅（b+c）＝1つの⋅b+1つの⋅c1つの＝（1つのb）⋅b＝（1つの⋅b）b1つの＝（1つの+b）−b＝（1つの−b）+b{\displaystyle {\begin{aligned}a\cdot (b+c)&=a\cdot b+a\cdot c\\a&=\left({\frac {a}{b}}\right)\cdot b&=\,\,&{\frac {(a\cdot b)}{b}}\\a&=(a+b)-b&=\,\,&(a-b)+b\end{aligned}}}

一般に、 に有効なすべての算術法則は、出現するすべての式が定義されている場合はいつでも に も有効です。R{\displaystyle \mathbb {R} }R^{\displaystyle {\widehat {\mathbb {R} }}}

区間と位相

区間の概念は まで拡張できる。しかし、 は順序付き集合ではないため、区間の意味は若干異なる。閉区間の定義は以下の通りである（ と仮定する ）：[ 2 ]R^{\displaystyle {\widehat {\mathbb {R} }}}a,b∈R,a<b{\displaystyle a,b\in \mathbb {R} ,a<b}

[a,b]={x∣x∈R,a≤x≤b}[a,∞]={x∣x∈R,a≤x}∪{∞}[b,a]={x∣x∈R,b≤x}∪{∞}∪{x∣x∈R,x≤a}[∞,a]={∞}∪{x∣x∈R,x≤a}[a,a]={a}[∞,∞]={∞}{\displaystyle {\begin{aligned}\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{aligned}}}

端点が等しい場合を除いて、対応する開区間と半開区間は、それぞれの端点を除去することによって定義されます。この再定義は、区間演算において0を含む区間で割る際に便利です。 [ 2 ]

R^{\displaystyle {\widehat {\mathbb {R} }}}空集合も区間であり、任意の一点を除外したものも同様である。[ b ]R^{\displaystyle {\widehat {\mathbb {R} }}}

開区間を基底として用いることで上の位相が定義される。基底として十分なのはにおける有界開区間と、となるすべての に対する区間である。R^{\displaystyle {\widehat {\mathbb {R} }}}R{\displaystyle \mathbb {R} }(b,a)={x∣x∈R,b<x}∪{∞}∪{x∣x∈R,x<a}{\displaystyle (b,a)=\{x\mid x\in \mathbb {R} ,b<x\}\cup \{\infty \}\cup \{x\mid x\in \mathbb {R} ,x<a\}}a,b∈R{\displaystyle a,b\in \mathbb {R} }a<b.{\displaystyle a<b.}

前述の通り、位相は円に同相である。したがって、（与えられた同相写像に対して）この円上の通常の計量（直線または円に沿って測ったもの）に対応して計量化可能である。通常の計量の拡張となる計量は存在しない。R.{\displaystyle \mathbb {R} .}

区間演算

区間演算はからまで拡張されます。区間に対する算術演算の結果は常に区間となります。ただし、二項演算を伴う区間に互換性のない値が含まれており、その結果が未定義になる場合は除きます。[ c ]特に、任意の に対して、以下が成り立ちます。 R^{\displaystyle {\widehat {\mathbb {R} }}}R{\displaystyle \mathbb {R} }a,b∈R^{\displaystyle a,b\in {\widehat {\mathbb {R} }}}

x∈[a,b]⟺1x∈[1b,1a],{\displaystyle x\in [a,b]\iff {\frac {1}{x}}\in \left[{\frac {1}{b}},{\frac {1}{a}}\right]\!,}

どちらの区間にも0と∞が含まれているかどうかは関係ありません。

微積分

微積分のツールは の関数を解析するために使用できます。定義はこの空間の位相に基づいています。 R^{\displaystyle {\widehat {\mathbb {R} }}}

近隣地域

ととします。 x∈R^{\displaystyle x\in {\widehat {\mathbb {R} }}}A⊆R^{\displaystyle A\subseteq {\widehat {\mathbb {R} }}}

  • A がxを含む開区間Bを含む場合、Aはxの近傍です。
  • となる実数yが存在し、Aに半開区間 が含まれる場合、 Aはxの右側近傍です。y≠x{\displaystyle y\neq x}[x,y){\displaystyle [x,y)}
  • となる実数yが存在し、Aに半開区間 が含まれる場合、 Aはxの左側近傍です。y≠x{\displaystyle y\neq x}(y,x]{\displaystyle (y,x]}
  • Aがxのパンクチャー近傍（それぞれ右側または左側のパンクチャー近傍）である場合、 A はxの近傍（それぞれ右側または左側の近傍）です。x∉A,{\displaystyle x\not \in A,}A∪{x}{\displaystyle A\cup \{x\}}

制限

限界の基本的な定義

ととします。 f:R^→R^,{\displaystyle f:{\widehat {\mathbb {R} }}\to {\widehat {\mathbb {R} }},}p∈R^,{\displaystyle p\in {\widehat {\mathbb {R} }},}L∈R^{\displaystyle L\in {\widehat {\mathbb {R} }}}

xがpに近づくときのf ( x )の極限はLであり、

limx→pf(x)=L{\displaystyle \lim _{x\to p}{f(x)}=L}

のとき、かつそのときに限り、 Lの任意の近傍Aに対して、 pの穴あき近傍Bが存在し、それにより が成り立ちます。 x∈B{\displaystyle x\in B}f(x)∈A{\displaystyle f(x)\in A}

x が右（左）からpに近づくときのf ( x )の片側極限はLであり、次のように表される。

limx→p+f(x)=L(limx→p−f(x)=L),{\displaystyle \lim _{x\to p^{+}}{f(x)}=L\qquad \left(\lim _{x\to p^{-}}{f(x)}=L\right),}

であるとき、そしてそのときに限り、 Lの任意の近傍Aに対して、 pの右側（左側）の穴あき近傍Bが存在し、x∈B{\displaystyle x\in B}f(x)∈A.{\displaystyle f(x)\in A.}

および の両方が成り立つ場合のみ、 であることが示されます。 limx→pf(x)=L{\displaystyle \lim _{x\to p}{f(x)}=L}limx→p+f(x)=L{\displaystyle \lim _{x\to p^{+}}{f(x)}=L}limx→p−f(x)=L{\displaystyle \lim _{x\to p^{-}}{f(x)}=L}

限界との比較R{\displaystyle \mathbb {R} }

上記の定義は、実関数の極限の通常の定義と比較することができます。以下の文において、最初の極限は上記の定義と同じであり、2番目の極限は通常の意味です。 p,L∈R,{\displaystyle p,L\in \mathbb {R} ,}

  • limx→pf(x)=L{\displaystyle \lim _{x\to p}{f(x)}=L}は以下と同等であるlimx→pf(x)=L{\displaystyle \lim _{x\to p}{f(x)}=L}
  • limx→∞+f(x)=L{\displaystyle \lim _{x\to \infty ^{+}}{f(x)}=L}は以下と同等であるlimx→−∞f(x)=L{\displaystyle \lim _{x\to -\infty }{f(x)}=L}
  • limx→∞−f(x)=L{\displaystyle \lim _{x\to \infty ^{-}}{f(x)}=L}は以下と同等であるlimx→+∞f(x)=L{\displaystyle \lim _{x\to +\infty }{f(x)}=L}
  • limx→pf(x)=∞{\displaystyle \lim _{x\to p}{f(x)}=\infty }は以下と同等であるlimx→p|f(x)|=+∞{\displaystyle \lim _{x\to p}{|f(x)|}=+\infty }
  • limx→∞+f(x)=∞{\displaystyle \lim _{x\to \infty ^{+}}{f(x)}=\infty }は以下と同等であるlimx→−∞|f(x)|=+∞{\displaystyle \lim _{x\to -\infty }{|f(x)|}=+\infty }
  • limx→∞−f(x)=∞{\displaystyle \lim _{x\to \infty ^{-}}{f(x)}=\infty }は以下と同等であるlimx→+∞|f(x)|=+∞{\displaystyle \lim _{x\to +\infty }{|f(x)|}=+\infty }

限界の拡張定義

とする。すると、pがAの極限点となるのは、 pのあらゆる近傍に、A⊆R^{\displaystyle A\subseteq {\widehat {\mathbb {R} }}}y∈A{\displaystyle y\in A}y≠p.{\displaystyle y\neq p.}

p をAの極限点とする。 x がAを通ってpに近づくときのf ( x )の極限がLとなる必要十分条件は、 Lの任意の近傍Bに対してpの穴あき近傍Cが存在し、したがって次式が成り立つことである。f:R^→R^,A⊆R^,L∈R^,p∈R^{\displaystyle f:{\widehat {\mathbb {R} }}\to {\widehat {\mathbb {R} }},A\subseteq {\widehat {\mathbb {R} }},L\in {\widehat {\mathbb {R} }},p\in {\widehat {\mathbb {R} }}}x∈A∩C{\displaystyle x\in A\cap C}f(x)∈B.{\displaystyle f(x)\in B.}

これは、上の部分空間位相に適用される連続性の通常の位相的定義と、fの制限に対応する。A∪{p},{\displaystyle A\cup \lbrace p\rbrace ,}A∪{p}.{\displaystyle A\cup \lbrace p\rbrace .}

連続

機能

f:R^→R^,p∈R^.{\displaystyle f:{\widehat {\mathbb {R} }}\to {\widehat {\mathbb {R} }},\quad p\in {\widehat {\mathbb {R} }}.}

はpで連続であり、かつfがpで定義され、

limx→pf(x)=f(p).{\displaystyle \lim _{x\to p}{f(x)}=f(p).}

関数​ A⊆R^,{\displaystyle A\subseteq {\widehat {\mathbb {R} }},}

f:A→R^{\displaystyle f:A\to {\widehat {\mathbb {R} }}}

がAで連続であることと、任意の に対して、fがpで定義され、 Aを通ってx がpに向かうときのの極限がp∈A{\displaystyle p\in A}f(x){\displaystyle f(x)}f(p).{\displaystyle f(p).}

すべての有理関数P ( x )/ Q ( x ) （ PとQは多項式）は、一意に、 から まで連続する関数に延長できます。特に、多項式関数 の場合がこれに該当し、多項式関数は定数でない場合はで値を取ります。 R^{\displaystyle {\widehat {\mathbb {R} }}}R^{\displaystyle {\widehat {\mathbb {R} }}}R^.{\displaystyle {\widehat {\mathbb {R} }}.}∞{\displaystyle \infty }∞,{\displaystyle \infty ,}

また、正接関数を拡張して tan{\displaystyle \tan }

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

は連続であるが、連続である関数までさらに延長することはできない。tan{\displaystyle \tan }R,{\displaystyle \mathbb {R} ,}R^.{\displaystyle {\widehat {\mathbb {R} }}.}

連続な基本関数の多くは、連続な関数に延長することはできない。これは、例えば指数関数やすべての三角関数に当てはまる。例えば、正弦関数は連続だが、連続にできない。上で見たように、正接関数は連続な関数に延長できるが、連続にできない。R{\displaystyle \mathbb {R} }R^.{\displaystyle {\widehat {\mathbb {R} }}.}R,{\displaystyle \mathbb {R} ,}∞.{\displaystyle \infty .}R,{\displaystyle \mathbb {R} ,}∞.{\displaystyle \infty .}

余域を に拡張すると連続になる不連続関数の多くは、余域をアフィン拡張実数系に拡張しても不連続のままです。これは関数 の場合です。一方、 では連続で では不連続である関数の中には、定義域を に拡張すると連続になるものもあります。これは逆正接 の場合です。 R^{\displaystyle {\widehat {\mathbb {R} }}}R¯.{\displaystyle {\overline {\mathbb {R} }}.}x↦1x.{\displaystyle x\mapsto {\frac {1}{x}}.}R{\displaystyle \mathbb {R} }∞∈R^{\displaystyle \infty \in {\widehat {\mathbb {R} }}}R¯.{\displaystyle {\overline {\mathbb {R} }}.}

射影範囲として

実射影直線を実射影平面の文脈で考えると、デザルグの定理の帰結は暗黙のうちに導かれる。特に、点間の射影調和共役関係の構築は、実射影直線の構造の一部である。例えば、任意の2点が与えられたとき、無限遠点はそれらの中点の射影調和共役である。

射影性は調和関係を保存するので、実射影直線の自己同型を形成する。射影性は、環 上の射影直線の一般的な構成に従って、実数が環 を形成するため、代数的にはホモグラフィとして記述される。これらをまとめて群PGL(2,  R )を形成する。

射影性はそれ自体の逆元であり、反転と呼ばれます。双曲反転には2つの不動点があります。これらのうち2つは、実射影直線上の基本的な算術演算、すなわち負負演算と逆数演算に対応します。実際、0と∞は負負演算で固定され、1と-1は逆数演算で固定されます。

参照

注記

  1. ^ただし、 で定義された演算に制限された場合、すべての代数的特性が標準規則に解決される拡張が存在します。ホイール理論を参照してください。R^{\displaystyle {\widehat {\mathbb {R} }}}
  2. ^すべての に対してとなるような補集合の一貫性が必要な場合（ただし、両側の区間は定義済み）、 と を除くすべての区間はこの表記法を使用して自然に表現でき、 は と解釈され、 などの等しい端点を持つ半開区間は未定義のままになります。[a,b]∁=(b,a){\displaystyle [a,b]^{\complement }=(b,a)}(a,b]∁=(b,a]{\displaystyle (a,b]^{\complement }=(b,a]}a,b∈R^{\displaystyle a,b\in {\widehat {\mathbb {R} }}}∅{\displaystyle \varnothing }R^{\displaystyle {\widehat {\mathbb {R} }}}(a,a){\displaystyle (a,a)}R^∖{a}{\displaystyle {\widehat {\mathbb {R} }}\setminus \{a\}}(a,a]{\displaystyle (a,a]}
  3. ^たとえば、間隔の比は両方の間隔に0 を含み、 0 / 0は未定義であるため、これらの間隔の除算の結果は未定義です。[0,1]/[0,1]{\displaystyle [0,1]/[0,1]}

参考文献

  1. ^ a b c d e NBU, DDE (2019-11-05). PG MTM 201 B1 . 北ベンガル大学遠隔教育局.
  2. ^ a b c d e f Weisstein, Eric W. 「Projectively Extended Real Numbers」 . mathworld.wolfram.com . 2025年7月13日閲覧。
  3. ^ Lee, Nam-Hoon (2020-04-28).幾何学：等長性から特殊相対性理論へ. Springer Nature. ISBN 978-3-030-42101-4。
「 https://en.wikipedia.org/w/index.php?title=Projectively_extended_real_line&oldid=1330717908」から取得