خريطة خطية

في الرياضيات ، وتحديدًا في الجبر الخطي ، يُعدّ التحويل الخطي نوعًا خاصًا من الدوال بين الفضاءات المتجهة ، والذي يحترم العمليات الأساسية لجمع المتجهات وضربها في عدد قياسي . ومن الأمثلة الشائعة على التحويل الخطي ...م×ن{\displaystyle m\times n}المصفوفة، التي تأخذ المتجهات فين{\displaystyle n}تحويل الأبعاد إلى متجهات فيم{\displaystyle m}الأبعاد بطريقة تتوافق مع جمع المتجهات، وضرب المتجهات بالكميات القياسية .

التحويل الخطي هو تشاكل بين فضاءات متجهة. [ ملاحظة 1 ] وبالتالي، فإن التحويل الخطيتي:Vدبليو{\displaystyle T:V\to W}يرضيتي(أx+بy)=أتيx+بتيy{\displaystyle T(ax+by)=aTx+bTy}، حيثأ{\displaystyle a}وب{\displaystyle b}هي كميات قياسية، وx{\displaystyle x}وy{\displaystyle y}هي متجهات (عناصر الفضاء المتجهي )V{\displaystyle V}) . يُمثل التحويل الخطي دائمًا نقطةالأصل .V{\displaystyle V}إلى أصل دبليو{\displaystyle W}والفضاءات الخطية لـV{\displaystyle V}على الفضاءات الخطية فيدبليو{\displaystyle W}(ربما من بُعد أقل )؛ [ 1 ] على سبيل المثال، يرسم مستوىً يمر عبر نقطة الأصل فيV{\displaystyle V}إما إلى مستوى يمر عبر نقطة الأصل فيدبليو{\displaystyle W}، خط يمر بنقطة الأصل فيدبليو{\displaystyle W}أو ببساطة الأصل فيدبليو{\displaystyle W} . يمكن تمثيل الخرائط الخطية في كثير من الأحيان على شكل مصفوفات ، وتشمل الأمثلة البسيطة التحويلات الخطية الدورانية والانعكاسية .

التعريف والنتائج الأولية

يتركV{\displaystyle V}ودبليو{\displaystyle W}لتكن فضاءات متجهة على نفس الحقلك{\displaystyle K}، مثل الأعداد الحقيقية أو المركبة . دالةو:Vدبليو{\displaystyle f:V\to W}يُقال إنها دالة خطية إذا كان لأي متجهينu،vV{\textstyle \mathbf {u} ,\mathbf {v} \in V}وأي كمية قياسيةجك{\displaystyle c\in K}يتحقق الشرطان التاليان:

  • خاصية الجمع / عملية الجمع [ ملاحظة 2 ]و(u+v)=و(u)+و(v){\displaystyle f(\mathbf {u} +\mathbf {v} )=f(\mathbf {u} )+f(\mathbf {v} )}
  • تجانس الدرجة 1 / عملية الضرب القياسيو(جu)=جو(u){\displaystyle f(c\mathbf {u} )=cf(\mathbf {u} )}

وبالتالي، يُقال إن التحويل الخطي يحافظ على العمليات . بعبارة أخرى، لا يهم ما إذا تم تطبيق التحويل الخطي قبل (الجانب الأيمن من الأمثلة أعلاه) أو بعد (الجانب الأيسر من الأمثلة) عمليتي الجمع والضرب القياسي.

بفضل خاصية التجميع لعملية الجمع التي يرمز لها بـ +، لأي متجهاتu1،...،uنV{\textstyle \mathbf {u} _{1},\ldots ,\mathbf {u} _{n}\in V}والكميات القياسيةج1،...،جنك{\displaystyle c_{1},\ldots ,c_{n}\in K}، تتحقق المساواة التالية: [ 2 ] [ 3 ]و(ج1u1++جنuن)=ج1و(u1)++جنو(uن).{\displaystyle f(c_{1}\mathbf {u} _{1}+\cdots +c_{n}\mathbf {u} _{n})=c_{1}f(\mathbf {u} _{1})+\cdots +c_{n}f(\mathbf {u} _{n}).} وبالتالي فإن الخريطة الخطية هي الخريطة التي تحافظ على التراكيب الخطية .

يشير إلى العناصر الصفرية للفضاءات المتجهةV{\displaystyle V}ودبليو{\displaystyle W}بواسطة0V{\textstyle \mathbf {0} _{V}}و0دبليو{\textstyle \mathbf {0} _{W}}وبالتالي، فإن ذلك يترتب عليه و(0V)=0دبليو{\displaystyle f(\mathbf {0} _{V})=\mathbf {0} _{W}}. دعج=0{\displaystyle c=0}وvV{\textstyle \mathbf {v} \in V}في معادلة التجانس من الدرجة 1: و(0V)=و(0v)=0و(v)=0دبليو.{\displaystyle f(\mathbf {0} _{V})=f(0\mathbf {v} )=0f(\mathbf {v} )=\mathbf {0} _{W}.}

خريطة خطيةVك{\displaystyle V\to K}معك{\displaystyle K}يُطلق على الفضاء المتجهي الذي يُنظر إليه على أنه فضاء متجهي أحادي البعد فوق نفسه اسم الدالة الخطية . [ 4 ]

يمكن تعميم هذه العبارات على أي وحدة نمطية يساريةRم{\textstyle {}_{R}M}فوق خاتمR{\displaystyle R}بدون تعديل، ولأي وحدة نمطية يمنى عند عكس عملية الضرب القياسي.

