مصفوفة قابلة لقطرنة
في الجبر الخطي ، المصفوفة المربعة تُسمى المصفوفة قابلة للتقطير أو غير معيبة إذا كانت مشابهة لمصفوفة قطرية . أي، إذا وُجدت مصفوفة قابلة للعكس ومصفوفة قطريةبحيثوهذا يعادل. (هذه،(ليست فريدة.) توجد هذه الخاصية لأي تطبيق خطي: بالنسبة لفضاء متجهي محدود الأبعادخريطة خطية يُطلق على النظام اسم "قابل للتقطير " إذا وُجد أساس مرتب من يتكون من المتجهات الذاتية لـهذه التعريفات متكافئة: إذا له تمثيل مصفوفيكما سبق، فإن متجهات الأعمدة لـ تشكل أساسًا يتكون من المتجهات الذاتية لـ، والمدخلات القطرية لـ هي القيم الذاتية المقابلة لـفيما يتعلق بقاعدة المتجهات الذاتية هذه، يمثلها.
عملية القطرنة هي عملية إيجاد ما سبق ووهذا يُسهّل العديد من العمليات الحسابية اللاحقة. يمكن للمرء رفع مصفوفة قطرية يمكن رفع مصفوفة قطرية إلى قوة معينة برفع عناصر القطر الرئيسي إلى تلك القوة. محدد المصفوفة القطرية هو ببساطة حاصل ضرب جميع عناصر القطر الرئيسي. ويمكن تعميم هذه الحسابات بسهولة إلى.
التحويل الهندسي الذي تمثله مصفوفة قابلة للتقطير هو تمدد غير متجانس (أو تغيير في الحجم غير متناحٍ ). أي أنه يُمكنه تغيير حجم الفضاء بمقادير مختلفة في اتجاهات مختلفة. ويتم تغيير اتجاه كل متجه ذاتي بمعامل يُحدده قيمته الذاتية المقابلة.
تُسمى المصفوفة المربعة التي لا يمكن تحويلها إلى مصفوفة قطرية بالمصفوفة المعيبة . قد يحدث أن تكون المصفوفةمع المدخلات الحقيقية يكون معيبًا على الأعداد الحقيقية، مما يعني أنمن المستحيل أن يحدث ذلك لأي شيء قابل للانعكاسوقطريًامع المدخلات الحقيقية، ولكن من الممكن استخدام المدخلات المركبة ، بحيثيمكن تحويلها إلى مصفوفة قطرية على الأعداد المركبة. على سبيل المثال، هذا هو الحال بالنسبة لمصفوفة الدوران العامة .
Many results for diagonalizable matrices hold only over an algebraically closed field (such as the complex numbers). In this case, diagonalizable matrices are dense in the space of all matrices, which means any defective matrix can be deformed into a diagonalizable matrix by a small perturbation; and the Jordan–Chevalley decomposition states that any matrix is uniquely the sum of a diagonalizable matrix and a nilpotent matrix. Over an algebraically closed field, diagonalizable matrices are equivalent to semi-simple matrices.
Definition
A square matrix with entries in a field is called diagonalizable or nondefective if there exists an invertible matrix (i.e. an element of the general linear group), , such that is a diagonal matrix.
Characterization
The fundamental fact about diagonalizable maps and matrices is expressed by the following:
- An matrix over a field is diagonalizable if and only if the sum of the dimensions of its eigenspaces is equal to , which is the case if and only if there exists a basis of consisting of eigenvectors of . If such a basis has been found, one can form the matrix having these basis vectors as columns, and will be a diagonal matrix whose diagonal entries are the eigenvalues of . The matrix is known as a modal matrix for .
- A linear map is diagonalizable if and only if the sum of the dimensions of its eigenspaces is equal to , which is the case if and only if there exists a basis of consisting of eigenvectors of . With respect to such a basis, will be represented by a diagonal matrix. The diagonal entries of this matrix are the eigenvalues of .
The following sufficient (but not necessary) condition is often useful.
- An matrix is diagonalizable over the field if it has distinct eigenvalues in , i.e. if its characteristic polynomial has distinct roots in ; however, the converse may be false. Consider which has eigenvalues 1, 2, 2 (not all distinct) and is diagonalizable with diagonal form (similar to ) and change of basis matrix: The converse fails when has an eigenspace of dimension higher than 1. In this example, the eigenspace of associated with the eigenvalue 2 has dimension 2.
- A linear map with is diagonalizable if it has distinct eigenvalues, i.e. if its characteristic polynomial has distinct roots in .
Let be a matrix over . If is diagonalizable, then so is any power of it. Conversely, if is invertible, is algebraically closed, and is diagonalizable for some وهو ليس مضاعفًا صحيحًا لخاصية، ثمقابلة للتقطير. البرهان: إذاإذا كانت قابلة للتقطير، فإنيتم إبادتها بواسطة متعددة حدود ما، والتي ليس لها جذر متعدد (لأن) ويتم قسمته على الحد الأدنى لكثير الحدود لـ.
حول الأعداد المركبة، تقريبًا كل مصفوفة قابلة للتقطير. بتعبير أدق: مجموعة الأعداد المركبةالمصفوفات التي لا يمكن قطريتها على، باعتبارها مجموعة فرعية من، لها قياس ليبيغ يساوي صفرًا. يمكن أيضًا القول إن المصفوفات القابلة للتقطير تُشكّل مجموعة جزئية كثيفة بالنسبة لطوبولوجيا زاريسكي : تقع المصفوفات غير القابلة للتقطير داخل المجموعة المتلاشية لمميز كثير الحدود المميز، وهو سطح فائق . ومن ذلك يترتب أيضًا الكثافة في الطوبولوجيا المعتادة ( القوية ) المعطاة بمعيار . لا ينطبق الأمر نفسه على.
يُعبّر تحليل جوردان -شيفالي عن المؤثر كمجموع جزئيه شبه البسيط (أي القابل للتقطير) وجزئه الصفري . وبالتالي، تكون المصفوفة قابلة للتقطير إذا وفقط إذا كان جزؤها الصفري يساوي صفرًا. بعبارة أخرى، تكون المصفوفة قابلة للتقطير إذا لم يكن لكل كتلة في شكل جوردان أي جزء صفري؛ أي أن كل "كتلة" هي مصفوفة أحادية البعد.
القطرنة
لنفترض الأساسين العشوائيين التاليينولنفترض وجود تحويل خطي ممثل بمصفوفةوالتي كُتبت بالنسبة للأساس E. لنفترض أيضًا وجود معادلة ذاتية كما يلي:
تُكتب المتجهات الذاتية ألفا أيضًا بالنسبة إلى أساس E. بما أن المجموعة F هي مجموعة من المتجهات الذاتية للمصفوفة A، وهي تولد فضاءً متجهيًا اختياريًا، فإننا نقول إنه توجد مصفوفةوهي مصفوفة قطرية مشابهة لـ. بعبارة أخرى،تكون المصفوفة قابلة للتقطير إذا كُتبت في الأساس F. ونجري حساب تغيير الأساس باستخدام مصفوفة الانتقال.، والذي يغير الأساس من E إلى F على النحو التالي:
،
أينهي مصفوفة الانتقال من الأساس E إلى الأساس F. ويمكن بعد ذلك مساواة معكوسها بمصفوفة انتقال جديدة.مما يغير الأساس من F إلى E بدلاً من ذلك، وبالتالي لدينا العلاقة التالية :
كلاهماومصفوفات الانتقال قابلة للعكس. وبالتالي يمكننا التعامل مع المصفوفات بالطريقة التالية:المصفوفةسيتم الإشارة إليه على النحو التالي:، والتي لا تزال في الأساس E. وبالمثل، فإن المصفوفة القطرية في الأساس F.

إذا كانت المصفوفةيمكن تحويلها إلى شكل قطري، أي
ثم:
تحتوي مصفوفة الانتقال S على متجهات الأساس E كأعمدة مكتوبة في الأساس F. وعلى العكس من ذلك، تحتوي مصفوفة الانتقال العكسية P على متجهات الأساس F.مكتوبة على أساس E بحيث يمكننا تمثيل P في شكل مصفوفة كتلية بالطريقة التالية:
ونتيجة لذلك يمكننا أن نكتب:
في صيغة المصفوفة المقطعية، يمكننا اعتبار المصفوفة A مصفوفة ذات بُعد 1×1، بينما المصفوفة P مصفوفة ذات بُعد 1×n. ويمكن كتابة المصفوفة D بصيغتها الكاملة، حيث تكون جميع عناصر القطر الرئيسي مصفوفة ذات بُعد n×n.
بإجراء عملية ضرب المصفوفات المذكورة أعلاه، نحصل على النتيجة التالية:بأخذ كل مكون من مكونات مصفوفة الكتلة بشكل فردي على كلا الجانبين، نحصل على ما يلي:
إذن، متجهات الأعمدة لـهي المتجهات الذاتية اليمنى لـ، والعنصر القطري المقابل هو القيمة الذاتية المقابلة . قابلية عكسويشير ذلك أيضًا إلى أن المتجهات الذاتية مستقلة خطيًا وتشكل أساسًا لـهذا هو الشرط الضروري والكافي لإمكانية القطرنة والنهج المتعارف عليه للقطرنة. متجهات الصفوف لـهي المتجهات الذاتية اليسرى لـ.
عندما تكون المصفوفة معقدةهي مصفوفة هيرميتية (أو بشكل أعم مصفوفة عادية )، والمتجهات الذاتية لـيمكن اختيارها لتشكيل أساس متعامد لـ، ويمكن اختيارها لتكون مصفوفة وحدوية . إذا بالإضافة إلى ذلك،إذا كانت مصفوفة متناظرة حقيقية ، فيمكن اختيار متجهاتها الذاتية لتكون أساسًا متعامدًا.ويمكن اختيارها لتكون مصفوفة متعامدة .
في معظم الأعمال العملية، يتم تحويل المصفوفات إلى مصفوفات قطرية عددياً باستخدام برامج الحاسوب. وتوجد العديد من الخوارزميات لتحقيق ذلك.
القطرنة المتزامنة
يقال إن مجموعة من المصفوفات قابلة للتقطير المتزامن إذا وُجدت مصفوفة واحدة قابلة للعكسبحيثهي مصفوفة قطرية لكلفي المجموعة. تُحدد النظرية التالية خصائص المصفوفات القابلة للتقطير المتزامن: تكون مجموعة المصفوفات القابلة للتقطير تبادلية إذا وفقط إذا كانت المجموعة قابلة للتقطير المتزامن. [ 1 ] : ص 64
مجموعة الكلالمصفوفات القابلة لقطرنة (فوق) معلا يمكن تحويلها إلى مصفوفات قطرية في آن واحد. على سبيل المثال، المصفوفات
يمكن تحويلها إلى مصفوفات قطرية ولكن لا يمكن تحويلها إلى مصفوفات قطرية في نفس الوقت لأنها لا تتبادل.
تتكون المجموعة من مصفوفات عادية تبادلية إذا وفقط إذا كانت قابلة للتقطير المتزامن بواسطة مصفوفة وحدوية ؛ أي أنه توجد مصفوفة وحدويةبحيثيكون قطريًا لكلفي المجموعة.
بلغة نظرية لي ، فإن مجموعة من المصفوفات القابلة للتقطير المتزامن تولد جبر لي تورال .
أمثلة
المصفوفات القابلة لقطرنة
- تكون الدوال الانعكاسية قابلة للقطرية على الأعداد الحقيقية (وفي الواقع أي حقل ذي خاصية ليست 2)، مع ±1 على القطر.
- التحويلات الداخلية ذات الرتبة المحدودة قابلة للتقطير على(أو أي حقل مغلق جبريًا حيث لا يقسم مميز الحقل رتبة التشاكل الداخلي) بجذور الوحدة على القطر. وينتج هذا لأن متعددة الحدود الدنيا قابلة للفصل ، لأن جذور الوحدة متميزة.
- يمكن تحويل الإسقاطات إلى إسقاطات قطرية، مع وجود أصفار وواحدات على القطر.

- المصفوفات المتناظرة الحقيقية قابلة للتقطير بواسطة المصفوفات المتعامدة ؛ أي، بالنظر إلى مصفوفة متناظرة حقيقية،يكون قطريًا لبعض المصفوفات المتعامدةوبشكل أعم، تكون المصفوفات قابلة للتقطير بواسطة المصفوفات الوحدوية إذا وفقط إذا كانت طبيعية . في حالة المصفوفة المتناظرة الحقيقية، نرى أن، لذلك من الواضحينطبق. من أمثلة المصفوفات العادية المصفوفات المتناظرة الحقيقية (أو المتناظرة المائلة ) (مثل مصفوفات التغاير) والمصفوفات الهرميتية (أو المصفوفات الهرميتية المائلة). انظر إلى النظريات الطيفية للاطلاع على تعميمات الفضاءات المتجهة اللانهائية الأبعاد.
تتوفر تصورات هندسية إضافية للقطرية المتعامدة، بما في ذلك مصفوفات الانعكاس والإسقاط المتعامد، على موقع ويكيميديا كومنز .
المصفوفات غير القابلة للتقطير
بشكل عام، لا يمكن تحويل مصفوفة الدوران إلى مصفوفة قطرية على الأعداد الحقيقية، ولكن جميع مصفوفات الدوران قابلة للتحويل إلى مصفوفة قطرية على الحقل المركب. حتى لو لم تكن المصفوفة قابلة للتحويل إلى مصفوفة قطرية، فمن الممكن دائمًا بذل قصارى الجهد لإيجاد مصفوفة لها نفس الخصائص، تتكون من قيم ذاتية على القطر الرئيسي، وقيم إما 1 أو 0 على القطر العلوي - وهو ما يُعرف بالصيغة المعيارية لجوردان .
بعض المصفوفات لا يمكن تحويلها إلى مصفوفات قطرية على أي حقل، وأبرزها المصفوفات العديمة القوة غير الصفرية . يحدث هذا بشكل عام إذا لم تتطابق التعددية الجبرية والهندسية للقيمة الذاتية. على سبيل المثال، لنأخذ
هذه المصفوفة غير قابلة للتقطير: لا توجد مصفوفةبحيثهي مصفوفة قطرية. في الواقع،لها قيمة ذاتية واحدة (وهي الصفر) وهذه القيمة الذاتية لها تعدد جبري 2 وتعدد هندسي 1.
بعض المصفوفات الحقيقية لا يمكن تحويلها إلى مصفوفات قطرية على مجموعة الأعداد الحقيقية. لنأخذ على سبيل المثال المصفوفة
المصفوفةليس لها أي قيم ذاتية حقيقية، لذلك لا توجد مصفوفة حقيقيةبحيثهي مصفوفة قطرية. ومع ذلك، يمكننا تحويلها إلى مصفوفة قطرية.إذا سمحنا بالأعداد المركبة. في الواقع، إذا أخذنا
ثمهو قطري. من السهل إيجاد ذلكهي مصفوفة الدوران التي تدور عكس اتجاه عقارب الساعة بزاوية
لاحظ أن الأمثلة المذكورة أعلاه توضح أن مجموع المصفوفات القابلة للتقطير ليس بالضرورة أن يكون قابلاً للتقطير.
كيفية تحويل المصفوفة إلى مصفوفة قطرية
إن عملية تحويل المصفوفة إلى مصفوفة قطرية هي نفسها عملية إيجاد قيمها الذاتية ومتجهاتها الذاتية ، وذلك في حالة كون المتجهات الذاتية تشكل أساسًا. على سبيل المثال، لنفترض المصفوفة التالية
جذور متعددة الحدود المميزةالقيم الذاتيةحل النظام الخطييعطي المتجهات الذاتيةو، بينماأعطِ؛ إنه،لتشكل هذه المتجهات أساسًا لـلذلك يمكننا تجميعها كمتجهات عمودية لمصفوفة تغيير الأساسللحصول على: يمكننا النظر إلى هذه المعادلة من منظور التحويلات:يأخذ الأساس القياسي إلى الأساس الذاتي،إذن لدينا: لهذا السبب.يمتلك الأساس القياسي كمتجهات ذاتية، وهي الخاصية المميزة لـ.
لاحظ أنه لا يوجد ترتيب مفضل للمتجهات الذاتية فيتغيير ترتيب المتجهات الذاتية فييُغير فقط ترتيب القيم الذاتية في الشكل القطري لـ[ 2 ]
تطبيق على دوال المصفوفات
يمكن استخدام عملية التقطير لحساب قوى المصفوفة بكفاءة:
والأخير سهل الحساب لأنه لا يتضمن سوى قوى المصفوفة القطرية. على سبيل المثال، بالنسبة للمصفوفةمع القيم الذاتيةفي المثال أعلاه، نقوم بحساب:
يمكن تعميم هذا النهج ليشمل الدوال الأسية للمصفوفات وغيرها من دوال المصفوفات التي يمكن تعريفها كمتسلسلات قوى. على سبيل المثال، تعريفلدينا :
يُعد هذا مفيدًا بشكل خاص في إيجاد تعبيرات مغلقة الشكل لحدود المتتاليات الخطية المتكررة ، مثل أعداد فيبوناتشي .
تطبيق خاص
على سبيل المثال، انظر إلى المصفوفة التالية:
حساب القوى المختلفة لـيكشف عن نمط مفاجئ:
يمكن تفسير الظاهرة المذكورة أعلاه عن طريق تحويل المصفوفة إلى مصفوفة قطرية.ولتحقيق ذلك ، نحتاج إلى أساس منيتكون من المتجهات الذاتية لـإحدى هذه القواعد للمتجهات الذاتية تُعطى بواسطة
حيث يرمز e i إلى الأساس القياسي لـ R n . ويُعطى التغيير العكسي للأساس بواسطة
تُظهر الحسابات المباشرة أن
وبالتالي، فإن a و b هما القيمتان الذاتيتان المناظرتان لـ u و v على التوالي. وبسبب خطية ضرب المصفوفات، لدينا أن
بالعودة إلى الأساس القياسي، لدينا
العلاقات السابقة، المعبر عنها في شكل مصفوفة، هي
وبذلك يتم تفسير الظاهرة المذكورة أعلاه.
تطبيق ميكانيكا الكم
في الحسابات الميكانيكية الكمومية والكيميائية الكمومية، يُعدّ تحويل المصفوفات إلى عناصر قطرية من أكثر العمليات العددية استخدامًا. والسبب الرئيسي هو أن معادلة شرودنغر غير المعتمدة على الزمن هي معادلة قيم ذاتية، على الرغم من أنها في معظم الحالات الفيزيائية تقع على فضاء هيلبرت لانهائي الأبعاد .
من أكثر الطرق شيوعًا لتقريب معادلة شرودنغر هو تقليص (أو إسقاط) فضاء هيلبرت إلى بُعد محدود، وبعد ذلك يمكن صياغة المعادلة كمسألة قيم ذاتية لمصفوفة حقيقية متناظرة أو مصفوفة هيرميتية مركبة. ويستند هذا التقريب رسميًا إلى مبدأ التباين ، وهو صالح للهاملتونيين المحدودين من الأسفل.
تؤدي نظرية الاضطراب من الدرجة الأولى أيضًا إلى مشكلة القيم الذاتية للمصفوفة للحالات المنحلة.
نظرية المؤثرات
يمكن تعميم المصفوفات إلى مؤثرات خطية . ويمكن تعميم المصفوفة القطرية إلى مؤثرات قطرية على فضاءات هيلبرت.
يتركليكن فضاء هيلبرت. عامليكون مؤثرًا قطريًا إذا وفقط إذا وُجد أساس متعامد.لبحيثبالنسبة للبعض.
لأيعرّف معيار شاتن-p كما يلي.كن عاملاً، ثم، أينهو الأثر . فئة p-Schatten هي مجموعة جميع المؤثرات ذات معيار p-Schatten المحدود.
أظهر كل من ويل [ 3 ]، وفون نيومان [ 4 ] ، وكورودا [ 5 ] ما يلي:
لأيأي مؤثر ذاتي الترافقفي مساحة هيلبرتوأييوجد عامل قطريبحيث.
بمعنى آخر، أي مؤثر ذاتي مرافق هو اضطراب متناهي الصغر ناتج عن مؤثر قطري، حيث يُقصد بـ "متناهي الصغر" معيار شاتن-p. وبالتحديد، بما أن فئة مؤثرات هيلبرت-شميدت هي فئة شاتن-2، فهذا يعني أن أي مؤثر ذاتي مرافق قابل للتقطير بعد اضطرابه بواسطة مؤثر هيلبرت-شميدت متناهي الصغر. في الواقع، يمكن تعميم النتيجة السابقة بشكل أكبر:
لأي معيار مثالي ليس من فئة الأثر، مع المعيارأي مؤثر ذاتي الترافقفي مساحة هيلبرتوأييوجد عامل قطريبحيث.
النتيجة خاطئة بالنسبة لـ( فئة التتبع ). هذه نتيجة بسيطة لنظرية كاتو [ 6 ] - روزنبلوم [ 7 ] [ 8 ] : النظرية الحادية عشرة.8 ، والتي تنص على أنه إذاهو ذاتي الترافق، وإذا كانت فئة التتبع، فإنيمتلكان نفس الجزء المتصل تمامًا من الطيف . ومع ذلك، تكون النتيجة حادة، بمعنى أنه إذاإذا لم يكن لها جزء متصل بشكل مطلق، فيمكن تحويلها إلى شكل قطري بعد إحداث اضطراب بواسطة عامل من فئة الأثر متناهي الصغر. [ 9 ]
فيما يخص عملية التقطير المتزامن ، من المعروف أنه عند إعطاء قائمة محدودة منالمؤثرات المترافقة ذاتيًا التي تتبادل مع بعضها البعض، لأي، يوجد تسلسل من المؤثرات القطريةبحيث، أينهي معيار شاتن من الرتبة n. لاحظ أن[ 10 ]
انظر أيضاً
مراجع
- ↑ هورن، روجر أ.؛ جونسون، تشارلز ر. (2013). تحليل المصفوفات، الطبعة الثانية . مطبعة جامعة كامبريدج. ISBN 9780521839402.
- ↑ أنطون، هـ.؛ روريس، س. (22 فبراير 2000). الجبر الخطي الابتدائي (نسخة التطبيقات) ( الطبعة الثامنة). جون وايلي وأولاده. ISBN 978-0-471-17052-5.
- ^ فون ويل، هيرمان (ديسمبر 1909). "Über beschränkte Quadratische Formen، deren Differenceenz vollstetig ist" . Rendiconti del Circolo Matematico di Palermo (في المانيا). 27 (1): 373-392 . دوى : 10.1007 / BF03019655 . ISSN 0009-725X .
- ^ فون نيومان ، جون (1935). "Charakterisierung des Spektrums eines Integraloperators" [ توصيف طيف المشغل المتكامل ] . Actualités Scientifiques et Industrielles (باللغة الألمانية). 229 : 3 – 20.
- ↑ كورودا، شيغي توشي (1958-01-01). "حول نظرية فايل-فون نيومان" . وقائع الأكاديمية اليابانية، السلسلة أ، العلوم الرياضية . 34 (1). doi : 10.3792/pja/1195524841 . ISSN 0386-2194 .
- ↑Kato, Tosio (1957). "Perturbation of Continuous Spectra by Trace Class Operators". Proceedings of the Japan Academy. 33 (5): 260–264. doi:10.3792/pja/1195525063.
- ↑Rosenblum, Marvin (1957). "Perturbation of the continuous spectrum and unitary equivalence". Pacific J. Math. 7 (4): 997–1010. doi:10.2140/pjm.1957.7.997.
- ↑Reed, Michael; Simon, Barry (May 12, 1979). Scattering Theory. Methods of Modern Mathematical Physics. Vol. 3 (1st ed.). Academic Press. ISBN 978-0125850032.
- ↑Carey, R. W.; Pincus, J. D. (1976). "Unitary Equivalence Modulo the Trace Class for Self-Adjoint Operators". American Journal of Mathematics. 98 (2): 481–514. doi:10.2307/2373898. ISSN 0002-9327. JSTOR 2373898.
- ↑Voiculescu, Dan (1990-06-01). "On the existence of quasicentral approximate units relative to normed ideals. Part I". Journal of Functional Analysis. 91 (1): 1–36. doi:10.1016/0022-1236(90)90047-O. ISSN 0022-1236.
- Matrices (mathematics)
