関数空間

**関数空間**（かんすうくうかん、、**函数空間**）とは、特定の空間上で、ある性質を持つ関数の全体を幾何学的な考察の対象として捉えたものである。

## 概要
関数空間はもとの空間の様々な性質を自然な形で内包しており、一定の条件を満たす空間であれば、その関数空間からもとの空間を「復元」することができる。通常、考察の対象となる関数は実数値関数や複素数値関数のように終域を共有するものである。関数の終域として、必要に応じて特定の体や環といった代数系をとることになるが、それにより関数空間にはベクトル空間や環上の加群の構造があらかじめ与えられていると考えることができる。もとの空間が代数的なものでなくても、関数空間へ移れば代数的な操作を利用した考察が可能となるということが、関数空間を考える動機のひとつである。つまり、関数空間の代数的な性質をもとの空間に還元してやることで、それまでには知られていなかった性質が発見されたり、逆にもとの空間の幾何学的な構造を関数空間に移して考えることで、ある種の代数系の性質が決定されることを知ったりするのである
。

また、関数空間には様々の位相が定義されて、位相空間を成す。どのような位相が扱われるのかは議論の文脈により変わるが、代表的な例として以下のようなものが挙げられる。
; 各点収束位相
: *X* から *Y* への配置集合を、*X* を添字とする *Y* のコピーの直積空間と見なして導入される積位相。
; 一様収束位相（一様ノルム位相）
: 有界な関数空間において、上限ノルム（一様ノルム、supノルム）により誘導される距離位相。
; コンパクト開位相
: 局所コンパクト空間上の関数空間において、関数とその変数を同時に動かす際の連続性（随伴性）に関して自然に現れる位相。

関数空間上の関数空間といった概念も様々な形で現れる。例えば分布の理論は、関数空間上の関数空間として超関数全体の成す空間を規定するものであるし、また例えば微分形式は、多様体の各点における余接空間（接空間の双対空間であり、線型関数の空間とみなせる）への値割り当てとして局所的に記述され、大域的には余接束の切断として定義される。

## 歴史
関数空間の概念は、19世紀後半から20世紀初頭にかけての解析学の諸問題、とりわけ積分方程式論とスペクトル理論の発展の中で形成された。

### 汎関数の萌芽
ヴィト・ヴォルテラは曲線や関数に対応して値を定める「函数の函数」（後に汎関数と呼ばれる概念）を研究し、関数を無限次元空間の「点」とみなす発想の先駆けを示した。
エリック・イヴァル・フレドホルムは線型積分方程式の一般理論を構築し、有限次元の線型方程式論との明示的な類比のもとで無限次元の問題を扱った。

### 抽象化と公理化
モーリス・フレシェは1906年の学位論文において距離空間の概念を公理的に定式化し、連続関数の全体などの関数空間を抽象的な距離空間として統一的に捉える枠組みを提供した。
ダフィット・ヒルベルトは1904年から1910年にかけて、二乗可積分な数列の全体（現在の <math>\ell^2</math> 空間に相当）を考察し、スペクトル理論の枠組みを整備した。フリジェシュ・リースは1907年に L^2 空間上の連続線型汎関数の表現定理を示し（リースの表現定理の原型）、1910年には L^p 空間を明示的に導入してその双対構造を解明した。

### 関数解析学の確立
ステファン・バナッハは1922年に公刊した学位論文において完備ノルム空間（バナッハ空間）の概念を公理化した。さらに著書 *Théorie des opérations linéaires* において、ハーン＝バナッハの定理・開写像定理・・閉グラフ定理といった関数解析学の根幹をなす定理群を体系的に整理した。ジョン・フォン・ノイマンはヒルベルト空間の現代的な公理的定義を与え、量子力学の数学的基礎としてスペクトル定理を確立した。

### 超関数理論の整備
ローラン・シュワルツは超関数の理論（*Théorie des distributions*）を整備し、テスト関数空間 \mathcal{D}(\Omega) とその双対空間からなる関数空間の階層的構造を導入した。この業績によりシュワルツは1950年にフィールズ賞を受賞している。以後、偏微分方程式の弱解論・ソボレフ空間の発展と相まって、関数空間論は現代数学の中核的な道具立てとして確立された。

## 一般化または追加の構造
* : 函数の成す線型空間に積を入れて線型環としたもの
* 環付き空間 / 概型: 空間とその上の函数空間を組として捉える見方を抽象化する概念

