A partially defined isometric operator V on a Hilbert space H has a unique isometric extension to the norm closure of dom(V).
Ένας μερικώς ορισμένος ισομετρικός τελεστής V σε έναν χώρο Hilbert H έχει μια μοναδική ισομετρική επέκταση στη νόρμα κλειστότητας του dom(V).