يكون λ∈K قيمة ذاتية للتشاكل u إذا كان u(x)=λx من أجل x=0 ما (وتُسمى متجهة ذاتية)؛ والفضاء الذاتي هو Eλ(u)=ker(u−λid). ومجموعة القيم الذاتية هي الطيف Sp(u). ويكون الفضاء الجزئي F مستقرًا إذا كان u(F)⊆F؛ والفضاءات الذاتية مستقرة، وتسمح الفضاءات الجزئية المستقرة بتعريف تشاكلات ذاتية مستحثّة u∣F.
أمثلة
مثال 3.4 (كثير الحدود χ نفسه، وهندستان مختلفتان)
المصفوفتان
(2002)و(2012)
تشتركان في كثير الحدود المميز (X−2)2، وفي الأثر، وفي المحدد، وفي الطيف — ومع ذلك فهما غير متشابهتين: فبعد E2 في الأولى 2 (أي التضاعف الهندسي 2)، وفي الثانية 1. فكثير الحدود المميز لا يرى إلا التضاعفات الجبرية؛ وأبعاد الفضاءات الذاتية هي اللامتغيّر الأدقّ، وكثير الحدود الأدنى هو الحَكَم (X−2 في مقابل (X−2)2). والعبرة في كل مناقشات قابلية التقطير: يضع χ قائمةً بالمرشحين، لكن النوى هي التي تُدلي بالأصوات.
مثال 3.8 (التقطير في العمل)
لتكن A=I+J=(211121112)، حيث J المصفوفة التي كل عناصرها واحد: فمن Sp(J)={3,0} (المثال 2.19)، نجد Sp(A)={4,1}، وبفضاءين ذاتيين هما R(1,1,1) والمستوي {x+y+z=0}: وبأبعاد 1+2=3، فهي قابلة للتقطير (المبرهنة 3.6 (2)). والقوى بلا أي مصفوفة تغيير أساس: فمع Π=J/3 الإسقاط على R(1,1,1)،
A=4Π+1⋅(I−Π)⟹Ak=4kΠ+(I−Π)=34k−1J+I.
(وللتحقق من k=1: 34−1J+I=A.) والفكرة الختامية: حين تكون الفضاءات الذاتية ظاهرة، تحسب الإسقاطات الطيفية القوى أسرع مما ستفعله PDP−1 يومًا — والصيغة تُظهر الحركية: فينمو Ak مثل 4k على امتداد (1,1,1) ويبقى ثابتًا على المستوي المتعامد.
مثال 3.10 (تثليث يدوي)
B=(31−11): χB=X2−4X+4=(X−2)2، وker(B−2I)=ker(11−1−1) هو المستقيم المولَّد بالمتجهة e1′=(1,1): أي قيمة ذاتية واحدة، وفضاء ذاتي ذو بعد واحد — فهي غير قابلة للتقطير، لكنها قابلة للتثليث (المبرهنة 3.9). نُتمّ الأساس بالمتجهة e2′=(1,0) ونحسب:
u(e1′)=(2,2)=2e1′,u(e2′)=(3,1)=1⋅e1′+2e2′,
ومنه تكون المصفوفة في الأساس (e1′,e2′) هي T=(2012). والفكرة الختامية: كان قطر المصفوفة T مفروضًا (فلا بد أن يكون العنصران القيمةَ الذاتية المضاعفة 2)؛ ولم يتعلق بالاختيار e2′ إلا عنصر الزاوية، ويستطيع تغيير سلّم e2′ أن يجعله أي قيمة غير معدومة — فالعدد “1” العنيد ظلّ الجزء العديم القوى الذي سيعزله دنفورد.