אלגברה ליניארית

מתוך ויקיפדיה, האנציקלופדיה החופשית
Nuvola apps edu mathematics blue-p.svg

בערך זה
נעשה שימוש
בסימנים מוסכמים
מתחום המתמטיקה.
להבהרת הסימנים
ראו סימון מתמטי.

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

אלגברה ליניארית (נהגה: לִינֵאָרִית) היא ענף של האלגברה העוסק במערכות של משוואות ליניאריות כמו ובהעתקות ליניאריות כמו והצגותיהן בעזרת מטריצות ומרחבים וקטוריים (בהתאמה).[1]

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

היסטוריה[עריכת קוד מקור | עריכה]

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

עוד יסוד של האלגברה הליניארית הונח על ידי גוטפריד וילהלם לייבניץ, שהשתמש במושג הדטרמיננטה לפתירת מערכות משוואות ב-1693. לאחר מכן, ב-1750, פיתח גבריאל קרמר נוסחה לחישוב פתרון של מערכת משוואות, הנקרא כיום כלל קרמר. מאוחר יותר, השתמש המתמטיקאי קרל פרידריך גאוס בשיטת החילוץ של גאוס (הנקראת גם שיטת הדירוג של גאוס) לפתירת מערכות משוואות.

האלגברה הליניארית המודרנית החלה את דרכה בשנים 1843 ו-1844. ב-1843 גילה ויליאם רואן המילטוןטבע את המונח וקטור בהקשרו האלגברי) את אלגברת הקווטרניונים. ב-1844 פרסם הרמן גראסמן את ספרו "על אלגברה ליניארית". ב-1857 הגדיר ארתור קיילי את המטריצה - אחת מאבני היסוד של האלגברה הליניארית. אך למרות פיתוחים אלו, מרבית האלגברה הליניארית המודרנית פותחה במאה ה-20.

מושגי יסוד[עריכת קוד מקור | עריכה]

שדה[עריכת קוד מקור | עריכה]

Postscript-viewer-blue.svg ערך מורחב – שדה (מבנה אלגברי)

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

שדה הוא מבנה אלגברי הכולל לפחות שני איברים, 0 ו-1 בעל שתי פעולות בינאריות, המסומנות ב-"" ו-"" (חיבור וכפל) המקיים לכל ב-:

  • (קומוטטיביות, חוק החילוף)
  • (אסוציאטיביות, חוק הקיבוץ)
  • (0 הוא איבר נייטרלי)
  • לכל קיים כך ש- (לכל איבר קיים נגדי)
  • לכל שונה מ-0 קיים כך ש-(קיום הופכי)
  • (דיסטריבוטיביות, חוק הפילוג)

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

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

מערכת משוואות ליניאריות[עריכת קוד מקור | עריכה]

Postscript-viewer-blue.svg ערך מורחב – מערכת משוואות ליניאריות

מערכת משוואות ליניארית זו מערכת משוואות מהצורה:

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

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

דירוג[עריכת קוד מקור | עריכה]

Postscript-viewer-blue.svg ערך מורחב – דירוג מטריצות

שתי מערכות משוואות ליניאריות נקראות שקולות אם יש להן אותם פתרונות. אפשר "להגיע" ממערכת אחת למערכת שקולה באמצעות שימוש חוזר של 3 פעולות:

  • החלפת השורות של שתי משוואות
  • כפל בסקלר שונה מ-0 של כל המקדמים (גם החופשיים)
  • הוספת שורה מוכפלת בסקלר לשורה אחרת

ביצוע של הפעולות הללו תביא מערכת משוואות שקולה.

נאמר שמערכת משוואות היא מדורגת קנונית אם:

  • המקדם הפותח (האיבר הראשון בכל שורה שהוא לא 0) הוא 1, בכל שורה.
  • האיבר הפותח של כל שורה נמצא משמאל לאיבר הפותח של השורה הבאה (מכאן המילה "מדורג").
  • בכל עמודה בה אחד המקדמים הוא פותח, כל השאר שווים ל-0.

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

מרחב וקטורי[עריכת קוד מקור | עריכה]

Postscript-viewer-blue.svg ערך מורחב – מרחב וקטורי

המרחב [עריכת קוד מקור | עריכה]

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

אוסף הפתרונות של מערכת משוואת הומגנית[עריכת קוד מקור | עריכה]

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

