食肉食セット

関数解析では、ベクトル 発生学が関連付けられている実ベクトル空間または複素ベクトル空間のサブセットは、のすべての要素を吸収する場合に、発生原始的 ( bornivorous )または発生器(bornivore)と呼ばれます。 が位相ベクトル空間(TVS)である場合、のサブセットは、 のフォン・ノイマン発生学に関して発生原始的であれば発生原始的であると呼ばれます。

ボルノロジー集合は、多くの位相ベクトル空間のクラス、特にボルノロジー空間の定義において重要な役割を果たします。

定義

がTVSの場合、そのサブセットは次のように呼ばれる。食肉性[ 1 ]生食動物は、すべての有界部分集合を吸収する

局所凸空間の吸収円板が自食性を持つ場合、そのミンコフスキー関数は局所的に有界である(つまり、有界集合を有界集合に写像する)場合に限られる。 [ 1 ]

下食性集合と下有界写像

2つのTVS間の線形写像はバナッハ円板を写像する場合は有界ではない [ 2 ]

ディスクインはすべてのバナッハ円板を吸収するならば、亜幼虫食性である [ 3 ]

局所凸空間の吸収円板がインフラボーンを食らう場合、かつそのミンコフスキー関数が下有界である場合に限る。[ 1 ]ハウスドルフ局所凸空間 の円板がインフラボーンを食らう場合、かつその円板がすべてのコンパクト円板を吸収する場合に限る(つまり、それが「コンパクト食性」)。 [ 1 ]

プロパティ

TVS のあらゆる生食性および生食性以下のサブセットは吸収性である。擬似卵割可能な TVSにおいては、あらゆる生食性動物は起源の近傍である。[ 4 ]

同じベクトル空間上の2つのTVS位相が同じ有界部分集合を持つのは、それらが同じ食肉動物を持つ場合のみである。[ 5 ]

が局所凸空間の有限次元のベクトル部分空間であるとし、が の樽(それぞれ 樽、円盤)であるとすると、に樽(それぞれ 樽、円盤)が存在し、[ 6 ]

例と十分な条件

TVSにおける原点の近傍はすべて生食性である。生食性集合の凸包、閉凸包、均衡包もまた生食性である。有界線型写像の下での生食性の逆像は生食性である。[ 7 ]

がすべての有界部分集合が有限次元ベクトル部分空間に含まれるTVSである場合、すべての吸収集合はボーンイボアである。 [ 5 ]

反例

を実数上のベクトル空間とします。がと の間の閉線分の平衡包である場合、 は自食性ではありませんが、 の凸包は自食性です。 が頂点を持つ閉じた「塗りつぶされた」三角形である場合、 は凸集合であり、自食性ではありませんが、その平衡包は自食性です。

参照

参考文献

参考文献