الجبر الخطي

الجبر الخطي هو فرع من فروع الرياضيات يهتم بالمعادلات الخطية مثل

أ1x1++أنxن=ب،{\displaystyle a_{1}x_{1}+\cdots +a_{n}x_{n}=b,}

الخرائط الخطية مثل

(x1،...،xن)أ1x1++أنxن،{\displaystyle (x_{1},\ldots ,x_{n})\mapsto a_{1}x_{1}+\cdots +a_{n}x_{n},}

وتمثيلاتها في الفضاءات المتجهة ومن خلال المصفوفات . [ 1 ] [ 2 ] [ 3 ]

في الفضاء الإقليدي ثلاثي الأبعاد ، تمثل هذه المستويات الثلاثة حلولاً لمعادلات خطية، ويمثل تقاطعها مجموعة الحلول المشتركة: في هذه الحالة، نقطة فريدة. الخط الأزرق هو الحل المشترك لمعادلتين من هذه المعادلات.

يُعدّ الجبر الخطي أساسيًا في جميع فروع الرياضيات تقريبًا. فعلى سبيل المثال، يُعتبر الجبر الخطي جوهريًا في العروض الحديثة للهندسة ، بما في ذلك تعريف الأشكال الأساسية كالخطوط والمستويات والدورانات . كما يُمكن اعتبار التحليل الوظيفي ، وهو فرع من فروع التحليل الرياضي ، تطبيقًا للجبر الخطي على فضاءات الدوال .

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

تاريخ

تظهر طريقة حل المعادلات الخطية الآنية (باستخدام قضبان العد)، والتي تُعرف الآن باسم طريقة غاوس للحذف، في النص الرياضي الصيني القديم، الفصل الثامن: المصفوفات المستطيلة من كتاب "الفصول التسعة في الفن الرياضي" . وقد تم توضيح استخدامها في ثمانية عشر مسألة، تتراوح معادلاتها بين اثنتين وخمس معادلات. [ 4 ]

ظهرت أنظمة المعادلات الخطية في أوروبا مع إدخال رينيه ديكارت للإحداثيات في الهندسة عام 1637. في الواقع، في هذه الهندسة الجديدة، التي تُسمى الآن الهندسة الديكارتية ، تُمثَّل الخطوط والمستويات بمعادلات خطية، وحساب تقاطعاتها يُعادل حل أنظمة المعادلات الخطية.

استُخدمت المحددات في أولى الطرق المنهجية لحل الأنظمة الخطية ، وقد تناولها لايبنتز لأول مرة عام 1693. وفي عام 1750، استخدمها غابرييل كرامر لتقديم حلول صريحة للأنظمة الخطية، وهو ما يُعرف الآن بقاعدة كرامر . وفي وقت لاحق، وصف غاوس طريقة الحذف، التي صُنفت في البداية كإنجاز في علم المساحة . [ 5 ]

قام كبار علماء الرياضيات في القرنين التاسع عشر والعشرين بتطوير واستخدام معظم النتائج والتقنيات الأساسية للجبر الخطي لمدة تقارب المئة عام، دون حتى تعريف فضاء متجهي مجرد، ولا يوجد ما يشير إلى أنهم عانوا من ذلك. [ 6 ] في عام 1844، نشر هيرمان غراسمان كتابه "نظرية التمديد" الذي تضمن مواضيع تأسيسية جديدة لما يُعرف اليوم بالجبر الخطي. وفي عام 1848، قدم جيمس جوزيف سيلفستر مصطلح " المصفوفة "، وهو مصطلح لاتيني يعني " الرحم" .

تطور الجبر الخطي مع ظهور أفكار في المستوى المركب . على سبيل المثال، عددان w و z فيج{\displaystyle \mathbb {C} }يوجد فرق wz ، والقطعتان المستقيمتان wz و 0( wz ) متساويتان في الطول والاتجاه. القطعتان متساويتان في القوة . النظام رباعي الأبعادح{\displaystyle \mathbb {H} }اكتشف دبليو آر هاميلتون نظام الأعداد الرباعية عام 1843. [ 7 ] وقدّم مصطلح المتجه على النحو التالي : v = xi + yj + zk ، والذي يُمثّل نقطة في الفضاء. كما يُنتج فرق الأعداد الرباعية pq قطعة مستقيمة مكافئة لـ pq . واستخدمت أنظمة الأعداد المركبة الفائقة الأخرى فكرة الفضاء الخطي ذي الأساس .

قدّم آرثر كايلي ضرب المصفوفات والمصفوفة العكسية عام ١٨٥٦، مما أتاح إمكانية إنشاء المجموعة الخطية العامة . وأصبح نظام تمثيل المجموعات متاحًا لوصف الأعداد المركبة والأعداد فائقة التعقيد. والأهم من ذلك، أن كايلي استخدم حرفًا واحدًا للدلالة على المصفوفة، متعاملًا معها ككائن مُجمّع. كما أدرك العلاقة بين المصفوفات والمحددات، وكتب: "هناك الكثير مما يُمكن قوله عن نظرية المصفوفات هذه، والتي ينبغي، في رأيي، أن تسبق نظرية المحددات". [ ٥ ]

نشر بنيامين بيرس كتابه "الجبر الترابطي الخطي" (1872)، وقام ابنه تشارلز ساندرز بيرس بتوسيع العمل لاحقاً. [ 8 ]

تطلّب التلغراف نظامًا تفسيريًا، وقد أرسى كتاب جيمس كلارك ماكسويل "رسالة في الكهرباء والمغناطيسية" الصادر عام ١٨٧٣ نظريةً للمجالات والقوى، واستلزم استخدام الهندسة التفاضلية للتعبير عنها. يُعدّ الجبر الخطي هندسةً تفاضليةً مسطحة، ويُستخدم في الفضاءات المماسية للمتشعبات . تُعبّر تحويلات لورنتز عن التناظرات الكهرومغناطيسية للزمكان ، ويُشكّل تاريخ تحويلات لورنتز جزءًا كبيرًا من تاريخ الجبر الخطي .

قدّم بيانو أول تعريف حديث وأكثر دقة للفضاء المتجهي عام 1888؛ [ 5 ] وبحلول عام 1900، ظهرت نظرية التحويلات الخطية للفضاءات المتجهة ذات الأبعاد المحدودة. اتخذ الجبر الخطي شكله الحديث في النصف الأول من القرن العشرين عندما عُممت العديد من الأفكار والأساليب من القرون السابقة كجبر مجرد . أدى تطور الحواسيب إلى زيادة البحث في الخوارزميات الفعالة للحذف الغاوسي وتحليل المصفوفات، وأصبح الجبر الخطي أداة أساسية للنمذجة والمحاكاة. [ 5 ]

فضاءات المتجهات

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

الفضاء المتجهي على حقل F (غالبًا حقل الأعداد الحقيقية أو حقل الأعداد المركبة ) هو مجموعة V مزودة بعمليتين ثنائيتين . تُسمى عناصر V متجهات ، وعناصر F أعدادًا قياسية . العملية الأولى، جمع المتجهات ، تأخذ أي متجهين v و w وتُخرج متجهًا ثالثًا v + w . العملية الثانية، الضرب القياسي ، تأخذ أي عدد قياسي a وأي متجه v وتُخرج متجهًا جديدًا a v . البديهيات التي يجب أن تُحققها عمليتا الجمع والضرب القياسي هي التالية. (في القائمة أدناه، u و v و w عناصر اختيارية من V ، و a و b أعداد قياسية اختيارية في الحقل F. ) [ 9 ]

