球面空間形

$\Gamma\subset SO(4)$ を、$S^3$ に自由に（単位元以外は固定点を持たずに）作用する有限部分群とする。商多様体 $S^3/\Gamma$ を球面空間形という。$S^3$ の丸い計量は $\Gamma$ で不変なので、$S^3/\Gamma$ は断面曲率が正の定数の計量を持つ。