等位集合

数学における等値集合または等位集合（とういしゅうごう、）は、与えられた写像が決められた値を取るような定義域に属する元全体の成す集合を言う。例えば、-変数の実数値函数に対し、実数値に対する等位集合は

で与えられる。

二変数の場合には、等位集合は曲線を描き、等位（曲）線 (level curve), 等高線 (contour line), 等値線 (isoline) などと呼ばれる。同様に三変数のときの等位集合は、等位（曲）面 (level surface), 等値面 (isosurface) と言い、またさらに高次元の場合を等位超曲面 (level hypersurface) と呼ぶことがある。

勾配との関係

定理各点におけるの勾配は、その点を通る等位線と直交する。

この結果は重要である。これを理解するために、山の同じ位置にいる二人の登山者を以下のように想定しよう。一方は無鉄砲な性格で、勾配の最も急峻な方向をたどって山頂をめざすものとし、他方は用心深い性格で、滑落せずに景色を望むために高度を保って進む道を選んだとする。そうすると、この喩話において上記の定理は「二人の登山者の路程は、初期位置において直交する」ことを述べるものになる。

証明はさほど難しくない。一点を固定して、この点を通る等位線を考える。適当な助変数を導入して、この等位線をかつなるように書けば、

を満たす。のとき、この両辺を（合成函数の微分公式に従って）微分して

が得られるが、この場合におけるヤコビ行列はのにおける勾配で与えられるので、

と書いても同じことである。従って、のにおける勾配は、において接線（およびこの点を通る等位線）と直交する。曲線は任意に選んだのであるから、勾配は等位線と直交する。

この定理からの帰結として、直線が（より正確には多様体あるいは可微分超曲面でない）等位線と交わるならば、その勾配は各交点において消える。従って、任意の交点は臨界点である。

関連概念等位集合と関連して、

なる形の集合をの劣位集合または下位集合 (sublevel set, lower level set) あるいは溝 (trench) と言い、同様に

はの優位集合または上位集合 (superlevel set) と言う。

凸函数の劣位集合は凸集合になる（が、逆は必ずしも成り立たない）。

等位集合はとも書けるから、ファイバーの特別な場合と考えることができる。

参考文献

Źródło i licencja