この項目では、三次元空間内の二次元図形について説明しています。一般の球面については「超球面 」を、中身の詰まった立体図形については「球体 」をご覧ください。
球面の二次元投影図
初等幾何学 における球面 (きゅうめん、英 : sphere [注釈 1] )は、完全球体 (ball) の表面を成す三次元空間内の まったく丸い幾何学的対象 である。二次元の場合 に、円板 の境界が円周 であるという関係の三次元的な対応物と考えることができる。
二次元空間における円周がそうであったように、与えられた点からの距離が一定値 r をもつような点全体の成す集合 (ただし今の場合は点は三次元空間内でとる)として球面を定義することができる。このとき、与えられた点をこの球面あるいは球体(距離が r 以下の点全体)の中心 といい、また距離 r をこの球面あるいは球体の半径 と呼ぶ。球体の中を通り、球面上の二点を結ぶ最長の直線(球面の差し渡し)はかならずその中心を通り、半径の二倍に等しい。これを球面あるいは球体の直径 と呼ぶ。
緩い言い方や数学以外の文脈では、「球」が「球面」と「球体」のどちらの意味でも用いられたり、"sphere" と "ball" の意味が入れ違っていたりすることもあるが、数学的には球面 (sphere ) は三次元ユークリッド空間 に埋め込まれた 二次元閉曲面 であり、球体 (ball ) は三次元空間内の球面および球面の囲む「内側」を言うという区別は確立されたものである(いまのように球面を含める場合を特に「閉球体」と呼び、囲む領域に球面をまったく含めない場合には「開球体」と呼ぶ)。この区別は必ず守られるというようなものではないし、特に古い文献では中身の詰まった図形を「球」(sphere) としている。これは二次元 の場合に、「円」が(中身の詰まった)「円板」の意味だったり(境界である)「円周」の意味だったりするのとちょうど同じである。
球面の方程式
two orthogonal radii of a sphere
解析幾何学 において、(x 0 , y 0 , z 0 ) を中心とする半径 r の球面(ユークリッド球面)は
(
x
−
x
0
)
2
+
(
y
−
y
0
)
2
+
(
z
−
z
0
)
2
=
r
2
{\displaystyle (x-x_{0})^{2}+(y-y_{0})^{2}+(z-z_{0})^{2}=r^{2}}
を満たす点
(x , y , z ) 全体の
軌跡 である。
a, b, c, d, e は実数で a ≠ 0 なるものとし、
x
0
:=
−
b
a
,
y
0
:=
−
c
a
,
z
0
:=
−
d
a
,
ρ
:=
b
2
+
c
2
+
d
2
−
a
e
a
2
{\displaystyle x_{0}:={\frac {-b}{a}},\quad y_{0}:={\frac {-c}{a}},\quad z_{0}:={\frac {-d}{a}},\quad \rho :={\frac {b^{2}+c^{2}+d^{2}-ae}{a^{2}}}}
と書けば、上記の方程式は
f
(
x
,
y
,
z
)
:=
a
(
x
2
+
y
2
+
z
2
)
+
2
(
b
x
+
c
y
+
d
z
)
+
e
=
0
{\displaystyle f(x,y,z):=a(x^{2}+y^{2}+z^{2})+2(bx+cy+dz)+e=0}
の形になる。一般にこの形の方程式(
x 2 , y 2 , z 2 の係数が等しく、
xy, yz, zx の項を持たない三変数二次多項式方程式)が与えられたならば、以下の何れか一つのみが成り立つ:
ρ < 0 のときは、この方程式に解となる実点は存在せず、虚球 (imaginary sphere ) の方程式と呼ぶ。
ρ = 0 のとき、方程式 f (x , y , z ) = 0 は中心となる一点 P 0 ≔ (x 0 , y 0 , z 0 ) のみを解とし、点球 (point sphere ) の方程式と言う。
ρ > 0 のときには、f (x , y , z ) = 0 は P 0 を中心とする半径 r ≔ √ ρ の球面の方程式となる(上のふたつと対照する場合、実球 (real sphere ) の方程式と言う)。
上記の方程式で a = 0 としたならば f (x , y , z ) = 0 は平面の方程式となる。そこで平面を無限遠点 を中心とする半径無限大の球と考えることができる。
(x 0 , y 0 , z 0 ) を中心とする半径 r の球面上の点は
{
x
=
x
0
+
r
sin
(
φ
)
cos
(
θ
)
y
=
y
0
+
r
sin
(
φ
)
sin
(
θ
)
z
=
z
0
+
r
cos
(
φ
)
(
0
≤
φ
≤
π
,
0
≤
θ
<
2
π
)
{\displaystyle {\begin{cases}x=x_{0}+r\sin(\varphi )\cos(\theta )\\y=y_{0}+r\sin(\varphi )\sin(\theta )\\z=z_{0}+r\cos(\varphi )\end{cases}}\qquad (0\leq \varphi \leq \pi ,\;0\leq \theta <2\pi )}
と媒介表示できる。
原点を中心とする任意の半径を持つ球面は微分形式
x
d
x
+
y
d
y
+
z
d
z
=
0
x{\mathit {dx}}+y{\mathit {dy}}+z{\mathit {dz}}=0
の積分曲面である。この微分形の方程式は、位置ベクトル (x , y , z ) と速度ベクトル (dx , dy , dz ) が全球面に亙って常に互いに直交 するという事実を反映している。
球面は、円周 をその任意の直径 を軸に回転させた回転曲面 として構成することもできる。円周は特別な種類の楕円 であるから、球面は特別な種類の回転楕円面 (英語版 ) である。円を回転させる代わりに楕円をその長軸 を軸に回転させると長球 、短軸 を軸にすれば扁球 となる。
囲む体積
球面とその外接円筒
三次元空間において、球面の囲む体積 (厳密に言えばこれは球体 の体積だが、古典的にはこれを「球」の体積と呼ぶ)は、半径を r として
V
=
4
3
π
r
3
{\displaystyle V={\frac {4}{3}}\pi r^{3}}
で与えられる。この公式を導いた最初の人は
アルキメデス で、球面の囲む体積が球面とそれに外接する
円筒 (つまり、円筒の高さおよび底面の直径が球面の直径と等しい)の間の体積に二倍に等しいことを示すことで導かれた。この主張は、
カヴァリエリの原理 から得ることができる。この公式を積分を使って導くこともできる: 原点を中心とする半径
r の球を想定すれば、
輪切り積分法 (英語版 ) では、中心が
x -軸に沿って
x = −r から
x = r まで並ぶように無限個積み重ねた無限に薄い円柱 (≈
円板 ) の体積の総和として球面の体積を計算する。あるいは、
球面座標系 の体積要素
d
V
:=
r
2
sin
(
θ
)
d
r
d
θ
d
φ
{\textstyle dV:=r^{2}\sin(\theta ){\mathit {dr}}\,{\mathit {d\theta }}\,{\mathit {d\varphi }}}
を積分しても同じ結果が得られる。
面積
半径 r の球面の表面積 は
A
:=
4
π
r
2
{\displaystyle A:=4\pi r^{2}}
で与えられる。この公式の最初の発見者
アルキメデス は
、外接円筒の側面への射影が面積を保つという事実から公式を導いた。
公式を導く別なやり方は、これが同じく半径 r の球の体積の r に関する微分 に等しいという事実を利用することである。これは、半径 r の球の内部の全体積を、半径 0 から r までの無限に薄い球殻を無限個半径に垂直に 積み重ねた体積の総和として捉えることとして理解できる。無限に薄いという条件により、各球殻の内側と外側の表面積の差は無限小であり、半径 r に対応する球殻の体積は単に半径 r の球面の表面積と無限に小さい厚みとの積として得られることに注意する。あるいはまた、球面座標系 における球面の面積要素 dA ≔ r 2 sin(θ )⋅dθ⋅dφ の積分としても導出できる。
幾何学的性質
球面は同一平面上 にない四点を指定すれば一意に決定される。より一般に、通る点や平面に接するなどの条件が四つあれば球面が一意に決まる。この性質は、平面上の円が同一直線上 にない三点で一意に決まるという性質の三次元空間版と見ることができる。その帰結として、球面は一つの円とその円が属する平面上にない一点によって(それらすべてを通るという意味で)一意に決定できる。
ふたつの球面の方程式の共通解を調べれば、ふたつの球面の交線が円となることが確認できる。その交円を含む平面は交わる球面の根面 (radical plane ) という。根面は実平面だけれども、交円は虚円(二つの球面が共通実点を持たない)や点円(二つの球面が一点で接する )となることもあり得る
交円上の実点における二つの球面の間の成す角とは、その点における各球面の接平面によって定義される二面角 を言う。二つの球面は、その交円上のどの点でも同じ角度で交わる。ふたつの球面が直角に交わる ための必要十分条件は、それら球面の中心間の距離の平方がそれらの半径の平方和に等しいことである。
球束
相異なる二つの球面の方程式 f (x , y , z ) = 0 および g (x , y , z ) = 0 に対して
s
f
(
x
,
y
,
z
)
+
t
g
(
x
,
y
,
z
)
=
0
{\displaystyle sf(x,y,z)+tg(x,y,z)=0}
は、助変数
s, t の任意の値に対して、やはり球面の方程式を与える。適当な
t, s に対してこの方程式を満足する球面すべてからなる
族 を、もとのふたつの球面(生成球面)から定まる
球束 または
球面束 (
pencil of spheres ) と呼ぶ。ただし、この定義において「球面」には平面(無限遠点中心、半径無限大)の場合も許すものとする。生成球面が両方とも平面である場合には、球面束を成すすべての球面が平面となるか、さもなくば球面束はただ一つの平面(生成球面の根面)のみからなる。
球面束がすべて平面からなるのでないならば、それを以下の三種に分類することができる:
生成球面の交円が実円 C ならば、球面束は C を含む球面(根面も含めて)全体の成す族になる。球面束に属する通常の球面(平面でないという意味)の中心の軌跡(中心直線)は C の中心を通り根面に直交する直線上にある。
生成球面の交円が虚円ならば、球面束に属する球面はこの虚円を通るが、通所の球面としてはそれらは交わらない(共通実点はない)。属する球面の中心直線は根面(これは虚円を含む平面で球面束に属す)に直交する。
生成球面の交円が点円 A ならば、束に属する球面は全て点 A において接し、根面は束に属するすべての球面の共通接平面である。中心直線は A において根面と直交する。
根面上の固定された点から束に属する任意の球面に引いた接線の長さは、球面に依らず同じになる。
根面は、束に属する球面すべてに直交する任意の球面の中心が描く軌跡に等しい。もっと言えば、球面束に属する球面の任意のふたつに直交する球面は、束に属するすべての球面と直交し、かつ中心が束の根面上にある。
用語法
球の中心を通る直線上にある球面上の点の対(その直線と球面とのふたつの交点)は対蹠点 (英語版 ) (antipodal points) と呼ばれる。球と中心および半径を共有する球面上の円は大円 と言い、大円により球面は二つの合同な図形に分けられる。球面の平面切断 (英語版 ) は「球面切断」(球面断面)という。球面切断はすべて円であり、そのうちで大円でないものは小円 (英語版 ) と呼ばれる 。
二つの相異なる非対蹠点の間の球面に沿った最短距離とは、それら二点を結ぶただ一つの大円がその二点で切り取られる二つの弧のうちの小さいほう(精確には大きくないほう)の長さである。この「大円距離 」を備えた球面上で大円はリーマン円 (英語版 ) となる。
球面上の特定の点を任意に選んで「北極」とするとき、その対蹠点を「南極」と呼んで、両極点から等距離にある大円を赤道 とする。二つの極点を結ぶ大円は子午線 または経線 と呼び、球の内部を通って両極を結ぶ直線を自転軸 と呼ぶ。赤道と平行となる球面上の円は緯線 である。このような語法は、近似的に楕円体 である(地球 のような)惑星 に対しても用いられるものである(ジオイド も参照)。
半球面
球面の中心を含む任意の平面は、球面をふたつの合同な半球面 (hemisphere ) に分割する。球面の中心を通り交わる任意のふたつの平面は、四つの球面楔形 (英語版 ) または球面二角形に細分割する(これら図形の頂点は、平面の交線上にある対蹠点 (英語版 ) に一致する)。
球面の対蹠点を同一視する商 は実射影平面 (英語版 ) と呼ばれる曲面で、これを赤道にある対蹠点を同一視した北半球 と見ることもできる。
この半球面はリーマン円 (英語版 ) によって最適(面積最小)等長充填となると予想 (英語版 ) されている。 [訳語疑問点 ]
一般化
任意次元
球面の概念を、任意の次元 に対して一般化することができる。自然数 n に対して「n -次元(ユークリッド)球面」("n -sphere") をしばしば Sn と書いて、中心となる定点から半径となる決まった距離 r の位置にある (n + 1 )-次元ユークリッド空間内の点からなる軌跡として定義できる。特に
零次元球面 S 0 は実数直線 内の閉区間 の両端点である。
一次元球面 S 1 は半径 r の円周 である。
二次元球面 S 2 は通常の球面
三次元球面 S 3 は四次元ユークリッド空間内の超球面を表す
n > 2 のとき、超球面 ともいう[注釈 2] 。文献によっては余次元 (英語版 ) が 1 のときに限って超球面 と呼ぶ[注釈 3] 場合も稀にあるので文脈に注意すべきである。
Sn は、特に「単位球面」(原点を中心とする単位半径の球面)を表すために用いられることもある。
(n − 1 )-次元単位超球面の表面積は、ガンマ函数 Γ(z ) を用いて
2
π
n
/
2
Γ
(
n
/
2
)
{\displaystyle {\frac {2\pi ^{n/2}}{\Gamma (n/2)}}}
で与えられる。
距離空間
より一般に、距離空間 (E , d ) において、中心 x および半径 r > 0 の球面(距離球面)は d (x ,y ) = r なる点 y の軌跡として定義される。
中心が E の「原点」として捉えられる識別点にとるとき(例えば、ノルム空間 は原点を持つ距離空間である)、定義や記法にその点は現れないかもしれない。半径を 1 に取るとき、単位球面 と呼ぶのは従来通りである。
距離球体 の場合と異なり、距離球体はそれが十分大きい半径を持つ場合でも空集合となり得る。例えばZ n にユークリッド距離 を入れるとき、半径 r の球面は空でないのは r 2 が n 個の整数の平方和に書けるときに限る。
位相球面
位相幾何学 では、n + 1 次元(位相)球体の境界に同相 な空間として n -次元(位相)球面は定義される。これは n -次元ユークリッド球面(通常の n -次元球面)に同相 となるが、必ずしも距離付けられ ない。
零次元位相球面は、離散位相 の入った点の対である。
一次元位相球面は、同相 の違いを除いて 円周である。たとえば、任意の結び目 は一次元位相球面となる。
二次元位相球面は、同相の違いを除いて通常の球面である。例えば、任意の楕円体 は二次元位相球面となる。
n -次元位相球面もまた Sn と書かれる。位相球面は境界 のないコンパクト 位相多様体 の例になっている。必ずしも可微分多様体 (滑らかな多様体)ではないが、滑らかな場合であってもユークリッド球面に微分同相 とは限らない。
ハイネ–ボレルの被覆定理 により n -次元ユークリッド球面がコンパクトであることが分かる。実際、球面は連続函数 ‖ x ‖ による一点集合の逆像であるから閉集合であり、また Sn は有界である。
驚嘆すべきことに、三次元空間内において自己交叉することを許せば、通常の球面を一切の切れ目を入れることなく裏返すことができる。この一連の方法は 球の裏返し (英語版 ) (sphere eversion) と呼ばれる。
球面幾何学
球面上の大円
ユークリッドの平面幾何学 の基本要素は点 と直線 である。球面上でも、点は通常の意味で定義できる。「直線」に相当するものは測地線 で、いまの場合具体的には大円 である。大円を定義づける特徴は、その上にある点すべてを含む平面が球の中心を通ることである。弧長 によって距離を測ることにすれば、球面上の任意の二点を結ぶ最短経路が、それらの点を含む大円がそれら点で切り取られる円弧のうちの短いほうによって与えられることが証明できる。
古典幾何学 における多くの定理が球面幾何学においても真となるが、球面上では古典幾何の公準 がすべて満足されるわけではない(平行線公準 などは成立しない)から、真とはならない定理も存在する。球面三角法 において、角 は大円の間で定義される。球面三角法は通常の三角法 とは様々な点で異なる。例えば、球面三角形 の内角の和は常に 180° より大きい。あるいはまた、任意の互いに相似 (英語版 ) なふたつの球面三角形は合同 である。
球面に関する11の性質
球面の法ベクトル、法平面およびその法断面。交線の曲率は断面曲率である。球面に対して与えられた点を通る各法断面は同じ半径(それは球の半径に等しい)を持つ円になる。これは球面上の任意の点が臍点であることを意味する。
ダフィット・ヒルベルト とシュテファン・コーン゠フォッセン (英語版 ) の著書 Geometry and the Imagination で彼らは、球面の11の性質を記述し、それらの性質が球面を一意に決定するかどうかについて論じた。それらのうちのいくつかは(半径無限大の球面と看做せる)平面 も満足する。それら11性質とは:
「球面上のすべての点は一つの定点から同一の距離にある。また、ふたつの定点からそれら点への距離の比は一定である」
前半は球面の通常の定義で、球面を一意に決定する。後半は容易に導かれ、円周 に対するペルガのアポロニウス の結果 と同様のことが従う。後半の内容は平面も満たす。
「球面の等高線および平面切断はすべて円である」
この性質は球面を一意に定義する。
「球面は幅が一定かつ周長が一定である」
曲面の幅は平行な接平面の対の間の距離として測る。他にもいくつか定幅の凸閉曲面はあり、たとえばマイスナーの立体 (英語版 ) はそうである。曲面の周長 (girth) は、曲面を平面上に直交射影した像の境界の外周の長さである。これらの性質の各々は他の性質を導く。
「球面上のすべてのてんは臍点 (英語版 ) である」
球面の法線は球の中心から放射状に延びる直線であるから、曲面上の任意の点において法方向 は曲面に直角である。法線を含む平面との交線は「法断面」と呼ばれる曲線をなし、その曲線の曲率を「法曲率」と呼ぶ。多くの曲面に対してその上の点の多くは異なる切断に対して異なる曲率を持つ。それら曲率の中で最大および最小の値を持つものを主曲率 と言う。任意の閉曲面は少なくとも四つの「臍点」と呼ばれる点を持つ。臍点にいてすべての断面曲率(特にふたつの主曲率)は等しい。臍点は曲面を球面で極めて近似できる点と見なすことができる。
球面に対しては全ての法断面の曲率が等しいから、任意の点が臍点である。この性質を満たす曲面は、球面と平面に限る。
「球面は中心曲面を持たない」
与えられた法断面に対して、断面曲率に等しい曲率を持ち曲面に接する円が存在して、その中心線は法線上に載る。例えば、最大および最小断面曲率に対応する中心点は「焦点」と呼ばれ、そのような中心点全体の成す集合は焦面 (英語版 ) を成す。
大半の曲面では焦面は二葉曲面(それぞれが曲面となるような二つの集合)を成し、ふたつの葉は臍点で交わる。いくつかの場合は特別である:
管状曲面 (英語版 ) の場合、一葉は曲線でありもう一葉は曲面となる。
円錐 、円筒、トーラス 、サイクライド (英語版 ) の場合は、二葉とも曲線を成す。
球面の場合、任意の接触円の中心は球の中心であり、焦面は一点となる。この性質は球面に対して一意である。
「球面の任意の測地線は閉曲線である」
測地線 は曲面上の曲線で、二点間の最短距離を与えるものである。これは平面上の直線の概念を一般化するものである。球面上の測地線は大円。この性質を満足する曲面は他にもたくさんある。
「与えられた体積を持つすべての立体の中で、球は表面積が最も小さくなるもののひとつである。与えられた表面積を持つすべての立体の中で、球は最も大きい体積を持つものの一つである」
これは等周不等式 (英語版 ) から従う。これらの性質は球面を一意に定義し、その定義の仕方はシャボン玉 のようなものと思える—シャボン玉は決まった体積を囲んで、その体積に対して表面積は表面張力 が極小(最小)化されるように決まる。だから自由に浮かぶシャボン玉は球面を近似する(重力のような外力がシャボン玉の形状をやや歪ませる)。
「与えられた表面積を持つすべての凸立体のなかで、球面は最も小さい全平均曲率を持つ」
平均曲率 (英語版 ) は二つの主曲率の平均で、球面は全ての点で二つの主曲率が一定であるから、平均曲率も一定。
「球面は一定の平均曲率を持つ」
球面は境界も特異点もなく正の一定平均曲率を持つ唯一の埋め込まれた曲面である。他に一定の平均曲率を持つ埋め込まれた曲面に極小曲面 がある。
「球面は正の一定ガウス曲率を持つ」
ガウス曲率 は二つの主曲率の積である。ガウス曲率は、曲面上の長さや角度を測ることで決定され、その曲面の空間への埋め込みの仕方に依らないという意味で、曲面の持つ内在的な性質である。したがって、曲面を曲げてもガウス曲率は変わらず、またほかの正の一定ガウス曲率を持つ曲面は球面に小さな切れ目を入れてそれを曲げることで得ることができる。そうして得られた球面以外の曲線は境界を持ち 、球面は境界を持たない正の一定ガウス曲率を持つ唯一の曲面となる。擬球面 (英語版 ) は負の一定ガウス曲率を持つ曲面の例である。
「剛体運動の三径数族によって球面は球面自身に変形される」
原点を中心とする単位球面について、任意の座標軸回りの回転でこの球面は自身に写る。原点を通る任意の直線周りの回転は、三座標軸周りの回転の組み合わせで表すことができる(オイラー角 の項を参照)から、先の球面をそれ自身に写す任意の回転からなる回転の三径数族が存在する(この族は三次元回転群 SO (3) である)。ほかに変換の三径数族を持つ曲面は、平面(この場合の族は、x -軸および y -軸に沿った平行移動 と原点を中心とする回転で径数付けられる)に限る。円筒は剛体運動のに径数族を持つ唯一の曲面であり、一径数族を持つ曲面は回転曲面 および螺旋面 (英語版 ) に限る。
ギャラリー
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 (less than 10
nanometers ) 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 .
Deck of playing cards illustrating engineering instruments, England, 1702.
King of spades : Spheres
関連項目
注
注釈
^ 古希 : σφαῖρα (sphaira ) に由来
^ 超立方体 などと同じく「高次元」図形で相当するものという意味で「超」球面と呼んでいる
^ この「超-」の使い方は、超平面 などと同じ語法である。
出典
参考文献
Albert, Abraham Adrian (2016) , Solid Analytic Geometry , Dover, ISBN 978-0-486-81026-3
Dunham, William. The Mathematical Universe: An Alphabetical Journey Through the Great Proofs, Problems and Personalities . pp. 28, 226. ISBN 0-471-17661-3
Kreyszig, Erwin (1972), Advanced Engineering Mathematics (3rd ed.), New York: Wiley , ISBN 0-471-50728-8
Steinhaus, H. (1969), Mathematical Snapshots (Third American ed.), Oxford University Press
Woods, Frederick S. (1961) , Higher Geometry / An Introduction to Advanced Methods in Analytic Geometry , Dover
外部リンク