Espace de Fréchet

Un espace vectoriel topologique localement convexe dont la topologie est métrisable par une métrique invariante par translation et qui est complet pour cette métrique ; de façon équivalente, un espace vectoriel topologique complet, localement convexe et métrisable, généralement décrit par une famille dénombrable de sous-normes.