関数解析において、位相ベクトル空間(TVS)は、その連続双対空間の等連続部分集合の任意の弱有界可算和が再び等連続である場合に、可算バレル空間であると言われる。この性質はバレル空間の一般化である。
連続デュアルスペースを備えたTVS X可算樽詰めされていると言われるのは、は弱*有界部分集合であるそれは、等連続部分集合の可算和に等しい。、 それからそれ自体が等連続である。[ 1 ] ハウスドルフ局所凸TVSは、0の閉凸平衡近傍の可算個の共通部分に等しいX内の各バレルが、それ自体が0の近傍である場合に限り、可算バレルである。 [ 1 ]
連続デュアルスペースを備えたTVSは、すべての弱*有界(可算)列がσ-バレルであると言われます。等連続である。[ 1 ]
可算バレル空間は、可算準バレル空間、σバレル空間、σ準バレル空間、および逐次バレル空間である。[ 1 ] H空間 は、強双対空間が可算バレルであるTVSである。[ 1 ]
可算バレル空間はすべてσバレル空間であり、すべてのσバレル空間は順次バレル空間である。[ 1 ] すべてのσバレル空間はσ準バレル空間である。[ 1 ]
すべての樽型空間は可算樽型である。[ 1 ]ただし、半反射的な可算樽型空間で樽型でないものも 存在する。 [ 1 ]特異空間と距離化可能な局所凸空間の 強双対は可算樽型である。[ 1 ]
σ-バレル空間の中には、可算バレルではないものがある。[ 1 ]ノルムDF空間の中には、可算バレルではないもの がある。 [ 1 ] σ-バレル空間ではない準バレル空間 が存在する。 [ 1 ] σ-バレル空間の中には、マッキー空間ではないものがある。[ 1 ] σ-バレル空間の中には、可算準バレル空間ではなく、したがって可算バレルではないものがある。[ 1 ] σ-準バレルではない逐次バレル空間が存在する。[ 1 ]逐次バレルではない準完備局所凸TVS が存在する。 [ 1 ]