بديهيةدلالة
خاصية التجميع في الجمعu + ( v + w ) = ( u + v ) + w
خاصية التبديل في الجمعu + v = v + u
العنصر المحايد للجمعيوجد عنصر 0 في V ، يسمى المتجه الصفري ( أو ببساطة الصفر )، بحيث يكون v + 0 = v لجميع v في V.
العناصر العكسية للجمعلكل عنصر v في V ، يوجد عنصر −v في V ، يُسمى المعكوس الجمعي لـ v ، بحيث يكون v + (−v ) = 0
خاصية التوزيع لضرب الأعداد القياسية بالنسبة لجمع المتجهاتأ ( u + v ) = a u + a v
توزيعية الضرب القياسي بالنسبة لجمع الحقول( أ + ب ) ع = أ ع + ب ع
توافق الضرب القياسي مع ضرب الحقولa ( b v ) = ( ab ) v [ a ]
العنصر المحايد في عملية الضرب القياسي1 v = v ، حيث يشير 1 إلى العنصر المحايد الضربي لـ F.

البديهيات الأربع الأولى تعني أن V هي مجموعة أبيلية تحت عملية الجمع.

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

الخرائط الخطية

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

تي:Vدبليو{\displaystyle T:V\to W}

أي أنه متوافق مع الجمع والضرب القياسي، أي

تي(u+v)=تي(u)+تي(v)،تي(أv)=أتي(v){\displaystyle T(\mathbf {u} +\mathbf {v} )=T(\mathbf {u} )+T(\mathbf {v} ),\quad T(a\mathbf {v} )=aT(\mathbf {v} )}

لأي متجهين u و v في V وعدد قياسي a في F.

الشرط المكافئ هو أن

تي(أu+بv)=أتي(u)+بتي(v){\displaystyle T(a\mathbf {u} +b\mathbf {v} )=aT(\mathbf {u} )+bT(\mathbf {v} )}

لأي متجهين u و v في V وقيم قياسية a و b في F.

عندما يكون V = W نفس الفضاء المتجهي، فإن التطبيق الخطي T :  V V يُعرف أيضًا باسم المؤثر الخطي على V.

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

الفضاءات الفرعية، والامتداد، والأساس

يُعدّ دراسة المجموعات الجزئية من الفضاءات المتجهة التي تُشكّل في حد ذاتها فضاءات متجهة تحت تأثير العمليات المستحثة أمرًا أساسيًا، كما هو الحال بالنسبة للعديد من البنى الرياضية. تُسمى هذه المجموعات الجزئية بالفضاءات الخطية . وبشكل أدق، فإن الفضاء الخطي الجزئي لفضاء متجه V على حقل F هو مجموعة جزئية W من V بحيث يكون u + v و a u ينتميان إلى W ، وذلك لكل u و v ينتميان إلى W ، ولكل a ينتمي إلى F. (تكفي هذه الشروط للاستدلال على أن W فضاء متجه).

على سبيل المثال، بالنظر إلى تطبيق خطي T  : VW ، فإن الصورة T ( V ) لـ V ، والصورة العكسية T −1 ( 0 ) لـ 0 (تسمى النواة أو الفضاء الصفري) هي فضاءات فرعية خطية لـ W و V ، على التوالي.

هناك طريقة أخرى مهمة لتكوين فضاء جزئي وهي النظر في التركيبات الخطية لمجموعة S من المتجهات: مجموعة جميع المجاميع.

أ1v1+أ2v2++أكvك،{\displaystyle a_{1}\mathbf {v} _{1}+a_{2}\mathbf {v} _{2}+\cdots +a_{k}\mathbf {v} _{k},}

حيث تنتمي v1 ، v2 ، ...، vk إلى S ، وتنتمي a1 ، a2 ، ...، ak إلى F ، تُشكّل فضاءً خطيًا جزئيًا يُسمى امتداد S. ويُعرّف امتداد S أيضًا بأنه تقاطع جميع الفضاءات الخطية الجزئية التي تحتوي على S. بعبارة أخرى، هو أصغر فضاء خطي جزئي (لعلاقة الاحتواء) يحتوي على S.

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

تُسمى مجموعة المتجهات التي تُولّد فضاءً متجهيًا مجموعةً مُولِّدة أو مجموعةً مُولِّدة . إذا كانت المجموعة المُولِّدة S مُرتبطة خطيًا (أي ليست مُستقلة خطيًا)، فإن عنصرًا ما w من S يقع في الفضاء المُولِّد لبقية عناصر S ، ويبقى هذا الفضاء كما هو حتى لو أُزيل w من S. يمكن الاستمرار في إزالة عناصر من S حتى الحصول على مجموعة مُولِّدة مُستقلة خطيًا . تُسمى هذه المجموعة المُستقلة خطيًا التي تُولِّد فضاءً متجهيًا V أساسًا لـ V. تكمن أهمية الأسس في كونها مجموعات مُولِّدة دنيا ومجموعات مُستقلة قصوى في آنٍ واحد. بتعبير أدق، إذا كانت S مجموعة مُستقلة خطيًا، و T مجموعة مُولِّدة بحيث ST ، فإنه يوجد أساس B بحيث SBT.

أي قاعدتين لفضاء متجهي V لهما نفس العدد من العناصر ، والذي يُسمى بُعد V ؛ وهذه هي نظرية البُعد للفضاءات المتجهة . علاوة على ذلك، يكون فضاءان متجهيان على نفس الحقل F متماثلين إذا وفقط إذا كان لهما نفس البُعد. [ 10 ]

إذا كان لأي أساس للفضاء V (وبالتالي لكل أساس) عدد محدود من العناصر، فإن V فضاء متجهي ذو أبعاد محدودة . إذا كان U فضاءً جزئيًا من V ، فإن بُعد U ≤ بُعد V. في حالة كون V فضاءً ذا أبعاد محدودة، فإن تساوي الأبعاد يستلزم أن U = V.

إذا كان U1 و U2 فضاءين جزئيين من V ، فإن

خافت(يو1+يو2)=خافتيو1+خافتيو2-خافت(يو1يو2)،{\displaystyle \dim(U_{1}+U_{2})=\dim U_{1}+\dim U_{2}-\dim(U_{1}\cap U_{2}),}

حيث U 1 + U 2 تشير إلى مدى U 1U 2. [ 11 ]

المصفوفات

تسمح المصفوفات بالمعالجة الصريحة للفضاءات المتجهة ذات الأبعاد المحدودة والخرائط الخطية . وبالتالي فإن نظريتها جزء أساسي من الجبر الخطي.

ليكن V فضاءً متجهيًا محدود الأبعاد على حقل F ، وليكن ( v1 , v2 , ..., vm ) أساسًا لـ V (وبالتالي m هو بُعد V ). بحسب تعريف الأساس، فإن التطبيق

(أ1،...،أم)أ1v1+أمvمFمV{\displaystyle {\begin{aligned}(a_{1},\ldots ,a_{m})&\mapsto a_{1}\mathbf {v} _{1}+\cdots a_{m}\mathbf {v} _{m}\\F^{m}&\to V\end{aligned}}}

هو تقابل من F m ، مجموعة متواليات m عنصر من F ، إلى V. هذا تماثل للفضاءات المتجهة، إذا تم تجهيز F m ببنيتها القياسية للفضاء المتجه، حيث يتم جمع المتجهات وضربها القياسي عنصرًا تلو الآخر.

يسمح هذا التشاكل بتمثيل متجه بواسطة صورته العكسية تحت هذا التشاكل، أي بواسطة متجه الإحداثيات ( a1 , ..., am ) أو بواسطة مصفوفة العمود

[أ1أم].{\displaystyle {\begin{bmatrix}a_{1}\\\vdots \\a_{m}\end{bmatrix}}.}

