
The spectral theorem states that a self-adjoint operator on a Hilbert space has a complete set of eigenvectors forming an orthonormal basis.انبثقت من رحم التحليل الدالي بجهود ديفيد هيلبرت وجون فون نيومان في عشرينيات وثلاثينيات القرن العشرين، وأصبحت مبرهنة الطيف جسراً بين الجبر وميكانيكا الكم. وهي تقرر أن أي مؤثر هيرميتي (سُمّي تيمناً بشارل هيرميت) يصف كمية فيزيائية قابلة للرصد يمكن جعله قُطرياً: أي تمثيله كمجموع (أو تكامل) على إسقاطاته الطيفية، التي يقابل كل منها قيمة محددة للجهاز. إن كان لديكم مجموعة من المرشِّحات اللونية، فبإمكان أي شعاع أن يُحلَّل إلى ألوان صافية ثم يُعاد تركيبه بمزجها. وتفعل مبرهنة الطيف الشيء نفسه في الفضاءات اللانهائية الأبعاد، ضامنةً وجود 'مجموعة مرشِّحات' - المساقط الطيفية - تسمح بتحليل الحالة الكمومية إلى مكوّنات ذات قيم محددة.
في عام 1906، قدّم ديفيد هيلبرت مفهوم الطيف للمعادلات التكاملية وأثبت الصيَغ الأولى للمبرهنة للمؤثرات المحدودة. وفي عشرينيات القرن العشرين، عمّمها جون فون نيومان على المؤثرات المترافقة ذاتياً غير المحدودة، واضعاً بذلك أساساً رياضياً صارماً لميكانيكا الكم (1932، 'الأسس الرياضية لميكانيكا الكم'). وبالتوازي، قدّم مارشال ستون في عام 1932 برهاناً للمؤثرات الوحدوية. تعود جذور أفكار التحليل الطيفي إلى أعمال جوزيف فورييه (1822) وهنري بوانكاريه، لكن الصورة الحديثة ترجع إلى فون نيومان وأندريه ويل.
يشمل التطبيق الفيزياء الكمومية، حيث تحدد القيم الذاتية للهاميلتوني مستويات الطاقة للذرات والجزيئات؛ ونظرية التحكم ومعالجة الإشارات (التفكيك على القيم المفردة)؛ والكيمياء الكمومية (طريقة المدارات الجزيئية). أما القيود: فالمبرهنة تضمن وجود التحليل الطيفي، لكن إيجاد المتجهات الذاتية للأنظمة المعقدة قد يكون غير قابل للتحقيق حسابياً (النمو الأسي للأبعاد). وفي نظرية الحقل الكمومي، غالباً ما تكون المؤثرات غير محدودة، ومسائل المترافقة الذاتية غير بسيطة.
هي بالذات ما يسمح بالتنبؤ بنتائج القياسات الكمومية، وبناء خوارزميات مستقرّة لمحركات البحث، وضغط الصور بتقنية JPEG.
بدون مبرهنة الطيف، لظلت معادلة شرودنغر تجريداً رياضياً - فهي بالذات التي تربط الدالة الموجية للإلكترون بخطوط الطيف الحقيقية التي نراها في قوس قزح أو في ضوء النجوم البعيدة.
| \mathbf{H} | متغير | Hamiltonian matrix — hamiltonian matrix joule |
| \varepsilon | متغير | energy eigenvalue — طاقة joule |
| \mathbf{S} | متغير | overlap matrix — overlap matrix |
| \mathbf{c} | متغير | coefficient vector — coefficient vector |







