ウェブ付き空間のソースを表示

[[数学]]の[[函数解析学]]における'''ウェブ付き空間'''（ウェブつきくうかん、{{lang-en-short|''webbed space''}}, {{lang-de-short|''Räume mit Gewebe''}}）は、[[バナッハ空間]]論における二つの主要定理である[[開写像定理 (関数解析)|開写像定理]]と[[閉グラフ定理]]を[[超有界型空間]]に対して一般化して取り扱うための概念で、そのためのものとして1969年に Marc de Wilde が導入した。

その定義は非常に技術的なものだが、[[位相線型空間]]の非常に大きなクラスがこの性質を持ち、従って定理の主張を容易に一般化して、その本質を明らかにするものとして、特別の技術を構えることなく応用に供することができる。

ウェブ付き空間は任意の位相線型空間に対して定義することができるが、本項では簡単のため局所凸空間を考えるものとする。任意の位相線型空間に関する一般論は教科書 {{harv|Jarchow|1981}} を参照。 

== 定義 ==
局所凸空間 ''E'' 上の'''ウェブ'''（織布）とは、適当な自然数 ''k'' で添字付けられる自然数の族 (''n''<sub>1</sub>, ''n''<sub>2</sub>, …, ''n''<sub>''k''</sub>) &isin; '''N'''<sub>''k''</sub> で添え字付けられる ''E'' の部分集合族 <math>C_{n_1,\ldots,n_k}</math> で、以下の条件
# 各集合 <math>C_{n_1,\ldots,n_k}</math> は空でない[[絶対凸集合]]である。
# <math>\bigcup_{n=1}^{\infty} C_{n} = E.</math>
# <math>\bigcup_{n=1}^{\infty} C_{n_1,\ldots,n_k,n} = C_{n_1,\ldots,n_k}\qquad(k\in \mathbb{N},\,(n_1,\ldots,n_k) \in \mathbb{N}^k</math>
# 任意の自然数列 <math>(n_k)_k</math> に対して正実数列 <math>(\lambda_k)_k</math> が存在して、級数 <math>\sum_{n=1}^\infty \lambda_k x_k</math> は点 <math>x_k \in 
C_{n_1,\ldots,n_k}</math> の選び方に依らず収斂する。
を満足するものを言う。局所凸位相空間がウェブを持つとき、その空間は'''ウェブ付き'''である（ウェブ付けられている）、または'''ウェブ付き空間'''であると言う。

イメージで言えば、各階層に属する集合 <math>C_{n_1,\ldots,n_k}</math> は ''k'' を増やすことによって、それ自身を張るより目の細かい階層のウェブに分解されていくという風に捉えることができ、そのことがウェブ（織布）という名称の由来でもある。

言葉で書けば、局所凸ハウスドルフ位相線型空間 ''X'' のウェブとは、''X'' の階層的に添字付けられた円板の族で適当な併呑条件と収斂条件を満たすものを言う。もう少し具体的に、第一階層の円板列 (''D''<sub>''i''</sub>) は空間 ''X'' を被覆し、各第一階層の円板 ''D''<sub>''i''</sub> は ''X'' の円板の列 (''D''<sub>''ij''</sub>) で ''D''<sub>''ij''</sub> &sub; (1/2)''D''<sub>''i''</sub> かつそれらの合併が ''D''<sub>''i''</sub> を併呑するようなもの（それを各 ''i'' に亙って取ったもの）を第二階層の円板列として持つ。第二階層の円板にも同様の第三階層の円板列が存在し、以下同様に可算個の階層が定義される。

''D''<sub>''i''</sub>, ''D''<sub>''ij''</sub>, ''D''<sub>''ijk''</sub>, … のようにウェブの第 ''k''-階層から一つずつ取って作られる減少列をこのウェブの'''ストランド'''（房）と呼ぶ。これを使えば、定義の最後の条件はストランドの任意の元 (''x''<sub>''k''</sub>)<sub>''k''</sub> が収斂することと言い換えられる。

== ウェブ付き空間の構成法 ==
以下に挙げる、与えられたウェブ付き空間から新たなウェブ付き空間を構成する方法は、非常にたくさんの空間を作り出せる。
* ウェブ付き空間 ''E'' の、閉部分空間 ''F'' による[[商線型空間|商空間]] ''E''/''F'' はウェブ付きである。
* 局所凸ウェブ付き空間の列 <math>(E_n)_n</math> に対し、その直積 <math>\prod_{n\in{\mathbb N}}E_n</math> に[[直積位相]]を入れたものはウェブ付きである。
* 局所凸ウェブ付き空間の列 <math>(E_n)_n</math> に対し、その直和 <math>\bigoplus_{n\in{\mathbb N}}E_n</math> に[[終位相]]を入れたものはウェブ付きである。

