نظرية كايلي-هاميلتون

Core idea

Overview

تؤكد نظرية كايلي-هاميلتون أن كل مصفوفة مربعة تحقق معادلتها المميزة الخاصة، مما يعني أنه إذا كانت p(λ) هي الدالة متعددة الحدود المميزة للمصفوفة A، فإن p(A) ينتج مصفوفة صفرية. تربط هذه النتيجة الأساسية بين جبر المصفوفات ونظرية الدوال متعددة الحدود، مما يوفر أداة قوية لتحليل المصفوفات.

When to use: تطبق هذه النظرية عند حساب قوى كبيرة لمصفوفة أو إيجاد معكوس مصفوفة غير فردية دون تقليل الصفوف. كما تستخدم لتبسيط الدوال ذات القيم المصفوفية ولإيجاد الدالة متعددة الحدود الدنيا لعامل خطي.

Why it matters: إنها تقلل بشكل كبير من التعقيد الحسابي في مجالات مثل نظرية التحكم ومعالجة الإشارات عن طريق تحويل أسس المصفوفات إلى مجموعات خطية من القوى الدنيا. إنها حجر الزاوية في شكل جوردان القانوني وغيره من التحللات الهيكلية في الجبر الخطي.

Walkthrough

Derivation

اشتقاق/فهم نظرية كايلي-هاميلتون

تنص نظرية كايلي-هاميلتون على أن كل مصفوفة مربعة تحقق كثير الحدود المميز الخاص بها، مما يعني أنه إذا تم استبدال المصفوفة في كثير الحدود المميز الخاص بها، فإن النتيجة تكون مصفوفة صفرية.

المصفوفة $A$ هي مصفوفة مربعة ذات بعد $n \times n$ .
حقل الكميات القياسية هو $C$ (الأعداد المركبة) أو $R$ (الأعداد الحقيقية).

1

تعريف كثير الحدود المميز وعلاقة المرافق:

نبدأ بتعريف كثير الحدود المميز $p (λ)$ لمصفوفة $n \times n$ $A$ . ثم نستدعي الخاصية الأساسية التي تربط بين مصفوفة، ومرافقها، ومحددها، ونطبقها على المصفوفة $(A - λ I)$ .

Let A be an n \times n matrix. The characteristic polynomial is p (λ) = det (A - λ I) = c_{n} λ^{n} + c_{n - 1} λ^{n - 1} + \dots + c_{1} λ + c_{0} . We know that for any matrix M, M \cdot adj (M) = det (M) I . Applying this to (A - λ I) : (A - λ I) adj (A - λ I) = det (A - λ I) I = p (λ) I .

2

التعبير عن المرافق كمصفوفة كثير حدود:

نظرًا لأن عناصر المصفوفة المرافقة هي محددات لمصفوفات جزئية من $(A - λ I)$ ، فهي كثيرات حدود في $λ$ من الدرجة $n - 1$ على الأكثر. هذا يسمح لنا بالتعبير عن المرافق ككثير حدود في $λ$ تكون معاملاته مصفوفات ثابتة.

The entries of adj (A - λ I) are cofactors of (A - λ I), which are polynomials in λ of degree at most n - 1. Thus, we can write adj (A - λ I) = B_{n - 1} λ^{n - 1} + B_{n - 2} λ^{n - 2} + \dots + B_{1} λ + B_{0}, where B_{k} are n \times n matrices with constant entries.

3

مساواة المعاملات واشتقاق النظرية:

عن طريق استبدال التعابير كثيرة الحدود لـ $p (λ)$ و $adj (A - λ I)$ في الهوية، يمكننا مساواة معاملات قوى $λ$ . ضرب هذه المعادلات المصفوفية الناتجة بقوى مناسبة من $A$ وجمعها يؤدي إلى مجموع متلسك، والذي يلغي إلى المصفوفة الصفرية، مما يثبت أن $p (A)$ تساوي المصفوفة الصفرية.

