有界型空間のソースを表示

[[数学]]、特に[[函数解析学]]における{{要出典範囲|有界型空間（ゆうかいけいくうかん、ゆうかいがたくうかん|date=2019年4月}}'''界相空間'''{{sfn|ブルバキ|1968|loc=第2章 §6 n{{sup|o}}4}}（かいそうくうかん、{{lang-en-short|''bornological space''}}; '''ボルノロジー空間'''）は、[[有界集合|集合]]や[[有界函数|函数]]の有界性の問題をある意味で考えるのに最低限必要な構造というものを抽出した空間のクラスである（これは[[位相空間]]が[[連続性]]の問題を考えるのに最低限必要な構造を抽出したものであったことと同様の考え方である）。界相空間を初めて考えたのはマッキーで、命名は[[ニコラ・ブルバキ|ブルバキ]]による（フランス語で[[有界]]を意味する borné (と位相 topology) に由来）。

== 有界集合系 ==
任意の集合 ''X'' について、''X'' 上の'''有界集合系'''あるいは'''界相'''{{要出典範囲|有界型|date=2019年4月}} (''bornology'') とは、''X'' の部分集合族 '''B''' で、
* '''B''' は ''X'' を被覆する: <math>\scriptstyle X = \bigcup \mathbf{B};</math>
* '''B''' は包含関係に関して閉じている: ''A''&nbsp;∈&nbsp;'''B''' かつ ''A′''&nbsp;⊆&nbsp;''A'', ならば ''A′''&nbsp;∈&nbsp;'''B''';
* '''B''' は有限合併に関して閉じている: ''B''<sub>1</sub>, ..., ''B''<sub>''n''</sub>&nbsp;∈&nbsp;'''B''', ならば <math>\scriptstyle \bigcup_{i = 1}^{n} B_{i} \in \mathbf{B}</math>
を満足するものをいう。このとき集合族 '''B''' の各元は {{mvar|X}} の'''有界集合'''と呼ばれ、対 (''X'',&nbsp;'''B''') を'''界相付き集合''' (''bornological set'') と言う。

有界集合系 '''B''' の'''有界基'''あるいは'''有界集合の基本系''' (''base of the bornology'') とは '''B''' の部分集合 '''B'''<sub>0</sub> で '''B''' の各元が '''B'''<sub>0</sub> の元の部分集合となっているときに言う。

=== 例 ===
* 任意の集合 ''X'' に対し、''X'' の[[離散位相]]は有界集合系を成す。
* 任意の集合 ''X'' に対し、''X'' の有限（または可算無限）部分集合全体の成す族は有界集合系を成す。
* 任意の T<sub>1</sub> 位相空間 ''X'' に対し、[[コンパクト空間|コンパクト]]な[[閉包 (位相空間論)|閉包]]を持つ部分集合全体の成す族は有界集合系を成す。

== 有界写像 ==
空間 ''X'' および ''Y'' の有界集合系 '''B'''<sub>1</sub> および '''B'''<sub>2</sub> がそれぞれ与えられているとき、写像 ''f'': ''X'' &rarr; ''Y'' が'''有界写像'''であるとは、''f'' が ''X'' の任意の '''B'''<sub>1</sub>-有界集合を ''Y'' の '''B'''<sub>2</sub>-有界集合へ写すときに言う。さらに加えて ''f'' が[[全単射]]ならば逆写像 ''f''<sup>&minus;1</sup> もまた有界写像であり、このとき ''f'' は'''界相同型''' (''bornological isomorphism'') であると言う。

; 例 : ''X'' と ''Y'' は任意の位相線型空間（必ずしもハウスドルフでなくてよい）とし、''f'': ''X'' &rarr; ''Y'' をその間の連続線型作用素とする。''X'' と ''Y'' にそのフォン・ノイマン界相を入れるとき、''f'' は有界線型作用素である。逆は必ずしも真でない。
; 定理: 局所凸位相線型空間 ''X'', ''Y'' と線型写像 ''u'': ''X'' &rarr; ''Y'' に対して以下は同値である:
:* ''u'' は有界写像である。
:* ''u'' は有界円板を有界円板に写す。
:* ''Y'' の任意の界呑円板 ''D'' に対し <math>u^{-1}(D)</math> は界呑。

