「リーマン球面」の版間の差分
rv/v Wikipedia:進行中の荒らし行為/長期/Lem 218.251.73.185 (会話) による ID:32730338 の版を取り消し |
FlatLanguage (会話 | 投稿記録) 数式を調整 |
||
(29人の利用者による、間の48版が非表示) | |||
1行目: | 1行目: | ||
{{出典の明記|date=2015年9月}} |
|||
[[ファイル:Stereographic_projection_in_3D.png|thumb|right|リーマン球面は、複素平面で包んだ球面(ある形式の[[立体射影]]による ― 詳細は下記参照)として視覚化できる。]] |
[[ファイル:Stereographic_projection_in_3D.png|thumb|right|リーマン球面は、複素平面で包んだ球面(ある形式の[[立体射影]]による ― 詳細は下記参照)として視覚化できる。]] |
||
[[数学]]において'''リーマン球面'''(リーマンきゅうめん、{{lang-en|''Riemann sphere''}})は、[[無限遠点]]を一点追加して[[複素平面]]を拡張 |
[[数学]]において'''リーマン球面'''(リーマンきゅうめん、{{lang-en|''Riemann sphere''}})は、[[無限遠点]] {{math|∞}} を一点追加して[[複素平面]]を拡張したものである。このとき、関係式 |
||
{{Indent|1/0 |
{{Indent|{{math|1/0 {{=}} ∞}}}} |
||
を、意味を持ち、整合的であり、かつ有用となるように構成できる。 |
|||
19 世紀の数学者[[ベルンハルト・リーマン]]から名付けられた。 |
19 世紀の数学者[[ベルンハルト・リーマン]]から名付けられた。 |
||
これはまた、以下の |
これはまた、以下のようにも呼ばれる。 |
||
* '''複素[[射影空間|射影直線]]'''と言い、'''CP'''<sup>1</sup> と書く。 |
* '''複素[[射影空間|射影直線]]'''と言い、{{math|'''CP'''<sup>1</sup>}} と書く。 |
||
* '''拡張複素平面'''と言い、 |
* '''拡張複素平面'''と言い、{{mathbf|Ĉ}} または {{math|'''C''' ∪ {{mset|∞}}}} と書く。 |
||
⚫ | |||
⚫ | |||
[[複素解析]]において、リーマン球面は[[有理型関数]]の洗練された理論で重要な役割を果たす。 |
[[複素解析]]において、リーマン球面は[[有理型関数]]の洗練された理論で重要な役割を果たす。 |
||
リーマン球面は、[[射影幾何学]]や[[代数幾何学]]では、複素多様体、[[射影空間]]、[[代数多様体]]の根源的な事例として常に登場する。 |
リーマン球面は、[[射影幾何学]]や[[代数幾何学]]では、複素多様体、[[射影空間]]、[[代数多様体]]の根源的な事例として常に登場する。 |
||
リーマン球面はまた、[[量子力学]]その他の[[物理学]]の分野等、解析学と幾何学に依存する他の学問分野においても、有用性を発揮している。 |
リーマン球面はまた、[[量子力学]]その他の[[物理学]]の分野等、解析学と幾何学に依存する他の学問分野においても、有用性を発揮している。 |
||
== 拡張複素数 == |
|||
'''拡張複素数''' {{lang|en|(extended complex numbers)}} は複素数 {{mathbf|C}} と {{math|∞}} からなる。拡張複素数の集合は {{math|'''C''' ∪ {{mset|∞}}}} と書け、しばしば文字 {{mathbf|C}} に追加の装飾を施して表記される。例えば、{{mathbf|Ĉ}}, {{math|{{overline|'''C'''}}}} または {{math|'''C'''{{sub|∞}}}}。 |
|||
幾何学的には、拡張複素数の集合は'''リーマン球面''' {{lang|en|(Riemann sphere)}} (あるいは'''拡張複素平面''' {{lang|en|(extended complex plane)}})と呼ばれる。 |
|||
=== 演算 === |
|||
複素数の[[加法]]は任意の複素数 {{mvar|z}} に対して |
|||
:<math>z + \infty = \infty</math> |
|||
と定義することで拡張され、[[乗法]]は任意の {{math|0}} でない複素数 {{mvar|z}} に対して |
|||
:<math>z \cdot \infty = \infty</math> |
|||
とし、{{math|∞ ⋅ ∞ {{=}} ∞}} と定義することで拡張される。{{math|∞ + ∞, ∞ – ∞, 0 ⋅ ∞}} は未定義のままであることに注意すべきである。複素数とは違って、拡張複素数は[[可換体|体]]をなさない。{{math|∞}} は[[乗法逆元]]をもたないからだ。それでもなお、{{math|'''C''' ∪ {{mset|∞}}}} 上の[[除法]]を次のように定義するのが習慣である。{{math|0}} でないすべての複素数 {{mvar|z}} に対して |
|||
:<math>z / 0 = \infty\quad\text{and}\quad z / \infty = 0</math> |
|||
{{math|∞/0 {{=}} ∞}} そして {{math|0/∞ {{=}} 0}}。商 {{math|0/0}} および {{math|∞/∞}} は定義されないままである。 |
|||
=== 有理関数 === |
|||
任意の[[有理関数]] {{math|''f''(''z'') {{=}} ''g''(''z'')/''h''(''z'')}} (言い換えると{{math|''f''(''z'')}} は、複素係数の {{mvar|z}} の、共通因子をもたない2つの多項式関数 {{math|''g''(''z'')}} と {{math|''h''(''z'')}} の比である)をリーマン球面上の[[連続関数]]に拡張できる。具体的には、{{math|''z''{{sub|0}}}} を、分母 {{math|''h''(''z''{{sub|0}})}} が {{math|0}} だが分子 {{math|''g''(''z''{{sub|0}})}} が {{math|0}} でないような複素数とすれば、{{math|''f''(''z''{{sub|0}})}} を {{math|∞}} と定義できる。さらに、{{math|''f''(∞)}} は {{math|''f''(''z'')}} の {{math|''z'' → ∞}} における[[極限]]として定義できる。これは有限かもしれないし無限かもしれない。 |
|||
複素有理関数全体の集合 {{math|'''C'''(''z'')}} は、リーマン球面を[[リーマン面]]と見たときに、すべての点で値 {{math|∞}} をとる定数関数を除いて、リーマン球面からそれ自身へのあらゆる[[正則関数]]をなす。{{math|'''C'''(''z'')}} の関数たちは代数体をなし、''球面上の有理関数体'' {{lang|en|(the field of rational functions on the sphere)}} として知られている。 |
|||
例えば、関数 |
|||
:<math>f(z) = \frac{6z^2 + 1}{2z^2 - 50}</math> |
|||
が与えられると、{{math|''z'' {{=}} 5}} で分母が 0 なので {{math|''f''(5) {{=}} ∞}} と定義でき、{{math|''z'' → ∞}} のとき {{math|''f''(''z'') → 3}} なので {{math|''f''(∞) {{=}} 3}} と定義できる。これらの定義を用いて、{{mvar|f}} はリーマン球面からそれ自身への連続関数になる。 |
|||
== 複素多様体としてのリーマン球面 == |
== 複素多様体としてのリーマン球面 == |
||
リーマン球面は 1-次元複素多様体として、どちらも定義域が複素平面 |
リーマン球面は {{math|1}}-次元複素多様体として、どちらも定義域が複素平面 {{mathbf|C}} に一致する 2 つの局所座標系により記述できる。 |
||
ζ と & |
{{mvar|ζ}} と {{mvar|ξ}} を {{mathbf|C}} 上の複素座標とする。 |
||
非零複素数 ζ と非零複素数 & |
非零複素数 {{mvar|ζ}} と非零複素数 {{mvar|ξ}} を、以下の推移写像(すいいしゃぞう、{{lang-en-short|transition function}})による等式で関係付ける。 |
||
{{Indent| |
{{Indent|{{math2| |
||
ζ |
''ζ'' {{=}} 1/''ξ''<br /> |
||
& |
''ξ'' {{=}} 1/''ζ''}}}} |
||
推移写像は[[正則関数|正則]]であることから、これにより'''リーマン球面'''と呼ばれる複素多様体が定義できる。 |
推移写像は[[正則関数|正則]]であることから、これにより'''リーマン球面'''と呼ばれる複素多様体が定義できる。 |
||
直感的には、推移写像は、 |
直感的には、推移写像は、二つの平面をどの様に貼り付けてリーマン球面を作るかを示している。 |
||
二つの平面は「表裏反対」に貼り付けられ、各平面の一点(原点)を除き、他の至る部分が互いに重なり合う。 |
|||
つまり、リーマン球面の |
つまり、リーマン球面のほとんど全ての点は、{{mvar|ζ}}-値と {{mvar|ξ}}-値の双方を有し、両値は {{math|''ζ'' {{=}} 1/''ξ''}} の関係を有する。 |
||
従って、& |
従って、{{math|''ξ'' {{=}} 0}} の点は “{{math|1/0}}” の {{mvar|ζ}}-値を持つ。 |
||
この意味で、& |
この意味で、{{mvar|ξ}}-局所座標系の原点は、{{mvar|ζ}}-局所座標系において “{{math|∞}}” の役割を有する。 |
||
対 |
対称的に、{{math|''ζ'' {{=}} 0}} の点は {{math|1/0}} の {{mvar|ξ}}-値を持ち、{{mvar|ζ}}-局所座標系の原点は、{{mvar|ξ}}-局所座標系に関し {{math|∞}} の役割を有する。 |
||
[[位相幾何学]]的には、結果として得られるリーマン球面は、平面を[[ |
[[位相幾何学]]的には、結果として得られるリーマン球面は、平面を[[コンパクト化#アレクサンドロフの一点コンパクト化 |一点コンパクト化]]し球面にしたものである。 |
||
しかし、リーマン球面は単なる位相的球面ではない。リーマン球面は上手く定義された複素構造を持つ球面であり、球面上の任意の点は、 |
しかし、リーマン球面は単なる位相的球面ではない。リーマン球面は上手く定義された複素構造を持つ球面であり、球面上の任意の点は、{{mathbf|C}} と正則同相な近傍を有する。 |
||
他方、リーマン面の分類論の中心的な結果である一意化定理によれば、単連結な 1 |
他方、リーマン面の分類論の中心的な結果である[[一意化定理]]によれば、単連結な 1 次元複素多様体は、複素平面、[[双曲幾何学|双曲平面]]、リーマン球面の何れかしかない。 |
||
勿論、リーマン球面は、閉曲面(境界がない[[コンパクト空間|コンパクト]]曲面)としては唯一のものである。 |
勿論、リーマン球面は、閉曲面(境界がない[[コンパクト空間|コンパクト]]曲面)としては唯一のものである。 |
||
したがって、2 次元球面には、1 次元複素多様体としての複素構造が一意に存在する。 |
|||
== 複素射影直線としてのリーマン球面 == |
== 複素射影直線としてのリーマン球面 == |
||
リーマン球面は、'''複素射影直線'''(ふくそしゃえいちょくせん、 |
リーマン球面は、'''複素射影直線'''(ふくそしゃえいちょくせん、{{lang-en-short|complex projective line}})としても定義することができる。 |
||
これは、双方が零ではない複素数の対 (α, β), (α′, β′) に対し、任意の非零複素数 λ によって[[同値関係]] |
これは、双方が零ではない複素数の対 {{math|(''α'', ''β''), (''α''′, ''β''′)}} に対し、任意の非零複素数 {{mvar|λ}} によって[[同値関係]] |
||
{{Indent|(α, β) ∼ (α′, β′) ⇔ (α′, β′) |
{{Indent|{{math|(''α'', ''β'') ∼ (''α''′, ''β''′) ⇔ (''α''′, ''β''′) {{=}} (''λα'', ''λβ'')}}}} |
||
を定義し、'''C'''<sup>2</sup> の部分集合であるこの様なすべての対全体の集合に関して商をとった空間である。 |
を定義し、{{math|'''C'''<sup>2</sup>}} の部分集合であるこの様なすべての対全体の集合に関して商をとった空間である。 |
||
座標 ζ を有する複素平面 |
座標 {{mvar|ζ}} を有する複素平面 {{mathbf|C}} は |
||
{{Indent|(α, β) |
{{Indent|{{math|(''α'', ''β'') {{=}} (''ζ'', 1)}}}} |
||
により複素射影直線の中に写像される。 |
により複素射影直線の中に写像される。 |
||
座標 & |
座標 {{mvar|ξ}} を有するもう一つの複素平面 {{mathbf|C}} は |
||
{{Indent|(α, β) |
{{Indent|{{math|(''α'', ''β'') {{=}} (1, ''ξ'')}}}} |
||
により複素射影直線の中に写像される。この 2 つの複素局所座標系は、射影直線を被覆する。 |
により複素射影直線の中に写像される。この 2 つの複素局所座標系は、射影直線を被覆する。 |
||
非零な & |
非零な {{math|''ξ'', ''ζ''}} に対し、恒等式 |
||
{{Indent|(1, ξ) |
{{Indent|{{math|(1, ''ξ'') {{=}} (1/''ξ'', 1) {{=}} (''ζ'', 1)}}}} |
||
により、上記のとおり ζ = 1/ξ および ξ = 1/ζ が推移写像であることがわかる。 |
により、上記のとおり {{math|ζ {{=}} 1/''ξ''}} および {{math|''ξ'' {{=}} 1/''ζ''}} が推移写像であることがわかる。 |
||
この様に取り扱うことにより、リーマン球面は射影幾何学に最も容易に関係付けられる。 |
|||
例えば、複素射影平面における任意の直線(または滑らかな円錐曲線)は、複素射影直線に正則同相である。 |
例えば、複素射影平面における任意の直線(または滑らかな円錐曲線)は、複素射影直線に正則同相である。 |
||
これはまた、この記事の後半に登場する球面の自己同型の研究において便利である。 |
これはまた、この記事の後半に登場する球面の自己同型の研究において便利である。 |
||
61行目: | 90行目: | ||
[[ファイル:Riemann_sphere1.jpg|thumb|right|250px|複素数 ''A'' をリーマン球面上の一点 α に写す立体射影]] |
[[ファイル:Riemann_sphere1.jpg|thumb|right|250px|複素数 ''A'' をリーマン球面上の一点 α に写す立体射影]] |
||
リーマン球面は、3 次元実空間 '''R'''<sup>3</sup> 内の[[単位球面]] ''x''<sup>2</sup> + ''y''<sup>2</sup> + ''z''<sup>2</sup> = 1 として視覚化できる。 |
リーマン球面は、3 次元実空間 {{math|'''R'''<sup>3</sup>}} 内の[[単位球面]] {{math|''S''<sup>2</sup> {{=}} {{mset| (''x'', ''y'', ''z'') ∈ '''R'''<sup>3</sup> | ''x''<sup>2</sup> + ''y''<sup>2</sup> + ''z''<sup>2</sup> {{=}} 1 }}}} として視覚化できる。 |
||
そのため、点 (0, 0, 1) を除いた単位球面から平面 ''z'' = 0 への[[立体射影]]を考え、ζ = ''x'' + ''iy'' により複素平面と同一視する。 |
そのため、点 {{math|(0, 0, 1)}} を除いた単位球面から平面 {{math|''z'' {{=}} 0}} への[[立体射影]]を考え、{{math|''ζ'' {{=}} ''x'' + ''iy''}} により複素平面と同一視する。 |
||
[[直交座標系|直交座標]] (''x'', ''y'', ''z'') と[[ |
[[直交座標系|直交座標]] {{math|(''x'', ''y'', ''z'')}} と[[球面座標系|球座標]] {{math|(''φ'', ''θ'')}} ({{mvar|φ}} は天頂角、{{mvar|θ}} は方位角) により、立体射影は、以下のとおり書ける{{sfn|Jones|Singerman|1987|p={{google books quote|id=_U3RXDy7UQcC|page=2|2}}}}。 |
||
{{Indent|<math>\zeta = \frac{x + i y}{1 - z} = \cot \frac{\phi}{2} \ |
{{Indent|<math>\zeta = \frac{x + i y}{1 - z} = \left( \cot \frac{\phi}{2} \right) e^{i \theta}</math>}} |
||
同様に、点 (0, 0, −1) から平面 ''z'' = 0 への立体射影は、& |
同様に、点 {{math|(0, 0, −1)}} から平面 {{math|''z'' {{=}} 0}} への立体射影は、{{math|''ξ'' {{=}} ''x'' − ''iy''}} によりもう 1 つの複素平面の複写と同一視し、 |
||
{{Indent|<math>\xi = \frac{x - i y}{1 + z} = \tan \frac{\phi}{2} \ |
{{Indent|<math>\xi = \frac{x - i y}{1 + z} = \left( \tan \frac{\phi}{2} \right) e^{-i \theta}</math>}} |
||
と書ける。 |
と書ける。 |
||
(二つの複素平面は、平面 {{math|''z'' {{=}} 0}} と異なる方法で同一視される。 |
|||
球面上の向きを整合的に保つため、双方の向きを反対にすることが必要であり、特に、複素共軛は推移写像を正則にする。) |
球面上の向きを整合的に保つため、双方の向きを反対にすることが必要であり、特に、複素共軛は推移写像を正則にする。) |
||
ζ-座標と & |
{{mvar|ζ}}-座標と {{mvar|ξ}}-座標の推移写像は、一方の射影と他方の逆数を組み合わせて得られる。 |
||
これは、上記のとおり ζ = 1/& |
これは、上記のとおり {{math|''ζ'' {{=}} 1/''ξ''}} および {{math|''ξ'' {{=}} 1/''ζ''}} である。 |
||
この様にして、単位球面はリーマン球面に可微分同相である。 |
この様にして、単位球面はリーマン球面に可微分同相である。 |
||
この可微分同相により、ζ-局所座標系の単位円、& |
この可微分同相により、{{mvar|ζ}}-局所座標系の単位円、{{mvar|ξ}}-局所座標系の単位円、単位球面の赤道は、すべて同一視される。 |
||
単位円盤 |ζ |
単位円盤 {{math|{{abs| ''ζ'' }} < 1}} は南半球 {{math|''z'' < 0}} と同一視され、単位円盤 {{math|{{abs| ''ξ'' }} < 1}} は北半球 {{math|''z'' > 0}} と同一視される。 |
||
== 計量 == |
== 計量 == |
||
リーマン球面には特定のリーマン計量が標準的に備わっている訳ではない。しかしリーマン球面の複素構造は、等角同値を除き一意に計量を決定する |
リーマン球面には特定のリーマン計量が標準的に備わっている訳ではない。しかしリーマン球面の複素構造は、等角同値を除き一意に計量を決定する(二つの計量は、正値の滑らかな関数を掛けただけしか差がないとき、等角同値という)。 |
||
逆に、向きの付いた曲面上の任意の計量は複素構造を一意に決定する。これは等角同値を除き計量に完全に依存して定まる。従って、向きの付いた曲面上の複素構造はその曲面上の計量の等角同値類と一対一に対応する。 |
逆に、向きの付いた曲面上の任意の計量は複素構造を一意に決定する。これは等角同値を除き計量に完全に依存して定まる。従って、向きの付いた曲面上の複素構造はその曲面上の計量の等角同値類と一対一に対応する。 |
||
ある等角同値類の中で、便利な特性を有する計量を代表元として選ぶために、等角対称性を使うことができる。特に、任意の等角同値類には定曲率の完備な計量が常に存在する。 |
ある等角同値類の中で、便利な特性を有する計量を代表元として選ぶために、等角対称性を使うことができる。特に、任意の等角同値類には定曲率の完備な計量が常に存在する。 |
||
リーマン球面の場合には、ガウス・ボンネの定理により、定曲率計量は、必ず正の曲率 |
リーマン球面の場合には、[[ガウス・ボンネの定理]]により、定曲率計量は、必ず正の曲率 {{mvar|K}} を有することが帰結される。 |
||
そこでこの計量は、立体射影を通じて '''R'''<sup>3</sup> 内の半径 <math>1 / \sqrt K</math> の球面の距離を保たなければならない。 |
そこでこの計量は、立体射影を通じて {{math|'''R'''<sup>3</sup>}} 内の半径 <math>1 / \sqrt K</math> の球面の距離を保たなければならない。 |
||
リーマン球面の ζ-局所座標系では、''K'' = 1 である計量は、以下により与えられる。 |
リーマン球面の {{mvar|ζ}}-局所座標系では、{{math|''K'' {{=}} 1}} である計量は、以下により与えられる。 |
||
{{Indent|<math>ds^2 = \left(\frac{2}{1+|\zeta|^2}\right)^2 |
{{Indent|<math>ds^2 = \left( \frac{2}{1 + | \zeta | ^2} \right)^2 | d\zeta | ^2 = \frac{4}{\left( 1 + \zeta\bar{\zeta} \right)^2} \, d\zeta \, d\bar{\zeta}</math>}} |
||
実座標 ζ = ''u'' + ''iv'' において、この式は、以下のとおりとなる。 |
実座標 {{math|''ζ'' {{=}} ''u'' + ''iv''}} において、この式は、以下のとおりとなる。 |
||
{{Indent|<math>ds^2 = \frac{4}{\left(1 + u^2 + v^2\right)^2} \left(du^2 + dv^2\right) |
{{Indent|<math>ds^2 = \frac{4}{\left( 1 + u^2 + v^2 \right)^2} \left( du^2 + dv^2 \right)</math>}} |
||
定数因子を除き、この計量は複素射影空間(リーマン球面はその一例である)のフビニ・スタディー計量に一致する。 |
定数因子を除き、この計量は複素射影空間(リーマン球面はその一例である)のフビニ・スタディー計量に一致する。 |
||
逆に、 |
逆に、{{mvar|S}} を(抽象的な微分多様体または位相多様体としての)球面とする。 |
||
一意化定理により、 |
一意化定理により、{{mvar|S}} には複素構造が一意に存在する。 |
||
{{mvar|S}} 上の任意の計量は、円形計量({{lang-en-short|round metric}})に[[共形同値]]である。 |
|||
これらすべての計量は、同一の共形幾何学を決定する。 |
これらすべての計量は、同一の共形幾何学を決定する。 |
||
従って「円形性」は共形幾何学の不変量でないので、円形計量はリーマン球面にとって内在的なものではない。 |
従って「円形性」は共形幾何学の不変量でないので、円形計量はリーマン球面にとって内在的なものではない。 |
||
107行目: | 136行目: | ||
あらゆる数学的対象の研究は、自己同型群、つまりその対象から自身への写像であって、同対象の主要な構造を保存するものがなす[[群 (数学)|群]]を理解することにより促進される。 |
あらゆる数学的対象の研究は、自己同型群、つまりその対象から自身への写像であって、同対象の主要な構造を保存するものがなす[[群 (数学)|群]]を理解することにより促進される。 |
||
リーマン球面の場合、自己同型は、リーマン球面から自身への可逆な[[双正則写像]]である。 |
リーマン球面の場合、自己同型は、リーマン球面から自身への可逆な[[双正則写像]]である。 |
||
このような写像は、メビウス変換( |
このような写像は、[[メビウス変換]]({{lang-en-short|Möbius transformation}})とも呼ばれる[[一次分数変換]]のみであることが知られている。一次分数変換は |
||
{{Indent|<math>f(\zeta) = \frac{a \zeta + b}{c \zeta + d}</math>}} |
{{Indent|<math>f(\zeta) = \frac{a \zeta + b}{c \zeta + d}</math>}} |
||
なる形に書かれる関数である。ここに ''a'', ''b'', ''c'', ''d'' は ''ad'' − ''bc'' ≠ 0 を満たす複素数である。一次分数変換には、伸縮と回転 |
なる形に書かれる関数である。ここに {{math|''a'', ''b'', ''c'', ''d''}} は {{math|''ad'' − ''bc'' ≠ 0}} を満たす複素数である。一次分数変換には、伸縮と回転 ({{math|''ζ'' → ''aζ''}})、平行移動 ({{math|''ζ'' → ''ζ'' + ''b''}})、相似・実軸対称 ({{math|''ζ'' → 1/''ζ''}}等がある。実際のところ、任意の一次分数変換はこれらの合成により記述できる{{sfn|Jones|Singerman|1987|loc=Theorem 2.3.1|p={{google books quote|id=_U3RXDy7UQcC|page=21|21}}}}。 |
||
一次分数変換は複素射影曲線上の変換と見るとわかり易い。変換 |
一次分数変換は複素射影曲線上の変換と見るとわかり易い。変換 {{mvar|f}} は射影座標により |
||
{{Indent|<math>f(\alpha, \beta) = (a \alpha + b \beta, c \alpha + d \beta) = \begin{pmatrix} \alpha & \beta \end{pmatrix} \begin{pmatrix} a & c \\ b & d \end{pmatrix}</math>}} |
{{Indent|<math>f(\alpha, \beta) = (a \alpha + b \beta, c \alpha + d \beta) = \begin{pmatrix} \alpha & \beta \end{pmatrix} \begin{pmatrix} a & c \\ b & d \end{pmatrix}</math>}} |
||
119行目: | 148行目: | ||
と書くことができる。 |
と書くことができる。 |
||
この様に、一次分数変換は、2-次複素正則行列により記述することができる。 |
この様に、一次分数変換は、2-次複素正則行列により記述することができる。 |
||
ここで、 |
ここで、二つの行列は、それらが非零定数倍だけ異なるとき、かつその場合に限り、同一の一次分数変換を表す。したがって、一次分数変換の全体は[[射影線型群|射影線型変換]]の全体 {{math|''PGL''<sub>2</sub>('''C''')}} に完全に一致する。 |
||
リーマン球面にフビニ・スタディー計量を入れると、全ての一次分数変換が等長になるとは限らない。 |
リーマン球面にフビニ・スタディー計量を入れると、全ての一次分数変換が等長になるとは限らない。 |
||
例えば、伸縮と平行移動はそうでない。 |
例えば、伸縮と平行移動はそうでない。 |
||
等長写像全体は ''PGL''<sub>2</sub>('''C''') の真の部分群 ''PSU''<sub>2</sub> を形成する。この部分群は回転群 ''SO''(3), つまり '''R'''<sup>3</sup> 内の単位球面の等長変換群と同型である。 |
等長写像全体は {{math|''PGL''<sub>2</sub>('''C''')}} の真の部分群 {{math|''PSU''<sub>2</sub>}} を形成する。この部分群は回転群 {{math|''SO''(3)}}, つまり {{math|'''R'''<sup>3</sup>}} 内の単位球面の等長変換群と同型である。 |
||
== 応用 == |
== 応用 == |
||
複素解析で、複素平面(またはリーマン球面)上の有理型関数とは、正則関数 |
複素解析で、複素平面(またはリーマン球面)上の有理型関数とは、正則関数 {{mvar|f}} と {{mvar|g}} の比 {{math|''f''/''g''}} である。 |
||
複素数全体への写像としては、''g'' = 0 である限り、これは定義されない。 |
複素数全体への写像としては、{{math|''g'' {{=}} 0}} である限り、これは定義されない。 |
||
しかし、''g'' = 0 であっても、複素射影直線への正則写像 (''f'', ''g'') は整合的に定義され、これを含む。 |
しかし、{{math|''g'' {{=}} 0}} であっても、複素射影直線への正則写像 {{math|(''f'', ''g'')}} は整合的に定義され、これを含む。 |
||
この構成法は正則および有理型関数の研究に有用である。 |
この構成法は正則および有理型関数の研究に有用である。 |
||
例えば、コンパクトなリーマン球面上には定数でない複素数値正則写像が存在しないが、複素射影直線への正則写像は沢山存在する。 |
例えば、コンパクトなリーマン球面上には定数でない複素数値正則写像が存在しないが、複素射影直線への正則写像は沢山存在する。 |
||
リーマン球面は[[物理学]]で多くの応用を有する。 |
リーマン球面は[[物理学]]で多くの応用を有する。 |
||
[[量子力学]]において、複素射影直線上の点は、[[光子]]の[[偏光]]状態、[[スピン角運動量|スピン]] 1/2 の有質量粒子のスピン状態、および一般に 2 状態の粒子の自然な値を示す。 |
[[量子力学]]において、複素射影直線上の点は、[[光子]]の[[偏光]]状態、[[スピン角運動量|スピン]] {{math|1/2}} の有質量粒子のスピン状態、および一般に 2 状態の粒子の自然な値を示す。 |
||
リーマン球面は、[[天球]]の[[一般相対性理論|相対論]]的モデルに使用することも推奨されてきた。 |
リーマン球面は、[[天球]]の[[一般相対性理論|相対論]]的モデルに使用することも推奨されてきた。 |
||
[[弦理論]] では、弦の |
[[弦理論]] では、弦の{{仮リンク|世界面|en|worldsheet}}はリーマン球面であり、最も単純なリーマン面としてのリーマン球面は重要な役割を演じる。 |
||
これは、[[ツイスター理論]]においても重要である。 |
これは、[[ツイスター理論]]においても重要である。 |
||
== |
== 脚注 == |
||
{{脚注ヘルプ}}{{reflist}} |
|||
⚫ | |||
⚫ | |||
== 参考文献 == |
|||
* {{cite book |
|||
|last1 = Jones |
|||
|first1 = G. A. |
|||
|last2 = Singerman |
|||
|first2 = D. |
|||
|year = 1987 |
|||
|title = Complex Functions: An Algebraic and Geometric Viewpoint |
|||
|url = {{google books|_U3RXDy7UQcC|plainurl=yes}} |
|||
|publisher = [[Cambridge University Press]] |
|||
|isbn = 0-521-31366-X |
|||
|mr = |
|||
|zbl = 0608.30001 |
|||
|ref = harv |
|||
}} |
|||
== 外部リンク == |
|||
⚫ | |||
⚫ | |||
⚫ | |||
* {{nlab|urlname=Riemann+sphere|title=Riemann sphere}} |
|||
* {{PlanetMath|urlname=ClosedComplexPlane|title=closed complex plane}} |
|||
* {{PlanetMath|urlname=RiemannSphere|title=Riemann sphere}} |
|||
* {{ProofWiki|urlname=Definition:Riemann_Sphere|title=Definition:Riemann Sphere}} |
|||
* {{SpringerEOM|urlname=Extended_complex_plane|title=Extended complex plane|author=Solomentsev, E.D.}} |
|||
* {{SpringerEOM|urlname=Riemann_sphere|title=Riemann_sphere|author=Solomentsev, E.D.}} |
|||
⚫ | |||
{{Normdaten}} |
|||
[[Category:幾何学]] |
[[Category:幾何学]] |
||
[[Category:複素解析]] |
|||
[[Category:ベルンハルト・リーマン|きゆうめん]] |
|||
[[Category:数学に関する記事]] |
[[Category:数学に関する記事]] |
||
[[Category:数学のエポニム]] |
|||
[[ar:كرة ريمان]] |
|||
[[cs:Riemannova koule]] |
|||
[[de:Riemannsche Zahlenkugel]] |
|||
[[en:Riemann sphere]] |
|||
[[fa:کره ریمان]] |
|||
[[fi:Riemannin pallo]] |
|||
[[fr:Sphère de Riemann]] |
|||
[[he:הספירה של רימן]] |
|||
[[it:Sfera di Riemann]] |
|||
[[nl:Riemann-sfeer]] |
|||
[[no:Riemannsk sfære]] |
|||
[[pt:Esfera de Riemann]] |
|||
[[ru:Сфера Римана]] |
|||
[[sk:Riemannova guľa]] |
|||
[[sl:Riemannova sfera]] |
|||
[[sv:Riemannsfären]] |
|||
[[zh:黎曼球面]] |
2023年10月1日 (日) 12:27時点における最新版
数学においてリーマン球面(リーマンきゅうめん、英語: Riemann sphere)は、無限遠点 ∞ を一点追加して複素平面を拡張したものである。このとき、関係式
1/0 = ∞
を、意味を持ち、整合的であり、かつ有用となるように構成できる。 19 世紀の数学者ベルンハルト・リーマンから名付けられた。 これはまた、以下のようにも呼ばれる。
- 複素射影直線と言い、CP1 と書く。
- 拡張複素平面と言い、Ĉ または C ∪ {∞} と書く。
純代数的には、無限遠点を追加した複素数全体は、拡張複素数として知られる数体系を構成する。無限遠点を伴う算術は、通常の代数規則すべてには従わず、拡張複素数全体は体を構成しない。しかしリーマン球面は、幾何学的また解析学的に無限遠においてさえもよく振舞い、リーマン面とも呼ばれる 1-次元複素多様体をなす。
複素解析において、リーマン球面は有理型関数の洗練された理論で重要な役割を果たす。 リーマン球面は、射影幾何学や代数幾何学では、複素多様体、射影空間、代数多様体の根源的な事例として常に登場する。 リーマン球面はまた、量子力学その他の物理学の分野等、解析学と幾何学に依存する他の学問分野においても、有用性を発揮している。
拡張複素数
[編集]拡張複素数 (extended complex numbers) は複素数 C と ∞ からなる。拡張複素数の集合は C ∪ {∞} と書け、しばしば文字 C に追加の装飾を施して表記される。例えば、Ĉ, C または C∞。
幾何学的には、拡張複素数の集合はリーマン球面 (Riemann sphere) (あるいは拡張複素平面 (extended complex plane))と呼ばれる。
演算
[編集]複素数の加法は任意の複素数 z に対して
と定義することで拡張され、乗法は任意の 0 でない複素数 z に対して
とし、∞ ⋅ ∞ = ∞ と定義することで拡張される。∞ + ∞, ∞ – ∞, 0 ⋅ ∞ は未定義のままであることに注意すべきである。複素数とは違って、拡張複素数は体をなさない。∞ は乗法逆元をもたないからだ。それでもなお、C ∪ {∞} 上の除法を次のように定義するのが習慣である。0 でないすべての複素数 z に対して
∞/0 = ∞ そして 0/∞ = 0。商 0/0 および ∞/∞ は定義されないままである。
有理関数
[編集]任意の有理関数 f(z) = g(z)/h(z) (言い換えるとf(z) は、複素係数の z の、共通因子をもたない2つの多項式関数 g(z) と h(z) の比である)をリーマン球面上の連続関数に拡張できる。具体的には、z0 を、分母 h(z0) が 0 だが分子 g(z0) が 0 でないような複素数とすれば、f(z0) を ∞ と定義できる。さらに、f(∞) は f(z) の z → ∞ における極限として定義できる。これは有限かもしれないし無限かもしれない。
複素有理関数全体の集合 C(z) は、リーマン球面をリーマン面と見たときに、すべての点で値 ∞ をとる定数関数を除いて、リーマン球面からそれ自身へのあらゆる正則関数をなす。C(z) の関数たちは代数体をなし、球面上の有理関数体 (the field of rational functions on the sphere) として知られている。
例えば、関数
が与えられると、z = 5 で分母が 0 なので f(5) = ∞ と定義でき、z → ∞ のとき f(z) → 3 なので f(∞) = 3 と定義できる。これらの定義を用いて、f はリーマン球面からそれ自身への連続関数になる。
複素多様体としてのリーマン球面
[編集]リーマン球面は 1-次元複素多様体として、どちらも定義域が複素平面 C に一致する 2 つの局所座標系により記述できる。 ζ と ξ を C 上の複素座標とする。 非零複素数 ζ と非零複素数 ξ を、以下の推移写像(すいいしゃぞう、英: transition function)による等式で関係付ける。
ζ = 1/ξ
ξ = 1/ζ
推移写像は正則であることから、これによりリーマン球面と呼ばれる複素多様体が定義できる。
直感的には、推移写像は、二つの平面をどの様に貼り付けてリーマン球面を作るかを示している。 二つの平面は「表裏反対」に貼り付けられ、各平面の一点(原点)を除き、他の至る部分が互いに重なり合う。 つまり、リーマン球面のほとんど全ての点は、ζ-値と ξ-値の双方を有し、両値は ζ = 1/ξ の関係を有する。 従って、ξ = 0 の点は “1/0” の ζ-値を持つ。 この意味で、ξ-局所座標系の原点は、ζ-局所座標系において “∞” の役割を有する。 対称的に、ζ = 0 の点は 1/0 の ξ-値を持ち、ζ-局所座標系の原点は、ξ-局所座標系に関し ∞ の役割を有する。
位相幾何学的には、結果として得られるリーマン球面は、平面を一点コンパクト化し球面にしたものである。 しかし、リーマン球面は単なる位相的球面ではない。リーマン球面は上手く定義された複素構造を持つ球面であり、球面上の任意の点は、C と正則同相な近傍を有する。 他方、リーマン面の分類論の中心的な結果である一意化定理によれば、単連結な 1 次元複素多様体は、複素平面、双曲平面、リーマン球面の何れかしかない。 勿論、リーマン球面は、閉曲面(境界がないコンパクト曲面)としては唯一のものである。 したがって、2 次元球面には、1 次元複素多様体としての複素構造が一意に存在する。
複素射影直線としてのリーマン球面
[編集]リーマン球面は、複素射影直線(ふくそしゃえいちょくせん、英: complex projective line)としても定義することができる。 これは、双方が零ではない複素数の対 (α, β), (α′, β′) に対し、任意の非零複素数 λ によって同値関係
(α, β) ∼ (α′, β′) ⇔ (α′, β′) = (λα, λβ)
を定義し、C2 の部分集合であるこの様なすべての対全体の集合に関して商をとった空間である。 座標 ζ を有する複素平面 C は
(α, β) = (ζ, 1)
により複素射影直線の中に写像される。 座標 ξ を有するもう一つの複素平面 C は
(α, β) = (1, ξ)
により複素射影直線の中に写像される。この 2 つの複素局所座標系は、射影直線を被覆する。 非零な ξ, ζ に対し、恒等式
(1, ξ) = (1/ξ, 1) = (ζ, 1)
により、上記のとおり ζ = 1/ξ および ξ = 1/ζ が推移写像であることがわかる。 この様に取り扱うことにより、リーマン球面は射影幾何学に最も容易に関係付けられる。 例えば、複素射影平面における任意の直線(または滑らかな円錐曲線)は、複素射影直線に正則同相である。 これはまた、この記事の後半に登場する球面の自己同型の研究において便利である。
球面としてのリーマン球面
[編集]リーマン球面は、3 次元実空間 R3 内の単位球面 S2 = { (x, y, z) ∈ R3 | x2 + y2 + z2 = 1} として視覚化できる。 そのため、点 (0, 0, 1) を除いた単位球面から平面 z = 0 への立体射影を考え、ζ = x + iy により複素平面と同一視する。 直交座標 (x, y, z) と球座標 (φ, θ) (φ は天頂角、θ は方位角) により、立体射影は、以下のとおり書ける[1]。
同様に、点 (0, 0, −1) から平面 z = 0 への立体射影は、ξ = x − iy によりもう 1 つの複素平面の複写と同一視し、
と書ける。 (二つの複素平面は、平面 z = 0 と異なる方法で同一視される。 球面上の向きを整合的に保つため、双方の向きを反対にすることが必要であり、特に、複素共軛は推移写像を正則にする。) ζ-座標と ξ-座標の推移写像は、一方の射影と他方の逆数を組み合わせて得られる。 これは、上記のとおり ζ = 1/ξ および ξ = 1/ζ である。 この様にして、単位球面はリーマン球面に可微分同相である。
この可微分同相により、ζ-局所座標系の単位円、ξ-局所座標系の単位円、単位球面の赤道は、すべて同一視される。 単位円盤 | ζ | < 1 は南半球 z < 0 と同一視され、単位円盤 | ξ | < 1 は北半球 z > 0 と同一視される。
計量
[編集]リーマン球面には特定のリーマン計量が標準的に備わっている訳ではない。しかしリーマン球面の複素構造は、等角同値を除き一意に計量を決定する(二つの計量は、正値の滑らかな関数を掛けただけしか差がないとき、等角同値という)。 逆に、向きの付いた曲面上の任意の計量は複素構造を一意に決定する。これは等角同値を除き計量に完全に依存して定まる。従って、向きの付いた曲面上の複素構造はその曲面上の計量の等角同値類と一対一に対応する。
ある等角同値類の中で、便利な特性を有する計量を代表元として選ぶために、等角対称性を使うことができる。特に、任意の等角同値類には定曲率の完備な計量が常に存在する。
リーマン球面の場合には、ガウス・ボンネの定理により、定曲率計量は、必ず正の曲率 K を有することが帰結される。 そこでこの計量は、立体射影を通じて R3 内の半径 の球面の距離を保たなければならない。 リーマン球面の ζ-局所座標系では、K = 1 である計量は、以下により与えられる。
実座標 ζ = u + iv において、この式は、以下のとおりとなる。
定数因子を除き、この計量は複素射影空間(リーマン球面はその一例である)のフビニ・スタディー計量に一致する。
逆に、S を(抽象的な微分多様体または位相多様体としての)球面とする。 一意化定理により、S には複素構造が一意に存在する。 S 上の任意の計量は、円形計量(英: round metric)に共形同値である。 これらすべての計量は、同一の共形幾何学を決定する。 従って「円形性」は共形幾何学の不変量でないので、円形計量はリーマン球面にとって内在的なものではない。 リーマン球面は単に共形多様体に過ぎず、リーマン多様体ではない。 しかし、リーマン球面上でリーマン幾何学をする必要があるのであれば、円形計量は自然な選択である。
自己同型
[編集]あらゆる数学的対象の研究は、自己同型群、つまりその対象から自身への写像であって、同対象の主要な構造を保存するものがなす群を理解することにより促進される。 リーマン球面の場合、自己同型は、リーマン球面から自身への可逆な双正則写像である。 このような写像は、メビウス変換(英: Möbius transformation)とも呼ばれる一次分数変換のみであることが知られている。一次分数変換は
なる形に書かれる関数である。ここに a, b, c, d は ad − bc ≠ 0 を満たす複素数である。一次分数変換には、伸縮と回転 (ζ → aζ)、平行移動 (ζ → ζ + b)、相似・実軸対称 (ζ → 1/ζ等がある。実際のところ、任意の一次分数変換はこれらの合成により記述できる[2]。
一次分数変換は複素射影曲線上の変換と見るとわかり易い。変換 f は射影座標により
と書くことができる。 この様に、一次分数変換は、2-次複素正則行列により記述することができる。 ここで、二つの行列は、それらが非零定数倍だけ異なるとき、かつその場合に限り、同一の一次分数変換を表す。したがって、一次分数変換の全体は射影線型変換の全体 PGL2(C) に完全に一致する。
リーマン球面にフビニ・スタディー計量を入れると、全ての一次分数変換が等長になるとは限らない。 例えば、伸縮と平行移動はそうでない。 等長写像全体は PGL2(C) の真の部分群 PSU2 を形成する。この部分群は回転群 SO(3), つまり R3 内の単位球面の等長変換群と同型である。
応用
[編集]複素解析で、複素平面(またはリーマン球面)上の有理型関数とは、正則関数 f と g の比 f/g である。 複素数全体への写像としては、g = 0 である限り、これは定義されない。 しかし、g = 0 であっても、複素射影直線への正則写像 (f, g) は整合的に定義され、これを含む。 この構成法は正則および有理型関数の研究に有用である。 例えば、コンパクトなリーマン球面上には定数でない複素数値正則写像が存在しないが、複素射影直線への正則写像は沢山存在する。
リーマン球面は物理学で多くの応用を有する。 量子力学において、複素射影直線上の点は、光子の偏光状態、スピン 1/2 の有質量粒子のスピン状態、および一般に 2 状態の粒子の自然な値を示す。 リーマン球面は、天球の相対論的モデルに使用することも推奨されてきた。 弦理論 では、弦の世界面はリーマン球面であり、最も単純なリーマン面としてのリーマン球面は重要な役割を演じる。 これは、ツイスター理論においても重要である。
脚注
[編集]- ^ Jones & Singerman 1987, p. 2.
- ^ Jones & Singerman 1987, p. 21, Theorem 2.3.1.
参考文献
[編集]- Jones, G. A.; Singerman, D. (1987). Complex Functions: An Algebraic and Geometric Viewpoint. Cambridge University Press. ISBN 0-521-31366-X. Zbl 0608.30001
外部リンク
[編集]- Möbius Transformations Revealed - YouTube, by Douglas N. Arnold and Jonathan Rogness (a video by two University of Minnesota professors explaining and illustrating Möbius transformations using stereographic projection from a sphere)
- Weisstein, Eric W. "Riemann Sphere". mathworld.wolfram.com (英語).
- Riemann sphere in nLab
- closed complex plane - PlanetMath.
- Riemann sphere - PlanetMath.
- Definition:Riemann Sphere at ProofWiki
- Solomentsev, E.D. (2001), “Extended complex plane”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Solomentsev, E.D. (2001), “Riemann_sphere”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4