球面
初等幾何学における球面（きゅうめん、）は、完全球体 (ball) の表面を成す三次元空間内のまったく丸い幾何学的対象である。二次元の場合に、円板の境界が円周であるという関係の三次元的な対応物と考えることができる。
二次元空間における円周がそうであったように、与えられた点からの距離が一定値 をもつような点全体の成す集合（ただし今の場合は点は三次元空間内でとる）として球面を定義することができる。このとき、与えられた点をこの球面あるいは球体（距離が 以下の点全体）の中心といい、また距離 をこの球面あるいは球体の半径と呼ぶ。球体の中を通り、球面上の二点を結ぶ最長の直線（球面の差し渡し）はかならずその中心を通り、半径の二倍に等しい。これを球面あるいは球体の直径と呼ぶ。
緩い言い方や数学以外の文脈では、「球」が「球面」と「球体」のどちらの意味でも用いられたり、"sphere" と "ball" の意味が入れ違っていたりすることもあるが、数学的には球面 ("sphere") は三次元ユークリッド空間に埋め込まれた二次元閉曲面であり、球体 ("ball") は三次元空間内の球面および球面の囲む「内側」を言うという区別は確立されたものである（いまのように球面を含める場合を特に「閉球体」と呼び、囲む領域に球面をまったく含めない場合には「開球体」と呼ぶ）。この区別は必ず守られるというようなものではないし、特に古い文献では中身の詰まった図形を「球」(sphere) としている。これは二次元の場合に、「円」が（中身の詰まった）「円板」の意味だったり（境界である）「円周」の意味だったりするのとちょうど同じである。
解析幾何学において、 を中心とする半径 の球面（ユークリッド球面）は formula_1 を満たす点 全体の軌跡である。
 は実数で なるものとし、formula_2 と書けば、上記の方程式は formula_3 の形になる。一般にこの形の方程式（ の係数が等しく、 の項を持たない三変数二次多項式方程式）が与えられたならば、以下の何れか一つのみが成り立つ:
上記の方程式で としたならば は平面の方程式となる。そこで平面を無限遠点を中心とする半径無限大の球と考えることができる。
 を中心とする半径 の球面上の点は　formula_4 と媒介表示できる。
原点を中心とする任意の半径を持つ球面は微分形式 formula_5 の積分曲面である。この微分形の方程式は、位置ベクトル と速度ベクトル が全球面に亙って常に互いに直交するという事実を反映している。
球面は、円周をその任意の直径を軸に回転させた回転曲面として構成することもできる。円周は特別な種類の楕円であるから、球面は特別な種類のである。円を回転させる代わりに楕円をその長軸を軸に回転させると長球、短軸を軸にすれば扁球となる。
三次元空間において、球面の囲む体積（厳密に言えばこれは球体の体積だが、古典的にはこれを「球」の体積と呼ぶ）は、半径を として formula_6 で与えられる。この公式を導いた最初の人はアルキメデスで、球面の囲む体積が球面とそれに外接する円筒（つまり、円筒の高さおよび底面の直径が球面の直径と等しい）の間の体積に二倍に等しいことを示すことで導かれた。この主張は、カヴァリエリの原理から得ることができる。この公式を積分を使って導くこともできる: 原点を中心とする半径 の球を想定すれば、では、中心が -軸に沿って から まで並ぶように無限個積み重ねた無限に薄い円柱 (≈ 円板) の体積の総和として球面の体積を計算する。あるいは、球面座標系の体積要素 formula_7 を積分しても同じ結果が得られる。
半径 の球面の表面積は formula_8 で与えられる。この公式の最初の発見者アルキメデスは、外接円筒の側面への射影が面積を保つという事実から公式を導いた。
公式を導く別なやり方は、これが同じく半径 の球の体積の に関する微分に等しいという事実を利用することである。これは、半径 の球の内部の全体積を、半径 から までの無限に薄い球殻を無限個積み重ねた体積の総和として捉えることとして理解できる。無限に薄いという条件により、各球殻の内側と外側の表面積の差は無限小であり、半径 に対応する球殻の体積は単に半径 の球面の表面積と無限に小さい厚みとの積として得られることに注意する。あるいはまた、球面座標系における球面の面積要素 の積分としても導出できる。