מרחב פתרונות – הבדלי גרסאות

מתוך ויקיפדיה, האנציקלופדיה החופשית
תוכן שנמחק תוכן שנוסף
תוספת
אין תקציר עריכה
שורה 5: שורה 5:
ה[[ממד (אלגברה לינארית)|ממד]] של <math>\mbox{Null}(A)</math> נקרא ה'''אפסיות''' של <math>A</math> ומסומן <math>\mbox{nullity}(A)</math>. לכל מטריצה <math>A</math> עם n עמודות מתקיים <math> \mbox{nullity}(A)+\mbox{rank}(A) = n</math>, כאשר <math>\mbox{rank}(A)</math> הוא [[דרגה (אלגברה לינארית)|דרגת]] <math>A</math>. המשפט המקביל להעתקות הוא <math>\dim \operatorname{Ker} T + \dim \operatorname{Im}\,T = \dim V</math>, כאשר <math>V</math> הוא התחום של <math>T</math>.
ה[[ממד (אלגברה לינארית)|ממד]] של <math>\mbox{Null}(A)</math> נקרא ה'''אפסיות''' של <math>A</math> ומסומן <math>\mbox{nullity}(A)</math>. לכל מטריצה <math>A</math> עם n עמודות מתקיים <math> \mbox{nullity}(A)+\mbox{rank}(A) = n</math>, כאשר <math>\mbox{rank}(A)</math> הוא [[דרגה (אלגברה לינארית)|דרגת]] <math>A</math>. המשפט המקביל להעתקות הוא <math>\dim \operatorname{Ker} T + \dim \operatorname{Im}\,T = \dim V</math>, כאשר <math>V</math> הוא התחום של <math>T</math>.


לפי הגדרתו מרחב הפתרונות של מטריצה הוא מרחב ה[[וקטור עצמי|ווקטורים העצמיים]] השייכים ל[[ערך עצמי]] 0. אם המטריצה היא [[מטריצה הפיכה]] מרחב הפתרונות [[מקרה מנוון|מתנוון]] וכולל רק את וקטור האפס. מרחב פתרונות לעולם אינו [[הקבוצה הריקה|ריק]] כי הוא תמיד כולל את וקטור האפס. באופן כללי, המרחב העצמי של ערך עצמי <math>\lambda</math> של מטריצה <math>A</math> הוא <math>\mbox{nullity}( A - \lambda I )</math>.
לפי הגדרתו מרחב הפתרונות של מטריצה הוא מרחב ה[[וקטור עצמי|ווקטורים העצמיים]] השייכים ל[[ערך עצמי]] 0. אם המטריצה היא [[מטריצה הפיכה]] מרחב הפתרונות [[מקרה מנוון|מתנוון]] וכולל רק את וקטור האפס. מרחב פתרונות לעולם אינו [[הקבוצה הריקה|ריק]] כי הוא תמיד כולל את וקטור האפס. באופן כללי, המרחב העצמי של ערך עצמי <math>\lambda</math> של מטריצה <math>A</math> הוא <math>\mbox{Null}( A - \lambda I )</math>.


[[דירוג מטריצות]] מבוסס על הפעלת פעולות אלמנטריות על מטריצה שמשנות אותה, אך שומרות על מרחב הפתרונות שלה. [[שיטת הלכסון של גאוס]] מתבססת על כך לשם פתרון מערכות של משוואות לינאריות; מביאים את המטריצה שמייצגת את המערכת למצב מדורג קנוני ממנו קל לקרוא את מרחב הפתרונות, שהוא אוסף הפתרונות למערכת.
[[דירוג מטריצות]] מבוסס על הפעלת פעולות אלמנטריות על מטריצה שמשנות אותה, אך שומרות על מרחב הפתרונות שלה. [[שיטת הלכסון של גאוס]] מתבססת על כך לשם פתרון מערכות של משוואות לינאריות; מביאים את המטריצה שמייצגת את המערכת למצב מדורג קנוני ממנו קל לקרוא את מרחב הפתרונות, שהוא אוסף הפתרונות למערכת.

גרסה מ־23:24, 10 בנובמבר 2015

באלגברה לינארית, מרחב הפתרונות, מרחב האפסים או הגרעין של מטריצה הוא קבוצת כל הווקטורים שפותרים את המשוואה . כלומר זהו אוסף הפתרונות של מערכת המשוואות הלינאריות ההומוגונית המיוצגת על ידי . את מרחב הפתרונות מסמנים . מרחב הפתרונות הוא תת-מרחב וקטורי של המרחב הווקטורי , כאשר F הוא השדה שמעליו מוגדרות המשוואות, ו-n הוא מספר העמודות ב- (שהוא מספר הנעלמים במערכת המשוואות). זאת משום שסכום פתרונות הוא פתרון, וכפל בסקלר של פתרון הוא פתרון.

אם היא העתקה לינארית שמיוצגת על ידי מטריצה לפי בסיס סדור של התחום של , אז הוא מרחב וקטורי הקואורדינטות של הגרעין לפי , ושני המרחבים איזומרפיים.

הממד של נקרא האפסיות של ומסומן . לכל מטריצה עם n עמודות מתקיים , כאשר הוא דרגת . המשפט המקביל להעתקות הוא , כאשר הוא התחום של .

לפי הגדרתו מרחב הפתרונות של מטריצה הוא מרחב הווקטורים העצמיים השייכים לערך עצמי 0. אם המטריצה היא מטריצה הפיכה מרחב הפתרונות מתנוון וכולל רק את וקטור האפס. מרחב פתרונות לעולם אינו ריק כי הוא תמיד כולל את וקטור האפס. באופן כללי, המרחב העצמי של ערך עצמי של מטריצה הוא .

דירוג מטריצות מבוסס על הפעלת פעולות אלמנטריות על מטריצה שמשנות אותה, אך שומרות על מרחב הפתרונות שלה. שיטת הלכסון של גאוס מתבססת על כך לשם פתרון מערכות של משוואות לינאריות; מביאים את המטריצה שמייצגת את המערכת למצב מדורג קנוני ממנו קל לקרוא את מרחב הפתרונות, שהוא אוסף הפתרונות למערכת.

דוגמה

נבחן את המטריצה . מערכת המשוואות המתאימה היא:

שפתרונה , כאשר t פרמטר הנבחר בחופשיות. על כן מרחב הפתרונות הוא הישר במרחב התלת ממדי העובר דרך והראשית. , שכן ישר הוא חד-ממדי.

מערכת משוואות לינארית אי-הומוגנית

נתונה מערכת משוואות לינאריות . בהינתן שני פתרונות למערכת , ההפרש ביניהם מקיים:

כלומר . באופן דומה אם פתרון של המערכת האי-הומוגנית ו- פתרון של המערכת ההומוגנית אז:

צירוף שתי העובדות יחדיו מוביל למסקנה שבהינתן פתרון של המערכת , אז כל פתרון אחר מתקבל ממנו על ידי חיבור פתרון של . בניסוח אחר, אם הוא פתרון כלשהו של , אז קבוצת הפתרונות של היא . זהו מרחב אפיני.