== 例 ==
* [[バナハ空間]] ''E'' はウェブを持つ。実際、''E'' の単位球体 ''U'' に対し、<div style="margin: 1ex 2em;"> <math>C_{n_1,\ldots,n_k} := \min\{n_1,\ldots,n_k\}\cdot U, \qquad \lambda_k:=\frac{1}{k^2}</math></div>とすれば、これはウェブになる。
* [[フレシェ空間]]はバナハ空間の可算直積の閉部分集合だから、前節によってウェブ付きであることが分かる。フレシェ空間は、ベールの性質を持つウェブ付き空間として特徴づけられる。
* 同様に前節から、ウェブ付き空間列の可算帰納極限は、可算直和の商として得られるからウェブ付きである。特に[[LF空間| ''LF''-空間]]はウェブ付きである。
* 同様の理由により {{仮リンク|DF空間|de|(DF)-Raum|label=''DF''-空間}}もウェブ付きになる。
* ウェブ付き空間を有界型付け (bornologification) したものはウェブ付きである。
* ''X'' が距離付け可能局所凸空間ならば、''X'' の連続的双対空間に強位相を入れた空間 <math>\beta(X^*, X)</math> はウェブ付きである。
* ''X'' が距離付け可能局所凸空間からなる可算族の強帰納極限ならば、''X'' の連続的双対に強位相を入れた空間 <math>\beta(X^*, X)</math> はウェブ付きである。
** 特に距離化可能局所凸空間の強双対はウェブ付きである。

== 閉グラフ定理と開写像定理 ==
局所凸部分空間の場合はウェブを成す各集合は円板とすれば
* [[閉グラフ定理]]: 局所凸[[ベール空間]]の[[帰納極限]]から局所凸ウェブ付き空間への任意の閉線型写像は[[連続線型写像|連続]]である。
* [[開写像定理 (関数解析)|開写像定理]]: 局所凸ウェブ付き空間から局所凸ベール空間の[[全射|上への]]任意の線型写像は[[開写像]]である。
が成り立つ。局所凸でない空間で[[均衡集合|均衡]]であることを仮定すれば以下の結果
* 閉グラフ定理: 位相線型ベール空間の帰納極限からウェブ付き位相線型空間への任意の閉線型写像は連続である。
も成り立つ。一般にウェブ付き空間から超有界型空間への線型写像の成す空間において、閉グラフ定理と開写像定理が証明できる。
* 開写像定理: ウェブ付き空間から[[超有界型空間]]への線型写像が上への連続線型写像ならば、それは開写像になる。
* 閉グラフ定理: 超有界型空間からウェブ付き空間への線型写像が閉グラフを持つならば、それは連続である。
もちろん、LF-空間のように両方のクラスに属する空間ならば、主張におけるそれぞれのクラスの役割を入れ替えることもできる。

== 参考文献 ==
* G. Köthe: ''Topological Vector Spaces II'', Springer, 1979, ISBN 3-540-90400-X
* H. Jarchow: ''Locally Convex Spaces'', Teubner, Stuttgart 1981  ISBN 3-519-02224-9
* R. Meise, D. Vogt: ''Einführung in die Funktionalanalysis'', Vieweg, 1992  ISBN 3-528-07262-8
* {{cite book
| author = Lawrence Narici, Edward Beckenstein
| title = Topological Vector Spaces, Second Edition (Chapman & Hall/CRC Pure and Applied Mathematics)
| publisher = CRC Press
| location = Amsterdam
| year = 1985
| pages = 320–325
| isbn = 0824773152
}}
* {{Cite book | isbn = 9780821807804 | title = The Convenient Setting of Global Analysis | last1 = Kriegl | first1 = Andreas | year = 1997 | publisher = [[American Mathematical Society]] | last2 = Michor | first2 = Peter W. | series = Mathematical Surveys and Monographs  | pages = 557–578  }} <!-- Kriegl and Michor's The Convenient Setting of Global Analysis -->

== 外部リンク ==
* {{cite web2 |language=de | format=PDF | url=http://www.mat.univie.ac.at/~kriegl/Skripten/fa/fa.pdf | title= Funktionalanalysis I | author=Andreas Kriegl | accessdate=2014年2月10日}}
* {{citation| url=https://books.google.co.jp/books?id=mV44AAAAIAAJ&pg=PA155&lpg=PA155&dq=spaces+with+webs&ots=H4hQVRmOmj | title= Topological Vector Spaces | series=
Cambridge Tracts in Mathematics Series | volume= 53 | edition= 2 | author1= A. P. Robertson | author2= Wendy Robertson | publisher= Cambridge University Press | isbn=0-521-29882-2 | year=1973}}	 

{{DEFAULTSORT:うえふつきくうかん}}
[[Category:位相線型空間]]
[[Category:数学に関する記事]]