Para un espacio de Fréchet dado, en general existen varias distancias invariantes que definen la topología y que inducen una estructura de espacio métrico completo.