הגדרה של מרחב וקטורי[עריכת קוד מקור | עריכה]

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

  • המבנה (עבור כלשהו) הוא חבורה אבלית, כלומר: החיבור אסוציאטיבי וקומוטטיבי, (הנקרא "וקטור האפס", לא האיבר הנייטרלי של ) הוא איבר נייטרלי של , ולכל איבר יש נגדי;
  • לכל
  • לכל
  • לכל
  • לכל כאשר 1 הוא איבר היחידה בשדה .

לדוגמה, הוא מרחב וקטורי מעל . כל מרחב וקטורי מממד סופי איזומורפי למרחב מצורה זו.

צירוף ליניארי, בסיס ותת-מרחב[עריכת קוד מקור | עריכה]

Postscript-viewer-blue.svg ערכים מורחבים – צירוף ליניארי, בסיס (אלגברה), קבוצה פורשת, תלות ליניארית, ממד (אלגברה ליניארית)

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

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

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

עבור שני תת-מרחבים של , ו-, נגדיר את סכומם להיות , ובצורה כללית יותר, עבור תתי מרחבים, סכומם יהיה . נשים לב, כי סכום של תתי-מרחב הוא תת-מרחב בעצמו.

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

.[2]

העתקות ליניאריות[עריכת קוד מקור | עריכה]

Postscript-viewer-blue.svg ערך מורחב – העתקה ליניארית

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

לכל .

אם העתקה ליניארית היא חח"ע ועל, נאמר שהיא איזומורפיזם, ושהמרחבים ו- הם איזומורפיים זה לזה. אם שני מרחבים (מעל אותו שדה) הם איזומורפיים זה לזה, הדבר שקול להיותם שווי מימד.

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

.

ההעתקה T היא חד-חד ערכית אם גרעינה מתאפס. היא על אםם תמונתה היא כל W.

מטריצות[עריכת קוד מקור | עריכה]

Postscript-viewer-blue.svg ערכים מורחבים – מטריצה, כפל מטריצות, מטריצה הפיכה, דמיון מטריצות

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

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

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

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

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

דטרמיננטה[עריכת קוד מקור | עריכה]

Postscript-viewer-blue.svg ערך מורחב – דטרמיננטה

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

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

מרחב דואלי[עריכת קוד מקור | עריכה]

בניה חשובה במרחבים ליניאריים היא "המרחב הדואלי". בניה זאת מתאימה לכל מרחב ליניארי מרחב אחר. הבניה מהווה ארכי-טופוס למושג דואליות שמופיע בתחומים רבים של המתמטיקה.

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

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

מרחב מנה[עריכת קוד מקור | עריכה]

בהינתן מרחב ליניארי V ותת מרחב שלו W ניתן להגדיר את מרחב המנה V/W. זהו מרחב ליניארי שאיבריו הם תתי-קבוצות של V מהצורה v+W, זאת אומרת תת-קבוצות שמתקבלים מ-W על ידי הזזה בווקטור מ-V.

דרך אחרת לראת בניה זאת היא אוסף כל אברי V כאשר אנו מזהים את כל עברי W עם 0, ובהתאם אנו מזהים שני וקטורים ב-V זה עם זה אם הפרשם נמצא ב-W.

וקטורים וערכים עצמיים[עריכת קוד מקור | עריכה]

Postscript-viewer-blue.svg ערכים מורחבים – וקטור עצמי, ערך עצמי, מטריצה לכסינה

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

בהינתן העתקה ליניארית , וקטור עצמי הוא וקטור עם ערך עצמי המקיימים:

.

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

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

מרחבי מכפלה פנימית[עריכת קוד מקור | עריכה]

Postscript-viewer-blue.svg ערכים מורחבים – מרחב מכפלה פנימית

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

המקיימת שלוש תכונות:

  • סימטריה:
  • ליניאריות:
  • מוגדרת חיובית: שוויון אם ורק אם .

עבור המרחב הווקטורי , המכפלה הפנימית הסטנדרטית (שנקראת גם מכפלה סקלרית ואין לבלבל בינה לבין כפל בסקלר) ניתנת על ידי הנוסחה:

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

מפה, ניתן להגדיר אורך של וקטור על ידי ולהוכיח את אי-שוויון קושי-שוורץ האומר כי לכל שני וקטורים,

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

תוצאות מרכזיות[עריכת קוד מקור | עריכה]

תורת הממד[עריכת קוד מקור | עריכה]

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

העתקות ומטריצות[עריכת קוד מקור | עריכה]

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

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

