エピグラフ (数学)

区間上で定義された関数のエピグラフ

実数値関数のエピグラフ (テンプレート:Lang-en-short) とは、関数のグラフの上位にある点からなる集合を指す。すなわち、関数 テンプレート:Math のエピグラフとは直積集合 テンプレート:Math の部分集合

$\mathrm{epi}f=\{(x,y):x\in X,y\in 𝐑,y\ge f(x)\}$

であるテンプレート:Sfn。

これと同様にして関数のグラフの下位にある点からなる集合

$\mathrm{hyp}f=\{(x,y):x\in X,y\in 𝐑,y\le f(x)\}$

をハイポグラフ (テンプレート:Lang-en-short) という。

性質

エピグラフの幾何的な性質と関数の解析的な性質との間には次のような関係がある。

• 定義域が凸集合であるとき、エピグラフが凸集合であることと関数が凸であることとは同値である。

• 定義域が位相空間であるとき、エピグラフが閉集合であることと関数が下半連続であることとは同値であるテンプレート:Sfn。

参考文献

• テンプレート:Cite book