函数解析学および関連する数学において、樽型空間(たるがたくうかん、: barrelled space)とは、その空間のすべての樽型集合が零ベクトル近傍であるようなハウスドルフ位相線型空間のことをいう。ここで、ある位相線型空間における樽型集合 (barrel) とは、均衡併呑かつである集合のことをいう。樽型空間が研究される理由として、バナッハ=シュタインハウスの定理英語版の一種がそれらに対して成立することが挙げられる。

歴史

編集

樽型空間は Bourbaki (1950) によって考えられた。

性質

編集

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

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

さらに

  • すべての点列完備な準樽型空間は、樽型である。
  • 樽型空間は必ずしも、モンテル、完備、距離化可能、非順序ベール型、およびバナッハ空間の帰納極限ではない。

準樽型空間

編集

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

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

  •   は準樽型である。
  •   上のすべての有界下半連続半ノルムが連続である。
  • 連続双対空間   のすべての  -有界部分集合が同程度連続である。

参考文献

編集
  1. ^ a b c Schaefer (1999) p. 127, 141, Treves (1995) p. 350
  • Bourbaki, Nicolas (1950). “Sur certains espaces vectoriels topologiques” (French). Annales de l'Institut Fourier 2: 5–16 (1951). MR0042609. http://www.numdam.org/item?id=AIF_1950__2__5_0. 
  • Robertson, Alex P.; Robertson, Wendy J. (1964). Topological vector spaces. Cambridge Tracts in Mathematics. 53. Cambridge University Press. pp. 65–75 
  • Schaefer, Helmut H. (1971). Topological vector spaces. GTM. 3. New York: Springer-Verlag. p. 60. ISBN 0-387-98726-6 
  • S.M. Khaleelulla (1982). Counterexamples in Topological Vector Spaces. GTM. 936. Springer-Verlag. pp. 28-46. ISBN 978-3-540-11565-6 

外部リンク

編集