إذا كان W فضاءً متجهيًا آخر محدود الأبعاد (ربما هو نفسه)، وله أساس ( w1 , ..., wn) ، فإن التطبيق الخطي f من W إلى V يُعرَّف جيدًا بقيمه على عناصر الأساس، أي ( f ( w1 ), ..., f ( wn ) ) . وبالتالي، يمكن تمثيل f جيدًا بقائمة مصفوفات الأعمدة المناظرة. أي، إذا

و(wج)=أ1،جv1++أم،جvم،{\displaystyle f(w_{j})=a_{1,j}v_{1}+\cdots +a_{m,j}v_{m},}

بالنسبة لـ j = 1، ...، n ، فإن f يتم تمثيلها بواسطة المصفوفة

[أ1،1أ1،نأم،1أم،ن]،{\displaystyle {\begin{bmatrix}a_{1,1}&\cdots &a_{1,n}\\\vdots &\ddots &\vdots \\a_{m,1}&\cdots &a_{m,n}\end{bmatrix}},}

مع عدد m من الصفوف وعدد n من الأعمدة.

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

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

الأنظمة الخطية

تُسمى مجموعة منتهية من المعادلات الخطية في مجموعة منتهية من المتغيرات، على سبيل المثال، x1 ، x2 ، ...، xn ، أو x ، y ، ...، نظام المعادلات الخطية أو النظام الخطي . [ 12 ] [ 13 ] [ 14 ] [ 15 ] [ 16 ]

تُشكّل أنظمة المعادلات الخطية جزءًا أساسيًا من الجبر الخطي. تاريخيًا، طُوّر الجبر الخطي ونظرية المصفوفات لحلّ هذه الأنظمة. وفي العرض الحديث للجبر الخطي من خلال الفضاءات المتجهة والمصفوفات، يُمكن تفسير العديد من المسائل بدلالة الأنظمة الخطية.

على سبيل المثال، لنفترض

أن يكون نظامًا خطيًا.

يمكن ربط مصفوفة هذا النظام

م=[21-1-3-12-212].{\displaystyle M=\left[{\begin{array}{rrr}2&1&-1\\-3&-1&2\\-2&1&2\end{array}}\right].}

ومتجه عضوه الأيمن

v=[8-11-3].{\displaystyle \mathbf {v} ={\begin{bmatrix}8\\-11\\-3\end{bmatrix}}.}

ليكن T التحويل الخطي المرتبط بالمصفوفة M. حل النظام ( S ) هو متجه

X=[xyz]{\displaystyle \mathbf {X} ={\begin{bmatrix}x\\y\\z\end{bmatrix}}}

بحيث

تي(X)=v،{\displaystyle T(\mathbf {X} )=\mathbf {v} ,}

هذا عنصر من الصورة العكسية لـ v بواسطة T.

ليكن ( S′ ) هو النظام المتجانس المرتبط ، حيث يتم وضع الجانب الأيمن من المعادلات عند الصفر:

حلول ( S ) هي بالضبط عناصر نواة T أو ، بشكل مكافئ ، M.

تتألف عملية الحذف الغاوسي من إجراء عمليات صفية أولية على المصفوفة الموسعة.

[مv]=[21-18-3-12-11-212-3]{\displaystyle \left[\!{\begin{array}{c|c}M&\mathbf {v} \end{array}}\!\right]=\left[{\begin{array}{rrr|r}2&1&-1&8\\-3&-1&2&-11\\-2&1&2&-3\end{array}}\right]}

لوضعها في شكل صفوف مختزل . لا تُغير عمليات الصفوف هذه مجموعة حلول نظام المعادلات. في المثال، يكون الشكل المختزل هو

[مv]=[10020103001-1]،{\displaystyle \left[\!{\begin{array}{c|c}M&\mathbf {v} \end{array}}\!\right]=\left[{\begin{array}{rrr|r}1&0&0&2\\0&1&0&3\\0&0&1&-1\end{array}}\right],}

مما يدل على أن النظام ( S ) له حل وحيد

x=2y=3z=-1.{\displaystyle {\begin{aligned}x&=2\\y&=3\\z&=-1.\end{aligned}}}

وبشكل أعم، نظام منم{\displaystyle m}المعادلات الخطية فين{\displaystyle n}يمكن كتابة المتغيرات على النحو التالي أx=ب{\displaystyle A\mathbf {x} =\mathbf {b} } أين

أ=(أأناج)م×ن{\displaystyle A=(a_{ij})_{m\times n}}

x=[x1xن]{\displaystyle \mathbf {x} ={\begin{bmatrix}x_{1}\\\vdots \\x_{n}\end{bmatrix}}}

ب=[ب1بم]{\displaystyle \mathbf {b} ={\begin{bmatrix}b_{1}\\\vdots \\b_{m}\end{bmatrix}}}

لوم=ن{\displaystyle m=n}والمصفوفةأ{\displaystyle A}إذا كانت قابلة للعكس، فإن النظام له حل وحيد x=أ-1ب{\displaystyle \mathbf {x} =A^{-1}\mathbf {b} }.

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

التحويلات الداخلية والمصفوفات المربعة

التحويل الخطي الداخلي هو تطبيق خطي يحول فضاءً متجهيًا V إلى نفسه. إذا كان للفضاء V أساس مكون من n عنصرًا، فإن هذا التحويل الداخلي يُمثَّل بمصفوفة مربعة من الرتبة n .

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

المحدد

يُعرَّف محدد المصفوفة المربعة A على أنه [ 17 ]

σSن(-1)σأ1σ(1)أنσ(ن)،{\displaystyle \sum _{\sigma \in S_{n}}(-1)^{\sigma }a_{1\sigma (1)}\cdots a_{n\sigma (n)},}

حيث S <sub>n</sub> هي مجموعة جميع تباديل n عنصرًا ، وσ هو تبديل، و (−1) σ هو زوجية التبديل . تكون المصفوفة قابلة للعكس إذا وفقط إذا كان المحدد قابلاً للعكس (أي غير صفري إذا كانت القيم العددية تنتمي إلى حقل).

قاعدة كرامر هي صيغة مغلقة ، بدلالة المحددات، لحل نظام من n معادلة خطية في n مجهول . تُفيد قاعدة كرامر في الاستدلال على الحل، ولكن، باستثناء n = 2 أو 3 ، نادرًا ما تُستخدم لحساب الحل، لأن طريقة الحذف الغاوسي أسرع.

محدد التشكل الداخلي هو محدد المصفوفة التي تمثل هذا التشكل بدلالة أساس مرتب. هذا التعريف منطقي لأن هذا المحدد مستقل عن اختيار الأساس.

القيم الذاتية والمتجهات الذاتية

إذا كانت f عبارة عن تشاكل خطي داخلي لفضاء متجهي V على حقل F ، فإن المتجه الذاتي لـ f هو متجه غير صفري v من V بحيث يكون f ( v ) = av لبعض القيم العددية a في F. هذه القيمة العددية a هي قيمة ذاتية لـ f .

إذا كان بُعد V محدودًا، وتم اختيار أساس، فيمكن تمثيل f و v ، على التوالي، بمصفوفة مربعة M ومصفوفة عمودية z ؛ وتصبح المعادلة التي تحدد المتجهات الذاتية والقيم الذاتية كما يلي:

مz=أz.{\displaystyle Mz=az.}

باستخدام مصفوفة الوحدة I ، التي جميع عناصرها أصفار باستثناء عناصر القطر الرئيسي التي تساوي واحدًا، يمكن إعادة كتابة ذلك.

(م-أأنا)z=0.{\displaystyle (M-aI)z=0.}

