関数空間とは：定義・例・位相と用途

代表的な種類と構造

関数空間にはさまざまな形があります。代数的対象としては、実数値関数や複素数値関数からなるベクトル空間が挙げられます。距離空間やノルム空間としては、上限ノルムや Lp ノルムをもつ空間が含まれます。典型例は次の通りです。

• 位相空間 X 上の連続関数 C(X)。X がコンパクトのときは一様（上限）ノルムを用いる。
• 測度空間上の p-可積分関数からなるルベーグ空間 Lp(Ω)。ほとんど至る所で等しい関数は同一視される。
• 弱い意味での微分可能性と可積分性を組み合わせたソボレフ空間 W^{k,p}(Ω)。
• p-可和な項をもつ数列空間 ℓp、さらに多項式空間や三角級数の空間。

位相と収束

応用によって、点ごとの収束、一様収束、測度収束、ノルム収束など、異なる収束概念が必要になります。これらは、積位相、コンパクト開位相、ノルム位相などによって表現されます。どの位相を選ぶかは、コンパクト性、作用素の連続性、近似性質に影響します。連続関数族に対するアーベル＝アスコリのような古典的なコンパクト性判定は、こうした構造に依存しています。

用途と意義

関数空間は、微分方程式や積分方程式、スペクトル理論、変分法、近似理論の自然な舞台です。関数空間の間の線形作用素は、微分作用素、積分変換、核を表します。これらの連続性、スペクトル、逆作用素の性質を調べることは、純粋解析と応用解析の双方で中心的です。

成立の背景と重要な区別

関数空間の現代的な研究は、19世紀から20世紀にかけての解析学、とくにルベーグ積分の発展と、バナッハやヒルベルトらによる抽象的な関数解析の成立から広がりました。重要な区別として、Y^X のような単なる関数全体の集合と、連続関数・可測関数・二乗可積分関数のような構造をもつ部分空間、さらに Lp 空間で「ほとんど至る所で一致する関数」を同一視する商構成があります。関連する基礎的な解説は関連資料も参照してください。