フレシェ空間
フレシェ空間に連続ノルムが存在するときには、半ノルム族の各半ノルムに連続ノルムを加えて、ノルムにすることができる。C([a,b]) や X がコンパクトなときの C(X, V) あるいは H などのバナッハ空間はノルムを持っているが、 R や C(R) は持っていない。
フレシェ空間の閉部分空間はフレシェ空間である。また、フレシェ空間の閉部分空間による商はフレシェ空間である。フレシェ空間の有限個の直和もフレシェ空間になる。
ベールの範疇定理に基づく関数解析学の重要な主張のいくらかはフレシェ空間においても成立する。例えば、閉グラフ定理、開写像定理など。
X と Y がともにフレシェ空間のとき、X から Y への連続線型作用素全体の成す空間 L(X,Y) は自然にフレシェ空間になることはない。これはバナッハ空間論とフレシェ空間論との大きな違いであり、フレシェ空間上の写像の連続的微分可能の定義を改めることが必要となる(ガトー微分):
X と Y がフレシェ空間、U が X の開部分集合とし、写像 P: U → Y および x ∈ U, h ∈ X をとる。写像 P が点 x において h の方向へ微分可能であるとは、
D ( P ) ( x ) ( h ) = lim t → 0 1 t ( P ( x + t h ) − P ( x ) ) {\displaystyle D(P)(x)(h)=\lim _{t\to 0}\,{\frac {1}{t}}{\Big (}P(x+th)-P(x){\Big )}}