Hellinger-Toeplitz-satsen är resultatet av funktionsanalys , som fastställer begränsningen av en symmetrisk operator i ett Hilbert-rum .
Låt vara ett Hilbert-utrymme . Om det för en linjär operator finns en linjär operator som uppfyller villkoret är operatorn begränsad .
I synnerhet är varje symmetrisk operator definierad på hela utrymmet avgränsad, det vill säga en linjär operator som uppfyller villkoret .
Det väsentliga villkoret för satsen är villkoret för definiteness av operatorn på hela Hilbert rymden .