関数解析 - 無限次元空間と線形作用素を扱う数学の分野

基本概念と対象

主要な空間の種類には、ノルム空間、完備なノルム空間であるバナッハ空間、そして内積空間とその完備化で得られるヒルベルト空間がある。重要な例としては、数列空間 l^p、関数空間 L^p と C(K)、および可微分性を記述するソボレフ空間が挙げられる。関連する概念には次のようなものがある。

• 線形作用素: 有界作用素と非有界作用素、コンパクト作用素、随伴作用素、閉包。
• 双対性: 連続線形汎関数と双対空間。
• スペクトル: 作用素に対する点スペクトル（固有値）、連続スペクトル、残余スペクトル。

ハーン・バナッハの定理、一様有界性原理（バナッハ・シュタインハウスの定理）、開写像定理、閉グラフ定理、スペクトル定理といった基本定理は、関数解析の骨格をなし、作用素の構造的性質や安定性を導くために用いられる。

歴史と発展

この分野は19世紀末から20世紀初頭にかけて、積分方程式や微分方程式の研究から生まれた。そこでは、関数空間が解や極限を適切に解釈するための場として用いられた。以後、偏微分方程式や数理物理学の問題に牽引されながら、位相、測度論、作用素論を結びつける統一的な理論へと成熟した。

応用と重要性

関数解析は、現代解析学と数理物理学の大きな部分を支えている。次のような分野で言語と道具を与える。

• 偏微分方程式の解法と弱解の定式化。
• ヒルベルト空間上の作用素を通じた量子力学。
• 信号処理と制御理論。
• 数値解析における、ガラーキン法や有限要素法などの近似・計算スキーム。

例と典型的な問題

よく扱われる主題には、作用素方程式の解の存在と一意性、自己共役作用素のスペクトル分解、コンパクト性を用いる手法、摂動理論などがある。具体的な作業では、適切な関数空間を選び、ある作用素が有界かコンパクトかを示し、さらにスペクトルに関する結果を適用して定性的な振る舞いを導くことが多い。

抽象理論と具体的応用を結びつける性質のため、関数解析は純粋数学と応用数学の双方にとって中心的な道具であり続けている。