تقطير المصفوفات
PostedMatrix Diagonalization
تعريف 1: المصفوفة A من الحجم n×n تدعى قطورة (أو قابلة للتقطير) إذا كنت مشابهة لمصفوفة قطرية، أي إذا وجدت مصفوفة P عكوسة (قابلة للإنعكاس) بحيث أن المصفوفة
تكون مصفوفة قطرية. عملية إيجاد P تسمى تقطيراً للمصفوفة A.
قد يدور تساؤل فيما إذا كانت كل مصفوفة مربعة قطورة ، والجواب هو: لا، توجد مصفوفات[م] لا تقبل التقطير .
مبرهنة[م] 1: المصفوفة A من الحجم n×n تكون قطورة إذا وفقط إذا كان لديها n متجهاً ذاتياً مستقلة خطياً[م].
البرهان:
لنفرض أن A قطورة، إذاً توجد مصفوفة عكوسة بحيث
قطرية. لتكن
عناصر القطر للرئيسي لـ D ، ولتكن
متجهات[م] الأعمدة لـ p ، فإن:
![PD = \left[ {\begin{array}{*{20}c} {p_1 } & {p_2 } & {...} & {p_n } \\\end{array}} \right]\left[ {\begin{array}{*{20}c} {\lambda _1 } & 0 & \ldots & 0 \\ 0 & {\lambda _2 } & \ldots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \ldots & {\lambda _n } \\\end{array}} \right] = \left[ {\begin{array}{*{20}c} {p_1 \lambda _1 } & {p_2 \lambda _2 } & {...} & {p_n \lambda _n } \\\end{array}} \right] PD = \left[ {\begin{array}{*{20}c} {p_1 } & {p_2 } & {...} & {p_n } \\\end{array}} \right]\left[ {\begin{array}{*{20}c} {\lambda _1 } & 0 & \ldots & 0 \\ 0 & {\lambda _2 } & \ldots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \ldots & {\lambda _n } \\\end{array}} \right] = \left[ {\begin{array}{*{20}c} {p_1 \lambda _1 } & {p_2 \lambda _2 } & {...} & {p_n \lambda _n } \\\end{array}} \right]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_vJurksPuytakp7R_Bj0zKhJ8ij40i68xjkuX-3qCtNmHhvKRiou2uC5r-jrwd1urCKPCUH0Lbt7TARxQUPgrIzunBk2TqShMz5N0glzlcAJc1pITJVr6jmdmTqXWzk9inTFNE3X5KQwfVL2hPCvg=s0-d)
وبما أن
فإن
مما يؤدي إلى:
![\left[ {\begin{array}{*{20}c} {Ap_1 } & {Ap_2 } & {...} & {Ap_n } \\\end{array}} \right] = \left[ {\begin{array}{*{20}c} {\lambda _1 p_1 } & {\lambda _2 p_2 } & {...} & {\lambda _n p_n } \\\end{array}} \right] \left[ {\begin{array}{*{20}c} {Ap_1 } & {Ap_2 } & {...} & {Ap_n } \\\end{array}} \right] = \left[ {\begin{array}{*{20}c} {\lambda _1 p_1 } & {\lambda _2 p_2 } & {...} & {\lambda _n p_n } \\\end{array}} \right]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sBmFn2XxRnoa7DveroLs2AvlbooYc_Rc_lQ65qBJOaGgSvLstzd29P_42dFn78brfZ-kU6gl-SeHtvbdd2wnoT6EaWiuSoSi9_f-6yXKiXdR9RUBJIYJRtShCXYbShxm370ruBttGzRWXx_8QBNw=s0-d)
بعبارة أخرى فإن
لكل متجه عمود
. وهذا بكل بساطة يعني أن المتجهات
عبارة متجهات ذاتية لـ A. ولكن بما أن P عكوسة لذا فإن أعمدتها مستقلة ذاتياً، أي مجموعة المتجهات الذاتية مستقلة خطياً.
لنفرض أنه يوجد n متجهاً ذاتياً مستقلة خطياً لـ A . لنن هذه المتجهات الذاتية هي
وقيمها الذاتية
. لنعرف المصفوفة P على الشكل:
. ولكن بما أن كل
هو متجه ذاتي لـ A ، لذا فإن
و:
![AP = A\left[ {\begin{array}{*{20}c} {p_1 } & {p_2 } & {...} & {p_n } \\\end{array}} \right] = \left[ {\begin{array}{*{20}c} {\lambda _1 p_1 } & {\lambda _2 p_2 } & {...} & {\lambda _n p_n } \\\end{array}} \right] AP = A\left[ {\begin{array}{*{20}c} {p_1 } & {p_2 } & {...} & {p_n } \\\end{array}} \right] = \left[ {\begin{array}{*{20}c} {\lambda _1 p_1 } & {\lambda _2 p_2 } & {...} & {\lambda _n p_n } \\\end{array}} \right]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_vUpBEIkaPPGsgkNH9FzeMonBKvZCQ94m2lnSBtDhzhT20IZzx35qCukLyTR8T_kl44HeUwMJ720fjY_OLqpa7zS6NiQsdGxrbdHnIJ93e8BBbazluDOYfGGJlw3fBZUbY_URvh0dikR0wsZc1X=s0-d)
الطرف الأيمن من المعادلة يمكن أن يكتب الشكل التالي:
![AP = \left[ {\begin{array}{*{20}c} {p_1 } & {p_2 } & {...} & {p_n } \\\end{array}} \right]\left[ {\begin{array}{*{20}c} {\lambda _1 } & 0 & \ldots & 0 \\ 0 & {\lambda _2 } & \ldots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \ldots & {\lambda _n } \\\end{array}} \right] = PD AP = \left[ {\begin{array}{*{20}c} {p_1 } & {p_2 } & {...} & {p_n } \\\end{array}} \right]\left[ {\begin{array}{*{20}c} {\lambda _1 } & 0 & \ldots & 0 \\ 0 & {\lambda _2 } & \ldots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \ldots & {\lambda _n } \\\end{array}} \right] = PD](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_vcV9cVwkWAFKc8OzFWN0EqM2aCz09DXGBzkxAdaQbpdhFHy7ejm55OIVd7jTMavaxrua7quICy__ip7lck8pzlo0FRHArJY3tx0wXgXQKg_vbtHB27LM-JdvZWkeySfTql51sZMAinPUqZqwm9cA=s0-d)
وبما أن
مستقلة خطياً ، لذا فإن P عكوسة وبذلك نحصل على:
، أي أن A قطورة. 
إن المبرهنة 1 توفر لنا طريقة واضحة لكيفية تقطير المصفوفة A ، وذلك من خلال الخطوات التالية:
(تحت الإنشاء)
المراجع:
تعريف 1: المصفوفة A من الحجم n×n تدعى قطورة (أو قابلة للتقطير) إذا كنت مشابهة لمصفوفة قطرية، أي إذا وجدت مصفوفة P عكوسة (قابلة للإنعكاس) بحيث أن المصفوفة
قد يدور تساؤل فيما إذا كانت كل مصفوفة مربعة قطورة ، والجواب هو: لا، توجد مصفوفات[م] لا تقبل التقطير .
مبرهنة[م] 1: المصفوفة A من الحجم n×n تكون قطورة إذا وفقط إذا كان لديها n متجهاً ذاتياً مستقلة خطياً[م].
البرهان:
لنفرض أن A قطورة، إذاً توجد مصفوفة عكوسة بحيث
وبما أن
بعبارة أخرى فإن
لنفرض أنه يوجد n متجهاً ذاتياً مستقلة خطياً لـ A . لنن هذه المتجهات الذاتية هي
الطرف الأيمن من المعادلة يمكن أن يكتب الشكل التالي:
وبما أن
إن المبرهنة 1 توفر لنا طريقة واضحة لكيفية تقطير المصفوفة A ، وذلك من خلال الخطوات التالية:
- (1) أوجد n متجهاً ذاتياً مستقلة خطياً
مع قيمها الذاتية
. إذا كانت هذه المجموعة من المتجهات الذاتية غير موجودة فإنه لا يمكن تقطير A.
- (2) كون المصفوفة P بحيث
.
- (3) المصفوفة القطرية
ستكون عناصر قطرها الرئيسي هي
.
(تحت الإنشاء)
المراجع:
[1] T. Apostol, Linear Algebra, Wiley-Interscience, 1997. (اضغط هنا)
[2] K. Hoffman and R. Kunze, Linear Algebra, 2nd ed., Prentice Hall, 1971. (اضغط هنا)
This entry was posted
on 11:45 ص
.
You can leave a response
and follow any responses to this entry through the
الاشتراك في:
تعليقات الرسالة (Atom)
.