象限

数学の幾何学において、象限（しょうげん、英: orthant）^[1]あるいは超八分儀（hyperoctant）^[2]とは、平面における四分儀（quadrant）あるいは三次元における八分儀などのようなもので、n-次元ユークリッド空間において定義される。

一般に、n-次元象限は n 個の相互直交半空間（英語版）である。半空間の符号を置換することで、n-次元空間には 2ⁿ 個の象限が存在する。

より具体的に、Rⁿ 内の閉象限（closed orthant）は、各デカルト座標系を非負あるいは非正に制限することで定義される部分集合である。そのような部分集合は、次の不等式の系として定義される：

ε₁x₁ ≥ 0      ε₂x₂ ≥ 0     · · ·     ε_nx_n ≥ 0,

ここで各 ε_i は +1 か −1 のいずれかである。

同様に、Rⁿ 内の開象限（open orthant）は、狭義の不等式

ε₁x₁ > 0      ε₂x₂ > 0     · · ·     ε_nx_n > 0,

の系として定義される。ここで各 ε_i は +1 か −1 のいずれかである。

次元によって、次のように呼ばれる：

1. 一次元では、象限は半直線である。
2. 二次元では、象限は四分儀である。
3. 三次元では、象限は八分儀である。

ジョン・ホートン・コンウェイは、各象限ごとに一つ、計 2ⁿ 個の単体ファセットを持つ n-次元正多胞体に対して、 n-正軸体（orthoplex）という語を定義した^[3]。

• 正軸体 - 各象限空間におけるある単体ファセットによって構成される n-次元の正多胞体の族
• 超立方体 - 各象限空間におけるある頂点によって構成される n-次元正多胞体の族
• 超直方体 - 各象限に一つ頂点を持つ、直方体の n-次元への一般化