フレシェ空間は(ノルムの導く距離に関して完備なノルム付き線型空間である)バナッハ空間を一般化するもので、平行移動不変距離関数に関して完備な局所凸空間を言う。