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