بما أن z يفترض أن تكون غير صفرية، فهذا يعني أن MaI مصفوفة منفردة ، وبالتالي فإن محددها det ( MaI ) يساوي صفرًا. وبالتالي، فإن القيم الذاتية هي جذور متعددة الحدود

المحقق(xأنا-م).{\displaystyle \det(xI-M).}

إذا كان V من البعد n ، فهذا كثير حدود أحادي من الدرجة n ، يسمى كثير الحدود المميز للمصفوفة (أو للتشاكل الداخلي) ، وهناك على الأكثر n من القيم الذاتية.

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

المصفوفة المتناظرة قابلة للتقطير دائمًا. توجد مصفوفات غير قابلة للتقطير، وأبسطها هي

[0100]{\displaystyle {\begin{bmatrix}0&1\\0&0\end{bmatrix}}}

(لا يمكن أن تكون قابلة للتقطير لأن مربعها هو المصفوفة الصفرية ، ومربع المصفوفة القطرية غير الصفرية لا يساوي الصفر أبدًا).

عندما لا يكون التحويل الداخلي قابلاً للتقطير، توجد قواعد يكون له عليها شكل بسيط، وإن لم يكن ببساطة الشكل القطري. لا يتطلب شكل فروبينيوس المعياري توسيع حقل الأعداد القياسية، ويجعل كثير الحدود المميز قابلاً للقراءة مباشرةً على المصفوفة. أما شكل جوردان المعياري، فيتطلب توسيع حقل الأعداد القياسية لاحتواء جميع القيم الذاتية، ويختلف عن الشكل القطري فقط ببعض العناصر التي تقع فوق القطر الرئيسي مباشرةً وتساوي 1.

الازدواجية

الشكل الخطي هو تطبيق خطي من فضاء متجهي V على حقل F إلى حقل الأعداد القياسية F ، الذي يُنظر إليه على أنه فضاء متجهي على نفسه. وباستخدام الجمع والضرب النقطيين في عدد قياسي، تُشكل الأشكال الخطية فضاءً متجهيًا يُسمى الفضاء الثنائي لـ V ، ويُرمز إليه عادةً بـ V* [ 18 ] أو V [ 19 ] [ 20 ] .

إذا كانت v₁ , ..., vₙ أساسًا للفضاء V (وهذا يعني أن V فضاء محدود الأبعاد)، فإنه يمكن تعريف دالة خطية vᵢ * ، لكل i = 1, ..., n ، بحيث يكون vᵢ *( vᵢ ) = 1 و vᵢ * ( vⱼ ) = 0 إذا كان ji . تُشكل هذه الدوال الخطية أساسًا للفضاء V * ، يُسمى الأساس الثنائي لـ v₁ , ..., vₙ . (إذا لم يكن V فضاءً محدود الأبعاد، فيمكن تعريف vᵢ * بطريقة مماثلة ؛ فهي مستقلة خطيًا، لكنها لا تُشكل أساسًا).

لكل v في V ، الخريطة

وو(v){\displaystyle f\to f(\mathbf {v} )}

هي صيغة خطية على V* . تُعرّف هذه الصيغة التطبيق الخطي الأساسي من V إلى ( V *)* ، وهو ثنائي V* ، ويُسمى الثنائي المزدوج أو الثنائي المزدوج لـ V. يكون هذا التطبيق الأساسي متماثلًا إذا كان V محدود الأبعاد، وهذا يسمح بتحديد V مع ثنائيه المزدوج. (في حالة الأبعاد اللانهائية، يكون التطبيق الأساسي أحاديًا، ولكنه ليس شاملًا).

وبالتالي، توجد تناظرية كاملة بين فضاء متجهي ذي أبعاد محدودة وفضاءه الثنائي. وهذا ما يحفز الاستخدام المتكرر، في هذا السياق، لترميز برا-كيت.

و،x{\displaystyle \langle f,\mathbf {x} \rangle }

للدلالة على f ( x ) .

خريطة مزدوجة

يترك

و:Vدبليو{\displaystyle f:V\to W}

ليكن تطبيقًا خطيًا. لكل شكل خطي h على W ، فإن الدالة المركبة hf هي شكل خطي على V. وهذا يُعرّف تطبيقًا خطيًا

و*:دبليو*V*{\displaystyle f^{*}:W^{*}\to V^{*}}

بين الفضاءات الثنائية ، والتي تسمى ثنائية أو منقولة f .

إذا كانت V و W ذات أبعاد محدودة، و M هي مصفوفة f بدلالة بعض القواعد المرتبة، فإن مصفوفة f* على القواعد الثنائية هي منقولة M T لـ M ، والتي تم الحصول عليها عن طريق تبديل الصفوف والأعمدة.

إذا مُثِّلت عناصر الفضاءات المتجهة ونظائرها بواسطة متجهات عمودية، فيمكن التعبير عن هذه الازدواجية في تدوين برا-كيت بواسطة

حتي،مv=حتيم،v.{\displaystyle \langle h^{\mathsf {T}},M\mathbf {v} \rangle =\langle h^{\mathsf {T}}M,\mathbf {v} \rangle .}

ولإبراز هذا التناظر، يُكتب أحيانًا طرفا هذه المساواة

حتي|م|v.{\displaystyle \langle h^{\mathsf {T}}\mid M\mid \mathbf {v} \rangle .}

مساحات المنتج الداخلي

إلى جانب هذه المفاهيم الأساسية، يدرس الجبر الخطي أيضًا الفضاءات المتجهة ذات البنية الإضافية، مثل الضرب الداخلي . يُعد الضرب الداخلي مثالًا على الصيغة الثنائية الخطية ، وهو يُضفي على الفضاء المتجه بنية هندسية من خلال السماح بتعريف الطول والزوايا. رسميًا، الضرب الداخلي هو دالة.

،:V×VF{\displaystyle \langle \cdot ,\cdot \rangle :V\times V\to F}

والتي تحقق البديهيات الثلاث التالية لجميع المتجهات u و v و w في V وجميع القيم العددية a في F : [ 21 ] [ 22 ]

  • التناظر المترافق :
    u،v=v،u¯.{\displaystyle \langle \mathbf {u} ,\mathbf {v} \rangle ={\overline {\langle \mathbf {v} ,\mathbf {u} \rangle }}.}
فيR{\displaystyle \mathbb {R} }إنه متناظر.
  • الخطية في الوسيط الأول:
    أu،v=أu،v.u+v،w=u،w+v،w.{\displaystyle {\begin{aligned}\langle a\mathbf {u} ,\mathbf {v} \rangle &=a\langle \mathbf {u} ,\mathbf {v} \rangle .\\\langle \mathbf {u} +\mathbf {v} ,\mathbf {w} \rangle &=\langle \mathbf {u} ,\mathbf {w} \rangle +\langle \mathbf {v} ,\mathbf {w} \rangle .\end{aligned}}}
  • التأكيد الإيجابي :
    v،v0{\displaystyle \langle \mathbf {v} ,\mathbf {v} \rangle \geq 0}
مع المساواة فقط عندما تكون قيمة v = 0 .

يمكننا تعريف طول المتجه v في V بواسطة

v2=v،v،{\displaystyle \|\mathbf {v} \|^{2}=\langle \mathbf {v} ,\mathbf {v} \rangle ,}

ويمكننا إثبات متباينة كوشي-شفارتز :

|u،v|uv.{\displaystyle |\langle \mathbf {u} ,\mathbf {v} \rangle |\leq \|\mathbf {u} \|\cdot \|\mathbf {v} \|.}

وعلى وجه الخصوص، الكمية

|u،v|uv1،{\displaystyle {\frac {|\langle \mathbf {u} ,\mathbf {v} \rangle |}{\|\mathbf {u} \|\cdot \|\mathbf {v} \|}}\leq 1,}

