球面

初等幾何学における球面は、完全球体  の表面を成す三次元空間内のまったく丸い幾何学的対象である。二次元の場合に、円板の境界が円周であるという関係の三次元的な対応物と考えることができる。二次元空間における円周がそうであったように、与えられた点からの距離が一定値 r}} をもつような点全体の成す集合として球面を定義することができるAlbert。このとき、与えられた点をこの球面あるいは球体の中心といい、また距離 r}} をこの球面あるいは球体の半径と呼ぶ。球体の中を通り、球面上の二点を結ぶ最長の直線はかならずその中心を通り、半径の二倍に等しい。これを球面あるいは球体の直径と呼ぶ。

緩い言い方や数学以外の文脈では、「球」が「球面」と「球体」のどちらの意味でも用いられたり、"sphere" と "ball" の意味が入れ違っていたりすることもあるが、数学的には球面  は三次元ユークリッド空間に埋め込まれた二次元閉曲面であり、球体  は三次元空間内の球面および球面の囲む「内側」を言うという区別は確立されたものである。この区別は必ず守られるというようなものではないし、特に古い文献では中身の詰まった図形を「球」 としている。これは二次元の場合に、「円」が「円板」の意味だったり「円周」の意味だったりするのとちょうど同じである。

1. 球面の方程式
---------

解析幾何学において、}} 全体の軌跡である。a, b, c, d, e}} は実数で //a// ≠ 0}} なるものとし、 と書けば、上記の方程式は の形になる。一般にこの形の方程式が与えられたならば、以下の何れか一つのみが成り立つ:

//ρ// < 0}} のときは、この方程式に解となる実点は存在せず、虚球  の方程式と呼ぶ。
1=//ρ// = 0}} のとき、方程式 1=//f// = 0}} は中心となる一点 //P//sub のみを解とし、点球  の方程式と言う。
//ρ// > 0}} のときには、1=//f// = 0}} は //P//sub を中心とする半径 //r// coloneqq}} sqrt の球面の方程式となる。上記の方程式で 1=//a// = 0}} としたならば 1=//f// = 0}} は平面の方程式となる。そこで平面を無限遠点を中心とする半径無限大の球と考えることができるWoods。

(//x//sub を中心とする半径 r}} の球面上の点は　 と媒介表示できるKreyszig。

原点を中心とする任意の半径を持つ球面は微分形式 の積分曲面である。この微分形の方程式は、位置ベクトル }} と速度ベクトル }} が全球面に亙って常に互いに直交するという事実を反映している。

球面は、円周をその任意の直径を軸に回転させた回転曲面として構成することもできる。円周は特別な種類の楕円であるから、球面は特別な種類の回転楕円面である。円を回転させる代わりに楕円をその長軸を軸に回転させると長球、短軸を軸にすれば扁球となる。

2. 囲む体積
-------

三次元空間において、球面の囲む体積は、半径を r}} として で与えられる。この公式を導いた最初の人はアルキメデスで、球面の囲む体積が球面とそれに外接する円筒の間の体積に二倍に等しいことを示すことで導かれたSteinhaus。この主張は、カヴァリエリの原理から得ることができる。この公式を積分を使って導くこともできる: 原点を中心とする半径 r}} の球を想定すれば、輪切り積分法では、中心が x}}-軸に沿って 1=//x// = −//r//}} から 1=//x// = //r//}} まで並ぶように無限個積み重ねた無限に薄い円柱  の体積の総和として球面の体積を計算する。あるいは、球面座標系の体積要素 を積分しても同じ結果が得られる。

3. 面積
-----

半径 r}} の球面の表面積は で与えられる。この公式の最初の発見者アルキメデスは、外接円筒の側面への射影が面積を保つという事実から公式を導いたSteinhaus。

公式を導く別なやり方は、これが同じく半径 r}} の球の体積の r}} に関する微分に等しいという事実を利用することである。これは、半径 r}} の球の内部の全体積を、半径 0}} から r}} までの無限に薄い球殻を無限個半径に垂直に}}積み重ねた体積の総和として捉えることとして理解できる。無限に薄いという条件により、各球殻の内側と外側の表面積の差は無限小であり、半径 r}} に対応する球殻の体積は単に半径 r}} の球面の表面積と無限に小さい厚みとの積として得られることに注意する。あるいはまた、球面座標系における球面の面積要素 1=//dA// coloneqq}} //r//sup の積分としても導出できる。

4. 幾何学的性質
---------

球面は同一平面上にない四点を指定すれば一意に決定される。より一般に、通る点や平面に接するなどの条件が四つあれば球面が一意に決まるAlbert。この性質は、平面上の円が同一直線上にない三点で一意に決まるという性質の三次元空間版と見ることができる。その帰結として、球面は一つの円とその円が属する平面上にない一点によって一意に決定できる。