צורות קנוניות[עריכת קוד מקור | עריכה]

  • מיון של ההעתקות הליניאריות ממרחב ליניארי (מממד סופי) לעצמו, עד כדי שינוי בסיס. מיון זה מאפשר להבין את המבנה הפנימי של ההעתקות השונות. כאשר מחליפים בסיס במרחב ליניארי המטריצה של אפרטור ליניארי מהמרחב לעצמו עוברת הצמדה, קרי כפל במטריצה מימין ובהופכית שלה משמאל. מעל שדה סגור אלגברית מיון זה נתון על ידי צורת ז'ורדן. במקרה הכללי הוא נתון על ידי הצורה הרציונלית הקנונית.
  • פרוק ז'ורדן-שבלייה: מעל שדה מושלם, כל אפרטור ניתן להציג באופן יחיד כסכום של שני אפרטורים מתחלפים, כאשר האחד פשוט למחצה (זאת אומרת ניתן לליכסון מעל הסגור האלגברי של השדה) והשני נילפוטנטי.
    • פרוק ז'ורדן-שבלייה הכפלי: מעל שדה מושלם, כל אפרטור הפיך ניתן להציג באופן יחיד כמכפלה של שני אפרטורים מתחלפים, כאשר האחד פשוט למחצה והשני יוניפוטנטי (ז"א אפרטור הזהות פלוס אופרטור נילפוטנטי).
מעל שדה סגור אלגברית ניתן להסיק בקולת את פרוק ז'ורדן-שבלייה (בשתי גרסאותיו) מצורת ז'ורדן. מעל שדה מושלם כללי ניתן לההסיק את הפרוק מהמקרה הסגור אלגברית.
  • משפט קיילי-המילטון. המשפט אומר שהפולינום האופייני של מטריצה מאפס אותה. מכאן שהוא מתחלק בפולינום המינימלי שלה. למשפט שימושים רבים באלגברה. ניתן להסיק אותו בקלות מהצורה הקנונית, אך יש לו מספר הוכחות ישירות.

מרחבי מכפלה פנימית[עריכת קוד מקור | עריכה]

תבנית ביליניאריות[עריכת קוד מקור | עריכה]

פירוקי מטריצות[עריכת קוד מקור | עריכה]

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

שימושים[עריכת קוד מקור | עריכה]

אלגברה ליניארית היא תחום בסיסי ביותר במתמטיקה. חלק ניכר מהמתמטיקה מתבסס על אלגברה ליניארית בצורה כזאת או אחרת. האלגברה הליניארית לצידה של החדו"א הם התחומים המתמטיים השימושיים ביתר מחוץ למתמטיקה.

באלגברה[עריכת קוד מקור | עריכה]

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

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

בגאומטריה[עריכת קוד מקור | עריכה]

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

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

באנליזה[עריכת קוד מקור | עריכה]

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

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

במדעי המחשב התאורטיים[עריכת קוד מקור | עריכה]

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

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

במדעי הטבע[עריכת קוד מקור | עריכה]

במדעי הנתונים[עריכת קוד מקור | עריכה]

לקריאה נוספת[עריכת קוד מקור | עריכה]

Office-book.svg ספר: אלגברה ליניארית
אוסף של ערכים בנושא הזמינים להורדה כקובץ אחד.
  • אלגברה ליניארית, האוניברסיטה הפתוחה
  • אלגברה ליניארית 2, האוניברסיטה הפתוחה, תשמ"ב
  • שמשון עמיצור, אלגברה א', האוניברסיטה העברית, תש"ל
  • אמנון יקותיאלי, מבוא לאלגברה ליניארית, המחלקה למתמטיקה, אוניברסיטת בן-גוריון
  • בן ציון קון ואברהם ברמן, אלגברה ליניארית
  • סיימור ליפשיץ, אלגברה ליניארית
  • שלמה הבלין ויפית מעין, אלגברה ליניארית - תאוריה ותרגילים ,אוניברסיטת בר-אילן

קישורים חיצוניים[עריכת קוד מקור | עריכה]

ויקישיתוף מדיה וקבצים בנושא אלגברה ליניארית בוויקישיתוף

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ Weisstein, Eric. "Linear Algebra". From MathWorld--A Wolfram Web Resource. Wolfram. נבדק ב-16 בפברואר 2018. {{cite web}}: (עזרה)
  2. ^ Axler (2204), עמוד 33