وبالتالي يمكننا أن نسمي هذه الكمية جيب تمام الزاوية بين المتجهين.

يكون متجهان متعامدين إذا كان ⟨u , v⟩ = 0. الأساس المتعامد هو أساس تكون فيه جميع متجهات الأساس بطول 1 ومتعامدة مع بعضها البعض. لأي فضاء متجهي محدود الأبعاد، يمكن إيجاد أساس متعامد باستخدام إجراء غرام-شميدت . من السهل التعامل مع الأسس المتعامدة، لأنه إذا كان v = a₁v₁ + + aₙvₙ ، فإن

أأنا=v،vأنا.{\displaystyle a_{i}=\langle \mathbf {v} ,\mathbf {v} _{i}\rangle .}

يُسهّل الضرب الداخلي بناء العديد من المفاهيم المفيدة. على سبيل المثال، إذا كان لدينا تحويل T ، فيمكننا تعريف مرافقه الهرميتي T* على أنه التحويل الخطي الذي يحقق

تيu،v=u،تي*v.{\displaystyle \langle T\mathbf {u} ,\mathbf {v} \rangle =\langle \mathbf {u} ,T^{*}\mathbf {v} \rangle .}

إذا حققت المصفوفة T الشرط TT* = T*T ، فإننا نسميها مصفوفة طبيعية . ويتضح أن المصفوفات الطبيعية هي تحديدًا المصفوفات التي لها نظام متعامد من المتجهات الذاتية التي تولد الفضاء V.

العلاقة بالهندسة

ثمة علاقة وثيقة بين الجبر الخطي والهندسة ، بدأت مع تقديم رينيه ديكارت للإحداثيات الديكارتية عام ١٦٣٧. في هذه الهندسة الجديدة آنذاك، والتي تُعرف الآن بالهندسة الديكارتية ، تُمثَّل النقاط بإحداثيات ديكارتية ، وهي عبارة عن متواليات من ثلاثة أعداد حقيقية (في حالة الفضاء ثلاثي الأبعاد المعتاد ). أما الأشكال الأساسية للهندسة، وهي الخطوط والمستويات ، فتُمثَّل بمعادلات خطية. وبالتالي، فإن حساب تقاطعات الخطوط والمستويات يُعادل حل أنظمة المعادلات الخطية. وكان هذا أحد الدوافع الرئيسية لتطوير الجبر الخطي.

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

حتى نهاية القرن التاسع عشر، كانت الفضاءات الهندسية تُعرَّف بواسطة بديهيات تربط النقاط والخطوط والمستويات ( الهندسة التركيبية ). في ذلك الوقت تقريبًا، بدا أنه يمكن تعريف الفضاءات الهندسية أيضًا من خلال إنشاءات تتضمن فضاءات متجهة (انظر، على سبيل المثال، الفضاء الإسقاطي والفضاء الأفيني ). وقد ثبت أن النهجين متكافئان جوهريًا. [ 23 ] في الهندسة الكلاسيكية، تكون الفضاءات المتجهة المعنية هي فضاءات متجهة على الأعداد الحقيقية، ولكن يمكن توسيع هذه الإنشاءات لتشمل فضاءات متجهة على أي حقل، مما يسمح بدراسة الهندسة على أي حقل، بما في ذلك الحقول المنتهية .

في الوقت الحاضر، تقدم معظم الكتب المدرسية الفضاءات الهندسية من الجبر الخطي، وغالبًا ما يتم تقديم الهندسة، على المستوى الابتدائي، كمجال فرعي من الجبر الخطي.

الاستخدامات والتطبيقات

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

التحليل الوظيفي

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

الحوسبة العلمية

تعتمد جميع العمليات الحسابية العلمية تقريبًا على الجبر الخطي. ونتيجةً لذلك، خضعت خوارزميات الجبر الخطي لتحسينات كبيرة. وتُعدّ مكتبتا BLAS و LAPACK من أشهر تطبيقاتها. ولتحسين الكفاءة، تقوم بعض هذه المكتبات بتهيئة الخوارزميات تلقائيًا أثناء التشغيل، لتكييفها مع خصائص الحاسوب ( حجم الذاكرة المؤقتة ، وعدد النوى المتاحة ،  ...).

منذ الستينيات، كانت هناك معالجات ذات تعليمات متخصصة [ 24 ] لتحسين عمليات الجبر الخطي، ومعالجات المصفوفات الاختيارية [ 25 ] تحت سيطرة معالج تقليدي، وأجهزة كمبيوتر عملاقة [ 26 ] [ 27 ] [ 28 ] مصممة لمعالجة المصفوفات، ومعالجات تقليدية معززة [ 29 ] بسجلات متجهة.

تم تصميم بعض المعالجات المعاصرة ، وخاصة وحدات معالجة الرسومات (GPU)، ببنية مصفوفة، لتحسين عمليات الجبر الخطي. [ 30 ]

هندسة الفضاء المحيط

يعتمد نمذجة الفضاء المحيط على الهندسة . وتستخدم العلوم المعنية بهذا الفضاء الهندسة على نطاق واسع. وينطبق هذا على الميكانيكا والروبوتات ، لوصف ديناميكيات الأجسام الصلبة ؛ والجيوديسيا لوصف شكل الأرض ؛ والمنظور ، ورؤية الحاسوب ، ورسومات الحاسوب ، لوصف العلاقة بين المشهد وتمثيله المستوي؛ والعديد من المجالات العلمية الأخرى .

في جميع هذه التطبيقات، تُستخدم الهندسة التركيبية غالبًا للوصف العام والنهج النوعي، ولكن لدراسة الحالات الصريحة، يجب إجراء الحسابات باستخدام الإحداثيات . وهذا يتطلب استخدامًا مكثفًا للجبر الخطي.

دراسة الأنظمة المعقدة

تُنمذج معظم الظواهر الفيزيائية باستخدام المعادلات التفاضلية الجزئية . ولحلها، يُقسّم عادةً الفضاء الذي تُبحث فيه الحلول إلى خلايا صغيرة متفاعلة . في الأنظمة الخطية، يتضمن هذا التفاعل دوالًا خطية . أما في الأنظمة غير الخطية ، فيُقارب هذا التفاعل غالبًا بدوال خطية. [ ب ] يُسمى هذا النموذج بالنموذج الخطي أو التقريب من الدرجة الأولى. تُستخدم النماذج الخطية بكثرة في الأنظمة غير الخطية المعقدة في العالم الحقيقي لأنها تُسهّل عملية تحديد المعلمات . [ 31 ] في كلتا الحالتين، تُستخدم عادةً مصفوفات كبيرة جدًا. يُعد التنبؤ بالطقس (أو تحديدًا، تحديد المعلمات لنمذجة الغلاف الجوي ) مثالًا نموذجيًا على تطبيق عملي، حيث يُقسّم الغلاف الجوي للأرض بأكمله إلى خلايا، على سبيل المثال،  بعرض 100 كيلومتر  وارتفاع 100 كيلومتر.

ميكانيكا الموائع، وديناميكا الموائع، وأنظمة الطاقة الحرارية

[ 32 ] [ 33 ] [ 34 ]

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

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

في مجال ديناميكا الموائع، يُستخدم الجبر الخطي في ديناميكا الموائع الحسابية (CFD)، وهو فرع يستخدم التحليل العددي وهياكل البيانات لحل وتحليل المشكلات المتعلقة بتدفق الموائع. تعتمد ديناميكا الموائع الحسابية بشكل كبير على الجبر الخطي لحساب تدفق الموائع وانتقال الحرارة في تطبيقات متنوعة. على سبيل المثال، غالبًا ما تُحل معادلات نافيير-ستوكس ، وهي معادلات أساسية في ديناميكا الموائع ، باستخدام تقنيات مشتقة من الجبر الخطي. ويشمل ذلك استخدام المصفوفات والمتجهات لتمثيل ومعالجة حقول تدفق الموائع.

