球面

初等幾何学における球面（きゅうめん、）は、完全球体 (ball) の表面を成す三次元空間内のまったく丸い幾何学的対象である。二次元の場合に、円板の境界が円周であるという関係の三次元的な対応物と考えることができる。
二次元空間における円周がそうであったように、与えられた点からの距離が一定値 をもつような点全体の成す集合（ただし今の場合は点は三次元空間内でとる）として球面を定義することができる。このとき、与えられた点をこの球面あるいは球体（距離が 以下の点全体）の中心といい、また距離 をこの球面あるいは球体の半径と呼ぶ。球体の中を通り、球面上の二点を結ぶ最長の直線（球面の差し渡し）はかならずその中心を通り、半径の二倍に等しい。これを球面あるいは球体の直径と呼ぶ。
緩い言い方や数学以外の文脈では、「球」が「球面」と「球体」のどちらの意味でも用いられたり、"sphere" と "ball" の意味が入れ違っていたりすることもあるが、数学的には球面 ("sphere") は三次元ユークリッド空間に埋め込まれた二次元閉曲面であり、球体 ("ball") は三次元空間内の球面および球面の囲む「内側」を言うという区別は確立されたものである（いまのように球面を含める場合を特に「閉球体」と呼び、囲む領域に球面をまったく含めない場合には「開球体」と呼ぶ）。この区別は必ず守られるというようなものではないし、特に古い文献では中身の詰まった図形を「球」(sphere) としている。これは二次元の場合に、「円」が（中身の詰まった）「円板」の意味だったり（境界である）「円周」の意味だったりするのとちょうど同じである。
解析幾何学において、 を中心とする半径 の球面（ユークリッド球面）は formula_1 を満たす点 全体の軌跡である。
 は実数で なるものとし、formula_2 と書けば、上記の方程式は formula_3 の形になる。一般にこの形の方程式（ の係数が等しく、 の項を持たない三変数二次多項式方程式）が与えられたならば、以下の何れか一つのみが成り立つ:
上記の方程式で としたならば は平面の方程式となる。そこで平面を無限遠点を中心とする半径無限大の球と考えることができる。
 を中心とする半径 の球面上の点は　formula_4 と媒介表示できる。
原点を中心とする任意の半径を持つ球面は微分形式 formula_5 の積分曲面である。この微分形の方程式は、位置ベクトル と速度ベクトル が全球面に亙って常に互いに直交するという事実を反映している。
球面は、円周をその任意の直径を軸に回転させた回転曲面として構成することもできる。円周は特別な種類の楕円であるから、球面は特別な種類のである。円を回転させる代わりに楕円をその長軸を軸に回転させると長球、短軸を軸にすれば扁球となる。
三次元空間において、球面の囲む体積（厳密に言えばこれは球体の体積だが、古典的にはこれを「球」の体積と呼ぶ）は、半径を として formula_6 で与えられる。この公式を導いた最初の人はアルキメデスで、球面の囲む体積が球面とそれに外接する円筒（つまり、円筒の高さおよび底面の直径が球面の直径と等しい）の間の体積に二倍に等しいことを示すことで導かれた。この主張は、カヴァリエリの原理から得ることができる。この公式を積分を使って導くこともできる: 原点を中心とする半径 の球を想定すれば、では、中心が -軸に沿って から まで並ぶように無限個積み重ねた無限に薄い円柱 (≈ 円板) の体積の総和として球面の体積を計算する。あるいは、球面座標系の体積要素 formula_7 を積分しても同じ結果が得られる。
半径 の球面の表面積は formula_8 で与えられる。この公式の最初の発見者アルキメデスは、外接円筒の側面への射影が面積を保つという事実から公式を導いた。
公式を導く別なやり方は、これが同じく半径 の球の体積の に関する微分に等しいという事実を利用することである。これは、半径 の球の内部の全体積を、半径 から までの無限に薄い球殻を無限個積み重ねた体積の総和として捉えることとして理解できる。無限に薄いという条件により、各球殻の内側と外側の表面積の差は無限小であり、半径 に対応する球殻の体積は単に半径 の球面の表面積と無限に小さい厚みとの積として得られることに注意する。あるいはまた、球面座標系における球面の面積要素 の積分としても導出できる。
幾何学的性質.
球面は同一平面上にない四点を指定すれば一意に決定される。より一般に、通る点や平面に接するなどの条件が四つあれば球面が一意に決まる。この性質は、平面上の円が同一直線上にない三点で一意に決まるという性質の三次元空間版と見ることができる。その帰結として、球面は一つの円とその円が属する平面上にない一点によって（それらすべてを通るという意味で）一意に決定できる。
ふたつの球面の方程式の共通解を調べれば、ふたつの球面の交線が円となることが確認できる。その交円を含む平面は交わる球面の根面 ("radical plane") という。根面は実平面だけれども、交円は虚円（二つの球面が共通実点を持たない）や点円（二つの球面が一点で接する）となることもあり得る
交円上の実点における二つの球面の間の成す角とは、その点における各球面の接平面によって定義される二面角を言う。二つの球面は、その交円上のどの点でも同じ角度で交わる。ふたつの球面が直角に交わるための必要十分条件は、それら球面の中心間の距離の平方がそれらの半径の平方和に等しいことである。
球束.
相異なる二つの球面の方程式 および に対して formula_9 は、助変数 の任意の値に対して、やはり球面の方程式を与える。適当な に対してこの方程式を満足する球面すべてからなる族を、もとのふたつの球面（生成球面）から定まる球束または球面束 ("pencil of spheres") と呼ぶ。ただし、この定義において「球面」には平面（無限遠点中心、半径無限大）の場合も許すものとする。生成球面が両方とも平面である場合には、球面束を成すすべての球面が平面となるか、さもなくば球面束はただ一つの平面（生成球面の根面）のみからなる。
球面束がすべて平面からなるのでないならば、それを以下の三種に分類することができる:
根面上の固定された点から束に属する任意の球面に引いた接線の長さは、球面に依らず同じになる。
根面は、束に属する球面すべてに直交する任意の球面の中心が描く軌跡に等しい。もっと言えば、球面束に属する球面の任意のふたつに直交する球面は、束に属するすべての球面と直交し、かつ中心が束の根面上にある。
用語法.
球の中心を通る直線上にある球面上の点の対（その直線と球面とのふたつの交点）は (antipodal points) と呼ばれる。球と中心および半径を共有する球面上の円は大円と言い、大円により球面は二つの合同な図形に分けられる。球面のは「球面切断」（球面断面）という。球面切断はすべて円であり、そのうちで大円でないものはと呼ばれる。
二つの相異なる非対蹠点の間の球面に沿った最短距離とは、それら二点を結ぶただ一つの大円がその二点で切り取られる二つの弧のうちの小さいほう（精確には大きくないほう）の長さである。この「大円距離」を備えた球面上で大円はとなる。
球面上の特定の点を任意に選んで「北極」とするとき、その対蹠点を「南極」と呼んで、両極点から等距離にある大円を赤道とする。二つの極点を結ぶ大円は子午線または経線と呼び、球の内部を通って両極を結ぶ直線を自転軸と呼ぶ。赤道と平行となる球面上の円は緯線である。このような語法は、近似的に楕円体である（地球のような）惑星に対しても用いられるものである（ジオイドも参照）。
球面の中心を含む任意の平面は、球面をふたつの合同な半球面 ("hemisphere") に分割する。球面の中心を通り交わる任意のふたつの平面は、四つのまたは球面二角形に細分割する（これら図形の頂点は、平面の交線上にあるに一致する）。
球面の対蹠点を同一視する商はと呼ばれる曲面で、これを赤道にある対蹠点を同一視した北半球と見ることもできる。
一般化.
球面の概念を、任意の次元に対して一般化することができる。自然数 に対して「-次元（ユークリッド）球面」("-sphere") をしばしば と書いて、中心となる定点から半径となる決まった距離 の位置にある ()-次元ユークリッド空間内の点からなる軌跡として定義できる。特に
 のとき、超球面ともいう。文献によってはが 1 のときに限って超球面と呼ぶ場合も稀にあるので文脈に注意すべきである。
 は、特に「単位球面」（原点を中心とする単位半径の球面）を表すために用いられることもある。
