定義
実数体 R 上の分離的で局所凸(>>513)な位相線形空間 E は
距離付け可能(過去スレ007の96)で完備なとき Frechet 空間と言う。