تجميع كل شيء معاً

سؤال واحد في القلب

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

في الوحدة الأولى عرّفنا المتجهات كأسهم في الفضاء ودرسنا جبرها. في الوحدة الثانية غلّفنا التحويلات الخطية في مصفوفات. في الوحدات 3-5 تعلمنا حل Ax = b وإيجاد المتجهات الذاتية وبناء قواعد متعامدة. في الوحدات 7-9 حللنا المصفوفات للكشف عن بنيتها والحساب بكفاءة. في الوحدتين 10 و11 طبقنا كل شيء على معالجة الإشارات والتعلم الآلي. أما الوحدة 12 فنتراجع فيها خطوة للخلف لنرى الصورة الكاملة.

الفضاءات الجزئية الأربعة الأساسية

كل مصفوفة m × n تعرّف أربعة فضاءات جزئية تصف معاً كل شيء عن التحويل الخطي T(x) = Ax. سمّاها جيلبرت سترانغ "الصورة الكبرى" للجبر الخطي:

فضاء الأعمدة C(A)

جميع المخرجات الممكنة Ax. يقع في ℝᵐ. البُعد = الرتبة r. Ax = b قابل للحل إذا وفقط إذا b ∈ C(A).

الفضاء الصفري N(A)

جميع المدخلات التي تُحوَّل إلى الصفر: Ax = 0. يقع في ℝⁿ. البُعد = n − r. غير تافه إذا كانت A ناقصة الرتبة.

فضاء الصفوف C(Aᵀ)

جميع التراكيب الخطية للصفوف. يقع في ℝⁿ. البُعد = r. المكمّل المتعامد لـ N(A).

الفضاء الصفري الأيسر N(Aᵀ)

جميع y بحيث Aᵀy = 0. يقع في ℝᵐ. البُعد = m − r. المكمّل المتعامد لـ C(A).

تربطهم نظرية الرتبة-الاندثار: الرتبة + الاندثار = n. Ax = b له حل إذا وفقط إذا كان b متعامداً مع N(Aᵀ) — شرط يظهر مراراً في التطبيقات من تحليل الدوائر إلى انحدار المربعات الصغرى.

نظرية الرتبة-الاندثار

\dim C(A) + \dim N(A) = n \quad \Longleftrightarrow \quad r + (n-r) = n

لأي مصفوفة m × n ذات رتبة r: فضاء الأعمدة له بُعد r، والفضاء الصفري له بُعد n − r، وهذان الفضاءان في ℝⁿ متعامدان تبادلياً. التقسيم ذاته يقع في ℝᵐ بين فضاء الصفوف (البُعد r) والفضاء الصفري الأيسر (البُعد m − r).

كيف تتصل الأفكار الكبرى

وحدات هذه الدورة ليست موضوعات معزولة — كل منها يعمّم أو يكشف زاوية جديدة على السؤال المحوري. إليك شبكة الاتصالات:

متجهات ← مصفوفات ← تحويلات خطية

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

حل Ax = b → الفضاءات الأربعة → المربعات الصغرى

تسأل الوحدة 3 متى يكون لـ Ax = b حل. الجواب يقيم في فضاء الأعمدة: يوجد حل إذا وفقط إذا b ∈ C(A). حين لا يكون b في C(A)، أفضل ما يمكن هو تصغير ‖Ax − b‖ — بإسقاط b على C(A) — وهذا هو أسلوب المربعات الصغرى (الوحدة 5). المعادلات الطبيعية Aᵀx = Aᵀb وتحليل QR (الوحدة 7) يوفران طرقاً فعّالة عددياً لحساب هذا الإسقاط.

المتجهات الذاتية ← القطرية ← التحليلات

تكشف القيم الذاتية (الوحدة 4) الاتجاهات التي تكتفي المصفوفة بقياسها فحسب. القطرية A = PDP⁻¹ تكتب المصفوفة في نظام إحداثياتها الطبيعي مما يجعل التطبيق المتكرر (Aᵏ = PDᵏP⁻¹) تافهاً. يعمّم SVD (الوحدة 7) هذا على أي مصفوفة — حتى غير المربعة وناقصة الرتبة — كاشفاً أفضل تقريبات منخفضة الرتبة التي تدعم ضغط الصور وتحليل المكونات الرئيسية وأنظمة التوصية.

SVD — التحليل الشامل

A = U \Sigma V^T = \sum_{i=1}^{r} \sigma_i \, u_i v_i^T

أي مصفوفة m × n ذات رتبة r تتحلل إلى A = UΣVᵀ حيث U ∈ ℝ^{m×m} وV ∈ ℝ^{n×n} متعامدتان وΣ ∈ ℝ^{m×n} قطرية بقيم أحادية σ₁ ≥ σ₂ ≥ ··· ≥ σᵣ > 0. أعمدة U هي المتجهات الأحادية اليسرى (قاعدة لـ C(A))؛ أعمدة V هي المتجهات الأحادية اليمنى (قاعدة لـ C(Aᵀ)). يجعل SVD الفضاءات الأربعة والرتبة ورقم التكييف وأفضل تقريب منخفض الرتبة كلها مرئية في آنٍ واحد.