علاوة على ذلك، يلعب الجبر الخطي دورًا محوريًا في أنظمة الطاقة الحرارية ، لا سيما في تحليل أنظمة الطاقة الكهربائية . فهو يُستخدم لنمذجة وتحسين توليد ونقل وتوزيع الطاقة الكهربائية. وتُوظَّف مفاهيم الجبر الخطي، كعمليات المصفوفات ومسائل القيم الذاتية ، لتعزيز كفاءة وموثوقية وأداء أنظمة الطاقة الكهربائية من الناحية الاقتصادية . ويُعدّ تطبيق الجبر الخطي في هذا السياق ضروريًا لتصميم وتشغيل أنظمة الطاقة الحديثة ، بما في ذلك مصادر الطاقة المتجددة والشبكات الذكية .

بشكل عام، يُعدّ تطبيق الجبر الخطي في ميكانيكا الموائع ، وديناميكا الموائع ، وأنظمة الطاقة الحرارية مثالاً على الترابط الوثيق بين الرياضيات والهندسة . فهو يزود المهندسين بالأدوات اللازمة لنمذجة وتحليل وحل المشكلات المعقدة في هذه المجالات، مما يؤدي إلى تطورات في التكنولوجيا والصناعة .

التوسعات والتعميمات

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

نظرية الوحدات

إن وجود المعكوسات الضربية في الحقول ليس من ضمن بديهيات تعريف الفضاء المتجهي. وبالتالي، يمكن استبدال حقل الأعداد القياسية بحلقة R ، وهذا يُعطي البنية المسماة وحدة نمطية على R ، أو وحدة نمطية R.

تُعرَّف مفاهيم الاستقلال الخطي، والامتداد، والأساس، والتحويلات الخطية (وتُسمى أيضًا تشاكلات الوحدات ) للوحدات تمامًا كما تُعرَّف للفضاءات المتجهة، مع اختلاف جوهري يتمثل في أنه إذا لم يكن R حقلًا، فهناك وحدات ليس لها أساس. تُسمى الوحدات التي لها أساس بالوحدات الحرة ، وتلك التي يمتد عليها مجموعة منتهية تُسمى بالوحدات المولدة نهائيًا . يمكن تمثيل تشاكلات الوحدات بين الوحدات الحرة المولدة نهائيًا بالمصفوفات. تشبه نظرية المصفوفات على حلقة نظرية المصفوفات على حقل، باستثناء أن المحددات لا توجد إلا إذا كانت الحلقة تبديلية ، وأن المصفوفة المربعة على حلقة تبديلية قابلة للعكس فقط إذا كان لمحددها معكوس ضربي في الحلقة.

تُوصَف الفضاءات المتجهة وصفًا كاملًا بأبعادها (حتى التشاكل). عمومًا، لا يوجد تصنيف كامل مماثل للوحدات، حتى لو اقتصرنا على الوحدات المولدة نهائيًا. مع ذلك، كل وحدة هي نواة مشتركة لتشاكل الوحدات الحرة.

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

توجد العديد من الحلقات التي تتوفر لها خوارزميات لحل المعادلات الخطية وأنظمة المعادلات الخطية. مع ذلك، تتميز هذه الخوارزميات عمومًا بتعقيد حسابي أعلى بكثير من الخوارزميات المماثلة على حقل. لمزيد من التفاصيل، انظر: المعادلات الخطية على حلقة .

الجبر متعدد الخطوط والموترات

في الجبر متعدد الخطية ، تُدرس التحويلات الخطية متعددة المتغيرات، أي التطبيقات الخطية في كل من عدة متغيرات مختلفة. يقود هذا المسار البحثي بشكل طبيعي إلى فكرة الفضاء الثنائي ، وهو الفضاء المتجهي V* الذي يتكون من التطبيقات الخطية f  : VF حيث F هو حقل الأعداد القياسية. يمكن وصف التطبيقات متعددة الخطية T  : V nF من خلال حاصل الضرب الموتري لعناصر V* .

إذا كان هناك، بالإضافة إلى جمع المتجهات والضرب القياسي، ضرب متجهي ثنائي الخطية V × VV ، فإن الفضاء المتجهي يسمى جبرًا ؛ على سبيل المثال، الجبر الترابطي هو جبر مع ضرب متجهي ترابطي (مثل جبر المصفوفات المربعة، أو جبر كثيرات الحدود).

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

غالبًا ما تتطلب الفضاءات المتجهة غير المحدودة الأبعاد بنية إضافية لتسهيل التعامل معها. يُعرف الفضاء المتجه المعياري بأنه فضاء متجهي مزود بدالة تُسمى المعيار ، والتي تقيس "حجم" العناصر. يُنشئ المعيار مقياسًا يقيس المسافة بين العناصر، ويُنشئ طوبولوجيا تسمح بتعريف الدوال المتصلة. كما يسمح المقياس بتعريف النهايات والاكتمال - يُعرف الفضاء المتجه المعياري الكامل باسم فضاء باناخ . يُعرف الفضاء المتري الكامل، بالإضافة إلى البنية الإضافية للجداء الداخلي ( شكل مترافق متناظر نصف خطي )، باسم فضاء هيلبرت ، وهو، بمعنى ما، فضاء باناخ ذو سلوك جيد للغاية. يطبق التحليل الوظيفي أساليب الجبر الخطي جنبًا إلى جنب مع أساليب التحليل الرياضي لدراسة فضاءات الدوال المختلفة؛ وتُعد فضاءات Lₚ ، وهي فضاءات باناخ، من أهم مواضيع الدراسة في التحليل الوظيفي ، وخاصة فضاء للدوال القابلة للتكامل التربيعي، وهو فضاء هيلبرت الوحيد بينها. يُعد التحليل الوظيفي ذا أهمية خاصة في ميكانيكا الكم، ونظرية المعادلات التفاضلية الجزئية، ومعالجة الإشارات الرقمية، والهندسة الكهربائية. كما أنه يوفر الأساس والإطار النظري الذي يقوم عليه تحويل فورييه والأساليب ذات الصلة.

انظر أيضاً

ملاحظات توضيحية

  1. لا تؤكد هذه البديهية على تجميعية العملية، حيث توجد عمليتان قيد البحث، وهما الضرب القياسي b v ؛ وضرب الحقل: ab .
  2. قد يكون لهذا الأمر نتيجة تتمثل في حذف بعض الحلول ذات الأهمية الفيزيائية.

