تحليل دالي, رياضيات, فضاء هلبرت, مؤثرات خطية, نظرية الطيفالمؤثر المتراص في فضاء هلبرت (Compact Operator on Hilbert Space)