== 線型有界集合系 ==
[[可換体|体]] ''K'' 上のベクトル空間 ''X'' に対し、''X'' 上の'''線型界相''' (''vector bornology'') とは、''X'' 上の有界集合系 '''B''' であってベクトルの加法およびスカラー乗法について閉じており、さらに[[均衡集合|均衡包]]が定式化できる（即ち、二つの有界集合の合併がまた有界である、など）ときにいう。さらに加えて '''B''' が[[凸包]]の定式化で閉じている（即ち、有界集合の凸包がふたたび有界である）とき、'''B''' は'''凸線型界相''' (''convex vector bornology'') であるという。また、''X'' の有界部分空間が自明な部分空間（即ち 0 のみからなる部分空間）であるとき、界相は'''分離'''している (separated) という。有界集合系 '''B''' の部分集合 '''A''' が'''界呑'''{{要出典範囲|有界型的|date=2019年4月}} (''bornivorous'') であるとは、それが任意の有界集合を[[併呑集合|併呑]]するときに言う。線型界相の場合、 '''A''' が界呑であるのは任意の有界均衡集合を併呑するときであり、凸線型界相の場合には任意の有界円板を併呑するとき '''A''' は界呑である。

=== 位相線型空間の界相 ===
任意の[[位相線型空間]] ''X'' は、''X'' の部分集合 ''B'' が{{仮リンク|フォンノイマン有界|en|Bounded set (topological vector space)|label=有界}}（フォンノイマン有界）であるというのを、''X'' の零ベクトルを含む任意の開集合 ''U'' に対して ''B'' &sub; &lambda;<sub>0</sub>''U'' を満たすスカラー &lambda;<sub>0</sub> が存在することと定めることにより、有界集合の全体として有界集合系が与えられる。''X'' が[[局所凸位相線型空間]]ならば ''B'' &sub; ''X'' が有界となる必要十分条件は ''X'' 上の任意の連続半ノルムが ''B'' 上で有界となることである。

''X'' の有界部分集合全体の成す集合族は ''X'' の界相あるいは'''フォンノイマン界相''' (''Von-Neumann bornology'') と呼ばれる。

=== 誘導位相 ===
ベクトル空間 ''X'' と線型界相 '''B''' がはじめに与えられているとき、''X'' の凸、均衡かつ界呑な部分集合全体の成す集合族を '''T''' とすると、'''T''' は ''X'' 上の局所凸位相に対する 0 の近傍基を成す。即ち '''T''' は ''X'' の線型空間構造と両立する。