Substitute the polynomial forms into the identity from Step 1: (A - λ I) (B_{n - 1} λ^{n - 1} + \dots + B_{0}) = (c_{n} λ^{n} + \dots + c_{0}) I . Expanding the left side and equating coefficients of powers of λ on both sides: - I B_{n - 1} n A B_{n - 1} - I B_{n - 2} n A B_{1} - I B_{0} n A B_{0} = = = = c_{n} I c_{n - 1} I ⋮ c_{1} I c_{0} I ⋮ Multiply each equation by A^{n}, A^{n - 1}, \dots, A^{1}, A^{0} respectively, from the left: - A^{n} B_{n - 1} n A^{n} B_{n - 1} - A^{n - 1} B_{n - 2} n A^{2} B_{1} - A B_{0} n A B_{0} = = = = c_{n} A^{n} c_{n - 1} A^{n - 1} ⋮ c_{1} A c_{0} I ⋮ Summing these equations yields the zero matrix on the left side due to telescoping cancellation: 0 = c_{n} A^{n} + c_{n - 1} A^{n - 1} + \dots + c_{1} A + c_{0} I . This is precisely p (A) = 0.

Result

Substitute the polynomial forms into the identity from Step 1: (A - λ I) (B_{n - 1} λ^{n - 1} + \dots + B_{0}) = (c_{n} λ^{n} + \dots + c_{0}) I . Expanding the left side and equating coefficients of powers of λ on both sides: - I B_{n - 1} n A B_{n - 1} - I B_{n - 2} n A B_{1} - I B_{0} n A B_{0} = = = = c_{n} I c_{n - 1} I ⋮ c_{1} I c_{0} I ⋮ Multiply each equation by A^{n}, A^{n - 1}, \dots, A^{1}, A^{0} respectively, from the left: - A^{n} B_{n - 1} n A^{n} B_{n - 1} - A^{n - 1} B_{n - 2} n A^{2} B_{1} - A B_{0} n A B_{0} = = = = c_{n} A^{n} c_{n - 1} A^{n - 1} ⋮ c_{1} A c_{0} I ⋮ Summing these equations yields the zero matrix on the left side due to telescoping cancellation: 0 = c_{n} A^{n} + c_{n - 1} A^{n - 1} + \dots + c_{1} A + c_{0} I . This is precisely p (A) = 0.

Source: Introduction to Linear Algebra by Gilbert Strang

Why it behaves this way

Intuition

تخيل مصفوفة مربعة بوصفها مجموعة تعليمات لتحويل المتجهات؛ وتقول نظرية كايلي-هاميلتون إن المصفوفة تحقق كثير الحدود المميز الخاص بها، لذلك فإن تركيبًا معينًا من قواها يعيد النتيجة إلى الصفر.

Term

المصفوفة المربعة التي توصف خصائصها الجبرية.

يمثل تحويلًا خطيًا أو مؤثر نظام.

Term

كثير الحدود المميز للمصفوفة A، محسوبًا عن طريق استبدال A بالمتغير.

هذه العملية تجمع بين قوى A والمضاعفات القياسية، مما يوضح هوية جبرية أساسية خاصة بـ A.

Term

المعاملات القياسية التي تحدد كثير الحدود المميز المحدد للمصفوفة A.

هذه القيم القياسية تحدد المعادلة متعددة الحدود الفريدة التي تحققها المصفوفة A.

Term

مصفوفة الوحدة، والتي تعمل كهوية ضربية في الجبر المصفوفي.

يضمن أن الحد الثابت

a_{0}

من كثير الحدود المميز يتم تمثيله بشكل صحيح كمصفوفة في المعادلة.

Term

المصفوفة الصفرية، والتي تعمل كهوية جمعية في الجبر المصفوفي.

يدل على أن التعبير متعدد الحدود، عند تقييمه بـ A، يؤدي إلى التحويل الصفري أو عدم وجود أي تأثير صافٍ.

Free study cues

Insight

Canonical usage

تصف هذه النظرية الرياضية هوية جبرية للمصفوفات المربعة. إذا كانت عناصر المصفوفة تمتلك وحدات فيزيائية، فيجب اختيار معاملات كثيرة الحدود لضمان الاتساق البعدي عبر جميع حدود الهوية.

One free problem

Practice Problem