ふたつの球面の方程式の共通解を調べれば、ふたつの球面の交線が円となることが確認できる。その交円を含む平面は交わる球面の根面  というAlbert。根面は実平面だけれども、交円は虚円や点円となることもあり得る

交円上の実点における二つの球面の間の成す角とは、その点における各球面の接平面によって定義される二面角を言う。二つの球面は、その交円上のどの点でも同じ角度で交わるAlbert。ふたつの球面が直角に交わるための必要十分条件は、それら球面の中心間の距離の平方がそれらの半径の平方和に等しいことであるWoods。

4.1. 球束
-------

相異なる二つの球面の方程式 1=//f// = 0}} および 1=//g// = 0}} に対して は、助変数 s, t}} の任意の値に対して、やはり球面の方程式を与える。適当な t, s}} に対してこの方程式を満足する球面すべてからなる族を、もとのふたつの球面から定まる球束または球面束  と呼ぶ。ただし、この定義において「球面」には平面の場合も許すものとする。生成球面が両方とも平面である場合には、球面束を成すすべての球面が平面となるか、さもなくば球面束はただ一つの平面のみからなるWoods。

球面束がすべて平面からなるのでないならば、それを以下の三種に分類することができるWoods:

生成球面の交円が実円 C}} ならば、球面束は C}} を含む球面全体の成す族になる。球面束に属する通常の球面の中心の軌跡は C}} の中心を通り根面に直交する直線上にある。
生成球面の交円が虚円ならば、球面束に属する球面はこの虚円を通るが、通所の球面としてはそれらは交わらない。属する球面の中心直線は根面に直交する。
生成球面の交円が点円 A}} ならば、束に属する球面は全て点 A}} において接し、根面は束に属するすべての球面の共通接平面である。中心直線は A}} において根面と直交する。根面上の固定された点から束に属する任意の球面に引いた接線の長さは、球面に依らず同じになるWoods。

根面は、束に属する球面すべてに直交する任意の球面の中心が描く軌跡に等しい。もっと言えば、球面束に属する球面の任意のふたつに直交する球面は、束に属するすべての球面と直交し、かつ中心が束の根面上にあるWoods。

5. 用語法
------

球の中心を通る直線上にある球面上の点の対は対蹠点   と呼ばれる。球と中心および半径を共有する球面上の円は大円と言い、大円により球面は二つの合同な図形に分けられる。球面の平面切断は「球面切断」という。球面切断はすべて円であり、そのうちで大円でないものは球面上の円と呼ばれる。

二つの相異なる非対蹠点の間の球面に沿った最短距離とは、それら二点を結ぶただ一つの大円がその二点で切り取られる二つの弧のうちの小さいほうの長さである。この「大円距離」を備えた球面上で大円はリーマン円となる。

球面上の特定の点を任意に選んで「北極」とするとき、その対蹠点を「南極」と呼んで、両極点から等距離にある大円を赤道とする。二つの極点を結ぶ大円は子午線または経線と呼び、球の内部を通って両極を結ぶ直線を自転軸と呼ぶ。赤道と平行となる球面上の円は緯線である。このような語法は、近似的に楕円体である惑星に対しても用いられるものである。

6. 半球面
------

球面の中心を含む任意の平面は、球面をふたつの合同な半球面  に分割する。球面の中心を通り交わる任意のふたつの平面は、四つの球面楔形または球面二角形に細分割する。

球面の対蹠点を同一視する商は実射影平面と呼ばれる曲面で、これを赤道にある対蹠点を同一視した北半球と見ることもできる。

7. 一般化
------

7.1. 任意次元
---------

球面の概念を、任意の次元に対して一般化することができる。自然数 n}} に対して「n}}-次元球面」 をしばしば Ssup と書いて、中心となる定点から半径となる決まった距離 r}} の位置にある -次元ユークリッド空間内の点からなる軌跡として定義できる。特に

零次元球面 //S//0}} は実数直線内の閉区間 [−//r//, //r//]}} の両端点である。
一次元球面 //S//1}} は半径 r}} の円周である。
二次元球面 //S//2}} は通常の球面
三次元球面 //S//3}} は四次元ユークリッド空間内の超球面を表す//n// > 2}} のとき、超球面ともいう超立方体などと同じく「高次元」図形で相当するものという意味で「超」球面と呼んでいる}}。文献によっては余次元が 1 のときに限って超球面と呼ぶこの「超-」の使い方は、超平面などと同じ語法である。}}場合も稀にあるので文脈に注意すべきである。

Ssup は、特に「単位球面」を表すために用いられることもある。

