エピグラフ (数学)

実数値関数のエピグラフとは

実数値関数のエピグラフとは、関数が描かれたグラフの上部に位置する点の集まりを指します。具体的には、関数 f: X → R のエピグラフは、直積集合 X × R の中の特定の部分集合として定義されます。この部分集合は次のように表現されます：

$$
\operatorname{epi} f = \{(x, y) : x \in X, y \in \mathbb{R}, y \geq f(x)\}
$$

この定義から、エピグラフは関数がそれぞれの x に対してどのような y の値をとるのか、またその上にどれほどの範囲が広がっているのかを示しています。

ハイポグラフについて

関数のグラフの下部に位置する点の集合は、ハイポグラフと呼ばれます。ハイポグラフは、エピグラフとは逆の性質を持つ集合で、以下のように定義されます：

$$
\operatorname{hyp} f = \{(x, y) : x \in X, y \in \mathbb{R}, y \leq f(x)\}
$$

ここで、ハイポグラフは、関数の下方に広がる部分のアイデンティティを示すものです。

エピグラフとハイポグラフの性質

凸性の関係

エピグラフはその幾何学的特性と関数の解析的特性との間に興味深い関係が存在します。特に、定義域が凸集合である場合、エピグラフが凸集合であることと関数自体が凸であることは同値（互いに等しい）です。これは、エピグラフを利用することで関数がどのように動作するかについて多くの洞察を得ることができることを示しています。

下半連続性との関連

加えて、定義域が位相空間である条件下で、エピグラフが閉集合であることと関数が下半連続であることも同値とされます。これは、関数の連続性とそのエピグラフの性質が密接に結びついていることを意味します。下半連続性が成り立つと、エピグラフ内の特定の点が連続的に保たれるため、解析的な議論を進める上で重要な役割を果たします。

参考文献

この分野の詳細な情報を得るためには、次の参考文献が役立ちます。

• - Aliprantis, Charalambos D.; Border, Kim C. (2006). Infinite Dimensional Analysis: A Hitchhiker's Guide (3rd ed.). Springer. ISBN 978-3-540-32696-0. MR 2378491.

このように、エピグラフやハイポグラフは、関数の性質を深く理解するための重要なツールとなっていることがわかります。数学のさまざまな分野において、これらの概念は有用であり、特に最適化や変分問題においてその真価を発揮します。

もう一度検索