ラーデマッヘルの定理

数学の解析学分野における fundamental な定理の一つに、ラーデマッヘルの定理があります。この定理は、ドイツの数学者ハンス・ラーデマッヘルの業績を称えて名付けられており、特に多変数関数の滑らかさに関する重要な性質を明らかにしています。解析学では、関数の微分可能性が中心的な関心事となりますが、この定理は、ある種の連続性を持つ関数が、きわめて広い範囲で微分可能となることを示しています。

定理の主張

ラーデマッヘルの定理は、厳密には次のように述べられます。

ユークリッド空間 $\mathbb{R}^n$ 内のある開集合 $U$ を考えます。そして、この開集合 $U$ から別のユークリッド空間 $\mathbb{R}^m$ への関数 $f: U \to \mathbb{R}^m$ を考えます。もしこの関数 $f$ が $U$ 上でリプシッツ連続であるならば、関数 $f$ は $U$ 内のほとんど至る所でフレシェ微分可能である。

ここで「ほとんど至る所」という表現は、専門的には、関数 $f$ がフレシェ微分可能とならない $U$ の点全体の集合が、ルベーグ測度ゼロを持つという意味です。ルベーグ測度ゼロの集合は、数学的な意味で「無視できるほど小さい」と見なされます。例えば、一点や、有限個または可算無限個の点の集まり、あるいは線分のようなものも、高次元空間においてはルベーグ測度ゼロとなります。

定義と関連概念

定理を理解するために、いくつかの重要な概念を解説します。

リプシッツ連続性

関数 $f: U \to \mathbb{R}^m$ がリプシッツ連続であるとは、ある正の定数 $L$（リプシッツ定数と呼ばれる）が存在し、定義域 $U$ 内の任意の二点 $x, y$ に対して、

$$ \|f(x) - f(y)\| \le L \|x - y\| $$

という不等式が成り立つことを言います。ここで $\|\cdot\|$ はユークリッドノルムを表します。この性質は、関数の値の変化率が、対応する定義域の点の変化率に比例することを示しており、関数のグラフが急峻になりすぎないことを意味します。直感的には、関数が局所的に「引き伸ばされすぎない」滑らかさを持っている、と言えます。

フレシェ微分可能性

多変数関数における微分可能性を厳密に定義したものが、フレシェ微分可能性です。関数 $f$ が点 $a \in U$ でフレシェ微分可能であるとは、ある線形写像 $L: \mathbb{R}^n \to \mathbb{R}^m$ が存在して、

$$ \lim_{h \to 0} \frac{\|f(a+h) - f(a) - L(h)\|}{\|h\|} = 0 $$

が成り立つことを言います。この線形写像 $L$ が点 $a$ におけるフレシェ微分と呼ばれ、その行列表示はヤコビ行列に一致します。フレシェ微分可能性は、関数の局所的な振る舞いが線形写像によって非常によく近似できることを意味しており、単変数関数の微分可能性を多変数へ自然に拡張した概念です。

ほとんど至る所 (almost everywhere, a.e.)

これは測度論における基本的な概念です。ある性質が「ほとんど至る所」で成り立つとは、その性質が成り立たない点全体の集合がルベーグ測度ゼロであることを指します。例えば、連続関数はいたるところで定義されますが、有界変動関数はほとんど至る所で微分可能であるという性質があります。ラーデマッヘルの定理が示すのは、リプシッツ連続関数に対して、フレシェ微分可能性が成り立たない点の集合は、このように測度ゼロの集合に限られるということです。これにより、積分計算など多くの解析的な操作において、これらの「病的」な点を実質的に無視することが可能になります。

定理の意義と応用

リプシッツ連続関数は、数学や物理学、工学など、様々な分野で自然に現れる関数クラスです。例えば、常微分方程式や偏微分方程式の解の存在と一意性を示す際に重要な役割を果たしたり、幾何学的測度論において空間の構造を調べる上でも基本的な対象となります。

ラーデマッヘルの定理は、リプシッツ連続性という比較的大まかな滑らかさの条件から、ほとんど全ての点での微分可能性という、より強い解析的な性質を導き出せることを示しています。これにより、一見微分できなさそうな関数に対しても、（ほとんど至る所ではありますが）微分の概念を適用し、古典的な微分・積分学の手法を用いる道が開かれます。この定理は、非線形解析や幾何学的測度論における多様な結果の基盤となっています。

一般化

ラーデマッヘルの定理は、ユークリッド空間から任意の距離空間へのリプシッツ関数に対しても、類似の形で一般化されています。この拡張された定理では、ユークリッド空間におけるフレシェ微分の代わりに、「距離微分」（metric derivative）あるいは「クラーク劣微分」（Clarke subgradient）といった、より一般の空間構造に適した微分の概念が用いられます。これは、リプシッツ連続性という性質が、空間の線形構造に強く依存しない形で微分可能性と結びついていることを示唆しており、定理の普遍性を強調するものです。

参考文献

ラーデマッヘルの定理に関するより詳細な記述や証明は、解析学や測度論の専門書に見られます。例えば、Juha Heinonen氏による“Lectures on Lipschitz Analysis”のような文献で詳しく解説されています。

もう一度検索