T∈L(H) स्वसंलग्न कहलाता है यदि T=T∗ (अभ्यास 13.8), अर्थात् सभी x,y के लिए ⟨Tx,y⟩=⟨x,Ty⟩। तब प्रत्येक x के लिए ⟨x,Tx⟩∈R (वह अपने ही संयुग्म के बराबर है)।
उदाहरण
उदाहरण 15.9
L2([0,1]) पर मान लीजिए Tf(x)=∫01min(x,y)f(y)dy: यह वास्तविक सममित नाभिक वाला हिल्बर्ट–श्मिट संकारक है: अतः संहत और स्वसंलग्न। Tf=λf हल करना: संबंध (Tf)(x)=∫0xyf(y)dy+x∫x1f(y)dy दिखाता है कि u=Tf u′′=−f को संतुष्ट करता है (दो बार अवकलन, जो संतत f के लिए वैध है, और f∈L2 के लिए Tf संतत है: प्रभावी अभिसरण), जिसमें u(0)=0 और u′(1)=0। अतः अभिलक्षणिक फलन λu′′=−u, u(0)=0, u′(1)=0 को हल करते हैं:
un(x)=sin((n+21)πx),λn=(n+21)2π21(n≥0),
और स्पेक्ट्रमी प्रमेय कहती है — बिना किसी फूरिये सिद्धांत के — कि मानकीकरण के बाद ये ज्या L2([0,1]) का प्रसामान्य लांबिक आधार बनाते हैं (T की अष्टि 0 है: Tf=0 से दो अवकलनों द्वारा लगभग सर्वत्र f=0 अनिवार्य हो जाता है)। सप्ताहांत समस्या कंपमान डोरी के लिए इसी विचार-मंडल को चलाती है और अनुरेख से ζ(2) निकाल लेती है।