超平面

超平面は、私たちがよく知る2次元の「平面」という概念を、3次元以上の高次元空間へと一般化したものです。これは数学、特に幾何学や線形代数の分野で基礎となる重要な概念です。n次元の空間を考えるとき、その空間における超平面とは、次元がn-1であるような「平坦な」部分空間のことを指します。これはまた「余次元が1」であるとも表現されます。すなわち、超平面は、その存在する空間よりも一段階だけ低い次元を持つ構造体です。

超平面の最も顕著な性質の一つは、それが全体の空間を二つの互いに異なる領域、すなわち二つの「半空間」に分割する能力を持っている点です。ちょうど2次元の直線が平面を二つの半平面に分けるように、あるいは3次元の平面が空間を二つの半空間に分けるように、n次元空間の超平面も同様に空間を二分します。

数学的には、超平面は通常、単独の一次方程式によってシンプルに表現されます。空間内の点 `(x₁, x₂, ..., xn)` が超平面上にあるならば、それは `a₁x₁ + a₂x₂ + ... + a_nx_n = b` という形の一次方程式を満たします。ここで、少なくとも一つの係数 `aᵢ` はゼロではありません。この方程式を満たす点の集合全体が超平面を形成します。特に、もし定数項 `b` がゼロである場合、この超平面は空間の原点を通ります。

超平面の概念は、それを考える空間の種類によってその定義や性質が少し異なります。主なものとして、アフィン空間、線型空間、射影空間における超平面が挙げられます。

アフィン超平面: アフィン空間におけるアフィン超平面は、余次元が1のアフィン部分空間です。これは前述の一次方程式 `a₁x₁ + ... + a_nx_n = b` によって定義されます。特に、実数座標を持つ空間（実アフィン空間）においては、この方程式の等号を不等号（`<` や `>`）に変えることで、超平面によって空間が分けられた二つの半空間を表すことができます。
具体的な例としては、2次元空間における直線や、3次元空間における平面がアフィン超平面にあたります。一方で、3次元空間内の直線は次元が1であり、空間を二つの領域に分割しないため、超平面ではありません。ユークリッド空間のように実数座標を持つ空間では、任意のアフィン超平面は、空間を二つの連結した領域（半空間）に明確に分割します。また、このような超平面には、面に垂直な方向を示す二つの単位法ベクトルが存在します。アフィン超平面は、機械学習、特に線形分類のアルゴリズム（例：サポートベクターマシン）において、異なるクラスのデータを分離する「決定境界」として広く利用されています。

線型超平面: 線型空間における超平面は、余次元が1の線型部分空間のことを指します。これは必ず空間の原点を通るタイプの超平面であり、その特徴は、単独の斉次一次方程式（右辺がゼロ、`a₁x₁ + ... + a_nx_n = 0`）の解全体の集合と一致する点にあります。アフィン超平面は、この線型超平面を空間内で平行移動させたものとして捉えることができます。

* 射影超平面: 射影幾何学の枠組みでは、射影超平面が考えられます。射影空間は、通常のアフィン空間に「無限遠点」や「理想点」と呼ばれる特殊な点を付け加えることで構築される空間です。射影超平面は、アフィン超平面上の点に、その超平面の方向に対応する無限遠点を加えた集合と見なすことができます。特に、無限遠点のみから構成される特別な射影超平面を「無限遠超平面」と呼びます。実射影空間の場合、空間自体が「閉じた」構造を持つため、単独の射影超平面が空間を二つの部分に分割することはありません。空間内の点を分離するためには、通常二つの超平面が必要となります。

二面角と鏡映

ユークリッド空間において、平行ではない二つの超平面が交わる場合、それらが成す「二面角」は、それぞれの超平面に垂直な法ベクトル同士が成す角度として定義されます。さらに興味深いことに、それぞれの超平面に関して点や図形を反転させる「鏡映変換」を連続して行うと、その合成変換は回転となります。この回転の中心軸は二つの超平面の交線（または交わりとなる余次元2の部分空間）上にあり、回転の角度は、二つの超平面が成す角のちょうど二倍になります。

超平面は、幾何学、線形代数、関数解析学といった純粋数学の領域だけでなく、最適化理論、計算幾何学、そして上述の機械学習など、様々な分野で重要なツールとして活用されています。関連概念として、超曲面（より一般的な高次元の曲面）、決定境界、分離超平面定理などが挙げられます。

もう一度検索