Fréchet space
フレシェ空間の定義には主に大きく二つの流儀があり、ひとつは平行移動不変距離を用いるもので、いまひとつは半ノルムの可算族を用いるものである。