== 界相空間 ==
函数解析学において、界相空間とは、[[局所凸位相線型空間]]であって、その位相がその自然な有界集合系から回復できるものを言う。明示的に述べれば、[[連続的双対空間]] ''X&prime;'' を持つ[[局所凸空間|局所凸]]ハウスドルフ空間 ''X'' が界相空間であるとは、以下の同値な条件の何れか（従って全部）を満足するときに言う。
* ''X'' のフォンノイマン界相から誘導される局所凸位相が ''X&prime;'' の{{仮リンク|始位相|en|initial topology}}に一致する。
* ''X'' 上定義される任意の有界[[半ノルム]]が連続である。
* 任意の局所凸空間 ''Y'' に対し ''X'' から ''Y'' への任意の[[有界線型作用素]]が[[連続線型作用素|連続]]である。
* ''X'' はノルム空間の帰納極限である。
* ''X'' は ''D'' が全ての有界閉円板（あるいは ''X'' のすべての有界円板）を亙るときのノルム空間 ''X''<sub>''D''</sub> の帰納極限に一致する（''X''<sub>''D''</sub> の定義は後述）。
* ''X'' の任意の凸、均衡かつ界呑部分集合が零ベクトル 0 の近傍を成す。
* ''X'' にマッキー位相 <math>\tau(X, X')</math> を入れるとき、''X'' 上の任意の有界線型汎函数が連続である。
* ''X'' は次の二つの条件をともに満たす:
*# ''X'' は'''凸列型''' (''convex-sequential'') または '''C-列型''' (''C-sequential'') である、即ち ''X'' の任意の凸列型開集合が開となる。
*# ''X'' は'''点列界相''' (''sequentially-bornological'') 空間または '''S-界相''' (''S-bornological'') 空間である、即ち ''X'' の任意の凸かつ界呑部分集合が点列開になる（ただし、''X'' の部分集合 ''A'' が'''点列開''' (''sequentially open'') であるとは 0 を被覆する任意の列が ''A'' にほとんど含まれる (eventually belongs to) ことをいう。[[列型空間]]も参照のこと）。

=== 例　===
以下の位相線型空間は界相空間である。
* 任意の[[距離化可能空間|距離付け可能]]な局所凸空間は界相空間である。特に任意の[[フレシェ空間]]は界相空間である。
* 任意の[[LF空間| ''LF''-空間]]、即ち[[フレシェ空間]]の狭義帰納極限となるような任意の局所凸空間は、界相空間である。
* 界相空間の分離商はまた界相空間である。
* 界相空間の局所凸直和や帰納極限もまた界相空間である。
* [[フレシェ空間]]や[[モンテル空間]]は界相空間となる強双対を持つ。

=== 性質 ===
* 界相空間 ''X'' とその[[連続的双対]] ''X&prime;'' に対し、''X'' の位相は[[マッキー位相]] τ(''X'',''X&prime;'') に一致する。 
** 特に界相空間は{{仮リンク|マッキー空間|en|Mackey space}}になる。
* 任意の{{仮リンク|準完備|en|quasi-complete}}（即ち、任意の有界閉集合が完備）な界相空間は[[樽型空間|樽型]]だが、樽型でない界相空間は存在する。
* 任意の界相空間はノルム空間の帰納極限である。また任意の準完備界相空間はバナッハ空間の帰納極限である。
* 距離付け可能局所凸空間 ''X'' とその連続的双対 ''X&prime;'' に対し、以下は同値である:
** <math>\beta(X', X)</math> は界相空間になる。
** <math>\beta(X', X)</math> は[[準樽型空間]]になる。
** <math>\beta(X', X)</math> は[[樽型空間]]になる。
** ''X'' は[[:en:distinguished space|distinguished space]]である。
* ''X'' が界相空間で ''Y'' が局所凸位相線型空間のとき、線型写像 ''u'': ''X'' &rarr; ''Y'' に対して以下は同値: 
** ''u'' は連続である。
** ''X'' の任意の有界部分集合 ''B'' に対して ''u''(''B'') は有界である。
** ''X'' における零列 (''x''<sub>''n''</sub>) に対し、(''u''(''x''<sub>''n''</sub>)) は ''Y'' の零列になる。
* 界相空間の強双対は完備だが、必ずしも界相空間でない。
* 界相空間の閉部分空間は必ずしも界相空間にならない。

== バナハ円板 ==
''X'' が位相線型空間のとき、''X'' の部分集合 ''D'' が円板であるとは、それが凸かつ均衡であることを言う。円板 ''D'' はその線型包 span(''D'') を併呑し、ゆえにその[[ミンコフスキー汎函数]]がこの空間上の半ノルムを成す (これを &mu;<sub>''D''</sub> または ''p''<sub>''D''</sub> と書く)。空間 span(''D'') にこの半ノルムの誘導する位相を入れて得られる位相空間を ''X''<sub>''D''</sub> とかく。この空間の零ベクトル 0 の近傍基は、''r'' が任意の正の実数を亙るときの ''rD'' の形に書ける集合の全体からなる。

この空間は今の場合必ずしもハウスドルフではない（例えば、''X'' = '''R'''<sup>2</sup> で ''D'' を ''x''-軸とするとき）。しかし、''D'' が有界円板で ''X'' がハウスドルフならば、半ノルム &mu;<sub>''D''</sub> はノルムになり、''X''<sub>''D''</sub> はノルム空間になる。''D'' が有界で点列完備な円板で ''X'' がハウスドルフならば、空間 ''X''<sub>''D''</sub> は実はバナハ空間になる。また、''X''<sub>''D''</sub> がバナハ空間になるような ''X'' の有界円板は'''バナハ円板''' (''Banach disk''), '''劣完備''' (''infracomplete''), '''有界{{訳語疑問点範囲|完備|date=2014年2月}}''' (''bounded completant'') などと呼ばれる。

局所凸ハウスドルフ空間 ''X'' と ''X'' の有界円板 ''D'' に対し、
* ''D'' が ''X'' において完備かつ ''T'' が ''X'' の樽型集合ならば、適当な数 {{math|''r'' > 0}} を選んで ''B'' &sub; ''rT'' とすることができる。

=== 例 ===
* バナハ空間の任意の有界閉円板はバナハ円板である。
* ''U'' が ''X'' の零ベクトル 0 の凸均衡閉近傍ならば ''X'' の位相線型空間としての位相は {{math|''r'' > 0}} が任意の正数を亙るときの ''rU'' を近傍系として誘導される。この位相を持つ ''X'' を ''X''<sub>''U''</sub> で表すが、この位相は必ずしもハウスドルフにも完備にもならない。そこでハウスドルフ空間 ''X''<sub>''U''</sub>/Ker(&mu;<sub>''U''</sub>) の完備化を <math>\hat{X}_U</math> で表せば、この <math>\hat{X}_U</math> は完備ハウスドルフ空間で &mu;<sub>''U''</sub> はこの空間上のノルムになる。即ち <math>\hat{X}_U</math> バナハ空間である。''U'' の極集合を ''D&prime;'' とすれば、''X''<sup>&lowast;</sup> において弱コンパクト有界等連続ゆえ、劣完備である。

== 超界相空間 ==
位相線型空間 ''X'' の円板が'''劣界呑''' (''infrabornivorous'') であるとは、それが任意のバナハ円板を併呑するときに言う。''X'' が局所凸ハウスドルフならば、円板が劣界呑であるための必要十分条件は、それが任意のコンパクト円板を併呑することである。局所凸空間が'''超界相空間''' (''ultrabornological'') であるとは、以下の条件
* 任意の劣界呑円板が 0 の近傍になる。
* ''X'' は、''D'' が ''X'' の全てのコンパクト円板を亙るときの空間 ''X''<sub>''D''</sub> の帰納極限に一致する。
* 任意のバナハ円板上で有界となるような ''X'' 上の半ノルムが必ず連続である。
* 任意の局所凸空間 ''Y'' と任意の線型写像 ''u'': ''X'' &rarr; ''Y'' に対し、任意のバナハ円板上で ''u'' が有界ならば ''u'' は連続である。
* 任意のバナハ空間 ''Y'' と任意の線型写像 ''u'': ''X'' &rarr; ''Y'' に対し、任意のバナハ円板上で ''u'' が有界ならば ''u'' は連続である。
の何れかを満たすときに言う。

=== 性質 ===
* 超界相空間の有限直積はまた超界相空間である。
* 超界相空間の帰納極限はまた超界相空間である。

== 関連項目 ==
* {{仮リンク|連続線型写像の空間|en|Space of linear maps}}

== 注 ==
=== 注釈 ===
{{notelist}}
=== 出典 ===
{{reflist}}
== 参考文献 ==
* {{cite book
| last = Hogbe-Nlend
| first = Henri
| title = Bornologies and functional analysis
| publisher = North-Holland Publishing Co.
| location = Amsterdam
| year = 1977
| pages = xii+144
| isbn = 0-7204-0712-5
| mr = 0500064
}}
* {{cite book | author=H.H. Schaefer | title=Topological Vector Spaces | publisher=[[Springer-Verlag]] | series=[[Graduate Texts in Mathematics|GTM]] | volume=3 | year=1970 | isbn=0-387-05380-8 | pages=61–63 }}
* {{cite book|last=Khaleelulla|first=S. M.|title=Counterexamples in Topological Vector Spaces|publisher=[[Springer-Verlag]]|publication-place=Berlin New York|location=Berlin Heidelberg|date=July 1, 1982|volume=936|series=[[Lecture Notes in Mathematics]]|isbn=978-3-540-11565-6|oclc=8588370|ref=harv|pages = 29-33, 49, 104}}
* {{Cite book|和書|author=ニコラ・ブルバキ|title=位相線型空間 1|series=数学原論|year=1968|ref={{SfnRef|ブルバキ|1968}}}}

{{DEFAULTSORT:ゆうかいけいくうかん}}
[[Category:関数解析学]]
[[Category:位相線型空間]]
[[Category:数学に関する記事]]