En analogía con el caso del doble dual algebraico, hay siempre un operador lineal continuo inyectivo naturalmente definido Ψ: "V" → "V"" en su doble dual continuo "V"".