数学、特に関数解析において、ボルノロジー空間は、ある意味で、集合の有界性や線形写像の問題を扱うために必要な最小限の構造を持つ空間の一種であり、位相空間が連続性の問題を扱うために必要な最小限の構造を持つのと同様である。ボルノロジー空間は、ボルノロジー空間から任意の局所凸空間への線形写像が、有界線形作用素である場合に限り連続であるという性質によって区別される。
ボルノロジー空間は、ジョージ・マッキーによって初めて研究された。この名称は、フランス語で「境界のある」を意味するbornéにちなんで、ブルバキによって造られた。
セットでの出生学コレクションサブセットの以下のすべての条件を満たすもの:
コレクションの要素と呼ばれる-有界または単に有界な集合の場合理解されている。[ 1 ] このペアこれは境界構造またはボルノロジー集合と呼ばれる。[ 1 ]
生物学の基礎または基本システム部分集合であるの各要素ある要素のサブセットであるコレクションが与えられた場合サブセットの最小のボルノロジーを含むは、[ 2 ]
もしそして出生学のセットは、その製品の出生学ですボルノロジーは、すべての集合の形式を基礎としている。どこそして[ 2 ] サブセットが積ボルノロジーで有界であるのは、その像が正準射影によって に写像される場合に限る。そして両方とも有界である。
もしそして出生集合は関数であるが、(これらのボルノロジーに関して)局所的に境界のあるマップまたは境界のあるマップであるとは、それがマップする場合である。-境界付き部分集合に-境界付き部分集合つまり、もし[ 2 ] さらには全単射であり、も有界であるこれは、ボルノロジー的同型性と呼ばれます。
させて体上のベクトル空間であるどこ出生学がある 出生学の上ベクターボルノロジーと呼ばれるベクトル加算、スカラー乗算、バランスのとれた包の形成に関して安定している場合(つまり、2 つの有界集合の和が有界である場合など)。
もしは位相ベクトル空間(TVS)であり、出生学はすると、以下は同等である。
ベクターボルノロジー凸包の形成に関して安定している場合(つまり、有界集合の凸包が有界である場合)、凸ベクトルボルノロジーと呼ばれます。 そしてベクターボルノロジーは、唯一の有界ベクトル部分空間である場合に分離されていると呼ばれます。0次元の自明な空間
いつもの、実数または複素数のいずれかであり、その場合はベクトルボルノロジーの上凸ベクトルボルノロジーと呼ばれるのは、凸集合からなる基底を持つ。
サブセットの全ての有界集合を吸収する場合、それは生食性と呼ばれ、生食者と呼ばれる。
ベクターボルノロジーでは、あらゆる有界なバランスのとれた集合を吸収し、凸ベクトルの産学においては、それは産食性である。境界のある円盤をすべて吸収する場合、それは生食性である。
同じベクトル空間上の 2 つの TVS トポロジーが同じ有界部分集合を持つのは、それらが同じボーンイヴォアを持つ場合に限る。[ 3 ]
局所凸な距離化可能な位相ベクトル空間のあらゆる生食性部分集合は、原点の近傍である。[ 4 ]
シーケンスTVSでマッキー収束型と言われている正の実数列が存在する場合分岐してそのため収束してで[ 5 ]
すべての位相ベクトル空間少なくとも非離散値フィールドでは、ボルノロジーが与えられます部分集合を定義することによってすべての開集合に対して、有界(またはフォン・ノイマン有界)であるのは、ゼロを含むと もしは局所凸位相ベクトル空間である。は、上の連続半ノルムがすべて有界である場合に限り有界である。境界は
位相ベクトル空間のすべての有界部分集合の集合これは、
もしが局所凸位相ベクトル空間である場合、吸収円盤でミンコフスキー汎関数が局所的に有界(または下有界)である場合に限り、それは出生食性(または下出生食性)である。[ 4 ]
もしベクトル空間上の凸ベクトルボルノロジーそしてコレクションすべての凸平衡部分集合の生食性のものは、原点で局所凸トポロジーの近傍基底を形成する。によって誘導されるトポロジーと呼ばれる[ 4 ]
もしTVS であれば、関連するボルノロジー空間はベクトル空間フォン・ノイマンのボルノロジーによって誘導される局所凸トポロジーを備えた[ 4 ]
定理[ 4 ] —とするそして局所凸TVSとし、示すフォン・ノイマンのボルノロジーによって誘導されるトポロジーを備えた定義する同様に。次に線形マップは有界線形作用素であるのは、連続的である。
さらに、もし出生学的な、ハウスドルフであり、連続線形マップであれば、さらにまた、超新生児学的なものであり、連続性を意味するどこ超胎児学空間は
準出生学的な空間は、1968年にS. Iyahenによって導入された。[ 6 ]
位相ベクトル空間(TVS)連続双対以下のいずれかの条件が満たされる場合、準出生空間[ 6 ]と呼ばれる。
擬似計量可能なTVSはすべて準出生学的である。[ 6 ] TVSすべての生食性集合が原点の近傍であるような空間は準生食性空間である。[ 8 ] もし準出生学的TVSである場合、最も優れた局所凸トポロジーはそれはより粗い作る局所的に凸な出生空間へ。
関数解析において、局所凸位相ベクトル空間は、その位相が自然な方法でそのボルノロジーから復元できる場合、ボルノロジー空間と呼ばれる。
局所凸準ボルノロジー空間はすべてボルノロジーであるが、準ボルノロジーではないボルノロジー空間も存在する。 [ 6 ]
位相ベクトル空間(TVS)連続双対局所的に凸であり、かつ以下のいずれかの条件が満たされる場合、それはボルノロジー空間と呼ばれる。
もしがハウスドルフ局所凸空間である場合、このリストに以下を追加できます。[ 7 ]
部分集合のは、 に収束するすべての数列が順次開いている場合、順次開いていると呼ばれます。最終的には
局所凸なボルノロジー空間から局所凸なTVSへの逐次連続な線形演算子はすべて連続である[ 4 ]。ここで、線形演算子が逐次連続であるのは、それが原点で逐次連続である場合に限ることを思い出してほしい。したがって、ボルノロジー空間から局所凸空間への線形写像の場合、連続性は原点での逐次連続性と同等である。さらに一般的には、次のことも成り立つ。
マッキー・ウラムの定理の結果として、「実際的な目的においては、ボルノロジー空間の積はボルノロジーである」[ 9 ]。
以下の位相ベクトル空間はすべてボルノロジー的である。
強双対がボルノロジー的ではないボルノロジー的LB空間が存在する。[ 13 ]
局所凸なボルノロジー空間の閉ベクトル部分空間は、必ずしもボルノロジー的ではない。[ 4 ] [ 14 ] 局所凸なボルノロジー空間の閉ベクトル部分空間には、完全(したがって逐次完全)であるが、バレルでもボルノロジーでもないものが存在する。[ 4 ]
出生空間は樽型である必要はなく、樽型空間は出生空間である必要もない。[ 4 ]すべての局所凸超出生空間は樽型であるため、[ 4 ]出生空間は必ずしも超出生空間ではないことがわかる。
位相ベクトル空間における円盤すべてのバナッハディスクを吸収する場合、それはインフラボーン食性と呼ばれます。
もしが局所的に凸でハウスドルフであるならば、円盤が内部に飲み込まれるのは、それがすべてのコンパクト円盤を吸収する場合に限る。
局所凸空間は、以下のいずれかの条件が満たされる場合、超生物学的空間と呼ばれる。
超生命論的空間の有限積は超生命論的である。超生命論的空間の帰納的極限は超生命論的である。