التعامد ← الإسقاط ← تحليل المكونات الرئيسية

التعامد (الوحدة 5) مفتاح الاستقرار: القواعد المتعامدة الطبيعية تجعل حساب الإحداثيات تافلاً (cⱼ = qⱼᵀb)، والإسقاطات سهلة التنفيذ، وتحليل QR أفضل عددياً من المعادلات الطبيعية. تبني عملية غرام-شميدت قواعد متعامدة من أي قاعدة. يستخرج تحليل المكونات الرئيسية (الوحدتان 10 و11) اتجاهات التباين الأقصى بحساب المتجهات الذاتية لمصفوفة التباين-التغاير، وهي مصفوفة متماثلة موجبة شبه معرّفة.

فضاءات الدوال ← فورييه ← فضاءات الضرب الداخلي

كشفت الوحدة 6 أن الدوال متجهات والتكاملات ضروب داخلية. متسلسلة فورييه ليست سوى تغيير قاعدة — من تمثيل الدالة المعتاد إلى قاعدة الجيب/جيب التمام، التي يصادف أنها متعامدة في الضرب الداخلي L². كل معامل فورييه هو إسقاط. ومبرهنة بارسيفال — الطاقة تُحفظ تحت التحول إلى قاعدة متعامدة طبيعية — هي نسخة الفضاء الدالي من نظرية فيثاغورس.

استراتيجيات حل المسائل

حين تواجه مسألة جديدة تتضمن الجبر الخطي، تغطي حفنة من الاستراتيجيات معظم الحالات:

١. حدّد التحويل الخطي

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

٢. افحص الرتبة

قبل محاولة حل Ax = b، افحص هل لـ A رتبة عمود كاملة. إذا لا، الحل (إن وُجد) ليس وحيداً — ثمة ما لا نهاية له من الحلول تختلف بعناصر N(A). إذا كانت A ذات رتبة صف كاملة، يوجد حل دائماً. إذا لم يتحقق شيء منهما، استخدم المربعات الصغرى واختر حل القاعدة الصغرى عبر الشبه-العكسي A⁺ = VΣ⁺Uᵀ.

الشبه-العكسي لمور-بنروز

A^+ = V \Sigma^+ U^T, \quad x^+ = A^+ b = V \Sigma^+ U^T b

الشبه-العكسي A⁺ = VΣ⁺Uᵀ يعمّم عكس المصفوفة لأي مصفوفة. Σ⁺ يستبدل كل قيمة أحادية غير صفرية σᵢ بـ 1/σᵢ ويُبقي الأصفار كما هي. حل المربعات الصغرى ذو القاعدة الدنيا لـ Ax = b هو x⁺ = A⁺b، الذي يقع في فضاء الصفوف C(Aᵀ) ويصغّر كلاً من ‖Ax − b‖ و‖x‖ في آنٍ واحد.

٣. اختر التحليل المناسب

تحليلات مختلفة مثالية لمهام مختلفة:

LU: حل Ax = b مرة واحدة؛ التمحور يعطي PA = LU للاستقرار العددي
QR: حل مسائل المربعات الصغرى؛ أكثر استقراراً من المعادلات الطبيعية
التحليل القيمي-الذاتي: قوى المصفوفات، المعادلات التفاضلية، تحليل الاستقرار
SVD: التقريب المنخفض الرتبة، الشبه-العكسي، رقم التكييف، تحليل المكونات الرئيسية، تخفيف الضوضاء
Cholesky: الأنظمة المتماثلة الموجبة المعرّفة؛ نصف تكلفة LU

٤. فكّر هندسياً أولاً

قبل الحساب، ارسم صورة. الإسقاط على فضاء جزئي، الزاوية بين المتجهات، عامل التمدد للتحويل الخطي — هذه الحدوس الهندسية كثيراً ما تقترح النهج الصحيح وتكشف الأخطاء. المحدد عامل قياس الحجم؛ إذا كان det(A) قريباً من الصفر فالمصفوفة شبه منفردة والمسألة سيئة التكييف. رقم التكييف κ₂(A) = σ₁/σₗ، حيث l = min(m, n)، يخبرك بكمية الأرقام الصحيحة التي ستفقدها.

٥. استغل البنية

المصفوفات في العالم الحقيقي نادراً ما تكون عامة. المصفوفات المتماثلة لها قيم ذاتية حقيقية ومتجهات ذاتية متعامدة. المصفوفات المتفرقة (ذات الأصفار الكثيرة) تتيح محلّات تكرارية أسرع بكثير من الطرق المباشرة. مصفوفات توبليتز (الالتفاف) يقطرها DFT — مما يتيح منتجات مصفوفة-متجه O(n log n) بالـ FFT بدلاً من O(n²). التعرف على البنية هو الفرق بين مسألة قابلة للحل وأخرى غير قابلة.

