الرياضيات · المسرد

ما معنى كثير الحدود المميز؟

يُعرف أيضًا باسم: تضاعف جبري · تضاعف هندسي

تعريف 3.3 الرياضيات الجامعية — السنة 2 · الفصل 3 — اختزال التشاكلات الذاتية

χu(X)=det(Xidu)\chi_u(X) = \det(X\,\mathrm{id} - u) — ويُحسب في أي أساس على صورة det(XInA)\det(XI_n - A)، وهو كثير حدود موحَّد درجته nn، لا يتغير بالتشابه (المبرهنة 2.17). وجذوره في KK هي بالضبط القيم الذاتية (λ\lambda قيمة ذاتية     uλid\iff u - \lambda\,\mathrm{id} غير متباين     χu(λ)=0\iff \chi_u(\lambda) = 0)، ويكون

χu(X)=Xn(tru)Xn1++(1)ndetu.\chi_u(X) = X^n - (\operatorname{tr} u)\, X^{n-1} + \dots + (-1)^n \det u .

والتضاعف الجبري mλm_\lambda لقيمة ذاتية هو تضاعفها بوصفها جذرًا لكثير الحدود χu\chi_u؛ والتضاعف الهندسي هو dimEλ\dim E_\lambda، ويكون 1dimEλmλ1 \leq \dim E_\lambda \leq m_\lambda.

أمثلة

مثال 3.4 (كثير الحدود χ\chi نفسه، وهندستان مختلفتان)

المصفوفتان

(2002)و(2102)\begin{pmatrix}2 & 0\\ 0 & 2\end{pmatrix} \qquad\text{و}\qquad \begin{pmatrix}2 & 1\\ 0 & 2\end{pmatrix}

تشتركان في كثير الحدود المميز (X2)2(X - 2)^2، وفي الأثر، وفي المحدد، وفي الطيف — ومع ذلك فهما غير متشابهتين: فبعد E2E_2 في الأولى 22 (أي التضاعف الهندسي 22)، وفي الثانية 11. فكثير الحدود المميز لا يرى إلا التضاعفات الجبرية؛ وأبعاد الفضاءات الذاتية هي اللامتغيّر الأدقّ، وكثير الحدود الأدنى هو الحَكَم (X2X - 2 في مقابل (X2)2(X - 2)^2). والعبرة في كل مناقشات قابلية التقطير: يضع χ\chi قائمةً بالمرشحين، لكن النوى هي التي تُدلي بالأصوات.

اقرأ في الفصل ←