أمثلة

  • الخريطة الفريدة من نوعهاتي:{0}{0}{\displaystyle T:\{{\vec {0}}\}\إلى \{{\vec {0}}\}}خطي.
  • من الأمثلة النموذجية التي أعطت الخرائط الخطية اسمها الدالةو:RR:xجx{\displaystyle f:\mathbb {R} \to \mathbb {R} :x\mapsto cx}، والتي يمثل الرسم البياني لها خطاً يمر عبر نقطة الأصل. [ 5 ]
    أمثلة على التحويلات الخطية المستخدمة في رسومات الحاسوب
  • وبشكل أعم، أي تجانسvجv{\textstyle \mathbf {v} \mapsto c\mathbf {v} }إن الدالة المتمركزة في نقطة الأصل لفضاء متجهي هي دالة خطية (حيث c كمية قياسية).
  • خريطة الصفرx0{\textstyle \mathbf {x} \mapsto \mathbf {0} }العلاقة بين فضاءين متجهين (على نفس الحقل ) خطية.
  • خريطة الهوية على أي وحدة هي عامل خطي.
  • بالنسبة للأعداد الحقيقية، الخريطةxx2{\textstyle x\mapsto x^{2}}ليس خطيًا.
  • بالنسبة للأعداد الحقيقية، الخريطةxx+1{\textstyle x\mapsto x+1}ليست خطية (لكنها تحويل أفيني ).
  • لوأ{\displaystyle A}هوم×ن{\displaystyle m\times n}المصفوفة الحقيقية ، إذنأ{\displaystyle A}يُعرّف تطبيقًا خطيًا منRن{\displaystyle \mathbb {R} ^{n}}لRم{\displaystyle \mathbb {R} ^{m}}عن طريق إرسال متجه عموديxRن{\displaystyle \mathbf {x} \in \mathbb {R} ^{n}}إلى متجه العمود أxRم{\displaystyle A\mathbf {x} \in \mathbb {R} ^{m}} . على العكس من ذلك، يمكن تمثيل أي خريطة خطية بين فضاءات متجهة ذات أبعاد محدودة بهذه الطريقة؛ انظر §  المصفوفات ، أدناه.
  • لوو:Vدبليو{\textstyle f:V\to W}هي عملية تماثل بين فضاءات معيارية حقيقية بحيثو(0)=0{\textstyle f(0)=0}ثمو{\displaystyle f}هي دالة خطية. هذه النتيجة ليست بالضرورة صحيحة بالنسبة للفضاء المعياري المركب. [ 6 ]
  • يُعرّف التفاضل تطبيقًا خطيًا من فضاء جميع الدوال القابلة للتفاضل إلى فضاء جميع الدوال. كما يُعرّف مؤثرًا خطيًا على فضاء جميع الدوال الملساء (المؤثر الخطي هو تشاكل خطي داخلي ، أي تطبيق خطي له نفس المجال والمجال المقابل ). في الواقع،ددx(أو(x)+بز(x))=أدو(x)دx+بدز(x)دx.{\displaystyle {\frac {d}{dx}}\left(af(x)+bg(x)\right)=a{\frac {df(x)}{dx}}+b{\frac {dg(x)}{dx}}.}
  • التكامل المحدد على فترة ما I هو تطبيق خطي من فضاء جميع الدوال الحقيقية القابلة للتكامل على I إلىR{\displaystyle \mathbb {R} }في الواقع ،uv(أو(x)+بز(x))دx=أuvو(x)دx+بuvز(x)دx.{\displaystyle \int _{u}^{v}\left(af(x)+bg(x)\right)dx=a\int _{u}^{v}f(x)dx+b\int _{u}^{v}g(x)dx.}
  • يُعرّف التكامل غير المحدد (أو الدالة الأصلية ) بنقطة بداية تكامل ثابتة، تطبيقًا خطيًا من فضاء جميع الدوال الحقيقية القابلة للتكامل علىR{\displaystyle \mathbb {R} }إلى فضاء جميع الدوال الحقيقية القابلة للتفاضل علىR{\displaystyle \mathbb {R} } . بدون نقطة بداية ثابتة، فإن الدالة الأصلية تُسقط على فضاء القسمة للدوال القابلة للتفاضل بواسطة الفضاء الخطي للدوال الثابتة.
  • لوV{\displaystyle V}ودبليو{\displaystyle W}إذا كانت فضاءات متجهة ذات أبعاد منتهية على حقل F ، بأبعاد m و n على التوالي ، فإن الدالة التي تُسقط التحويلات الخطيةو:Vدبليو{\textstyle f:V\to W}تحويل المصفوفات من الرتبة n × m بالطريقة الموضحة في §  المصفوفات (أدناه) هو تطبيق خطي، بل هو تماثل خطي .
  • القيمة المتوقعة لمتغير عشوائي هي دالة خطية للمتغير العشوائي: بالنسبة للمتغيرات العشوائيةX{\displaystyle X}وY{\displaystyle Y}لديناهـ[X+Y]=هـ[X]+هـ[Y]{\displaystyle E[X+Y]=E[X]+E[Y]}وهـ[أX]=أهـ[X]{\displaystyle E[aX]=aE[X]}والتوقع الشرطي كذلك. لكن تباين المتغير العشوائي ليس خطيًا، لأنه على سبيل المثال ...متغير(أX)=أ2متغير(X){\displaystyle {\text{Var}}(aX)=a^{2}{\text{Var}}(X)} .

التشاكلات الخطية الداخلية والتشاكلات

إذا كان التحويل الخطي تقابلًا، فإنه يُسمىالتشاكل الخطي . في حالةV=دبليو{\displaystyle V=W}يُطلق على التطبيق الخطي اسم التشكل الداخلي الخطي . أحيانًا يُستخدم هذا المصطلحيشير المؤثر الخطي إلى هذه الحالة، [ 7 ] ولكن مصطلح "المؤثر الخطي" يمكن أن يكون له معانٍ مختلفة وفقًا للاصطلاحات المختلفة.

الامتدادات الخطية