بالنظر إلى مصفوفة 2×2 A بعناصر قطرية m11 = 5 و m22 = 3، تنص نظرية كايلي-هاميلتون على أن A تحقق المعادلة A² - kA + dI = 0. أوجد قيمة k، التي تتوافق مع أثر المصفوفة.

Hint: أثر المصفوفة هو مجموع عناصرها القطرية ويظهر كمعامل سالب للحد λ في الدالة متعددة الحدود المميزة.

The full worked solution stays in the interactive walkthrough.

Where it shows up

Real-World Context

في سياق نظرية كايلي-هاميلتون، تُستخدم معادلة نظرية كايلي-هاميلتون لتحويل القياسات إلى قيمة يمكن تفسيرها. وتكمن أهمية الناتج في أنه يساعد على ربط الحساب بالشكل أو معدل التغير أو الاحتمال أو القيد داخل النموذج.

Study smarter

Tips

احسب الدالة متعددة الحدود المميزة أولاً باستخدام det(λI - A) = 0.
استبدل λ بالمصفوفة A والحد الثابت بمصفوفة الوحدة I.
استخدمها للتعبير عن A⁻¹ كدالة متعددة الحدود في A عن طريق ضرب المعادلة المميزة في A⁻¹.

Avoid these traps

Common Mistakes

تطبيق النظرية على مصفوفات غير مربعة.
النسيان ضرب الحد الثابت بمصفوفة الوحدة عند تقييم p(A).

Keep going

Related Formulas

Common questions

Frequently Asked Questions

تنص نظرية كايلي-هاميلتون على أن كل مصفوفة مربعة تحقق كثير الحدود المميز الخاص بها، مما يعني أنه إذا تم استبدال المصفوفة في كثير الحدود المميز الخاص بها، فإن النتيجة تكون مصفوفة صفرية.

تطبق هذه النظرية عند حساب قوى كبيرة لمصفوفة أو إيجاد معكوس مصفوفة غير فردية دون تقليل الصفوف. كما تستخدم لتبسيط الدوال ذات القيم المصفوفية ولإيجاد الدالة متعددة الحدود الدنيا لعامل خطي.

إنها تقلل بشكل كبير من التعقيد الحسابي في مجالات مثل نظرية التحكم ومعالجة الإشارات عن طريق تحويل أسس المصفوفات إلى مجموعات خطية من القوى الدنيا. إنها حجر الزاوية في شكل جوردان القانوني وغيره من التحللات الهيكلية في الجبر الخطي.

تطبيق النظرية على مصفوفات غير مربعة. النسيان ضرب الحد الثابت بمصفوفة الوحدة عند تقييم p(A).

في سياق نظرية كايلي-هاميلتون، تُستخدم معادلة نظرية كايلي-هاميلتون لتحويل القياسات إلى قيمة يمكن تفسيرها. وتكمن أهمية الناتج في أنه يساعد على ربط الحساب بالشكل أو معدل التغير أو الاحتمال أو القيد داخل النموذج.

احسب الدالة متعددة الحدود المميزة أولاً باستخدام det(λI - A) = 0. استبدل λ بالمصفوفة A والحد الثابت بمصفوفة الوحدة I. استخدمها للتعبير عن A⁻¹ كدالة متعددة الحدود في A عن طريق ضرب المعادلة المميزة في A⁻¹.

References

Sources

Wikipedia: Cayley-Hamilton theorem
Linear Algebra and Its Applications (5th ed.) by David C. Lay
Introduction to Linear Algebra (5th ed.) by Gilbert Strang
Linear Algebra and Its Applications by David C. Lay
Introduction to Linear Algebra by Gilbert Strang
Linear Algebra and Its Applications, David C. Lay

Overview

Derivation

تعريف كثير الحدود المميز وعلاقة المرافق:

التعبير عن المرافق كمصفوفة كثير حدود:

مساواة المعاملات واشتقاق النظرية:

Intuition

Insight

Practice Problem

Real-World Context

Tips

Common Mistakes

Related Formulas

Matrix Trace

Rank-Nullity Theorem

Frequently Asked Questions

Sources