等位集合

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

$L_c(f)=\{(x_1,\dots ,x_n)\mid f(x_1,\dots ,x_n)=c\}$

で与えられる。

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

勾配との関係

函数 テンプレート:Mvar のグラフを山に見立てて考えると、青の曲線群は等高線を示しており、また赤の曲線群は勾配方向に沿って伸びる。

定理

各点における テンプレート:Mvar の勾配は、その点を通る等位線と直交する。

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

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

$f(𝐱(t))=f({𝐱}_0)=c$

を満たす。テンプレート:Math のとき、この両辺を（合成函数の微分公式に従って）微分して

$J_f({𝐱}_0){𝐱}^{\prime }(0)=0$

が得られるが、この場合 テンプレート:Math におけるヤコビ行列 テンプレート:Mvar は テンプレート:Mvar の テンプレート:Math における 勾配で与えられるので、

$\mathrm{\nabla }f({𝐱}_0)\cdot {𝐱}^{\prime }(0)=0$

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

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

関連概念

等位集合と関連して、

$L\underset{c}{\overset{-}{\mathrm{\backslash nolimits}}}(f):=\{(x_1,\dots ,x_n)\mid f(x_1,\dots ,x_n)\le c\}$

なる形の集合を テンプレート:Mvar の劣位集合または下位集合 (sub­level set, lower level set) あるいは溝 (trench) と言い、同様に

$L_c^{+}(f):=\{(x_1,\dots ,x_n)\mid f(x_1,\dots ,x_n)\ge c\}$

は テンプレート:Mvar の優位集合または上位集合 (super­level set) と言う。

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

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

関連項目

• テンプレート:仮リンク（陰函数曲面）
• テンプレート:仮リンク
• テンプレート:仮リンク（エピグラフ）
• テンプレート:仮リンク (LSM)
• Level set (data structures)

外部リンク

• テンプレート:MathWorld
• テンプレート:PlanetMath
• テンプレート:SpringerEOM
• テンプレート:Nlab