مبرهنة الطيف

كل مصفوفة حقيقية متماثلة A = Aᵀ يمكن قطرتها كـ A = QΛQᵀ حيث Q متعامدة وΛ قطرية بقيم ذاتية حقيقية. هذا هو الإصدار القيمي-الذاتي من SVD للمصفوفات المتماثلة. يدعم تحليل المكونات الرئيسية وتحليل شور ونظرية الطيف للعمليات التفاضلية. معرفة أن مصفوفة متماثلة يضمن فوراً متجهات ذاتية متعامدة — حقيقة تجعل المسائل المتماثلة أكثر قابلية للتناول من المسائل العامة.

الجبر الخطي عبر التخصصات

المفاهيم في هذه الدورة تظهر تحت أسماء مختلفة في مجالات مختلفة، لكن الرياضيات هي ذاتها:

معالجة الإشارات: الالتفاف ↔ مصفوفة توبليتز؛ DFT ↔ تغيير القاعدة إلى الأسس المركبة؛ FFT ↔ منتج مصفوفة-متجه سريع يستغل البنية؛ تصميم المرشحات ↔ المربعات الصغرى في مجال التردد
التعلم الآلي: بيانات التدريب ↔ مصفوفة الخصائص؛ الانحدار ↔ المربعات الصغرى؛ PCA ↔ تحليل طيفي لمصفوفة التباين؛ الشبكات العصبية ↔ تراكيب تحويلات خطية؛ الانتباه ↔ مصفوفة تشابه حاصل الضرب النقطي المعياري
نظرية التحكم: النظام الديناميكي ẋ = Ax ↔ الأس المصفوفي؛ الاستقرار ↔ القيم الذاتية في نصف المستوى الأيسر؛ القابلية للتحكم ↔ رتبة مصفوفة القابلية للتحكم
الرسومات / الروبوتات: الدوران ثلاثي الأبعاد ↔ مصفوفة متعامدة؛ الإحداثيات المتجانسة ↔ التحويلات الإفينية كتحويلات خطية في بُعد أعلى؛ الحركية ↔ مصفوفة اليعقوبي
الميكانيكا الكمية: الحالة ↔ متجه في فضاء هيلبرت؛ القابلية للقياس ↔ عامل هيرميتي؛ نتيجة القياس ↔ قيمة ذاتية؛ قاعدة بورن ↔ مربع قاعدة الإسقاط

من الأبعاد المنتهية إلى اللانهائية

ركّزت هذه الدورة على فضاءات المتجهات منتهية الأبعاد (ℝⁿ، ℂⁿ). لكن جميع الأفكار الجوهرية تتعمم. فضاءات هيلبرت اللانهائية الأبعاد (كـ L²) تدعم الضروب الداخلية والقواعد المتعامدة الطبيعية والإسقاطات والتحليلات الطيفية. العمليات التفاضلية تحويلات خطية بين فضاءات الدوال. تتمد مبرهنة الطيف لتشمل العوامل ذاتية الإلحاق مما يوفر الأساس الرياضي لميكانيكا الكم ومحوّل فورييه على حدٍّ سواء.

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

خريطة الدورة

و1 (متجهات) → و2 (مصفوفات كتحويلات) → و3 (حل Ax=b) → و4 (قيم ذاتية) → و5 (تعامد + مربعات صغرى) → و6 (فضاءات ضرب داخلي + فورييه) → و7 (LU, QR, SVD, Cholesky) → و8 (تدرجات + تحسين) → و9 (طرق عددية) → و10 (تطبيقات معالجة الإشارات) → و11 (تطبيقات التعلم الآلي) → و12 (تركيب). كل سهم في تلك السلسلة تعميم أو تطبيق لـ Ax = b.

أبرز ما تعلمناه

الجبر الخطي موحَّد بسؤال واحد: كيف تؤثر المصفوفة على متجه؟ الفضاءات الجزئية الأربعة (فضاء الأعمدة، الفضاء الصفري، فضاء الصفوف، الفضاء الصفري الأيسر) تصف ذلك الأثر وصفاً تاماً. نظرية الرتبة-الاندثار: الرتبة + الاندثار = n. SVD هو التحليل الشامل: يكشف الفضاءات الأربعة ويتيح الشبه-العكسي ويعطي أفضل تقريب منخفض الرتبة. تحليلات مختلفة تخدم أغراضاً مختلفة — LU للحل، QR للمربعات الصغرى، التحليل القيمي-الذاتي للديناميكا، Cholesky للأنظمة المتماثلة الموجبة المعرّفة. استغل البنية: التماثل، التفرق، طبيعة توبليتز تسرّع كل شيء. فكّر هندسياً قبل الحساب الجبري. الأفكار ذاتها تتكرر تحت أسماء مختلفة عبر معالجة الإشارات والتعلم الآلي والتحكم والرسومات والفيزياء.