ウェブ付き空間

ウェブ付き空間 (Webbed space)

函数解析学の分野において、「ウェブ付き空間」（英: webbed space, 独: Räume mit Gewebe）は、重要な構造を持つ位相線型空間の一種です。この概念は、バナッハ空間論における二つの基礎的な定理、すなわち開写像定理と閉グラフ定理を、より広いクラスである超有界型空間へと拡張し、統一的に扱うことを目指して、1969年に数学者のマルク・ドゥ・ヴィルデによって提唱されました。

ウェブ付き空間の定義は、技術的な細部に立ち入ると複雑になりがちですが、多くの位相線型空間がこの性質を備えています。このため、ウェブ付き空間の枠組みを用いることで、先に挙げた定理の適用範囲を広げ、その本質的なメカニズムをより明確に理解しやすくなります。特別な専門的準備を必要とせずに、多様な数学的状況に応用できるという利点があります。

ウェブの概念

ウェブ付き空間の根幹をなすのは「ウェブ」（織布、Geweb）と呼ばれる構造です。簡単のため、ここでは局所凸空間におけるウェブの概念を中心に説明します。厳密な定義は複数の技術的な条件を含みますが、その直感的なイメージは、空間内の部分集合を自然数の組で階層的に分類していく構造です。

具体的には、空間内の部分集合族 `C_n₁, ..., n_k` （`n₁, ..., n_k` は自然数）が、以下の性質を満たすときにウェブと呼ばれます。

各集合 `C_n₁, ..., n_k` は、空ではなく、原点に関して対称で凸である（絶対凸集合）。
最初の階層の集合 `C_n` （k=1の場合）の全てを合併すると、空間全体を覆う。
任意の階層の集合 `C_n₁, ..., n_k` は、その次の階層の集合 `C_n₁, ..., n_k, n` の合併として表される。これは、元の集合がより目の細かい下位のウェブ構造によって覆い尽くされる様子を示しており、「ウェブ」という名称の由来となっています。
この階層構造に沿って選ばれた任意の要素の列に対して、特定の収束性が保証される。

このウェブ構造において、各階層から一つずつ集合を選んで作られる列 `C_n₁, C_n₁, n₂, C_n₁, n₂, n₃, ...` を「ストランド」と呼びます。ウェブの定義に含まれる収束条件は、これらのストランドの要素から作られる級数が常に収束することと関連しています。

ウェブを持つ局所凸空間は、ウェブ付き空間と呼ばれます。

ウェブ付き空間の構成法

既存のウェブ付き空間から、多くの新しいウェブ付き空間を構成することができます。代表的な構成法としては、以下が挙げられます。

ウェブ付き空間の閉部分空間による商空間もまたウェブ付き空間となります。
可算個の局所凸ウェブ付き空間の直積空間に直積位相を与えたものもウェブ付き空間です。
可算個の局所凸ウェブ付き空間の直和空間に終位相を与えたものもウェブ付き空間です。

これらの構成法を組み合わせることで、非常に多様な空間がウェブ付き空間であることが示されます。

具体的な例

函数解析学に現れる多くの重要な空間がウェブ付き空間であることが知られています。

バナッハ空間: 定義における円板（単位球の定数倍）を適切に選ぶことで、ウェブ構造を持つことが示せます。
フレシェ空間: バナッハ空間の性質を引き継ぎ、かつ可算直積の閉部分空間として構成できるため、ウェブ付き空間になります。フレシェ空間は、特にベールの性質を持つウェブ付き空間として特徴づけられます。
LF-空間: 可算個のフレシェ空間の強帰納極限として定義され、これは可算直和の商として得られるため、ウェブ付き空間です。
DF-空間: これもまたウェブ付き空間の重要な例です。
双対空間: 距離付け可能な局所凸空間の連続的双対空間に強位相を入れた空間もウェブ付き空間となります。

関連する主要定理

ウェブ付き空間の最も重要な役割の一つは、閉グラフ定理と開写像定理という二つの主要定理の適用範囲を広げることにあります。

局所凸空間の文脈では、以下のような形でこれらの定理が成り立ちます。

閉グラフ定理: 局所凸なベール空間の帰納極限から、局所凸ウェブ付き空間への閉線型写像は連続です。
開写像定理: 局所凸ウェブ付き空間から、局所凸ベール空間への全射連続線型写像は開写像です。

より一般的に、超有界型空間との間では以下の主張が成り立ちます。

閉グラフ定理: 超有界型空間からウェブ付き空間への線型写像が閉グラフを持つならば、その写像は連続です。
開写像定理: ウェブ付き空間から超有界型空間への連続線型写像が全射ならば、その写像は開写像です。

これらの定理は、具体的な函数空間における写像の連続性や開写像性を判定する上で強力なツールとなります。ウェブ付き空間は、その複雑な定義にもかかわらず、函数解析学の基礎的な定理を統一的に理解し、応用するための重要な概念と言えるでしょう。

もう一度検索