في الجبر الخطي، تدعى مجموعة من المتجهات **مجموعة مستقلّة خطيًا** إذا كان من المستحيل كتابة أيّ من المتجهات في المجموعة كتركيبة خطية من عدد نهائي من المتجهات الأخرى في المجموعة. إذا لم يتحقّق ذلك، تسمّى هذه المجموعة **مجموعة تابعة خطيًا**. لنأخذ على سبيل المثال أربعة متّجهات في الفضاء الشعاعي الحقيقي ثلاثي الأبعاد، {\displaystyle \mathbb {R} ^{3}}:

{\displaystyle {\begin{matrix}{\mbox{independent}}\qquad \qquad \\\underbrace {\overbrace {\mathbf {v} \_{1}={\begin{bmatrix}0\\0\\1\end{bmatrix}},\mathbf {v} \_{2}={\begin{bmatrix}0\\2\\-2\end{bmatrix}},\mathbf {v} \_{3}={\begin{bmatrix}1\\-2\\1\end{bmatrix}},} \mathbf {v} \_{4}={\begin{bmatrix}4\\2\\3\end{bmatrix}}} \\{\mbox{dependent}}\end{matrix}}}
في هذا المثال، فإنّ المتجهات الثلاثة الأولى هي مستقلّة خطيًا، في حين مجموعة المتجهات الأربعة هي تابعة خطيًا (غير مستقلة). السبب يعود إلى إمكانيّة تكوين المتجه {\displaystyle v\_{4}} كالتالي:

{\displaystyle \mathbf {v} \_{4}=9\mathbf {v} \_{1}+5\mathbf {v} \_{2}+4\mathbf {v} \_{3}}
والحقيقة هي أنّ خاصّة التابعيّة الخطّية ليست خاصة لمتجه واحد دون غيره إنّما هي خاصّة لمجموعة المتجهات، بما معناه أنّه في مجموعة تابعة خطيًا، بالإمكان تكوين **أي** متجه من المجموعة بواسطة تركيبة خطية للمتجهات الأخرى. فعلى سبيل المثال، بالإمكان الحصول على المتجه {\displaystyle v\_{1}} كالتالي:

{\displaystyle \mathbf {v} \_{1}=\left(-{\frac {5}{9}}\right)\mathbf {v} \_{2}+\left(-{\frac {4}{9}}\right)\mathbf {v} \_{3}+\left({\frac {1}{9}}\right)\mathbf {v} \_{4}}

تعريف
-----

تدعى المجموعة الجزئية {\displaystyle S=\left\{v\_{1},v\_{2},\dots ,v\_{n}\right\}} في الفضاء المتجهي V *تابعة خطيًا* (أو غير مستقلّة) إذا وجدت *n* أعداد {\displaystyle a\_{1},a\_{2},\dots ,a\_{n}} لا تساوي جميعها صفرًا تحقّق:

{\displaystyle a\_{1}v\_{1}+a\_{2}v\_{2}+\dots +a\_{n}v\_{n}=0}
بحيث أنّ الصفر في الجهة اليمنى هو متجه الصفر وليس العدد صفر.

في حال عدم وجود مثل هذه الأعداد، تدعى المجموعة S مجموعة متجهات *مستقلّة خطيًا*. بالإمكان نص تعريفًا مكافئًا كالتالي: لمجموعة متجهات مستقلة خطيًا، إذا وجدت مجموعة أعداد {\displaystyle a\_{1},a\_{2},\dots ,a\_{n}} تحقّق:

{\displaystyle a\_{1}v\_{1}+a\_{2}v\_{2}+\dots +a\_{n}v\_{n}=0}
فإنّ الحل الوحيد هو الحل التافه، أي {\displaystyle a\_{i}=0} لكل {\displaystyle i=1,\dots ,n}. إذًا، تكون مجموعة متجهات مستقلّة خطيًا إذا ما كان التمثيل الوحيد لمتجه الصفر كتركيبة خطية من المتجهات في المجموعة هو التمثيل التافه.

