אלגברה ליניארית להנדסת חשמל 1

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

מבוא: מערכות ליניאריות בהנדסת חשמל

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

ייצוג מטריציוני ופעולות שורה אלמנטריות

מערכת משוואות ליניאריות

מערכת משוואות ליניאריות: אוסף של משוואות מהצורה $a_1x_1 + a_2x_2 + \dots + a_nx_n = b$, כאשר $a_i$ ו-$b$ הם קבועים, ו-$x_i$ הם המשתנים.

מטריצת מקדמים ומטריצה מורחבת

מטריצת מקדמים: מטריצה המכילה את המקדמים של המשתנים במערכת המשוואות.

מטריצה מורחבת: מטריצה הנוצרת מצירוף מטריצת המקדמים ועמודת קבועי האגף הימני של המשוואות. היא מסומנת לרוב כ- $[A|b]$.

פעולות שורה אלמנטריות

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

החלפת שורות

החלפת המיקום של שתי שורות במטריצה ($R_i \leftrightarrow R_j$).

כפל שורה בסקלר

כפל שורה שלמה בקבוע שאינו אפס ($cR_i \to R_i$, כאשר $c \neq 0$).

הוספת כפולה של שורה לשורה אחרת

הוספת כפולה של שורה אחת לשורה אחרת ($R_i + cR_j \to R_i$).

צורות קנוניות ושיטות פתרון

צורת מדרגות (Row Echelon Form - REF)

צורת מדרגות (REF): מטריצה המקיימת את התנאים הבאים:

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

צורת מדרגות קנונית (Reduced Row Echelon Form - RREF)

צורת מדרגות קנונית (RREF): מטריצה המקיימת את תנאי צורת המדרגות, ובנוסף:

כל איבר מוביל הוא 1.
כל האיברים מעל ומתחת לאיבר מוביל הם אפס.

אלגוריתם גאוס ואלגוריתם גאוס-ג'ורדן

אלו הן השיטות העיקריות לפתרון מערכות ליניאריות באמצעות פעולות שורה:

אלגוריתם גאוס (Gaussian Elimination)

תהליך הפיכת המטריצה המורחבת לצורת מדרגות (REF) באמצעות פעולות שורה אלמנטריות. לאחר מכן, הפתרון מושג על ידי הצבה לאחור (back-substitution).

אלגוריתם גאוס-ג'ורדן (Gauss-Jordan Elimination)

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

משתנה מוביל: משתנה המתאים לעמודה שיש בה איבר מוביל.

משתנה חופשי: משתנה המתאים לעמודה שאין בה איבר מוביל.

ניתוח פתרונות המערכת

דרגת מטריצה (Rank)

דרגת מטריצה (Rank): מספר השורות שאינן שורות אפס במטריצה בצורת מדרגות (REF או RREF). זוהי גם מספר האיברים המובילים במטריצה.

סוגי פתרונות

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

פתרון יחיד

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

אינסוף פתרונות

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

אין פתרון

מתרחש כאשר דרגת מטריצת המקדמים קטנה מדרגת המטריצה המורחבת. מצב זה מתבטא בשורת סתירה במטריצה המורחבת (לדוגמה: $[0 \ 0 \dots 0 | c]$ כאשר $c \neq 0$).

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

שאלות לדיון

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

נקודות לתשובת מודל

פעולות שורה: מאפשרות טרנספורמציה של המערכת למערכת שקולה פשוטה יותר לפתרון, תוך שמירה על קבוצת הפתרונות. חיוניות לאלגוריתמים כמו גאוס/גאוס-ג'ורדן, שהם בסיס לפתרון נומרי במחשב.
REF vs. RREF: REF מפשטת את המערכת מספיק כדי לבצע הצבה לאחור. RREF מפשטת עוד יותר, כך שהפתרונות למשתנים המובילים ניתנים לקריאה ישירה, מה שמקל על זיהוי משתנים חופשיים וכתיבת פתרון פרמטרי.
חשיבות סוגי הפתרונות בהנדסה: פתרון יחיד מצביע על מצב יציב וצפוי (למשל, זרמים ומתחים יחידים במעגל). אינסוף פתרונות יכול להצביע על חופש תכנוני מסוים או על תלות בין רכיבים. אין פתרון מצביע על תכנון בלתי אפשרי או סתירה פיזיקלית במערכת.
דרגת מטריצה וסוגי פתרונות:
- אם $rank(A) = rank([A|b]) = n$ (מספר המשתנים) $\implies$ פתרון יחיד.
- אם $rank(A) = rank([A|b])
- אם $rank(A)

Spotted an error or something missing?