في كثير من الأحيان، يتم إنشاء تطبيق خطي عن طريق تعريفه على مجموعة جزئية من فضاء متجهي، ثمبالامتداد الخطي إلىالمدى الخطيللمجال. لنفترضX{\displaystyle X}وY{\displaystyle Y}هي فضاءات متجهة وو:SY{\displaystyle f:S\to Y}هي دالة معرفة على مجموعة جزئية ماSX{\displaystyle S\subseteq X}ثم أالامتداد الخطي لـو{\displaystyle f}لX،{\displaystyle X,}إذا وُجدت، فهي خريطة خطيةF:XY{\displaystyle F:X\to Y}محدد فيX{\displaystyle X}وهذا يمتدو{\displaystyle f}[ ملاحظة 3 ] (بمعنى أنF(s)=و(s){\displaystyle F(s)=f(s)}للجميعsS{\displaystyle s\in S}) ويأخذ قيمه من المجال المقابل لـو{\displaystyle f}[ 8 ] عندما تكون المجموعة الجزئيةS{\displaystyle S}هو فضاء متجهي جزئي منX{\displaystyle X}ثم ( Y{\displaystyle Y}امتداد خطي ذو قيم (- ) لـو{\displaystyle f}إلى جميعX{\displaystyle X}يضمن وجوده إذا (وفقط إذا)و:SY{\displaystyle f:S\to Y}هي دالة خطية. [ 8 ] على وجه الخصوص، إذاو{\displaystyle f}له امتداد خطي إلىفترةS،{\displaystyle \operatorname {span} S,}ثم يمتد خطيًا إلى كل X{\displaystyle X} .

الخريطةو:SY{\displaystyle f:S\to Y}يمكن توسيعها لتشمل خريطة خطيةF:فترةSY{\displaystyle F:\operatorname {span} S\to Y}إذا وفقط إذا كانن>0{\displaystyle n>0}هو عدد صحيح،ج1،...،جن{\displaystyle c_{1},\ldots ,c_{n}}هي كميات قياسية، وs1،...،sنS{\displaystyle s_{1},\ldots ,s_{n}\in S}هي متجهات بحيث0=ج1s1++جنsن{\displaystyle 0=c_{1}s_{1}+\cdots +c_{n}s_{n}}، إذن بالضرورة0=ج1و(s1)++جنو(sن){\displaystyle 0=c_{1}f\left(s_{1}\right)+\cdots +c_{n}f\left(s_{n}\right)}[ 9 ] إذا كان الامتداد الخطي لـو:SY{\displaystyle f:S\to Y}يوجد عندئذٍ الامتداد الخطيF:فترةSY{\displaystyle F:\operatorname {span} S\to Y}فريد من نوعه و F(ج1s1+جنsن)=ج1و(s1)++جنو(sن){\displaystyle F\left(c_{1}s_{1}+\cdots c_{n}s_{n}\right)=c_{1}f\left(s_{1}\right)+\cdots +c_{n}f\left(s_{n}\right)} يسري على الجميعن،ج1،...،جن{\displaystyle n,c_{1},\ldots ,c_{n}}، وs1،...،sن{\displaystyle s_{1},\ldots ,s_{n}}كما سبق. [ 9 ] إذاS{\displaystyle S}إذا كانت مستقلة خطيًا، فإن كل دالةو:SY{\displaystyle f:S\to Y}أي فضاء متجهي له امتداد خطي إلى خريطة (خطية)فترةSY{\displaystyle \operatorname {span} S\to Y}(والعكس صحيح أيضاً).

على سبيل المثال، إذاX=R2{\displaystyle X=\mathbb {R} ^{2}}وY=R{\displaystyle Y=\mathbb {R} }ثم المهمة(1،0)-1{\displaystyle (1,0)\to -1}و(0،1)2{\displaystyle (0,1)\to 2}يمكن تمديدها خطيًا من مجموعة المتجهات المستقلة خطيًاS:={(1،0)،(0،1)}{\displaystyle S:=\{(1,0),(0,1)\}}إلى خريطة خطية علىفترة{(1،0)،(0،1)}=R2{\displaystyle \operatorname {span} \{(1,0),(0,1)\}=\mathbb {R} ^{2}}الامتداد الخطي الفريدF:R2R{\displaystyle F:\mathbb {R} ^{2}\to \mathbb {R} }هي الخريطة التي ترسل(x،y)=x(1،0)+y(0،1)R2{\displaystyle (x,y)=x(1,0)+y(0,1)\in \mathbb {R} ^{2}}ل F(x،y)=x(-1)+y(2)=-x+2y.{\displaystyle F(x,y)=x(-1)+y(2)=-x+2y.}

كل دالة خطية (ذات قيمة قياسية)و{\displaystyle f}معرفة على فضاء متجهي جزئي من فضاء متجهي حقيقي أو مركبX{\displaystyle X}يمتد خطيًا إلى جميع أنحاءX{\displaystyle X}في الواقع،تضمن نظرية التمديد المهيمنة لهان-باناخ أنه عندما تكون هذه الدالة الخطيةو{\displaystyle f}يهيمن عليه معيار شبه معياري معينص:XR{\displaystyle p:X\to \mathbb {R} }(بمعنى أن|و(م)|ص(م){\displaystyle |f(m)|\leq p(m)}ينطبق على الجميعم{\displaystyle m}في نطاق و{\displaystyle f}ثم يوجد امتداد خطي إلىX{\displaystyle X}وهذا يهيمن عليه أيضًا ص{\displaystyle p} .

المصفوفات

لوV{\displaystyle V}ودبليو{\displaystyle W}إذا كانت فضاءات متجهة ذات أبعاد منتهية، وتم تعريف أساس لكل فضاء متجه، فإن كل تطبيق خطي منV{\displaystyle V}لدبليو{\displaystyle W}يمكن تمثيلها بواسطة مصفوفة . [ 10 ] وهذا مفيد لأنه يسمح بإجراء حسابات محددة. تُعطي المصفوفات أمثلة على التحويلات الخطية: إذاأ{\displaystyle A}هو حقيقيم×ن{\displaystyle m\times n}المصفوفة، ثمو(x)=أx{\displaystyle f(\mathbf {x} )=A\mathbf {x} }يصف خريطة خطيةRنRم{\displaystyle \mathbb {R} ^{n}\to \mathbb {R} ^{m}}(انظر الفضاء الإقليدي ).

يترك{v1،...،vن}{\displaystyle \{\mathbf {v} _{1},\ldots ,\mathbf {v} _{n}\}}أن يكون أساسًا لـV{\displaystyle V}ثم كل متجهvV{\displaystyle \mathbf {v} \in V}يتم تحديدها بشكل فريد بواسطة المعاملاتج1،...،جن{\displaystyle c_{1},\ldots ,c_{n}}في الميدانR{\displaystyle \mathbb {R} } : v=ج1v1++جنvن.{\displaystyle \mathbf {v} =c_{1}\mathbf {v} _{1}+\cdots +c_{n}\mathbf {v} _{n}.}

لوو:Vدبليو{\textstyle f:V\to W}هي خريطة خطية، و(v)=و(ج1v1++جنvن)=ج1و(v1)++جنو(vن)،{\displaystyle f(\mathbf {v} )=f(c_{1}\mathbf {v} _{1}+\cdots +c_{n}\mathbf {v} _{n})=c_{1}f(\mathbf {v} _{1})+\cdots +c_{n}f\left(\mathbf {v} _{n}\right),}

وهذا يعني أن الدالة f تتحدد بالكامل بواسطة المتجهات .و(v1)،...،و(vن){\displaystyle f(\mathbf {v} _{1}),\ldots ,f(\mathbf {v} _{n})}والآن لنبدأ{w1،...،wم}{\displaystyle \{\mathbf {w} _{1},\ldots ,\mathbf {w} _{m}\}}أن يكون أساسًا لـدبليو{\displaystyle W}ثم يمكننا تمثيل كل متجهو(vج){\displaystyle f(\mathbf {v} _{j})}مثل و(vج)=أ1جw1++أمجwم.{\displaystyle f\left(\mathbf {v} _{j}\right)=a_{1j}\mathbf {w} _{1}+\cdots +a_{mj}\mathbf {w} _{m}.}

وبالتالي، فإن الوظيفةو{\displaystyle f}يتحدد كليًا بقيم أأناج{\displaystyle a_{ij}}إذا وضعنا هذه القيم فيم×ن{\displaystyle m\times n}مصفوفةم{\displaystyle M}ثم يمكننا استخدامه بسهولة لحساب ناتج المتجه لـو{\displaystyle f}لأي متجه فيV{\displaystyle V}للحصول علىم{\displaystyle M}، كل عمودج{\displaystyle j}لم{\displaystyle M}هو متجه (أ1جأمج){\displaystyle {\begin{pmatrix}a_{1j}\\\vdots \\a_{mj}\end{pmatrix}}} بما يتوافق معو(vج){\displaystyle f(\mathbf {v} _{j})}كما هو موضح أعلاه. ولتوضيح ذلك بشكل أدق، بالنسبة لعمود معينج{\displaystyle j}وهذا يتوافق مع عملية الربط و(vج){\displaystyle f(\mathbf {v} _{j})}،م=( أ1ج أمج){\displaystyle \mathbf {M} ={\begin{pmatrix}\ \cdots &a_{1j}&\cdots \ \\&\vdots &\\&a_{mj}&\end{pmatrix}}} أينم{\displaystyle M}هي مصفوفة و{\displaystyle f}بمعنى آخر، كل عمودج=1،...،ن{\displaystyle j=1,\ldots ,n}له متجه مقابلو(vج){\displaystyle f(\mathbf {v} _{j})}إحداثياتهاأ1ج،،أمج{\displaystyle a_{1j},\cdots ,a_{mj}}هي عناصر العمود ج{\displaystyle j}يمكن تمثيل خريطة خطية واحدة بعدة مصفوفات. وذلك لأن قيم عناصر المصفوفة تعتمد على الأساسات المختارة.

يمكن تمثيل مصفوفات التحويل الخطي بصريًا:

  1. مصفوفة لـتي{\textstyle T}بالنسبة إلىب{\displaystyle B} :أ{\textstyle A}
  2. مصفوفة لـتي{\textstyle T}بالنسبة إلىب{\displaystyle B'} :أ{\textstyle A'}
  3. مصفوفة الانتقال منب{\textstyle B'}إلىب{\displaystyle B} :P{\textstyle P}
  4. مصفوفة الانتقال منب{\textstyle B}إلىب{\displaystyle B'} :P-1{\textstyle P^{-1}}
العلاقة بين المصفوفات في التحويل الخطي

بحيث تبدأ من الزاوية السفلية اليسرى[v]ب{\textstyle \left[\mathbf {v} \right]_{B'}}والبحث عن الزاوية السفلية اليمنى[تي(v)]ب{\displaystyle \textstyle \left[T\left(\mathbf {v} \right)\right]_{B'}}، يقوم المرء بالضرب من اليسار - أي ،أ[v]ب=[تي(v)]ب{\displaystyle \textstyle A'\left[\mathbf {v} \right]_{B'}=\left[T\left(\mathbf {v} \right)\right]_{B'}}الطريقة المكافئة هي الطريقة "الأطول" التي تسير في اتجاه عقارب الساعة من نفس النقطة بحيث[v]ب{\textstyle \left[\mathbf {v} \right]_{B'}}مضروبة من اليسار فيP-1أP{\displaystyle P^{-1}AP}أوP-1أP[v]ب=[تي(v)]ب{\displaystyle \textstyle P^{-1}AP\left[\mathbf {v} \right]_{B'}=\left[T\left(\mathbf {v} \right)\right]_{B'}} .

أمثلة في بعدين

في الفضاء ثنائي الأبعاد ، تُوصف التحويلات الخطية بمصفوفات 2 × 2. فيما يلي بعض الأمثلة:

  • تناوب
    • بزاوية 90 درجة عكس اتجاه عقارب الساعة:أ=(0-110){\displaystyle \mathbf {A} ={\begin{pmatrix}0&-1\\1&0\end{pmatrix}}}
    • بزاوية θ عكس اتجاه عقارب الساعة:أ=(كوسθ-الخطيئةθالخطيئةθكوسθ){\displaystyle \mathbf {A} ={\begin{pmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{pmatrix}}}
  • انعكاس
    • عبر المحور السيني :أ=(100-1){\displaystyle \mathbf {A} ={\begin{pmatrix}1&0\\0&-1\end{pmatrix}}}
    • عبر المحور الصادي :أ=(-1001){\displaystyle \mathbf {A} ={\begin{pmatrix}-1&0\\0&1\end{pmatrix}}}
    • من خلال خط يصنع زاوية θ مع نقطة الأصل:أ=(كوس2θالخطيئة2θالخطيئة2θ-كوس2θ){\displaystyle \mathbf {A} ={\begin{pmatrix}\cos 2\theta &\sin 2\theta \\\sin 2\theta &-\cos 2\theta \end{pmatrix}}}
  • التكبير بمقدار 2 في جميع الاتجاهات:أ=(2002)=2أنا{\displaystyle \mathbf {A} ={\begin{pmatrix}2&0\\0&2\end{pmatrix}}=2\mathbf {I} }
  • رسم خرائط القص الأفقي :أ=(1م01){\displaystyle \mathbf {A} ={\begin{pmatrix}1&m\\0&1\end{pmatrix}}}
  • انحراف المحور الصادي بزاوية θ :أ=(1-الخطيئةθ0كوسθ){\displaystyle \mathbf {A} ={\begin{pmatrix}1&-\sin \theta \\0&\cos \theta \end{pmatrix}}}
  • رسم الخرائط بالضغط :أ=(ك001ك){\displaystyle \mathbf {A} ={\begin{pmatrix}k&0\\0&{\frac {1}{k}}\end{pmatrix}}}
  • الإسقاط على المحور الصادي :أ=(0001).{\displaystyle \mathbf {A} ={\begin{pmatrix}0&0\\0&1\end{pmatrix}}.}

إذا كانت الخريطة الخطية تتكون فقط من الدوران والانعكاس و/أو تغيير الحجم المنتظم، فإن الخريطة الخطية هي تحويل خطي متطابق .

فضاء متجهي للتحويلات الخطية

تركيب الخرائط الخطية يكون خطيًا: إذاو:Vدبليو{\displaystyle f:V\to W}وز:دبليوZ{\textstyle g:W\to Z}إذا كانت خطية، فإن تركيبها كذلك .زو:VZ{\displaystyle g\circ f:V\to Z}. ويترتب على ذلك أن فئة جميع الفضاءات المتجهة على حقل معين K ، بالإضافة إلى التطبيقات الخطية كتشاكلات ، تشكل فئة .

إن معكوس التحويل الخطي، عند تعريفه، هو أيضاً تحويل خطي.

لوو1:Vدبليو{\textstyle f_{1}:V\to W}وو2:Vدبليو{\textstyle f_{2}:V\to W}إذا كانت خطية، فإن مجموعها النقطي يكون كذلك .و1+و2{\displaystyle f_{1}+f_{2}}، والذي يتم تعريفه بواسطة(و1+و2)(x)=و1(x)+و2(x){\displaystyle (f_{1}+f_{2})(\mathbf {x} )=f_{1}(\mathbf {x} )+f_{2}(\mathbf {x} )} .

لوو:Vدبليو{\textstyle f:V\to W}خطي وα{\textstyle \alpha }هو عنصر من عناصر المجال الأرضيك{\displaystyle K}ثم الخريطةαو{\displaystyle \alpha f}، كما هو محدد بواسطة(αو)(x)=α(و(x)){\displaystyle (\alpha f)(\mathbf {x} )=\alpha (f(\mathbf {x} ))}، وهو خطي أيضًا.

وهكذا المجموعةل(V،دبليو){\textstyle {\mathcal {L}}(V,W)}من الخرائط الخطية منV{\textstyle V}لدبليو{\textstyle W}يشكل هو نفسه فضاءً متجهيًا علىك{\displaystyle K}[ 11 ]يُشار إليه أحيانًا بـهوم(V،دبليو){\displaystyle \operatorname {Hom} (V,W)}[ 12 ] علاوة على ذلك ،في حالة أنV=دبليو{\displaystyle V=W}، هذا الفضاء المتجهي، المشار إليه بـنهاية(V){\displaystyle \operatorname {End} (V)}، هو جبر ترابطي تحت تركيب التطبيقات ، لأن تركيب تطبيقين خطيين هو تطبيق خطي أيضًا، وتركيب التطبيقات دائمًا ترابطي. سيتم مناقشة هذه الحالة بمزيد من التفصيل أدناه.

بالنظر مرة أخرى إلى الحالة ذات الأبعاد المحدودة، إذا تم اختيار القواعد، فإن تركيب الخرائط الخطية يتوافق مع ضرب المصفوفات ، وجمع الخرائط الخطية يتوافق مع جمع المصفوفات ، وضرب الخرائط الخطية بالكميات القياسية يتوافق مع ضرب المصفوفات بالكميات القياسية.

التشكلات الداخلية والتشكلات الذاتية

التحويل الخطيو:VV{\textstyle f:V\to V}هو تشاكل داخلي لـV{\textstyle V}؛ مجموعة جميع هذه التشاكلات الداخليةنهاية(V){\textstyle \operatorname {End} (V)} بالإضافة إلى الجمع والتركيب والضرب القياسي كما هو مُعرَّف أعلاه، يُشكِّل ذلك جبرًا ترابطيًا مع عنصر محايد على الحقلك{\textstyle K}(وخاصةً الحلقة ). العنصر المحايد الضربي لهذا الجبر هو دالة التطابق .بطاقة تعريف:VV{\displaystyle \operatorname {id} :V\to V} .

التشكل الداخلي لـV{\textstyle V}يُطلق على هذا أيضًا اسم التشاكل الذاتي لـV{\displaystyle V}إن تركيب تماثلين ذاتيين هو تماثل ذاتي آخر، ومجموعة جميع التماثلات الذاتية لـV{\textstyle V}يشكل مجموعة ، وهي مجموعة التشاكل الذاتي لـV{\textstyle V}والذي يُرمز إليه بـمؤلف(V){\textstyle \operatorname {Aut} (V)}أوGL(V){\displaystyle \operatorname {GL} (V)}بما أن التشاكلات الذاتية هي تحديداً تلك التشاكلات الداخلية التي تمتلك معكوسات تحت التركيب،مؤلف(V){\textstyle \operatorname {Aut} (V)}هي مجموعة الوحدات في الحلقةنهاية(V){\displaystyle \operatorname {End} (V)} .

لوV{\textstyle V}له أبعاد محدودةن{\displaystyle n}ثمنهاية(V){\textstyle \operatorname {End} (V)}متماثل مع الجبر الترابطي لجميعن×ن{\textstyle n\times n}المصفوفات ذات المدخلات فيك{\displaystyle K}. زمرة التشاكل الذاتي لـV{\textstyle V}متماثل مع المجموعة الخطية العامةGL(ن،ك){\textstyle \operatorname {GL} (n,K)}من بين الجميعن×ن{\textstyle n\times n}المصفوفات القابلة للعكس ذات المدخلات فيك{\displaystyle K} .

النواة، الصورة، ونظرية الرتبة والعدمية

لوو:Vدبليو{\textstyle f:V\to W}إذا كانت الدالة خطية، فإننا نحدد النواة والصورة أو المدى لـو{\textstyle f}بواسطة كير(و)={xV:و(x)=0}أنا(و)={wدبليو:w=و(x)،xV}{\displaystyle {\begin{aligned}\ker(f)&=\{\,\mathbf {x} \in V:f(\mathbf {x} )=\mathbf {0} \,\}\\\operatorname {im} (f)&=\{\,\mathbf {w} \in W:\mathbf {w} =f(\mathbf {x} ),\mathbf {x} \in V\,\}\end{aligned}}}

كير(و){\textstyle \ker(f)}هو فضاء جزئي منV{\textstyle V}وأنا(و){\textstyle \operatorname {im} (f)}هو فضاء جزئي مندبليو{\displaystyle W} . تُعرف صيغة الأبعاد التالية باسم نظرية الرتبة والعدمية : [ 13 ]خافت(كير(و))+خافت(أنا(و))=خافت(V).{\displaystyle \dim(\ker(f))+\dim(\operatorname {im} (f))=\dim(V).}

الرقمخافت(أنا(و)){\textstyle \dim(\operatorname {im} (f))}ويُطلق عليه أيضًا رتبةو{\textstyle f}وكتب على النحو التالي :رتبة(و){\displaystyle \operatorname {rank} (f)}أو أحيانًا ،ρ(و){\displaystyle \rho (f)}; [ 14 ] [ 15 ] العدد​خافت(كير(و)){\textstyle \dim(\ker(f))}يُطلق عليه اسم العدميةو{\textstyle f}وكتب على النحو التالي:باطل(و){\textstyle \operatorname {null} (f)}أوν(و){\displaystyle \nu (f)}. [ 14 ] [ 15 ] إذا​V{\textstyle V}ودبليو{\textstyle W}ذات أبعاد محدودة، وقد تم اختيار القواعد وو{\textstyle f}يتم تمثيلها بواسطة المصفوفةأ{\displaystyle A}ثم رتبة وعدم صحةو{\textstyle f}يساويان رتبة وفراغ المصفوفةأ{\displaystyle A}، على التوالي.

نواة الكوك

ثابت أدق للتحويل الخطيو:Vدبليو{\textstyle f:V\to W}هي النواة المشتركة ، والتي تُعرَّف على النحو التالي: كوكير(و):=دبليو/و(V)=دبليو/أنا(و).{\displaystyle \operatorname {coker} (f):=W/f(V)=W/\operatorname {im} (f).}

هذا هو المفهوم المقابل للنواة: فكما أن النواة هي فضاء جزئي من المجال، فإن النواة المرافقة هي فضاء خارج قسمة من الهدف. رسميًا، لدينا المتتالية التامة0كير(و)Vدبليوكوكير(و)0.{\displaystyle 0\to \ker(f)\to V\to W\to \operatorname {coker} (f)\to 0.}

يمكن تفسير ذلك على النحو التالي: إذا كانت لدينا معادلة خطية f ( v ) = w لحلها،

  • النواة هي فضاء الحلول للمعادلة المتجانسة f ( v ) = 0 ، وبُعدها هو عدد درجات الحرية في فضاء الحلول، إذا لم يكن فارغًا؛
  • النواة المشتركة هي فضاء القيود التي يجب أن تستوفيها الحلول، وبُعدها هو الحد الأقصى لعدد القيود المستقلة.

يُساوي مجموع بُعد النواة المشتركة وبُعد الصورة (الرتبة) بُعد الفضاء الهدف. بالنسبة للأبعاد المحدودة، يعني هذا أن بُعد فضاء القسمة W / f ( V ) هو بُعد الفضاء الهدف مطروحًا منه بُعد الصورة.

كمثال بسيط، لنفترض الدالة f  : ، المعطاة بالعلاقة f ( x , y ) = (0, y ) . لكي يكون للمعادلة f ( x , y ) = ( a , b ) حل، يجب أن يكون a = 0 (قيد واحد)، وفي هذه الحالة يكون فضاء الحل هو ( x , b ) أو بصورة مكافئة، (0, b ) + ( x , 0) (درجة حرية واحدة ) . يمكن التعبير عن النواة كفضاء جزئي ( x , 0) < V : قيمة x هي درجة الحرية في الحل – بينما يمكن التعبير عن النواة المشتركة عبر الدالة WR.(أ،ب)(أ){\displaystyle (a,b)\mapsto (a)} : بالنظر إلى متجه ( a , b ) ، فإن قيمة a هي العائق أمام وجود حل.

يُقدّم التطبيق f  : R R مثالاً يوضح الحالة اللانهائية الأبعاد ،{أن}{بن}{\textstyle \left\{a_{n}\right\}\mapsto \left\{b_{n}\right\}}مع b₁ = 0 و bₙ + 1 = aₙ لـ n > 0. تتكون صورتها من جميع المتتاليات التي يكون عنصرها الأول 0 ، وبالتالي تتكون نواتها المشتركة من فئات المتتاليات التي لها نفس العنصر الأول. لذلك، في حين أن نواتها لها بُعد 0 (فهي تُسقط فقط المتتالية الصفرية على المتتالية الصفرية)، فإن نواتها المشتركة لها بُعد 1. بما أن المجال والفضاء المستهدف متطابقان، فإن رتبة وبُعد النواة يُساويان مجموع رتبة وبُعد النواة المشتركة ( 0+0=0+1{\displaystyle \aleph _{0}+0=\aleph _{0}+1}) ، ولكن في حالة الأبعاد اللانهائية، لا يمكن استنتاج أن نواة ونواة التشكل الداخلي لهما نفس البعد ( 0 ≠ 1 ). ويحدث العكس بالنسبة للدالة h  : R R .{أن}{جن}{\textstyle \left\{a_{n}\right\}\mapsto \left\{c_{n}\right\}}مع c n = a n + 1. صورتها هي فضاء الهدف بأكمله، وبالتالي فإن نواة المشاركة لها بُعد 0، ولكن بما أنها تُسقط جميع التسلسلات التي يكون فيها العنصر الأول فقط غير صفري على التسلسل الصفري، فإن نواة لها بُعد 1.

فِهرِس

بالنسبة للمؤثر الخطي ذي النواة والنواة المرافقة ذات الأبعاد المحدودة، يمكن تعريف المؤشر على النحو التالي: مؤشر(و):=خافت(كير(و))-خافت(كوكير(و))،{\displaystyle \operatorname {ind} (f):=\dim(\ker(f))-\dim(\operatorname {coker} (f)),} أي درجات الحرية مطروحًا منها عدد القيود.

بالنسبة للتحويل بين فضاءات متجهة ذات أبعاد محدودة، يكون هذا ببساطة هو الفرق بين بُعد ( V ) وبُعد ( W )، وذلك بحسب خاصية الرتبة والفراغ. يُشير هذا إلى عدد الحلول أو القيود المتاحة: فإذا كان التحويل من فضاء أكبر إلى فضاء أصغر، فقد يكون التحويل شاملاً، وبالتالي ستكون هناك درجات حرية حتى بدون قيود. وعلى العكس، إذا كان التحويل من فضاء أصغر إلى فضاء أكبر، فلا يمكن أن يكون التحويل شاملاً، وبالتالي ستكون هناك قيود حتى بدون درجات حرية.

إن دليل المؤثر هو تحديدًا خاصية أويلر للمركب ذي الحدين 0 → VW → 0. في نظرية المؤثرات ، يُعد دليل مؤثرات فريدهولم موضوعًا للدراسة، ومن أهم نتائجه نظرية دليل أتياس-سينجر . [ 16 ]

التصنيفات الجبرية للتحويلات الخطية

لا يمكن لأي تصنيف للخرائط الخطية أن يكون شاملاً. تُعدد القائمة التالية غير الكاملة بعض التصنيفات المهمة التي لا تتطلب أي بنية إضافية على فضاء المتجهات.

ليكن V و W فضاءات متجهة على حقل F وليكن T  : VW تطبيقًا خطيًا.

الشكل الأحادي

يُقال أن T أحادي أو أحادي الشكل إذا تحققت أي من الشروط المتكافئة التالية:

  1. T هي دالة أحادية كدالة للمجموعات .
  2. ker T = {0 V }
  3. dim(ker T ) = 0
  4. T أحادي أو قابل للإلغاء من اليسار، أي أنه لأي فضاء متجه U وأي زوج من التطبيقات الخطية R : UV و S  : UV ، فإن المعادلة TR = TS تعني R = S.
  5. T قابلة للعكس من اليسار ، أي أن هناك تطبيقًا خطيًا S  : WV بحيث يكون ST هو تطبيق التطابق على V.

التحول المتطور

يُقال إن T شاملة أو فوقية إذا تحققت أي من الشروط المتكافئة التالية:

  1. T هي دالة للمجموعات.
  2. كوكير T = {0 واط }
  3. T ملحمي أو قابل للإلغاء من اليمين، أي أنه لأي فضاء متجه U وأي زوج من التطبيقات الخطية R  : WU و S  : WU ، فإن المعادلة RT = ST تعني R = S.
  4. T قابلة للعكس من اليمين ، أي أن هناك تطبيقًا خطيًا S  : WV بحيث يكون TS هو تطبيق التطابق على W.

التماثل

يُقال إن T متماثل إذا كان قابلاً للعكس من اليسار ومن اليمين. وهذا يُكافئ أن يكون T تقابلاً أحادياً وشاملاً (أي تقابلاً بين المجموعات)، أو أن يكون T شاملاً وأحادياً، وبالتالي يكون ثنائي الشكل .

إذا كان T  : VV تشاكلاً داخلياً، فإن:

  • إذا كان التكرار النوني لـ T ، T n ، يساوي صفرًا تمامًا بالنسبة لعدد صحيح موجب n ، فإن T يقال إنه عديم القوة .
  • إذا كان T 2 = T ، فإن T يُقال إنه متطابق
  • إذا كان T = kI ، حيث k هو عدد قياسي ، فإن T يقال إنه تحويل قياس أو خريطة ضرب قياسية ؛ انظر المصفوفة القياسية .

تغيير الأساس

بفرض وجود دالة خطية ذاتية التشكل ، مصفوفتها A ، فإنها في الأساس B للفضاء، تحوّل إحداثيات المتجهات [ u ] إلى [ v ] = A [ u ] . وبما أن المتجهات تتغير مع معكوس B (إحداثيات المتجهات متغيرة عكسيًا )، فإن تحويلها العكسي هو [ v ] = B [ v ′] .

باستبدال هذا في التعبير الأول ب[v]=أب[u]{\displaystyle B\left[v'\right]=AB\left[u'\right]} لذلك [v]=ب-1أب[u]=أ[u].{\displaystyle \left[v'\right]=B^{-1}AB\left[u'\right]=A'\left[u'\right].}

لذلك، فإن المصفوفة في الأساس الجديد هي A ′ = B −1 AB ، حيث B هي مصفوفة الأساس المعطى.

لذلك، يقال إن الخرائط الخطية هي كائنات متغيرة من النوع 1-co-1-contra- أو موترات من النوع (1، 1) .

الاستمرارية

قد يكون التحويل الخطي بين فضاءات متجهة طوبولوجية، مثل الفضاءات المعيارية، متصلاً . إذا كان مجاله ومجاله المقابل متطابقين، فسيكون حينها مؤثرًا خطيًا متصلاً . يكون المؤثر الخطي على فضاء خطي معياري متصلاً إذا وفقط إذا كان محدودًا ، على سبيل المثال، عندما يكون المجال محدود الأبعاد. [ 17 ] قد يحتوي المجال غير المحدود الأبعاد على مؤثرات خطية غير متصلة .

من الأمثلة على التحويل الخطي غير المحدود، وبالتالي غير المتصل، التفاضل على فضاء الدوال الملساء المزود بمعيار القيمة العليا (حيث يمكن أن يكون للدالة ذات القيم الصغيرة مشتقة ذات قيم كبيرة، بينما مشتقة الصفر تساوي صفرًا ) . فعلى سبيل المثال، يتقارب sin( nx )/ n إلى الصفر ، لكن مشتقته cos( nx ) لا تتقارب إليه، لذا فإن التفاضل غير متصل عند الصفر (وبصيغة أخرى، فهو غير متصل في أي مكان).

التطبيقات

يُستخدم التحويل الخطي بشكل خاص في التحويلات الهندسية ، كما هو الحال في رسومات الحاسوب ، حيث يتم نقل وتدوير وتغيير حجم الكائنات ثنائية أو ثلاثية الأبعاد باستخدام مصفوفة تحويل . كما تُستخدم التحويلات الخطية كآلية لوصف التغيير: على سبيل المثال، في حساب التفاضل والتكامل، تُستخدم كمشتقات؛ أو في النسبية، تُستخدم كأداة لتتبع التحويلات المحلية للأطر المرجعية.

يتمثل تطبيق آخر لهذه التحويلات في تحسينات المترجم للتعليمات البرمجية ذات الحلقات المتداخلة، وفي تقنيات المترجم المتوازية .

انظر أيضاً

ملحوظات

  1. في لغة نظرية الفئات ، تُعدّ التطبيقات الخطية تشاكلات الفضاءات المتجهة. وعند تقييدها بفئة الفضاءات المتجهة ذات الأبعاد المحدودة، فإنها تُشكّل فئة مكافئة لفئة المصفوفات .
  2. على الرغم من استخدام نفس الرمز +، فإن العملية المحددة فيV{\displaystyle V}وذلك المحدد فيدبليو{\displaystyle W}ليست بالضرورة متطابقة.
  3. خريطة واحدةF{\displaystyle F}ويُقال إنها امتداد لخريطة أخرىو{\displaystyle f}إذا متىو{\displaystyle f}يتم تعريفها عند نقطةs{\displaystyle s}إذن كذلكF{\displaystyle F}وF(s)=و(s).{\displaystyle F(s)=f(s).}

مراجع

  1. رودين 1991 ، ص 14. فيما يلي بعض خصائص التحويلات الخطية Λ:XY{\textstyle \Lambda :X\to Y}والتي تكون براهينها سهلة لدرجة أننا نتجاهلها؛ يُفترض أنأX{\textstyle A\subset X}وبY{\textstyle B\subset Y}:
    1. Λ0=0.{\textstyle \Lambda 0=0.}
    2. إذا كانت A فضاءً جزئيًا (أو مجموعة محدبة ، أو مجموعة متوازنة )، فإن الأمر نفسه ينطبق علىΛ(أ){\textstyle \Lambda (A)}
    3. إذا كانت B فضاءً جزئياً (أو مجموعة محدبة، أو مجموعة متوازنة)، فإن الأمر نفسه ينطبق علىΛ-1(ب){\textstyle \Lambda ^{-1}(B)}
    4. وبالتحديد، المجموعة:Λ-1({0})={xX:Λx=0}=شمال(Λ){\displaystyle \Lambda ^{-1}(\{0\})=\{\mathbf {x} \in X:\Lambda \mathbf {x} =0\}={N}(\Lambda )}هو فضاء جزئي من X ، ويسمى الفضاء الصفري لـΛ{\displaystyle \Lambda }
  2. رودين 1991 ، ص 14. لنفترض الآن أن X و Y فضاءان متجهيان على نفس الحقل القياسي . تطبيق Λ:XY{\textstyle \Lambda :X\to Y}يُقال إنها خطية إذاΛ(αx+βy)=αΛx+βΛy{\textstyle \Lambda (\alpha \mathbf {x} +\beta \mathbf {y} )=\alpha \Lambda \mathbf {x} +\beta \Lambda \mathbf {y} }للجميعx،yX{\textstyle \mathbf {x} ,\mathbf {y} \in X}وجميع الكميات القياسيةα{\textstyle \alpha }وβ{\displaystyle \beta }لاحظ أنه غالبًا ما يكتبΛx{\displaystyle \Lambda \mathbf {x} }، بدلاً منΛ(x){\displaystyle \Lambda (\mathbf {x} )}عندماΛ{\textstyle \Lambda }خطي.
  3. رودين 1976 ، ص 206. يُقال إنالتطبيق A من فضاء متجهي X إلى فضاء متجهي Y هو تحويل خطي إذا: أ(x1+x2)=أx1+أx2، أ(جx)=جأx{\textstyle A\left(\mathbf {x} _{1}+\mathbf {x} _{2}\right)=A\mathbf {x} _{1}+A\mathbf {x} _{2},\ A(c\mathbf {x} )=cA\mathbf {x} }للجميعx،x1،x2X{\textstyle \mathbf {x} ,\mathbf {x} _{1},\mathbf {x} _{2}\in X}وجميع الكميات القياسية c . لاحظ أنه غالبًا ما يُكتبأx{\textstyle A\mathbf {x} }بدلاً منأ(x){\textstyle A(\mathbf {x} )}إذا كانت A خطية.
  4. رودين 1991 ، ص 14. تسمىالتحويلات الخطية لـ X على حقلها القياسي بالدوال الخطية . 
  5. "المصطلحات - ما معنى "خطي" في الجبر الخطي؟" . موقع تبادل الأسئلة والأجوبة في الرياضيات . تم الاطلاع عليه بتاريخ 17 فبراير 2021 .
  6. ويلانسكي 2013 ، ص 21-26.
  7. " غالبًا ما تُسمىالتحويلات الخطية لـ V إلى V بالمؤثرات الخطية على V. " رودين 1976 ، ص 207 
  8. 1 2 كوبروسلي 2001 ، ص. 57.
  9. 1 2 شيشتر 1996 ، ص 277-280.
  10. رودين 1976 ، ص 210 
  11. أكسلر (2015) ص 52، § 3.3
  12. Tu 2011 ، ص 19 ، § 3.1 
  13. هورن وجونسون 2013 ، 0.2.3 فضاءات المتجهات المرتبطة بمصفوفة أو تحويل خطي، ص. 6
  14. 1 2 كاتسنلسون وكاتسنلسون (2008) ص. 52، § 2.5.1
  15. 1 2 هالموس (1974) ص. 90، § 50
  16. نيستور، فيكتور (2001) [1994]، "نظرية المؤشر" ، موسوعة الرياضيات ، دار نشر EMS"السؤال الرئيسي في نظرية المؤشر هو توفير صيغ مؤشر لفئات من مؤثرات فريدهولم ... لم تصبح نظرية المؤشر موضوعًا قائمًا بذاته إلا بعد أن نشر إم إف عطية وإي سينغر نظرياتهما حول المؤشر".
  17. رودين 1991 ، ص 15 ، نظرية 1.18: ليكن Λ{\textstyle \Lambda }ليكن دالة خطية على فضاء متجهي طوبولوجي X. افترض Λx0{\displaystyle \Lambda \mathbf {x} \neq 0}بالنسبة للبعضxX{\displaystyle \mathbf {x} \in X}ثم إن كل خاصية من الخصائص الأربع التالية تستلزم الخصائص الثلاث الأخرى:
    1. Λ{\textstyle \Lambda }متصل
    2. الفضاء الصفريشمال(Λ){\textstyle N(\Lambda )}مغلق.
    3. شمال(Λ){\textstyle N(\Lambda )}ليست كثيفة في X.
    4. Λ{\textstyle \Lambda }محدودة في جوار V ما للصفر .

فهرس