単位円板の定義と特性
数学において、点Pを中心とした単位開
円板と単位閉
円板は、
平面上の点の集合を示しています。単位開
円板は、点Pからの距離が1より小さい点全体から成る集合であり、これは数式で以下のように表されます。
D₁(P) = { Q : d(P, Q) < 1 }
一方で、単位閉
円板は点Pからの距離が1以下の点の集合で、次のように表されます。
D̅₁(P) = { Q : d(P, Q) ≤ 1 }
このように、開
円板と閉
円板は、各点の距離によって特徴付けられています。また、単位
円板は単位球体の特別なケースであり、特に限定なしに単位
円板と呼ばれる場合は、
原点を中心とする開
円板D₁(0)を指すことが多いです。これは
原点を中心にし、半径1の円周に囲まれた領域の内部を示しています。
さらに、ガウス
平面を考慮すると、単位開
円板は
絶対値が1未満の
複素数の集合としても認識されます。この場合、単位
円板は時にDやΔと記号で表されることがあります。
解析的性質
単位開
円板からガウス
平面への
全単射な関数の一例として、次のような実解析的な関数が挙げられます。
f(z) = z / (1 - |z|²)
この関数は単位開
円板からガウス
平面へ
全単射であり、逆関数も解析的です。したがって、単位開
円板は二次元の実解析的多様体として
平面全体と同型であり、特に全
平面に同相です。ただし、単位開
円板と全
平面の間には等角
全単射は存在しません。したがって、
リーマン面の観点では、この2者は異なります。
一方、単位開
円板と上半
平面の間には等角
全単射が確立されており、
リーマン面の視点から見ると、単位
円板は上半
平面と同型であると言えます。リーマンの写像定理は、ガウス
平面上の全
平面でない任意の単連結
開集合から単位開
円板への等角
全単射が存在することを示しています。よく知られた
等角写像の一つは、
メビウス変換であり、次のように定義されます。
g(z) = i(1 + z) / (1 - z)
幾何学的には、この変換を通じて実軸を折り曲げ、上半
平面を単位
円板の内部に写し、その円周に接触するように実軸を配置することが可能です。
双曲空間としての単位円板
また、単位開
円板はポアンカレ計量を採用することにより、双曲
平面のモデルとして利用されることがあります。この場合、単位開
円板と上半
平面との間に確立された
等角写像を用いて双曲
平面にキャタ効果的に適用されます。ポアンカレ
円板とポアンカレ上半
平面は共に双曲空間の等角模型であり、それぞれの変換は小さな図形の角度を保つ特徴を持っています。
非標準距離による単位円板
通常の
ユークリッド距離以外の距離に基づく単位
円板も考えられます。たとえば、タクシー距離やチェビシェフ距離に関しては、単位
円板が正方形の形を持つことが見受けられます。ユークリッド単位
円板の面積はπ、
周長は2πですが、タクシー距離のための単位
円板の
周長は8となります。1932年にゴウォンブは、特定の
ノルムから生じる距離の単位円が異なる
周長を持つことができることを証明しました。
結論
単位
円板は
数学において非常に重要な概念であり、その特性は様々な分野において応用されています。解析学、幾何学、さらには
複素数理論においても重要な役割を果たし、無限の可能性を秘めています。