מערכת משוואות ליניאריות – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ שוחזר מעריכות של 82.81.109.130 (שיחה) לעריכה האחרונה של דגש חזק
Shalevku (שיחה | תרומות)
שורה 25:
\begin{bmatrix}b_1\\b_2\\ \vdots \\b_m\end{bmatrix}
</math>
הצגה כזאת מאפשרת שימוש בתכונות של [[מרחב וקטורי]]. לדוגמה, האוסף של הצירופים הליניארים של הווקטורים בצד שמאל נקרא ה[[קבוצה פורשת|קבוצה הפורשת]] שלהם, ולמערכת יש פתרון רק כאשר הווקטור בצד ימין נמצא בקבוצה הזאת. במקרה כזה, הפתרון הוא מקדמי ההצגה. הבחנה זו מובילה ל[[משפט רושה קפלי]], הקובע שלמערכת יש פתרון אם ורק אם דרגת המטריצה של המקדמים שווה לדרגת המטריצה שלה מוסיפים את הווקטור הקבוע. אם אפשר להציג כל וקטור (להביע אותו) כצירוף ליניארי של הווקטורים בצד שמאל, אז כל פתרון הוא ייחודי. בכל מקרה, למערכת יש [[בסיס (אלגברה)|בסיס]] של וקטורים שאינם [[תלות ליניארית|תלויים ליניארית]] שמבטיחים בדיוק ביטוי אחד, ומספר הווקטורים בבסיס אינו יכול להיות גדול מ-m או n, אך יכול להיות קטן מהם.
 
===הצגה באמצעות מטריצות===