樽型空間

函数解析学および関連する数学において、樽型空間（たるがたくうかん、テンプレート:Lang-en-short）とは、その空間のすべての樽型集合が零ベクトルの近傍であるようなハウスドルフ位相線型空間のことをいう。ここで、ある位相線型空間における樽型集合 (barrel) とは、凸、均衡、併呑かつ閉である集合のことをいう。樽型空間が研究される理由として、テンプレート:仮リンクの一種がそれらに対して成立することが挙げられる。

歴史

樽型空間はテンプレート:Harvs によって考えられた。

連続双対 $X^{'}$ を持つハウスドルフ局所凸空間 $X$ に対して、以下は同値である。

X は樽型である。
連続双対空間 X' のすべての $σ (X^{'}, X)$ -有界部分集合は同程度連続である（これはバナッハ＝シュタインハウスの部分的な逆を与える）^[1]。
連続双対空間 X' のすべての部分集合 A に対して、次の性質は同値である：A は^[1]
- 同程度連続
- 相対弱コンパクト
- 強有界
- 弱有界
X は強位相 $β (X, X^{'})$ を備える。
$X$ 上のすべての下半連続半ノルムが連続である。
X 内の 0-近傍基と、 $E_{β^{'}}$ 内の有界集合の基本族は、極性によってお互い対応する^[1]。

さらに

ある位相線型空間 $X$ が準樽型空間であるとは、その中のすべての樽型有界型集合が $0$ の近傍であることをいう。ここである集合が有界型であるとは、それが $X$ のすべての有界部分集合を併呑することをいう。すべての樽型空間は、準樽型である。

連続双対 $X^{'}$ を持つ局所凸空間 $X$ に対して、以下は同値である。