الرياضيات · المسرد

ما معنى def؟

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

Mn,p(K)\mathcal{M}_{n,p}(K) هو الفضاء المتجهي للجداول n×pn \times p A=(aij)A = (a_{ij}) من السلالم (ii: السطر، jj: العمود)، وبُعده npnp (بالأساس: المصفوفات EijE_{ij} ذات 11 واحد). ومن أجل أساسين B=(e1,,ep)\mathcal{B} = (e_1, \dots, e_p) للمقدار EE و C\mathcal{C} للمقدار FF (dimF=n\dim F = n)، تكون مصفوفة uL(E,F)u \in \mathcal{L}(E, F) هي الجدول الذي يسرد عموده jj إحداثيات u(ej)u(e_j) في C\mathcal{C}:

MatB,C(u)=(aij),u(ej)=i=1naijfi.\operatorname{Mat}_{\mathcal{B},\mathcal{C}}(u) = (a_{ij}), \qquad u(e_j) = \sum_{i=1}^{n} a_{ij}\, f_i .

والتطبيق uMatB,C(u)u \mapsto \operatorname{Mat}_{\mathcal{B},\mathcal{C}}(u) تشاكل تقابلي من L(E,F)\mathcal{L}(E, F) على Mn,p(K)\mathcal{M}_{n,p}(K) (القضية 20.2: فالتطبيق الخطي هو بالضبط اختيار صور المقادير eje_j).

أمثلة

مثال 21.2 (المشتقة، مصفوفةً)

لتكن D(P)=PD(P) = P' على R3[X]\R_3[X]. وفي الأساس الوحيد الحدّ (1,X,X2,X3)(1, X, X^2, X^3): D(1)=0D(1) = 0 و D(X)=1D(X) = 1 و D(X2)=2XD(X^2) = 2X و D(X3)=3X2D(X^3) = 3X^2، ومنه

Mat(D)=(0100002000030000).\operatorname{Mat}(D) = \begin{pmatrix} 0 & 1 & 0 & 0\\ 0 & 0 & 2 & 0\\ 0 & 0 & 0 & 3\\ 0 & 0 & 0 & 0 \end{pmatrix}.

وفي الأساس المقسوم (1, X, X22, X36)\bigl(1,\ X,\ \frac{X^2}2,\ \frac{X^3}6\bigr)، يُرسل كل متجهة أساس إلى السابقة (D(Xkk!)=Xk1(k1)!D\bigl(\frac{X^k}{k!}\bigr) = \frac{X^{k-1}}{(k-1)!})، و تصير المصفوفة إزاحةً محضة: آحادٌ على القطر الفوقي، وأصفار فيما عداه. ودرسان: المصفوفة تنتمي إلى الزوج (التطبيق، الأساس)، لا إلى التطبيق وحده؛ والأساس الجيد يجعل البنية مرئية بنظرة — فصورة الإزاحة تبيّن فورًا أن D4=0D^4 = 0 على R3[X]\R_3[X]، إذ تدفع كل قوة للمصفوفة قطرَ آحادها خطوةً أبعد.

اقرأ في الفصل ←