الاقتباسات

  1. بانيرجي، سوديبتو؛ روي، أنينديا (2014). الجبر الخطي وتحليل المصفوفات للإحصاء . نصوص في العلوم الإحصائية (  الطبعة الأولى). تشابمان آند هول/سي آر سي. رقم ISBN 978-1420095388.
  2. سترانج، جيلبرت (19 يوليو 2005). الجبر الخطي وتطبيقاته ( الطبعة الرابعة). بروكس كول. ISBN  978-0-03-010567-8.
  3. وايسشتاين، إريك. "الجبر الخطي" . ماث وورلد . وولفرام . تم الاسترجاع في 16 أبريل 2012 .
  4. هارت، روجر (2010). الجذور الصينية للجبر الخطي . مطبعة جامعة جونز هوبكنز . ISBN 9780801899584.
  5. 1 2 3 4 فيتولي، ماري . "تاريخ موجز للجبر الخطي ونظرية المصفوفات" . قسم الرياضيات . جامعة أوريغون. مؤرشف من الأصل بتاريخ 10 سبتمبر 2012. تم الاطلاع عليه بتاريخ 8 يوليو 2014 .
  6. إيان ستيوارت وديفيد تال (1979) نظرية الأعداد الجبرية ، الصفحة س (مقدمة) ISBN 0-470-26660-0
  7. كوتشر، م.، ريمرت، ر. (1991). رباعيات هاميلتون. في: الأعداد. نصوص الدراسات العليا في الرياضيات، المجلد 123. سبرينغر، نيويورك، نيويورك. https://doi.org/10.1007/978-1-4612-1005-4_10
  8. بنيامين بيرس (1872) الجبر الترابطي الخطي ، طباعة حجرية، طبعة جديدة مع تصحيحات وملاحظات، ومقال إضافي من عام 1875 بقلم بيرس، بالإضافة إلى ملاحظات من ابنه تشارلز ساندرز بيرس ، نُشر في المجلة الأمريكية للرياضيات المجلد 4، 1881، جامعة جونز هوبكنز، الصفحات 221-226، Google Eprint، وكمقتطف، D. Van Nostrand، 1882، Google Eprint .
  9. رومان (2005 ، الفصل 1، الصفحة 27)
  10. أكسلر (2015) ص 82، §3.59
  11. أكسلر (2015) ص 23، §1.45
  12. أنطون (1987 ، ص 2) 
  13. ^ بيوريجارد وفرالي (1973 ، ص 65) 
  14. ^ العبء والعروض (1993 ، ص. 324) 
  15. ^ جولوب وفان لون (1996 ، ص 87) 
  16. هاربر (1976 ، ص 57) 
  17. ^ كاتسنلسون وكاتسنلسون (2008) ص 76 77، § 4.4.1 4.4.6
  18. ^ كاتسنلسون وكاتسنلسون (2008) ص. 37 §2.1.3
  19. هالموس (1974) ص 20، §13
  20. أكسلر (2015) ص 101، §3.94
  21. بي كي جاين، خليل أحمد (1995). "5.1 تعريفات وخصائص أساسية لفضاءات الضرب الداخلي وفضاءات هيلبرت" . التحليل الوظيفي ( الطبعة الثانية). نيو إيج إنترناشونال. ص 203. ISBN   81-224-0801-X.
  22. إدوارد بروغوفيتشكي (1981). "التعريف 2.1" . ميكانيكا الكم في فضاء هيلبرت ( الطبعة الثانية). دار النشر الأكاديمية. ص 18 وما بعدها . ISBN   0-12-566060-X.
  23. إميل أرتين (1957) الجبر الهندسي، دار نشر إنترساينس
  24. نظام IBM/36O موديل 40 - تعليمات مجموع المنتجات - RPQ W12561 - ميزة الأنظمة الخاصة . IBM . L22-6902.
  25. وصف الميزات المخصصة لنظام IBM System/360: معالج المصفوفة 2938، الطراز 1، - RPQ W24563؛ الطراز 2، RPQ 815188. IBM . A24-3519.
  26. بارنز، جورج؛ براون، ريتشارد؛ كاتو، ماسو؛ كوك، ديفيد؛ سلوتنيك، دانيال؛ ستوكس، ريتشارد (أغسطس 1968). "حاسوب ILLIAC IV" (ملف PDF) . معاملات IEEE في مجال الحواسيب . C.17 (8): 746–757 . Bibcode : 1968ITCmp.100..746B . doi : 10.1109/tc.1968.229158 . ISSN 0018-9340 . S2CID 206617237. تاريخ الاسترجاع: 31 أكتوبر 2024 .  
  27. دليل مرجعي للأجهزة Star-100 (ملف PDF) . المراجعة 9. شركة Control Data . 15 ديسمبر 1975. 60256000. تم الاطلاع عليه في 31 أكتوبر 2024 .
  28. كراي-1 - نظام الحاسوب - دليل مرجعي للأجهزة (ملف PDF) . مراجعة سي. شركة كراي للأبحاث. 4 نوفمبر 1977. 2240004. تم الاطلاع عليه في 31 أكتوبر 2024 .
  29. بنية أنظمة IBM المؤسسية/370 وعمليات المتجهات للنظام/370 (ملف PDF) (الطبعة الرابعة ). IBM . أغسطس 1988. SA22-7125-3 . تم الاطلاع عليه في 31 أكتوبر 2024 . 
  30. "دليل المستخدم لأداء وحدة معالجة الرسومات" . وثائق NVIDIA . تم الاطلاع عليه بتاريخ 29-10-2024 .
  31. ^ سافوف ، إيفان (2017). لا يوجد دليل هراء للجبر الخطي . شركة MinireferenceCo. ص 150 – 155. ISBN  9780992001025.
  32. "مواضيع خاصة في الرياضيات مع تطبيقات: الجبر الخطي وحساب التفاضل والتكامل | الهندسة الميكانيكية" . MIT OpenCourseWare .
  33. "أنظمة الطاقة والطاقة" . engineering.ucdenver.edu .
  34. "مناهج البكالوريوس في الهندسة الميكانيكية | جامعة فلوريدا الزراعية والميكانيكية - جامعة ولاية فلوريدا" . eng.famu.fsu.edu .

مصادر عامة وموثقة

للمزيد من القراءة

تاريخ

  • فيرنلي-ساندر، ديزموند، " هيرمان غراسمان ونشأة الجبر الخطي "، المجلة الرياضية الأمريكية الشهرية 86 (1979)، ص  809-817.
  • غراسمان، هيرمان (1844)، الخطوط الخطية في عالم الرياضيات الجديد: دراسة وشرح عن أعظم نظريات الرياضيات، مثل الإحصاء والميكانيكا وتعلم المغناطيسية وعلم البلورات ، لايبزيغ: أو. ويغاند

الكتب التمهيدية

  • أنطون، هوارد (2005)، الجبر الخطي الابتدائي (نسخة التطبيقات) (  الطبعة التاسعة)، وايلي إنترناشونال
  • بانيرجي، سوديبتو؛ روي، أنينديا (2014)، الجبر الخطي وتحليل المصفوفات للإحصاء ، نصوص في العلوم الإحصائية (  الطبعة الأولى)، تشابمان آند هول/سي آر سي، رقم ISBN 978-1420095388
  • بريتشر، أوتو (2004)، الجبر الخطي مع التطبيقات (الطبعة الثالثة  )، برنتيس هول، رقم ISBN 978-0-13-145334-0
  • فارين، جيرالد؛ هانسفورد، ديان (2004)، الجبر الخطي العملي: مجموعة أدوات هندسية ، إيه كيه بيترز، رقم ISBN 978-1-56881-234-2
  • هيفرون، جيم (2020). الجبر الخطي (  الطبعة الرابعة). آن أربور، ميشيغان : دار أورثوغونال للنشر. ISBN 978-1-944325-11-4. OCLC 1178900366 . OL 30872051M .  
  • كولمان، برنارد؛ هيل، ديفيد ر. (2007)، الجبر الخطي الابتدائي مع التطبيقات (  الطبعة التاسعة)، برنتيس هول، ISBN 978-0-13-229654-0
  • لاي، ديفيد سي. (2005)، الجبر الخطي وتطبيقاته (  الطبعة الثالثة)، أديسون ويسلي، رقم ISBN 978-0-321-28713-7
  • ليون، ستيفن ج. (2006)، الجبر الخطي مع التطبيقات (  الطبعة السابعة)، بيرسون برنتيس هول، رقم ISBN 978-0-13-185785-8
  • مورتي، كاتا ج. (2014) الجبر الخطي الحسابي والخوارزمي والهندسة متعددة الأبعاد ، دار النشر العالمية العلمية، رقم ISBN 978-981-4366-62-5الفصل الأول : أنظمة المعادلات الخطية الآنية
  • نوبل، ب. ودانيال، جيه دبليو (الطبعة الثانية، 1977)بيرسون للتعليم العالي، رقم ISBN 978-0130413437.
  • بول، ديفيد (2010)، الجبر الخطي: مقدمة حديثة (  الطبعة الثالثة)، سينجايج  - بروكس/كول، رقم ISBN 978-0-538-73545-2
  • ريكاردو، هنري (2010)، مقدمة حديثة في الجبر الخطي (  الطبعة الأولى)، دار نشر سي آر سي، رقم ISBN 978-1-4398-0040-9
  • سادون، لورينزو (2008)، الجبر الخطي التطبيقي: مبدأ الفصل (الطبعة الثانية  )، الجمعية الأمريكية للرياضيات، رقم ISBN 978-0-8218-4441-0
  • سترانج، جيلبرت (2016)، مقدمة في الجبر الخطي (  الطبعة الخامسة)، مطبعة ويليسلي-كامبريدج، رقم ISBN 978-09802327-7-6
  • دليل المانجا للجبر الخطي (2012)، من تأليف شين تاكاهاشي وإيروها إينوي وشركة تريند-برو المحدودة، رقم ISBN 978-1-59327-413-9