()-次元単位超球面の表面積は、ガンマ函数 を用いて formula_10 で与えられる。
より一般に、距離空間 において、中心 および半径 の球面（距離球面）は なる点 の軌跡として定義される。
中心が の「原点」として捉えられる識別点にとるとき（例えば、ノルム空間は原点を持つ距離空間である）、定義や記法にその点は現れないかもしれない。半径を に取るとき、単位球面と呼ぶのは従来通りである。
距離球体の場合と異なり、距離球体はそれが十分大きい半径を持つ場合でも空集合となり得る。例えば にユークリッド距離を入れるとき、半径 の球面は空でないのは が 個の整数の平方和に書けるときに限る。
位相球面.
位相幾何学では、 次元（位相）球体の境界に同相な空間として -次元（位相）球面は定義される。これは -次元ユークリッド球面（通常の -次元球面）に同相となるが、必ずしも距離付けられない。
-次元位相球面もまた と書かれる。位相球面は境界のないコンパクト位相多様体の例になっている。必ずしも可微分多様体（滑らかな多様体）ではないが、滑らかな場合であってもユークリッド球面に微分同相とは限らない。
ハイネ–ボレルの被覆定理により -次元ユークリッド球面がコンパクトであることが分かる。実際、球面は連続函数 による一点集合の逆像であるから閉集合であり、また は有界である。
驚嘆すべきことに、三次元空間内において自己交叉することを許せば、通常の球面を一切の切れ目を入れることなく裏返すことができる。この一連の方法は (sphere eversion) と呼ばれる。
球面幾何学.
ユークリッドの平面幾何学の基本要素は点と直線である。球面上でも、点は通常の意味で定義できる。「直線」に相当するものは測地線で、いまの場合具体的には大円である。大円を定義づける特徴は、その上にある点すべてを含む平面が球の中心を通ることである。弧長によって距離を測ることにすれば、球面上の任意の二点を結ぶ最短経路が、それらの点を含む大円がそれら点で切り取られる円弧のうちの短いほうによって与えられることが証明できる。
古典幾何学における多くの定理が球面幾何学においても真となるが、球面上では古典幾何の公準がすべて満足されるわけではない（平行線公準などは成立しない）から、真とはならない定理も存在する。球面三角法において、角は大円の間で定義される。球面三角法は通常の三角法とは様々な点で異なる。例えば、球面三角形の内角の和は常に より大きい。あるいはまた、任意の互いになふたつの球面三角形は合同である。
球面に関する11の性質.
ダフィット・ヒルベルトとの著書 "Geometry and the Imagination"で彼らは、球面の11の性質を記述し、それらの性質が球面を一意に決定するかどうかについて論じた。それらのうちのいくつかは（半径無限大の球面と看做せる）平面も満足する。それら11性質とは: