تقطير المصفوفات
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_v9llPRVCrEcnIdg_zJt8upy9xyPYZX-GK-O_zCZ8GTToNrwRH93SbOz6jzrNVWa8YWHHSvvi0lUg_b7oT9YlfuZ786oa54l64R4hzLFUsCWgrf2gqj-libylQy1PM92peQx8CofPI1-o0OUq7OYw=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_sbCUS_zcpyrsjfln_a7AwO9ald7grODzQ1Kgv7WkpvhaSxr5QYq4-5_bdsJFzya2DSmVNvA2Xk0C6C3kzzaoT0s2Z9yHP026vA3-jaVr3m77QWWif_9mcg6b3sbvj8qOZTWRkPIwJxvkz_ZtcsSg=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_tM8qG1AT3AhfnECqGPjnQIVScBaYB_pz8hDGT9oNtB0hbOdSl0EXpWL0t_4m4IIDNOAh_jjy_UlDyrugThkL4JXffHDQ7-wvFok3kZ3iut85RzQD1DK9TfT5pWzNEOzpDJ6HXdHBK_ipxni2ye=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_sdZ11AX2Psms0pHHWEBlGExSLoH4enkClZHfAUqEzJE8gsJNkdc_K9Vdf-mC0nvpdXDEVfMml18rSzArOD0WxkoJHOvH-R7Yi9F_hOtqrB-IBe5lR0hiH4SCf16lJqlahhBCmeStYdZgOD5qmY3A=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)
.