استقلال خطي
في الجبر الخطي، تدعى مجموعة من المتجهات مجموعة مستقلّة خطيًا إذا كان من المستحيل كتابة أيّ من المتجهات في المجموعة كتركيبة خطية من عدد نهائي من المتجهات الأخرى في المجموعة. إذا لم يتحقّق ذلك، تسمّى هذه المجموعة مجموعة تابعة خطيًا. لنأخذ على سبيل المثال أربعة متّجهات في الفضاء الشعاعي الحقيقي ثلاثي الأبعاد، formula_1:
في هذا المثال، فإنّ المتجهات الثلاثة الأولى هي مستقلّة خطيًا، في حين مجموعة المتجهات الأربعة هي تابعة خطيًا (غير مستقلة). السبب يعود إلى إمكانيّة تكوين المتجه formula_3 كالتالي:
والحقيقة هي أنّ خاصّة التابعيّة الخطّية ليست خاصة لمتجه واحد دون غيره إنّما هي خاصّة لمجموعة المتجهات، بما معناه أنّه في مجموعة تابعة خطيًا، بالإمكان تكوين أي متجه من المجموعة بواسطة تركيبة خطية للمتجهات الأخرى. فعلى سبيل المثال، بالإمكان الحصول على المتجه formula_5 كالتالي:
تدعى المجموعة الجزئية formula_7 في الفضاء المتجهي formula_8 "تابعة خطيًا" (أو غير مستقلّة) إذا وجدت "n" أعداد formula_9 لا تساوي جميعها صفرًا تحقّق:
بحيث أنّ الصفر في الجهة اليمنى هو متجه الصفر وليس العدد صفر.
في حال عدم وجود مثل هذه الأعداد، تدعى المجموعة S مجموعة متجهات "مستقلّة خطيًا". بالإمكان نص تعريفًا مكافئًا كالتالي: لمجموعة متجهات مستقلة خطيًا، إذا وجدت مجموعة أعداد formula_9 تحقّق:
فإنّ الحل الوحيد هو الحل التافه، أي formula_13 لكل formula_14. إذًا، تكون مجموعة متجهات مستقلّة خطيًا إذا ما كان التمثيل الوحيد لمتجه الصفر كتركيبة خطية من المتجهات في المجموعة هو التمثيل التافه.
وتسمّى مجموعة متّجهات مستقلة خطيًا أساسًا خطيًا إذا ما كانت تستطيع وحدها أن تولّد فضاء شعاعي معيّن. على سبيل المثال، فإنّ للفضاء الشعاعي المتمثل بكثيرات الحدود ذات المعاملات الحقيقية أساسًا خطيًا لا نهائيًا وهو formula_15.
مجموعة الدوال formula_16 تسمى "تابعة خطيًا" (أو غير مستقلّة) في formula_17
إذا وجدت "n" أعداد formula_9 لا تساوي جميعها صفرًا تحقّق:
formula_19
في حال عدم وجود مثل هذه الأعداد، تدعى مجموعة الدوال S مجموعة "مستقلّة خطيًا".
قد نصف موقع مكان ما بقولنا "إنّه يقع على بعد 3 كيلومترات شمالاً و4 كيلومترات شرقًا". وتكون هذه المعلومات كافية بغرض تحديد الموقع بالضبط، لأنّه بالإمكان تحديد الموقع في المستوى (إذا تغاضينا عن الارتفاع) بواسطة متجه ثنائي البعد. بالإمكان الإضافة بإنّه "يقع على بعد 5 كيلومترات باتجاه شمال-شرق"، ولكن بالرغم من كون هذا الادعاء "صحيحًا" (حسب قانون فيتاغورس)، فإنّه لا يضيف أية معلومات!
في المثال أعلاه، فإنّ "3 كيلومترات إلى الشمال" و"4 كيلومترات شرقًا" هي معلومات غير مرتبطة، أي مستقلّة، فلا يمكن أن يكتب الأول بواسطة الثاني، والعكس صحيح. أمّا المعلومة الأخيرة "5 كيلومترات باتجاه شمال-شرق" ما هي إلاّ تركيبة خطية من المتجهين الأوّلين، وتكون مجموعة ثلاث المتجهات تابعة خطيًا، أي أنّه بالإمكان الاستغناء عن إحداها (أيّ منها) لوصف الموقع.
وبشكل عام، فنحتاج إلى مجموعة formula_20 متجهات مستقلة لوصف أي موقع في فضاء ذي formula_20 أبعاد.
المتجهان (1 ,1) و(2 ,3-) في الفضاء الشعاعي R هما متجهان مستقلان خطيًا.
البرهان
لنفرض أنّ formula_22 هما عددان حقيقيان يحقّقان:
المعادلة أعلاه هي عبارة عن كتابة مختصرة لمعادلتين خطّيتين بمجهولين، والتي من الممكن الحصول عليها إذا أخذنا معادلة كل إحداثي على حدة:
formula_24
formula_25
ويكون الحل الوحيد للمعادلتين هو: formula_26، أي أنّ الحل التافه هو الحل الوحيد. فالاستنتاج هو أنّ المتجهين مستقلان خطيًا.
برهان آخر بواسطة المحددات
طريقة أخرى للبرهان تعتمد على حقيقة كون "n" متجهات في R تابعة خطيًا إذا وفقط إذا كانت المحدّدة التي تتكون عند ترتيب المتجهات كأعمدة في مصفوفة تساوي صفرًا.
في المثال أعلاه، تكون المصفوفة هي التالية:
المطلوب إيجاد متجه غير متّجه الصفر، والمكوّن من formula_22، والذي يحقّق:
قيمة المحدّد للمصفوفة M تدلّنا على عدد الحلول الموجود للمعادلة. في هذه الحالة:
بما أنّ محدد المصفوفة ليس صفرًا، هذا يعني أنّ هنالك حلّ وحيد لهيئة المعادلات. ولكن، بما أنّ الحل التافه formula_26 يحل هيئة المعادلات، معنى الأمر أنّه الحل الوحيد. أي أنّ المتجهين الأصليين مستقلان خطيًا.
ليكن "V" هو الفضاء المتجهي ذو "n" الأبعاد، formula_32. مجموعة المتجهات التالية في "V" هي مجموعة متجهات مستقلّة خطيًا:
البرهان
لنفرض "n" أعداد حقيقيّة، formula_34، تحقّق:
ولكن:
أي أنّ formula_37 لكل "i" يحقّق formula_38.
ليكن "V" فضاء المتجهات الذي يحوي جميع الدوال بمتغير حقيقي، "t". إنّ الدالتين formula_39 وformula_40 هما دالتان أو متجهان مستقلان خطيًا.
البرهان
لنفرض عددين حقيقيّن، "a" و"b" يحققّان:
لبرهان استقلالية الدالتين، يجب أن نثبت أنّ "a = 0" وكذلك "b = 0". لذلك، نقسم طرفي المعادلة على "e^t" (هذا ممكن لأنّ القيمة "e^t" موجبة دائمًا)، فنحصل على:
المساواة بين الطرفين لكل قيمة "t" ممكنة فقط إذا كان "b = 0"، أي أنّ "a = 0" كذلك.
المتجهات الثلاثة التالية، التابعة لـformula_43، هي تابعة خطيًا:
البرهان
لنفرض ثلاثة أعداد، formula_45 تحقّق:
هذا يعني تحقيق هيئة المعادلات التالية:
إذا قمنا بحل الهيئة، بحسب طريقة غاوس مثلاً، نخلص إلى أنّ:
بما معناه أنّه بالإمكان اختيار قيمة formula_49 بشكل عشوائي، وإيجاد القيم المناسبة لـformula_50 وformula_51. معنى الأمر أنّه هنالك عدد لا نهائي من الحلول - أي أنّ هنالك حلولاً غير صفرية لهيئة المعادلات، والمتجهات الثلاث تابعة خطيًا.