## 分野別の例
関数空間は数学の広範な分野に現れる。以下に分野ごとの主要な例を挙げる。

### 集合論・代数学
* 集合論において、集合 *X* から *Y* への写像の全体は *Y**X* と表記される。特殊な場合として、*X* の冪集合は、*X* から {0, 1} への関数の集合と同一視され、2*X* と表記される。
* において、群  の2つの有限次元表現  と  が与えられたとき、それらの間の線型写像の全体 Hom(,) もまた、と呼ばれる  の表現を成す。
* 圏論において、関数空間は指数対象（または写像対象）として一般化される。

### 幾何学
* 位相幾何学において、位相空間 *X* から *Y* への連続関数の空間には、しばしばコンパクト開位相が導入される。重要な例として、基点 x_0 \in X を固定し、S^1 の基点を x_0 に写す連続写像全体からなる（基点付き） \Omega X があり、ホモトピー論などで中心的な役割を果たす。
* 微分幾何学において、多様体上の微分形式の空間や、ベクトル場の空間（接束の切断の空間）などは、代数的な構造を持つ関数空間として扱われる。

### 確率論・計算機科学
* 確率過程の理論において、ブラウン運動などの確率過程は、時間の関数からなる空間（例えば連続関数の空間 C([0, \infty)) やスコロホッド空間）上の確率測度として定式化される。
* 関数型プログラミングおよびラムダ計算において、は高階関数の概念を表現するために用いられる。

### 解析学
関数解析学においては、微分方程式の解を構成したり、積分の性質を調べたりするために、位相やノルムを備えた関数空間が不可欠となる。ノルム位相のほかに、弱位相（汎関数の各点収束による位相）および汎弱位相も重要であり、特に無限次元空間においてはバナッハ＝アラオグルの定理により単位球の弱*コンパクト性が保証される。詳細については後述の#関数解析学の節に記述する。

## 関数解析学
関数解析学の主要なテーマは、線型構造に加えて位相やノルムといった構造を持つ関数空間を研究することである。具体的には、位相ベクトル空間、バナッハ空間、ヒルベルト空間などが対象となる。

以下に、解析学において頻出する主要な関数空間の例と、それらの相互関係を挙げる。ここで、\Omega はユークリッド空間 \mathbb{R}^n の開部分集合とする。

### 連続関数・滑らかな関数の空間
これらの空間は、関数の正則性（滑らかさ）や無限遠での挙動によって定義される。
* C(\Omega)：\Omega 上の連続関数の空間。通常は各点収束位相あるいはコンパクト開位相を考える。
* C_b(\Omega)：有界連続関数の空間。上限ノルム（一様ノルム）\|f\|_\infty = \sup_{x\in\Omega}|f(x)| によりバナッハ空間となる。
* C_0(\Omega)：無限遠で消える（\epsilon > 0 に対して集合 \{x \in \Omega : |f(x)| \ge \epsilon\} がコンパクトとなる）連続関数の空間。C_b(\Omega) の閉部分空間である。
* C^k(\Omega)：k 階連続微分可能な関数の空間。\Omega がコンパクトでない場合、半ノルムの族によって定まるフレシェ空間の構造を持つが、バナッハ空間にはならない。
* C^\infty(\Omega)：無限回微分可能な（滑らかな）関数の空間。コンパクト部分集合上の各階導関数の上限による半ノルムを用いてフレシェ空間となる。
* C_c(\Omega), C_c^\infty(\Omega)：コンパクトな台を持つ連続関数、および滑らかな関数の空間。後者は検定関数の空間 \mathcal{D}(\Omega) とも呼ばれ、超関数理論の基礎となる。

### 可積分関数の空間（ルベーグ空間）
測度論に基づく積分を用いて定義される空間であり、バナッハ空間の重要なクラスを形成する。
* L^p(\Omega)（1\leq p ）：|f|^p がルベーグ積分可能であるような可測関数（の同値類）の空間。ノルムは \|f\|_p = \left( \int_\Omega |f(x)|^p \, dx \right)^{1/p} で定義される。特に L^2(\Omega) はヒルベルト空間となる。また、1 \le p  のとき、L^p の双対空間は L^q（ただし 1/p + 1/q = 1、すなわち 1 ）と自然に同一視される。特に p = 1 の場合は (L^1)^* \cong L^\infty となる。なお、1  のとき L^p は反射的であるが、p = 1 および p = \infty のときは一般に反射的でない。
* L^\infty(\Omega)：本質的に有界な可測関数の空間。ノルムは本質的上限 \|f\|_\infty = \mathrm{ess}\sup_{x\in\Omega} |f(x)| で与えられる。

