全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示 العربية 版。

الرياضيات · 术语表

什么是 المنقولة؛ الأثر?

又称: أثر

تعريف 21.5 الرياضيات الجامعية — السنة 1 · 第 21 章 — المصفوفات

منقولة A=(aij)∈Mn,pA = (a_{ij}) \in \mathcal{M}_{n,p} هي AT=(aji)∈Mp,nA^{\mathsf T} = (a_{ji}) \in \mathcal{M}_{p,n}؛ وهي تحقق (AB)T=BTAT(AB)^{\mathsf T} = B^{\mathsf T} A^{\mathsf T} و (AT)T=A(A^{\mathsf T})^{\mathsf T} = A. و أثر مصفوفة مربعة هو tr⁡A=∑iaii\operatorname{tr} A = \sum_i a_{ii}؛ وهو خطي، و

tr⁡(AB)=tr⁡(BA)(A∈Mn,p, B∈Mp,n).\operatorname{tr}(AB) = \operatorname{tr}(BA) \qquad (A \in \mathcal{M}_{n,p},\ B \in \mathcal{M}_{p,n}).

示例

مثال 21.6 (الأثر في العمل)

للإسقاط من الفصل 20 على Vect⁡(1,1)\operatorname{Vect}(1,1) على امتداد Vect⁡(0,1)\operatorname{Vect}(0,1)، p(x,y)=(x,x)p(x, y) = (x, x)، المصفوفةُ A=(1010)A = \begin{pmatrix} 1 & 0\\ 1 & 0\end{pmatrix} في الأساس القانوني: فعلًا A2=AA^2 = A، و

tr⁡A=1=rk⁡A,\operatorname{tr} A = 1 = \operatorname{rk} A ,

موضّحًا التمرين 21.8: فمن أجل الجوامد يعدّ الأثر بُعد الصورة، مهما كان الأساس المائل الذي كُتبت فيه المصفوفة. وآلية الحفظ هي المتطابقة tr⁡(AB)=tr⁡(BA)\operatorname{tr}(AB) = \operatorname{tr}(BA):

tr⁡(P−1(AP))=tr⁡((AP)P−1)=tr⁡A,\operatorname{tr}\bigl(P^{-1}(AP)\bigr) = \operatorname{tr}\bigl((AP)P^{-1}\bigr) = \operatorname{tr} A ,

ومنه فكل المصفوفات المشابهة للمقدار AA تتقاسم أثره — وهو أول قرينة عددية لتشاكل ذاتي، وسينضم إليها المحدد في الفصل 22 (والزوج (s,p)(s, p) في مسألة نهاية الأسبوع أدناه).

مثال 21.7 (متماثلة زائد متخالفة التماثل)

سمِّ AA متماثلة إذا كان AT=AA^{\mathsf T} = A، و متخالفة التماثل إذا كان AT=−AA^{\mathsf T} = -A. وكل مصفوفة مربعة تنقسم انقسامًا وحيدًا إلى واحدة زائد الأخرى:

A=A+AT2⏟متماثلة+A−AT2⏟متخالفة التماثل,A = \underbrace{\frac{A + A^{\mathsf T}}{2}}_{\text{متماثلة}} + \underbrace{\frac{A - A^{\mathsf T}}{2}}_{\text{متخالفة التماثل}},

والمصفوفة التي هي الاثنتان معًا معدومة (لأن A=−AA = -A): ومنه فالمجموعتان فضاءان جزئيان متتامّان من Mn(K)\mathcal{M}_n(K) — وهو النظير المضبوط لانقسام الدوال إلى زوجية وفردية (المثال 18.11)، مع النقل يلعب دور x↦−xx \mapsto -x. والأبعاد: فالمصفوفة المتماثلة حرة على القطر وفوقه، والمتخالفة التماثل فوقه قطعًا (بقطر معدوم):

n(n+1)2+n(n−1)2=n2,\frac{n(n+1)}{2} + \frac{n(n-1)}{2} = n^2 ,

وتوازن العدّ هو تأكيد غراسمان للانفصال. ومن أجل n=2n = 2: (1512)=(1332)+(02−20)\begin{pmatrix} 1 & 5\\ 1 & 2\end{pmatrix} = \begin{pmatrix} 1 & 3\\ 3 & 2\end{pmatrix} + \begin{pmatrix} 0 & 2\\ -2 & 0\end{pmatrix}. وتعود المصفوفات المتماثلة معطياتِ المشتقات الثانية في الفصل 25 (ثلاثي مونج r,s,tr, s, t)، وتُصنَّف المتماثلة المتعامدة في التمرين 23.12.

在原文中阅读 ←