قاعدة (جبر خطي)

القاعدة B لفضاء متجهي V على حقل F هو مجموعة جزئية مستقلة خطيًا من V تغطي المدى الخطي لـV.

بشكل أدق، افترض أن {B = {v1, …, vn، هي مجموعة جزئية منتهية من الفضاء المتجهي V على الحقل F (مثل الأعداد الحقيقية R أو المركبة C). حينها، نقول أن B قاعدة لـV إذا حققت الشروط التالية:

• خاصية الاستقلال الخطي،

       لكل a1،...،an ∈ F، إذا كان a1v1 + … + anvn = 0، فإنه يجب أن يكون a1 = … = an = 0

• خاصية تغطية المدى،

       لكل x في V من الممكن اختيار a1, …, an ∈ F بحيث x = a1v1 + … + anvn.

تسمى الأعداد a_i إحداثيات المتجه x بالنسبة للقاعدة B، وبسبب الخاصية الأولى فإنهم محددون بشكل فريد.

إذا كانت قاعدة الفضاء المتجهي منتهية، نقول أن الفضاء منتهي الأبعاد.

• لكل فضاء متجهي قاعدة. يتطلب الإثبات بديهية الاختيار. جميع القواعد لفضاء متجهي لديها نفس عدد العناصر، ويسمى هذا العدد بعد الفضاء المتجهي. تعرف هذه النتيجة بمبرهنة البعد.
• للعديد من الفضاءات المتجهة قواعد أساسية، مثل:
  • في Rⁿ ، لدينا أن {e₁, ..., e_n} تكوّن قاعدة أساسية، حيث e_i هو العامود الi من مصفوفة الوحدة.
  • في P₂، حيث P₂ هي مجموعة جميع الحدوديات من الدرجة الثانية على الأكثر، تكوّن {1, x, x²} قاعدة أساسية.
  • في M₂₂ ، لدينا أن {M_1,1, M_1,2, M_2,1, M_2,2} تكوّن قاعدة، حيث M₂₂ هي مجموعة جميع المصفوفات 2×2 . و M_m,n هي المصفوفة 2×2 بـ1 في الموضع m,n وأصفار في كل موضع آخر.

• بوابة جبر