### 数列空間
自然数全体の集合 \mathbb{N} を定義域とする関数空間は、実数または複素数の数列全体の集合と同一視され、数列空間と呼ばれる。\mathbb{N} 上の測度を数え上げ測度と見なすことで、数列空間も L^p 空間の一種として統一的に扱えるが、測度が無限であるため有界領域上の関数空間とは異なる性質を持つ。
* \ell^p（1 \le p ）：p 乗総和可能な数列の空間。ノルムは \|x\|_p = \left( \sum_{n=1}^{\infty} |x_n|^p \right)^{1/p} で定義される。\ell^2 はヒルベルト空間の最も基本的な例である。
* \ell^\infty：有界な数列の空間。ノルムは \|x\|_\infty = \sup_{n} |x_n|。
* c_0：0 に収束する数列の空間。\ell^\infty の閉部分空間である。
* **包含関係**：\ell^p 空間の包含関係は、有界領域上の L^p 空間とは逆に、p  ならば \ell^p \subset \ell^q となる（これは \mathbb{N} の測度が無限大であることに起因する）。

### 微分可能性を持つ関数の空間
古典的な微分可能性を拡張し、微分方程式論などで中心的な役割を果たす。
* W^{k,p}(\Omega)：ソボレフ空間。階数 k までの弱導関数が存在し、それらがすべて L^p(\Omega) に属する関数の空間。
* H^k(\Omega)：W^{k,2}(\Omega) に相当するヒルベルト空間。
* \mathcal{S}(\mathbb{R}^n)：シュワルツ空間。急減少関数の空間であり、バナッハ空間にはならないがフレシェ空間の構造を持つ。その位相的双対空間 \mathcal{S}'(\mathbb{R}^n) は緩増加超関数の空間と呼ばれる。

### その他の空間
* \text{Lip}(\Omega)：リプシッツ連続な関数の空間。あるいはヘルダー連続関数の空間 C^{0,\alpha}(\Omega)。
* BMO(\Omega)：関数の空間。
* \mathcal{H}^p：ハーディ空間。
* \mathcal{O}(\Omega)：複素領域上の正則関数の空間。

## 空間の相互関係
関数空間の間には、稠密性や埋め込み定理といった関係が存在する。
; 稠密性
: コンパクトな台を持つ滑らかな関数の空間 C_c^\infty(\Omega) は、1 \le p  において L^p(\Omega) の稠密な部分空間である。これは、任意の L^p 関数が滑らかな関数で任意の精度で近似できることを意味する。
; 包含関係
: 領域 \Omega が有界（かつ有限測度）であるとき、p  ならば L^q(\Omega) \subset L^p(\Omega) が成り立つ（ヘルダーの不等式による）。
; ソボレフ埋め込み
: ソボレフ空間 W^{k,p}(\Omega) は、領域 \Omega がリプシッツ境界などの正則性条件を満たすとき、パラメータ k, p と次元 n の関係に応じて、より高い可積分性を持つ L^q 空間や、連続関数の空間 C^m に連続的に埋め込まれる（ソボレフの不等式）。
; コンパクト埋め込み
: 無限次元の関数空間では、有界閉集合がコンパクトとは限らない（ハイネ・ボレルの被覆定理が成立しない）ことが解析上の大きな障害となる。これを補う性質として、ある関数空間から別の関数空間への埋め込み写像がコンパクト作用素となる場合がある。例えば、有界領域上のソボレフ空間 W^{1,p} は L^p にコンパクトに埋め込まれる（レリッヒ＝コンドラショフの定理）。この性質は、偏微分方程式の解の存在を示す際などに重要となる。

### 有界線型作用素
関数解析学において、関数空間は単に対象として研究されるだけでなく、空間の間の**写像（作用素）**を通じてその構造が解明される。バナッハ空間 X から Y への有界線型作用素 T \colon X \to Y とは、線型性を満たし、かつある定数 C > 0 が存在して \|Tx\|_Y \le C\|x\|_X（すべての x \in X に対して）が成り立つ写像のことである。有界線型作用素の全体は作用素ノルム \|T\| = \sup_{\|x\|=1}\|Tx\| によってバナッハ空間 B(X,Y) を成す。

