閉凸函数

閉函数の定義と特性

数学では、関数の性質を調べることが重要なテーマの一つです。その中でも、閉函数は特に関心を集める概念です。ここでは、閉函数とは何か、その定義や性質について詳しく説明します。

閉函数の定義

関数 $f: \mathbb{R}^n \to \mathbb{R}$ が閉であるとは、任意の実数 $\alpha \in \mathbb{R}$ に対して、次の劣位集合が閉集合であることを指します：

$$\{ x \in \operatorname{dom} f \mid f(x) \leq \alpha \}$$

この条件を満たすと、私たちは関数 $f$ が閉であるとみなします。また、同等の条件として、関数のエピグラフが閉であることも指摘できます。エピグラフ $\operatorname{epi} f$ は以下のように定義されます：

$$\operatorname{epi} f = \{(x, t) \in \mathbb{R}^{n+1} \mid x \in \operatorname{dom} f,\; f(x) \leq t\}$$

このエピグラフが閉であれば、関数 $f$ は閉とされます。

閉函数と凸関数

この閉の定義はすべての関数に適用可能ですが、主に凸関数において使われます。特に、真凸関数が閉であるための必要十分条件は、その関数が下半連続であることです。真凸関数とは、凹みがない関数のことを指し、すべての点において接線がその関数の下に位置します。

対して、真凸関数でない凸関数の場合、関数の「閉包」と呼ばれる概念は、通常とは異なる点に留意する必要があります。つまり、真凸関数に対する特定の性質が成り立たないことがあります。

閉関数の性質

もう一つの重要な性質として、連続関数 $f: \mathbb{R}^n \to \mathbb{R}$ があり、その定義域 $\operatorname{dom} f$ が閉である場合、関数 $f$ も閉であることが示されています。これは、関数の性質をより理解する助けとなります。

さらに、閉真凸関数 $f$ は、下にあるすべてのアフィン関数 $h$ （これを $f$ のアフィン劣関数と呼びます）を満たすすべての点において、その上限として表されることが分かっています。つまり、閉真凸関数の形成において、アフィン関数との深い関係が確認されます。

参考文献

閉函数や凸関数の詳細を学ぶためには、以下の文献を参考にすることが勧められます。

• - Boyd, Lieven Vandenberghe and Stephen (2004). Convex optimization. New York: Cambridge. ISBN 978-0521833783.
• - Rockafellar, R. Tyrrell (1997) [1970]. Convex Analysis. Princeton, NJ: Princeton University Press. ISBN 978-0-691-01586-6.

これらの文献は、閉函数とその特性、さらには最適化理論における応用について深く掘り下げた内容となっており、学問的に有益な参考材料といえるでしょう。

もう一度検索