وتسمّى مجموعة متّجهات مستقلة خطيًا أساسًا خطيًا إذا ما كانت تستطيع وحدها أن تولّد فضاء شعاعي معيّن. على سبيل المثال، فإنّ للفضاء الشعاعي المتمثل بكثيرات الحدود ذات المعاملات الحقيقية أساسًا خطيًا لا نهائيًا وهو {\displaystyle \left\{1,x,x^{2},\dots \right\}}.

### تابع خطي لدوال

مجموعة الدوال {\displaystyle S=\left\{y\_{1}(x),y\_{2}(x),\dots ,y\_{n}(x)\right\}} تسمى *تابعة خطيًا* (أو غير مستقلّة) في {\displaystyle [a,b]}
إذا وجدت *n* أعداد {\displaystyle a\_{1},a\_{2},\dots ,a\_{n}} لا تساوي جميعها صفرًا تحقّق:
{\displaystyle a\_{1}y\_{1}(x)+a\_{2}y\_{2}(x)+\dots +a\_{n}y\_{n}(x)=0}

في حال عدم وجود مثل هذه الأعداد، تدعى مجموعة الدوال S مجموعة *مستقلّة خطيًا*.

مفهوم هندسي
-----------

قد نصف موقع مكان ما بقولنا «إنّه يقع على بعد 3 كيلومترات شمالاً و4 كيلومترات شرقًا». وتكون هذه المعلومات كافية بغرض تحديد الموقع بالضبط، لأنّه بالإمكان تحديد الموقع في المستوى (إذا تغاضينا عن الارتفاع) بواسطة متجه ثنائي البعد. بالإمكان الإضافة بإنّه «يقع على بعد 5 كيلومترات باتجاه شمال-شرق»، ولكن بالرغم من كون هذا الادعاء *صحيحًا* (حسب قانون فيتاغورس)، فإنّه لا يضيف أية معلومات!

في المثال أعلاه، فإنّ «3 كيلومترات إلى الشمال» و«4 كيلومترات شرقًا» هي معلومات غير مرتبطة، أي **مستقلّة**، فلا يمكن أن يكتب الأول بواسطة الثاني، والعكس صحيح. أمّا المعلومة الأخيرة «5 كيلومترات باتجاه شمال-شرق» ما هي إلاّ تركيبة خطية من المتجهين الأوّلين، وتكون مجموعة ثلاث المتجهات تابعة خطيًا، أي أنّه بالإمكان الاستغناء عن إحداها (أيّ منها) لوصف الموقع.

وبشكل عام، فنحتاج إلى مجموعة n متجهات مستقلة لوصف أي موقع في فضاء ذي n أبعاد.

أمثلة
-----

### مثال 1

المتجهان (1 ,1) و (2 ,3-) في الفضاء الشعاعي **R**2 هما متجهان مستقلان خطيًا.

**البرهان**

لنفرض أنّ {\displaystyle a\_{1},a\_{2}} هما عددان حقيقيان يحقّقان:

{\displaystyle a\_{1}(1,1)+a\_{2}(-3,2)=\left(0,0\right)}
المعادلة أعلاه هي عبارة عن كتابة مختصرة لمعادلتين خطّيتين بمجهولين، والتي من الممكن الحصول عليها إذا أخذنا معادلة كل إحداثي على حدة:

{\displaystyle a\_{1}-3a\_{2}=0}

{\displaystyle a\_{1}+2a\_{2}=0}

ويكون الحل الوحيد للمعادلتين هو: {\displaystyle a\_{1}=0,a\_{2}=0}، أي أنّ هذا الحل هو الحل الوحيد. فالاستنتاج هو أنّ المتجهين مستقلان خطيًا.

**برهان آخر بواسطة المحددات**

طريقة أخرى للبرهان تعتمد على حقيقة كون *n* متجهات في **R**n تابعة خطيًا إذا وفقط إذا كانت المحدّدة التي تتكون عند ترتيب المتجهات كأعمدة في مصفوفة تساوي صفرًا.

في المثال أعلاه، تكون المصفوفة هي التالية:

{\displaystyle M={\begin{bmatrix}1&-3\\1&2\end{bmatrix}}.\,\!}
المطلوب إيجاد متجه غير متّجه الصفر، والمكوّن من {\displaystyle a\_{1},a\_{2}}، والذي يحقّق:

{\displaystyle {\begin{bmatrix}1&-3\\1&2\end{bmatrix}}{\begin{bmatrix}a\_{1}\\a\_{2}\end{bmatrix}}={\begin{bmatrix}0\\0\end{bmatrix}}.\,\!}
قيمة المحدّد للمصفوفة M تدلّنا على عدد الحلول الموجود للمعادلة. في هذه الحالة:

{\displaystyle \det M=1\cdot 2-(-3)\cdot 1=5\neq 0}
بما أنّ محدد المصفوفة ليس صفرًا، هذا يعني أنّ هنالك حلّ وحيد لهيئة المعادلات. ولكن، بما أنّ الحل التافه {\displaystyle a\_{1}=0,a\_{2}=0} يحل هيئة المعادلات، معنى الأمر أنّه الحل الوحيد. أي أنّ المتجهين الأصليين مستقلان خطيًا.

### مثال 2

ليكن *V* هو الفضاء المتجهي ذو *n* الأبعاد، {\displaystyle \mathbb {R} ^{n}}. مجموعة المتجهات التالية في *V* هي مجموعة متجهات مستقلّة خطيًا:

{\displaystyle {\begin{matrix}\mathbf {e} \_{1}=(1,0,0,\ldots ,0)\\\mathbf {e} \_{2}=(0,1,0,\ldots ,0)\\\vdots \\\mathbf {e} \_{n}=(0,0,0,\ldots ,1)\end{matrix}}}
**البرهان**

لنفرض *n* أعداد حقيقيّة، {\displaystyle a\_{1},a\_{2},\ldots ,a\_{n}}، تحقّق:

{\displaystyle a\_{1}\mathbf {e} \_{1}+a\_{2}\mathbf {e} \_{2}+\ldots +a\_{n}\mathbf {e} \_{n}=0}
ولكن:

{\displaystyle a\_{1}\mathbf {e} \_{1}+a\_{2}\mathbf {e} \_{2}+\ldots +a\_{n}\mathbf {e} \_{n}=(a\_{1},a\_{2},\ldots ,a\_{n})}
أي أنّ {\displaystyle ~a\_{i}=0~} لكل *i* يحقّق {\displaystyle 1\leq i\leq n}.

### مثال 3

ليكن *V* فضاء المتجهات الذي يحوي جميع الدوال بمتغير حقيقي، *t*. إنّ الدالتين {\displaystyle e^{t}} و{\displaystyle e^{2t}} هما دالتان أو متجهان مستقلان خطيًا.

**البرهان**

لنفرض عددين حقيقيّن، *a* و*b* يحققّان:

{\displaystyle ae^{t}+be^{2t}=0}، **لكل** قيمة *t*.
لبرهان استقلالية الدالتين، يجب أن نثبت أنّ *a = 0* وكذلك *b = 0*. لذلك، نقسم طرفي المعادلة على *e^t* (هذا ممكن لأنّ القيمة *e^t* موجبة دائمًا)، فنحصل على:

{\displaystyle be^{t}=-a}.
المساواة بين الطرفين لكل قيمة *t* ممكنة فقط إذا كان *b = 0*، أي أنّ *a = 0* كذلك.

### مثال 4

المتجهات الثلاثة التالية، التابعة لـ{\displaystyle \mathbb {R} ^{4}}، هي **تابعة** خطيًا:

{\displaystyle {\begin{matrix}{\begin{bmatrix}1\\4\\2\\-3\end{bmatrix}},{\begin{bmatrix}7\\10\\-4\\-1\end{bmatrix}},{\begin{bmatrix}-2\\1\\5\\-4\end{bmatrix}}.\end{matrix}}}
**البرهان**

لنفرض ثلاثة أعداد، {\displaystyle a\_{1},a\_{2},a\_{3}} تحقّق:

{\displaystyle {\begin{matrix}a\_{1}{\begin{bmatrix}1\\4\\2\\-3\end{bmatrix}}+a\_{2}{\begin{bmatrix}7\\10\\-4\\-1\end{bmatrix}}+a\_{3}{\begin{bmatrix}-2\\1\\5\\-4\end{bmatrix}}={\begin{bmatrix}0\\0\\0\\0\end{bmatrix}}.\end{matrix}}}
هذا يعني تحقيق هيئة المعادلات التالية:

{\displaystyle {\begin{matrix}{\begin{matrix}a\_{1}\\4a\_{1}\\2a\_{1}\\-3a\_{1}\end{matrix}}&{\begin{matrix}+\\+\\-\\-\end{matrix}}&{\begin{matrix}7a\_{2}\\10a\_{2}\\4a\_{2}\\1a\_{2}\end{matrix}}&{\begin{matrix}-\\+\\+\\-\end{matrix}}&{\begin{matrix}2a\_{3}\\1a\_{3}\\5a\_{3}\\4a\_{3}\end{matrix}}&{\begin{matrix}=\\=\\=\\=\end{matrix}}&{\begin{matrix}0\\0\\0\\0\end{matrix}}\end{matrix}}}
إذا قمنا بحل الهيئة، بحسب طريقة غاوس مثلاً، نخلص إلى أنّ:

{\displaystyle {\begin{matrix}a\_{1}=-3a\_{3}/2\\a\_{2}=-a\_{3}/2\end{matrix}}}
بما معناه أنّه بالإمكان اختيار قيمة {\displaystyle a\_{3}} بشكل عشوائي، وإيجاد القيم المناسبة لـ{\displaystyle a\_{1}} و{\displaystyle a\_{2}}. معنى الأمر أنّه هنالك عدد لا نهائي من الحلول - أي أنّ هنالك حلولاً غير صفرية لهيئة المعادلات، والمتجهات الثلاث تابعة خطيًا.

مراجع
-----

1. ↑  Friedberg, Insel, Spence، Stephen, Arnold, Lawrence (2003). *Linear Algebra*. Pearson, 4th Edition. ص. 48–49. ISBN:0130084514.`{{استشهاد بكتاب}}`: صيانة الاستشهاد: أسماء متعددة: قائمة المؤلفين (link)

| * ع
* ن
* ت
مواضيع الجبر الخطي |
| --- |
| **معادلة خطية** | نظام المعادلات الخطية-محدد>(محدد مقتصر-صيغة كوشي-بينيه-قاعدة كرامر-حذف غاوس-جوردان )-خوارزمية شتراسن |
| **مصفوفات** | نظرية المصفوفة - جمع المصفوفات - ضرب المصفوفات - مصفوفة التحويلِ الأساسية-متعددة حدود مميزة- أثر - مبرهنة كايلي-هاميلتون - قيمة خاصة ، شعاع خاص - شكل جوردان الطبيعي - رتبة - مصفوفة معكوسة ، مصفوفة قابلة للعكس > مقلوب كاذب -مصفوفة مصاحبة-تحويل رياضي > ( الجداء نقطة -مصفوفة متماثلة-مصفوفة متعامدة- مصفوفة متماثلة منحرفة - نقل مترافق - مصفوفة الوحدة - مصفوفة هيرميتية، ضد هيرميتي )

- معرف إيجابي، نصف معرف إيجابي ، مصفوفة إيجابية معرفة- بفافي مصفوفة -تقدير

-مصفوفة قطرية، قطر رئيسي > مصفوفة قطورة - مصفوفة Tridiagonal - مصفوفة هيسينبرغ - مصفوفة مثلثية - نظرية طيفية - مصفوفة قياسية-مصفوفة تويبليتز - مصفوفة هانكل - مصفوفة فانديرموند-مصفوفة كتلوية-مصفوفة متناثرة - مصفوفة دفع - هوية مصفوفة وودبوري - مبرهنة بيرون-فروبانيوس |
| **تفكيك مصفوفة** | تفكيك تشوليسكي-تفكيك لو-تفكيك كيو آر-نظرية طيفية-تفكيك قيمة مفرد-تفكيك شور>تكملة شور |
| **حسابات** | تحويل هاوسهولدر-طريقة مجموع المربعات الدنيا-عملية غرام شميت |
| **متجهات** | ضرب قياسي-تركيب خطي-مدى خطي-استقلال خطي-أساس خطي-شعاع تنسيقي |
| **فضاء شعاعي** | أمثلة الفراغات الشعاعية-تحويل خطي> تحويل غاليلي، تحويل لورينتز-فضاء عمود-فضاء صف-فضاء ملغي ، بطلان- نظرية بطلان غريزة النموِ- فضاء ثنائي > دالة خطية- تعامد - متمم متعامد - إسقاط متعامد - دوران غير صحيح - فضاء جزئي |
| **جبر متعدد الخطية** | تينسور > ( معالجة كلاسيكية للتينسورات - معالجة متوسطة للتينسور - معالجة خالية من التنسورات ) - موتر >(جبر خارجي-جبر متماثل ) |
| **فضاء تآلفي** | تحويل أفيني-زمرة أفينية-هندسة تآلفية |
| **فضاء إسقاطي** | تحويل إسقاطي-هندسة إسقاطية-سطح الدرجة الثانية |

