تقطير المصفوفات
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_uQiykFDnK1fmLGhW5gbOrLnjTEKGq7hMJLexqWYChNpNGkuywuCVErmBviGrqLwmtQEs-dzA6qYcNhdT89cDMxGrpZpv6Qjubbbh4r4-weqTOetqTx2x2XlndcY3Vuw_n7o34WVZ_QNu14gHeg4g=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_uTDSqNErLuyoRMv1pnIys8DxpXLGGpazpLGVP3FggPUdNazWreSplNODAtN7sGDvpG7g-GV5FzSnreW3IhGYUlQN5tBVuXlcf2HSFueLjfJUqAP0zewUMfjLuFmTfCKvQ2MwdMDoWWAFFT5FKjzQ=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_sH9xRirYgcYpt5QY9VxTtbfgN1cc89gwCAblxBMc9s86sHB0jPxMvSL7kvSnuxlNAYWNTJ5lU5tgud42njB7GB_-16nsbcCH8KuV7eQPPlzoAyvUrAlxnsqFvnE0rp7gyftqUxnV3NNXF5sFZR=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_uEW24BYh_ggNHpt5LCSKwRPi5x_6tp8hthC0qg36RVNfO8PD9mIkUe1c1e7NQF--AEYPAt9FcmKhsKHmer1vP-cGJM2ex06KBZJXQAwX5PGwWfZ-uBpbFWmTkTwCrDFUUEoMiXI7gSUD8zpqWt1g=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)
.