モンテル空間

関数解析学や関連する数学分野において、モンテル空間とは、モンテルの定理に類似した性質を持つ線形位相空間のことをいう。
より厳密には、モンテル空間とは、閉であるが常にコンパクトであるような樽型空間のことである。
この名称は に因む。
複素解析における古典的なモンテルの定理により、複素平面の連結開集合上の正則関数全体がなす空間はモンテル空間である。
現在興味が持たれるモンテル空間の多くが、超関数に対するテスト関数の空間である。
formula_1 の開集合 formula_2 上の滑らかな関数の空間 formula_3 はモンテル空間であり、その位相は各 formula_4 および各コンパクト部分集合 formula_5 に対して定まる半ノルム
（formula_7 は多重指数）の族により与えられる。開集合上のコンパクトな台を持つ滑らかな関数の空間 formula_8 や、シュワルツ空間も、通常の位相によりモンテル空間である。
無限次元のバナッハ空間は、ハイネ・ボレル性を持たない（閉単位球は閉かつ有界であるがコンパクトではない）ので、モンテル空間ではない。