| * ع
* ن
* ت
أصناف المصفوفات |
| --- |
| شروط حول المداخل | 
* متناوبة
* Anti-diagonal
* Anti-Hermitian
* Anti-symmetric
* Arrowhead
* Band
* ثنائية الأقطار
* ثلاثية الأقطار
* Bisymmetric
* Block-diagonal
* Block
* Block tridiagonal
* Boolean
* كوشي
* Centrosymmetric
* Conference
* هادامار العقدية
* Copositive
* Diagonally dominant
* قطرية
* Discrete Fourier Transform
* Elementary
* Equivalent
* Frobenius
* Generalized permutation
* Hadamard
* Hankel
* Hermitian
* Hessenberg
* Hollow
* Integer
* Logical
* مصفوفة unit
* Metzler
* Moore
* Nonnegative
* Pentadiagonal
* Permutation
* Persymmetric
* Polynomial
* Quaternionic
* Signature
* Skew-Hermitian
* Skew-symmetric
* Skyline
* Sparse
* Sylvester
* Symmetric
* Toeplitz
* مثلثية
* Vandermonde
* Walsh
* Z

 |
| الثابتة | 
* Exchange
* Hilbert
* Identity
* Lehmer
* Of ones
* باسكال
* Pauli
* Redheffer
* Shift
* Zero

 |
| شروط حول القيم الذاتية أو المتجهات الذاتية | 
* Companion
* Convergent
* Defective
* Definite
* Diagonalizable
* Hurwitz
* Positive-definite
* Stieltjes

 |
| محققة شروطا حول products or inverses | 
* Congruent
* Idempotent or Projection
* Invertible
* Involutory
* Nilpotent
* Normal
* Orthogonal
* Unimodular
* Unipotent
* Unitary
* Totally unimodular
* Weighing

 |
| بتطبيقات معينة | 
* Adjugate
* ذات الإشارة المتناوبة
* Augmented
* Bézout
* كارلمان
* كارتان
* Circulant
* Cofactor
* Commutation
* Confusion
* Coxeter
* المسافة
* Duplication and elimination
* المسافة الإقليدية
* Fundamental (linear differential equation)
* Generator
* Gram
* Hessian
* Householder
* Jacobian
* Moment
* Payoff
* Pick
* Random
* Rotation
* Seifert
* Shear
* Similarity
* Symplectic
* Totally positive
* Transformation

 |
| مستعملة في إحصاء | 
* Centering
* Correlation
* Covariance
* Design
* Doubly stochastic
* Fisher information
* Hat
* Precision
* Stochastic
* Transition

 |
| مستعملة في نظرية المخططات | 
* Adjacency
* Biadjacency
* الدرجة
* Edmonds
* Incidence
* Laplacian
* Seidel adjacency
* Tutte

 |
| مستعملة في العلوم والهندسة | 
* Cabibbo–Kobayashi–Maskawa
* Density
* Fundamental (computer vision)
* Fuzzy associative
* Gamma
* Gell-Mann
* Hamiltonian
* Irregular
* Overlap
* S
* State transition
* Substitution
* Z (chemistry)

 |
| موضوعات متعلقة | 
* شكل جوردن المخروطي
* استقلال خطي
* مصفوفة أسية
* مصفوفة representation of conic sections
* مصفوفة مثالية
* Pseudoinverse
* Row echelon form
* Wronskian

 |
| 
* **شعار بوابة بوابة Mathematics**
* List of مصفوفات
* Category:مصفوفات

 |

* أيقونة بوابةبوابة رياضيات
* أيقونة بوابةبوابة جبر