-次元単位超球面の表面積は、ガンマ函数 Γ}} を用いて で与えられる。

7.2. 距離空間
---------

より一般に、距離空間 }} において、中心 x}} および半径 //r// > 0}} の球面は 1=//d// = //r//}} なる点 y}} の軌跡として定義される。

中心が E}} の「原点」として捉えられる識別点にとるとき、定義や記法にその点は現れないかもしれない。半径を 1}} に取るとき、単位球面と呼ぶのは従来通りである。

距離球体の場合と異なり、距離球体はそれが十分大きい半径を持つ場合でも空集合となり得る。例えばZ//n//}} にユークリッド距離を入れるとき、半径 r}} の球面は空でないのは //r//2}} が n}} 個の整数の平方和に書けるときに限る。

7.3. 位相球面
---------

位相幾何学では、//n// + 1}} 次元球体の境界に同相な空間として n}}-次元球面は定義される。これは n}}-次元ユークリッド球面に同相となるが、必ずしも距離付けられない。

零次元位相球面は、離散位相の入った点の対である。
一次元位相球面は、同相の違いを除いて円周である。たとえば、任意の結び目は一次元位相球面となる。
二次元位相球面は、同相の違いを除いて通常の球面である。例えば、任意の楕円体は二次元位相球面となる。n}}-次元位相球面もまた Ssup と書かれる。位相球面は境界のないコンパクト位相多様体の例になっている。必ずしも可微分多様体ではないが、滑らかな場合であってもユークリッド球面に微分同相とは限らない。

ハイネ&ndash;ボレルの被覆定理により n}}-次元ユークリッド球面がコンパクトであることが分かる。実際、球面は連続函数 norm による一点集合の逆像であるから閉集合であり、また Ssup は有界である。

驚嘆すべきことに、三次元空間内において自己交叉することを許せば、通常の球面を一切の切れ目を入れることなく裏返すことができる。この一連の方法は 球の裏返し  と呼ばれる。

8. 球面幾何学
--------

ユークリッドの平面幾何学の基本要素は点と直線である。球面上でも、点は通常の意味で定義できる。「直線」に相当するものは測地線で、いまの場合具体的には大円である。大円を定義づける特徴は、その上にある点すべてを含む平面が球の中心を通ることである。弧長によって距離を測ることにすれば、球面上の任意の二点を結ぶ最短経路が、それらの点を含む大円がそれら点で切り取られる円弧のうちの短いほうによって与えられることが証明できる。古典幾何学における多くの定理が球面幾何学においても真となるが、球面上では古典幾何の公準がすべて満足されるわけではないから、真とはならない定理も存在する。球面三角法において、角は大円の間で定義される。球面三角法は通常の三角法とは様々な点で異なる。例えば、球面三角形の内角の和は常に 180°}} より大きい。あるいはまた、任意の互いに相似三角形なふたつの球面三角形は合同である。

9. 球面に関する11の性質
--------------

ダフィット・ヒルベルトとシュテファン・コーン゠フォッセンの著書 //Geometry and the Imagination//で彼らは、球面の11の性質を記述し、それらの性質が球面を一意に決定するかどうかについて論じた。それらのうちのいくつかは平面も満足する。それら11性質とは:

