LF空間

LF-空間とは、局所凸空間 E であって、以下の性質を持つフレシェ空間の列 (E_n) を持つものを言う。

1. E_n は単調増大: 任意の n ∈ N について E_n ⊂ E_n+1 が成り立つ。
2. 各 n ∈ N に対して、E_n の位相は E_n+1 からの部分空間の位相である。
3. E は E_n すべての合併に等しい。
4. E の位相は、任意の包含写像 E_n ⊂ E を連続にする最も細かい局所凸位相である。

このような性質を満たすフレシェ空間列 (E_n) を LF-空間 E の定義列と呼ぶ。特に定義列の各項がバナハ空間である場合の LF-空間を LB-空間とも呼ぶ。

任意のフレシェ空間 E は、定値列 E_n = E を定義列として、LF-空間である。

K-値有限列全体の成す数列空間 c₀₀ = c₀₀(K) は、(n + 1)-番目以降の全ての項が 0 となるような数列全体の成す部分空間を Kⁿ と同一視するとき、Kⁿ を定義列とする LF-空間、特に LB-空間を成す。空間 c₀₀ の位相は、任意の半ノルムが位相を定める最も細かい凸位相である。

シュヴァルツ超函数論における構成を振り返ると、コンパクト集合 K ⊂ R^m と K に台を持つ無限回微分可能函数の空間 C^∞(K) に対し、開集合 Ω ⊂ R^m 上の試験函数の空間は

${\displaystyle {\mathcal {D}}(\Omega ):=\bigcup \{C^{\infty }(K);\;K\subset \Omega \}}$

で与えられる。${\displaystyle {\mathcal {D}}(\Omega )}$ は任意の包含写像

${\displaystyle C^{\infty }(K)\subset {\mathcal {D}}(\Omega )}$

を連続とする最も細かい局所凸位相を持つから、${\displaystyle {\mathcal {D}}(\Omega )}$ は LF-空間である。定義フレシェ空間列は、Ω 内のコンパクト集合列 (K_n) で、各 K_n が K_n+1 の内部に含まれ、かつ K_n 全ての合併が Ω を被覆するものに対する (C^∞(K_n)) で与えられる。ここで、${\displaystyle {\mathcal {D}}(\Omega )}$ の位相が、コンパクト集合列の取り方に依らないことに注意。

シュヴァルツ超函数論では、開集合 Ω ⊂ R^m 上の超函数を、線型写像

${\displaystyle T\colon {\mathcal {D}}(\Omega )\to \mathbb {R} }$

で、以下の連続性条件:

K ⊂ Ω がコンパクトで、${\displaystyle {\mathcal {D}}(\Omega )}$ 内の K に台を持つ函数列 (f_n) が一様に f_n → 0 を満たすならば、T(f_n) → 0 が成り立つ。

を満たすものと定義する。この定義において、この連続性条件が位相に関する連続性を表していることは、一見してわかりよいものではない。実はこれに関しては、${\displaystyle {\mathcal {D}}(\Omega )}$ がボルノロジー空間ゆえ、点列連続性を考えれば十分なのである。つまり、コンパクト集合 K ⊂ Ω について C^∞(K) 上の T に対する制約条件を与えることに他ならない。先に述べた LF-空間上の線型作用素の連続性に対する性質から、実際に ${\displaystyle {\mathcal {D}}(\Omega )}$ の LF-空間としての位相に関する連続性が導かれる。

このようにして、LF-空間 ${\displaystyle {\mathcal {D}}(\Omega )}$ 上の連続線型汎函数として定義されるシュヴァルツ超函数の概念的構造が表される。

• K. Floret, J. Wloka: Einführung in die Theorie der lokalkonvexen Räume, Lecture Notes in Mathematics 56, 1968
• Treves, François (1967), Topological Vector Spaces, Distributions and Kernels, Academic Press, p. 126 ff. Dover 2006, ISBN 0-486-45352-9