Fréchet space
-空間は、任意の に対して F-空間であり、 ならば局所凸、したがってフレシェ空間であり、実際バナッハ空間ですらある。