「球面上のすべての点は一つの定点から同一の距離にある。また、ふたつの定点からそれら点への距離の比は一定である」 [注釈] 前半は球面の通常の定義で、球面を一意に決定する。後半は容易に導かれ、円周に対するペルガのアポロニウスの結果と同様のことが従う。後半の内容は平面も満たす。
「球面の等高線および平面切断はすべて円である」 [注釈] この性質は球面を一意に定義する。
「球面は幅が一定かつ周長が一定である」 [注釈] 曲面の幅は平行な接平面の対の間の距離として測る。他にもいくつか定幅の凸閉曲面はあり、たとえばマイスナーの立体はそうである。曲面の周長  は、曲面を平面上に直交射影した像の境界の外周の長さである。これらの性質の各々は他の性質を導く。
「球面上のすべてのてんは臍点である」 [注釈] 球面の法線は球の中心から放射状に延びる直線であるから、曲面上の任意の点において法方向は曲面に直角である。法線を含む平面との交線は「法断面」と呼ばれる曲線をなし、その曲線の曲率を「法曲率」と呼ぶ。多くの曲面に対してその上の点の多くは異なる切断に対して異なる曲率を持つ。それら曲率の中で最大および最小の値を持つものを主曲率と言う。任意の閉曲面は少なくとも四つの「臍点」と呼ばれる点を持つ。臍点にいてすべての断面曲率は等しい。臍点は曲面を球面で極めて近似できる点と見なすことができる。 球面に対しては全ての法断面の曲率が等しいから、任意の点が臍点である。この性質を満たす曲面は、球面と平面に限る。
「球面は中心曲面を持たない」 [注釈] 与えられた法断面に対して、断面曲率に等しい曲率を持ち曲面に接する円が存在して、その中心線は法線上に載る。例えば、最大および最小断面曲率に対応する中心点は「焦点」と呼ばれ、そのような中心点全体の成す集合は焦面を成す。 大半の曲面では焦面は二葉曲面を成し、ふたつの葉は臍点で交わる。いくつかの場合は特別である:
管状曲面の場合、一葉は曲線でありもう一葉は曲面となる。
円錐、円筒、トーラス、デュパンのサイクライドの場合は、二葉とも曲線を成す。
球面の場合、任意の接触円の中心は球の中心であり、焦面は一点となる。この性質は球面に対して一意である。
「球面の任意の測地線は閉曲線である」 [注釈] 測地線は曲面上の曲線で、二点間の最短距離を与えるものである。これは平面上の直線の概念を一般化するものである。球面上の測地線は大円。この性質を満足する曲面は他にもたくさんある。
「与えられた体積を持つすべての立体の中で、球は表面積が最も小さくなるもののひとつである。与えられた表面積を持つすべての立体の中で、球は最も大きい体積を持つものの一つである」 [注釈] これは等周不等式から従う。これらの性質は球面を一意に定義し、その定義の仕方はシャボン玉のようなものと思える—シャボン玉は決まった体積を囲んで、その体積に対して表面積は表面張力が極小化されるように決まる。だから自由に浮かぶシャボン玉は球面を近似する。
「与えられた表面積を持つすべての凸立体のなかで、球面は最も小さい全平均曲率を持つ」 [注釈] 平均曲率は二つの主曲率の平均で、球面は全ての点で二つの主曲率が一定であるから、平均曲率も一定。
「球面は一定の平均曲率を持つ」 [注釈] 球面は境界も特異点もなく正の一定平均曲率を持つ唯一の埋め込まれた曲面である。他に一定の平均曲率を持つ埋め込まれた曲面に極小曲面がある。
「球面は正の一定ガウス曲率を持つ」 [注釈] ガウス曲率は二つの主曲率の積である。ガウス曲率は、曲面上の長さや角度を測ることで決定され、その曲面の空間への埋め込みの仕方に依らないという意味で、曲面の持つ内在的な性質である。したがって、曲面を曲げてもガウス曲率は変わらず、またほかの正の一定ガウス曲率を持つ曲面は球面に小さな切れ目を入れてそれを曲げることで得ることができる。そうして得られた球面以外の曲線は境界を持ち、球面は境界を持たない正の一定ガウス曲率を持つ唯一の曲面となる。擬球面は負の一定ガウス曲率を持つ曲面の例である。
「剛体運動の三径数族によって球面は球面自身に変形される」 [注釈] 原点を中心とする単位球面について、任意の座標軸回りの回転でこの球面は自身に写る。原点を通る任意の直線周りの回転は、三座標軸周りの回転の組み合わせで表すことができるから、先の球面をそれ自身に写す任意の回転からなる回転の三径数族が存在する。ほかに変換の三径数族を持つ曲面は、平面に限る。円筒は剛体運動のに径数族を持つ唯一の曲面であり、一径数族を持つ曲面は回転曲面および螺旋面に限る。

10. ギャラリー
---------

Image:Einstein gyro gravity probe b.jpg|An image of one of the most accurate human-made spheres, as it refracts the image of Einstein in the background. This sphere was a fused quartz gyroscope for the Gravity Probe B experiment, and differs in shape from a perfect sphere by no more than 40 atoms  of thickness. It was announced on 1 July 2008 that Australian scientists had created even more nearly perfect spheres, accurate to 0.3   nanometers, as part of an international hunt to find a new global standard kilogram. File:King of spades- spheres.jpg|Deck of playing cards illustrating engineering instruments, England, 1702. King of spades: Spheres

11. 関連項目
--------

三次元球面
アレクサンダーの角付き球面
天球
立方体
曲率
方向統計学
ダイソン球
写像球体を持つ手: マウリッツ・エッシャーによる、表面が鏡である球面の光学的性質と鏡像を形にした自画像
ホバーマンスフィア
超球面 
ナプキンリング問題
オーブ
リーマン球面
立体角
球充填
球冠
球面座標系
地球球体説
球面螺旋: 定歳差を持つ曲線の
球台
球面楔形

12. 注
-----

12.1. 注釈
--------

12.2. 出典
--------

13. 参考文献
--------

14. 外部リンク
---------

[1]