كتب دراسية متقدمة

  • بهاتيا، راجندرا (15 نوفمبر 1996)، تحليل المصفوفات ، نصوص الدراسات العليا في الرياضيات ، سبرينغر، ISBN 978-0-387-94846-1
  • ديميل، جيمس دبليو. (1 أغسطس 1997)، الجبر الخطي العددي التطبيقي ، سيام، رقم ISBN 978-0-89871-389-3
  • ديم، هاري (2007)، الجبر الخطي في التطبيق ، الجمعية الأمريكية للرياضيات، رقم ISBN 978-0-8218-3813-6
  • غانتماخر، فيليكس ر. (2005)، تطبيقات نظرية المصفوفات ، منشورات دوفر، رقم ISBN 978-0-486-44554-0
  • غانتماخر، فيليكس ر. (1990)، نظرية المصفوفات، المجلد 1 (الطبعة الثانية  )، الجمعية الأمريكية للرياضيات، ISBN 978-0-8218-1376-8
  • غانتماخر، فيليكس ر. (2000)، نظرية المصفوفات، المجلد 2 (  الطبعة الثانية)، الجمعية الأمريكية للرياضيات، ISBN 978-0-8218-2664-5
  • جيلفاند، إسرائيل م. (1989)، محاضرات في الجبر الخطي ، منشورات دوفر، رقم ISBN 978-0-486-66082-0
  • غلازمان، آي إم؛ ليوبيتش، يو. آي. (2006)، التحليل الخطي ذو الأبعاد المحدودة ، منشورات دوفر، رقم ISBN 978-0-486-45332-3
  • جولان، جوناثان س. (يناير 2007)، الجبر الخطي الذي ينبغي على طالب الدراسات العليا المبتدئ معرفته (الطبعة الثانية  )، سبرينغر، ISBN 978-1-4020-5494-5
  • جولان، جوناثان س. (أغسطس 1995)، أسس الجبر الخطي ، كلوير، ISBN 0-7923-3614-3
  • غرويب، فيرنر هـ. (16 أكتوبر 1981)، الجبر الخطي ، نصوص الدراسات العليا في الرياضيات (  الطبعة الرابعة)، سبرينغر، ISBN 978-0-8018-5414-9
  • هوفمان، كينيث؛ كونز، راي (1971)، الجبر الخطي (  الطبعة الثانية)، إنجلوود كليفس، نيوجيرسي: برنتيس هول، MR 0276251 
  • هالموس، بول ر. (20 أغسطس 1993)، فضاءات المتجهات ذات الأبعاد المحدودة ، نصوص جامعية في الرياضيات ، سبرينغر، ISBN 978-0-387-90093-3
  • فريدبيرغ، ستيفن هـ.؛ إنسل، أرنولد ج.؛ سبنس، لورانس إي. (7 سبتمبر 2018)، الجبر الخطي (  الطبعة الخامسة)، بيرسون، ISBN 978-0-13-486024-4
  • هورن، روجر أ.؛ جونسون ، تشارلز ر. (23 فبراير 1990)، تحليل المصفوفات ، مطبعة جامعة كامبريدج، ISBN 978-0-521-38632-6
  • هورن، روجر أ.؛ جونسون، تشارلز ر. (24 يونيو 1994)، موضوعات في تحليل المصفوفات ، مطبعة جامعة كامبريدج، ISBN 978-0-521-46713-1
  • لانغ، سيرج (9 مارس 2004)، الجبر الخطي ، نصوص جامعية في الرياضيات (  الطبعة الثالثة)، سبرينغر، ISBN 978-0-387-96412-6
  • ماركوس، مارفن ؛ مينك، هنريك (2010)، مسح لنظرية المصفوفات ومتباينات المصفوفات ، منشورات دوفر، ISBN 978-0-486-67102-4
  • ماير، كارل د. (15 فبراير 2001)، تحليل المصفوفات والجبر الخطي التطبيقي ، جمعية الرياضيات الصناعية والتطبيقية (SIAM)، رقم ISBN 978-0-89871-454-8تمت أرشفة هذا النص من النسخة الأصلية في 31 أكتوبر 2009
  • ميرسكي، ل. (1990)، مقدمة في الجبر الخطي ، منشورات دوفر، رقم ISBN 978-0-486-66434-7
  • شافاريفيتش، آي آر ؛ ريميزوف، أ. أو (2012)، الجبر الخطي والهندسة ، سبرينغر ، رقم ISBN 978-3-642-30993-9
  • شيلوف، جورجي إي. (1 يونيو 1977)، الجبر الخطي ، منشورات دوفر، رقم ISBN 978-0-486-63518-7
  • شورز، توماس س. (6 ديسمبر 2006)، الجبر الخطي التطبيقي وتحليل المصفوفات ، نصوص جامعية في الرياضيات، سبرينغر، ISBN 978-0-387-33194-2
  • سميث، لاري (28 مايو 1998)، الجبر الخطي ، نصوص جامعية في الرياضيات، سبرينغر، ISBN 978-0-387-98455-1
  • تريفيثين، لويد ن . باو، ديفيد (1997)، الجبر الخطي العددي ، SIAM، ISBN 978-0-898-71361-9

أدلة ومخططات دراسية

  • ليدوك، ستيفن أ. (1 مايو 1996)، الجبر الخطي (مراجعة كليفس السريعة) ، كليفس نوتس، رقم ISBN 978-0-8220-5331-6
  • ليبشوتز، سيمور؛ ليبسون، مارك (6 ديسمبر 2000)، مخطط شوم للجبر الخطي (الطبعة الثالثة  )، ماكجرو هيل، ISBN 978-0-07-136200-9
  • ليبشوتز، سيمور (1 يناير 1989)، 3000 مسألة محلولة في الجبر الخطي ، ماكجرو هيل، ISBN 978-0-07-038023-3
  • ماكماهون، ديفيد (28 أكتوبر 2005)، تبسيط الجبر الخطي ، ماكجرو هيل بروفيشنال، رقم ISBN 978-0-07-146579-3
  • تشانغ، فوتشن (7 أبريل 2009)، الجبر الخطي: مسائل صعبة للطلاب ، مطبعة جامعة جونز هوبكنز، رقم ISBN 978-0-8018-9125-0

الموارد الإلكترونية

الكتب الإلكترونية