有界線型作用素の重要なクラスとして、以下のものが挙げられる。
; コンパクト作用素
: 有界な集合を相対コンパクトな集合に写す作用素。無限次元空間では恒等写像はコンパクトでないため、コンパクト作用素は有限次元的な挙動の「近似」を与えると見なされる。
; 積分作用素
: 積分方程式論の起源でもあるフレドホルム型積分作用素 (Tf)(x) = \int_\Omega K(x,y)f(y)\,dy（K は積分核）は、適切な条件のもとで L^2(\Omega) 上のコンパクト作用素となる。
; 微分作用素
: 偏微分作用素 P(D) = \sum_{|\alpha| \le k} a_\alpha D^\alpha は一般に非有界であるが、適切な定義域を持つ閉作用素として関数解析学の枠組みで扱われる。ソボレフ空間 W^{k,p} はこのような微分作用素の定義域となる空間として自然に現れる。
; ユニタリ作用素
: ヒルベルト空間の間の等長同型写像であり全射なもの。フーリエ変換は L^2 上のユニタリ作用素の典型例である（プランシュレルの定理）。

### 基本定理

関数解析学には、個々の関数空間の性質とは独立に、バナッハ空間（あるいはヒルベルト空間）という構造一般に成り立つ重要な定理群がある。

; ハーン＝バナッハの定理
: ノルム空間上の部分空間で定義された有界線型汎関数は、ノルムを保ったまま全体の空間に拡張できる。双対空間が「十分豊富」であることを保証し、分離定理や弱位相論の基礎となる。

; 
: バナッハ空間 X からノルム空間 Y への有界線型作用素の族 \{T_\lambda\} が各 x \in X に対して \sup_\lambda \|T_\lambda x\|  を満たすならば、\sup_\lambda \|T_\lambda\|  が成り立つ。フーリエ級数の収束論など、逐次的な近似操作の有界性を議論する際に使用される。

; 開写像定理
: バナッハ空間の間の全射有界線型作用素は開写像である。系として、バナッハ空間の間の全単射有界線型作用素の逆写像は自動的に有界となる。

; 閉グラフ定理
: バナッハ空間 X から Y への線型作用素 T が、X の**全域で定義され**、かつそのグラフ \{(x, Tx) : x \in X\} \subset X \times Y が閉じているならば、T は有界（連続）である。この定理は逆説的に、微分作用素のような非有界な閉作用素は、バナッハ空間全体では定義され得ず、その定義域を（稠密な）部分空間に制限しなければならないことを示唆している。

### 補間空間
; リース＝ソリンの定理
: 線型作用素 T が L^{p_0} から L^{q_0} へ、かつ L^{p_1} から L^{q_1} へそれぞれ有界であるとき、\frac{1}{p_\theta} = \frac{1-\theta}{p_0} + \frac{\theta}{p_1}（0 ）を満たす中間の指数 p_\theta, q_\theta に対しても T は L^{p_\theta} から L^{q_\theta} へ有界となり、その作用素ノルムについて不等式 \|T\|_\theta \le \|T\|_0^{1-\theta} \|T\|_1^\theta が成り立つ（対数凸性）。
; マルチンケーヴィッチの定理
: リース＝ソリンの定理を拡張したもの。

### フーリエ変換と関数空間
フーリエ変換は、ある関数空間を別の（あるいは同一の）関数空間へ写す線型作用素として捉えられ、微分方程式の解析などで強力な道具となる。
* L^2(\mathbb{R}^n)：プランシュレルの定理により、フーリエ変換は L^2 空間からそれ自身への等長同型写像（ユニタリ作用素）となる。
* \mathcal{S}(\mathbb{R}^n)：シュワルツ空間もまた、フーリエ変換によって自分自身に移る（自己同型）。この性質を利用して、双対空間である緩増加超関数 \mathcal{S}' 上のフーリエ変換が定義される。
* L^1(\mathbb{R}^n)：リーマン・ルベーグの補題により、L^1 関数のフーリエ変換は、無限遠で消える有界連続関数（C_0）になる。
* **ソボレフ空間**：L^2 空間上のフーリエ変換を用いると、微分操作が多項式の掛け算に変換されるため、ソボレフ空間 H^s(\mathbb{R}^n) （s は実数）を、(1+|\xi|^2)^{s/2} \hat{f}(\xi) \in L^2 を満たす関数の全体として自然に定義できる。

## 注
### 注釈

### 出典

## 関連項目
* 双対空間
* 接ベクトル空間
* ヒルベルト空間
* ソボレフ空間
* バナッハ空間

## 外部リンク
* 
* 

*