リースの表現定理

リースの表現定理の概要

リースの表現定理は、ヒルベルト空間とその双対空間の間の構造を明らかにする重要な結果であり、数学の関数解析学において特に注目されています。この定理は、ヒルベルト空間を基にした線形汎関数の特性を明示的に示し、特に量子力学の文脈において、ブラケット記法の正当性を裏付けるものとなっています。

定理の内容

ヒルベルト空間 H とその双対空間 H の間には、特別な形の射影が存在します。具体的には、H の任意の元 x に対して、次のような汎関数 φx を定義します：

$$
ext{φ}_x(y) = ⟨y, x⟩ ext{ for all } y ∈ H
$$

ここで、⟨,⟩ はヒルベルト空間の内積を表します。この定義によれば、H のすべての元に、対応する H の元が一意に関連付けられることが示されます。

この定理によって、次の性質が導かれます：
1. 射影 Φ：H → H* は全単射である。
2. ノルムが保存される、すなわち、$$
‖x‖ = ‖Φ(x)‖
$$。
3. Φ は加法的であり、すなわち、$$
Φ(x_1 + x_2) = Φ(x_1) + Φ(x_2)
$$。
4. 基礎体が実数体 R の場合、全ての実数 λ に対し、$$
Φ(λx) = λΦ(x)
$$ が成り立つ。
5. 基礎体が複素数体 C の場合、任意の複素数 λ に対し、$$
Φ(λx) = {ar{λ}}Φ(x)
$$ が成立します。

定理の応用

リースの表現定理は、特に物理学における量子力学の数学的基礎に重要な役割を果たします。ブラケット記法は、この定理によって裏付けられ、ブラベクトルとケットベクトルの間の明確な対応を提供します。このような関係は、物理現象の記述において極めて便利であり、数学的形式を用いて物理法則を理解する上での基盤となっています。

リース＝マルコフ＝角谷の表現定理

この他に、リース＝マルコフ＝角谷の表現定理も存在し、局所コンパクトハウスドルフ空間上の正の線型汎函数に対する重要な結果です。ここでは、コンパクト台を有する複素数値連続関数から構成される空間 Cc(X) における正の線型汎函数 ψ が、空間内の測度 μ によって一意に表現できます。このような観点からも、リースの表現定理は測度論や解析学へも広範な影響を与えています。

まとめ

リースの表現定理は、ヒルベルト空間の特性を理解し、線型汎函数がどのように構成されるのかを示すための重要な結果です。これは、数学だけでなく、自然科学においても様々な応用がなされ、研究の基礎として役立っています。さらに、この定理は数学の歴史においても重要な位置を占めており、リースとフレシェの業績を通じて、関数解析学の発展に大きな影響を与えました。

もう一度検索