שינויים

קפיצה אל: ניווט, חיפוש
/* מרחבי המטריצות */
'''דוגמא.'''
מצא בסיס למרחב האפס של המטריצה <math>\begin{pmatrix}1 & 0 & 1 & 1 \\ 2 & 1 & 1 & 2\\ 1 & 1 & 0& 1\end{pmatrix}</math> דבר ראשון, נדרג קנונית את המטריצה לקבל  <math>\begin{pmatrix}1 & 0 & 1 & 1\\ 0 & 1 & -1 & 0 \\ 0 & 0 & 0 & 0\end{pmatrix}</math> לפיכך המשתנה השלישי והרביעי הם חופשיים, נציב במקומם פרמטרים t,s והפתרון הכללי הוא מהצורה <math>(-t-s,t,t,s)</math>. תמיד ניתן לפרק את הפתרון הכללי לסכום של וקטורים קבועים כפול הסקלרים שהם הפרמטרים: <math>t(-1,1,1,0) +s(-1,0,0,1)</math>. וקטורים קבועים אלה תמיד מהווים בסיס למרחב הפתרונות: *אנו רואים שכל פתרון הוא צירוף לינארי של הוקטורים הללו עם הסקלרים שהם הפרמטרים (במקרה זה - t,s)*וקטורים אלה תמיד בת"ל, שכן אם יש צירוף לינארי שלהם שמתאפס, מכיוון שהפרמטרים תמיד מופיעים לבדם בעמודה של המשתנה שלהם, הם חייבים להיות אפס לכן הבסיס למרחב האפס הינו <math>\{(-1,0,0,1),(-1,1,1,0)\}</math> ===אלגוריתם למציאת בסיס למרחב האפס===#דרג את המטריצה קנונית#הצב פרמטרים במקום המשתנים החופשיים#מצא את הפתרון הכללי#פרק את הפתרון הכללי לצירוף לינארי של וקטורים קבועים כפול הפרמטרים#הוקטורים הקבועים מהווים בסיס למרחב האפס