フレシェ空間
More generally, every Fréchet space is locally convex.