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

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

הבנת המבנה הפנימי של מרחבים וקטוריים

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

מושגי יסוד: תלות, פרישה, בסיס ומימד

הבה נצלול לתוך ההגדרות המרכזיות, שהבנתן חיונית לפתרון תרגילים ובחינות:

תלות ליניארית (Linear Dependence): קבוצת וקטורים $\{v_1, \dots, v_k\}$ במרחב וקטורי $V$ נקראת תלויה ליניארית אם קיים צירוף ליניארי לא טריוויאלי שלהם השווה לוקטור האפס, כלומר, קיימים סקלרים $c_1, \dots, c_k$ לא כולם אפס, כך ש-$c_1v_1 + \dots + c_kv_k = 0$. במילים אחרות, לפחות וקטור אחד בקבוצה ניתן לכתיבה כצירוף ליניארי של האחרים.

אי-תלות ליניארית (Linear Independence): קבוצת וקטורים $\{v_1, \dots, v_k\}$ נקראת בלתי תלויה ליניארית אם הצירוף הליניארי היחיד שלהם השווה לוקטור האפס הוא הצירוף הטריוויאלי, כלומר, אם $c_1v_1 + \dots + c_kv_k = 0$ אז בהכרח $c_1 = \dots = c_k = 0$.

קבוצה פורשת (Spanning Set): קבוצת וקטורים $S = \{v_1, \dots, v_k\}$ פורשת מרחב וקטורי $V$ אם כל וקטור ב-$V$ ניתן לכתיבה כצירוף ליניארי של איברי $S$. המרחב הנפרש על ידי $S$ מסומן כ-$Span(S)$.

בסיס (Basis): קבוצת וקטורים $B$ היא בסיס למרחב וקטורי $V$ אם היא מקיימת שני תנאים: 1. $B$ היא קבוצה בלתי תלויה ליניארית. 2. $B$ פורשת את $V$. בסיס מהווה את ה"שלד" המינימלי של המרחב.

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

הבחנה בין מושגים

קבוצה פורשת

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

קבוצה בלתי תלויה ליניארית

קבוצה שבה אף וקטור אינו "מיותר" – כלומר, אי אפשר לבטא וקטור אחד באמצעות האחרים. לא בהכרח פורשת את כל המרחב.

בסיס

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

מציאת בסיס ומימד: ליבת הבחינה

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

בסיס למרחב הנפרש על ידי קבוצת וקטורים: הציבו את הוקטורים כשורות במטריצה ודרגו אותה. השורות השונות מאפס במטריצה המדורגת מהוות בסיס למרחב הנפרש על ידי הוקטורים המקוריים.
בסיס למרחב העמודות (Column Space): הציבו את הוקטורים כעמודות במטריצה ודרגו אותה. העמודות המקוריות במטריצה המתאימות לעמודות הצירים (pivot columns) במטריצה המדורגת מהוות בסיס למרחב העמודות.
בסיס למרחב השורות (Row Space): השורות השונות מאפס במטריצה המדורגת (לאחר שהוקטורים הונחו כשורות) מהוות בסיס למרחב השורות.
בסיס למרחב האפס (Null Space): פותרים את המערכת ההומוגנית $Ax=0$ (כאשר $A$ היא המטריצה המדורגת) ומבטאים את המשתנים התלויים באמצעות המשתנים החופשיים. הוקטורים המתקבלים (המקדמים של המשתנים החופשיים) מהווים בסיס למרחב האפס.
מימד: מימד מרחב העמודות (דרגת המטריצה) שווה למימד מרחב השורות, ושניהם שווים למספר עמודות הצירים. מימד מרחב האפס הוא מספר המשתנים החופשיים. זכרו את משפט הדרגה: $dim(Col(A)) + dim(Null(A)) = n$ (מספר העמודות של המטריצה).

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

שאלות לדיון

הסבירו מדוע קבוצה פורשת מינימלית (שאי אפשר להוציא ממנה וקטור מבלי לפגוע בפרישה) היא בהכרח בסיס, ומדוע קבוצה בלתי תלויה ליניארית מקסימלית (שאי אפשר להוסיף לה וקטור מבלי לפגוע באי-תלות) היא בהכרח בסיס.
בהינתן קבוצת וקטורים $S = \{(1,2,3), (0,1,1), (1,3,4)\}$ ב-$R^3$:
1. האם $S$ תלויה ליניארית או בלתי תלויה ליניארית? נמקו והראו את החישובים.
2. האם $S$ פורשת את $R^3$? נמקו.
3. האם $S$ מהווה בסיס ל-$R^3$? אם לא, מצאו בסיס למרחב הנפרש על ידי $S$ ומה מימדו.
כיצד משפט הדרגה ($Rank-Nullity Theorem$) מקשר בין מימד מרחב העמודות, מימד מרחב האפס ומספר העמודות של מטריצה? תנו דוגמה מספרית קצרה.

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

עבור השאלה השנייה (על קבוצת הוקטורים ב-$R^3$):

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

        $\begin{pmatrix} 1 & 2 & 3 \\ 0 & 1 & 1 \\ 1 & 3 & 4 \end{pmatrix} \xrightarrow{R_3 \gets R_3 - R_1} \begin{pmatrix} 1 & 2 & 3 \\ 0 & 1 & 1 \\ 0 & 1 & 1 \end{pmatrix} \xrightarrow{R_3 \gets R_3 - R_2} \begin{pmatrix} 1 & 2 & 3 \\ 0 & 1 & 1 \\ 0 & 0 & 0 \end{pmatrix}$

מכיוון שהתקבלה שורת אפסים, הוקטורים תלויים ליניארית. ניתן גם לראות ש-$ (1,3,4) = (1,2,3) + (0,1,1) $.

לגבי פרישה: קבוצה של $n$ וקטורים ב-$R^n$ פורשת את $R^n$ אם ורק אם היא בלתי תלויה ליניארית. מכיוון שהקבוצה תלויה ליניארית, היא אינה פורשת את $R^3$. (מימד המרחב הנפרש הוא 2, קטן מ-3).
לגבי בסיס ומימד: מכיוון שהקבוצה תלויה ליניארית, היא אינה בסיס ל-$R^3$. כדי למצוא בסיס למרחב הנפרש על ידי $S$, נשתמש בשורות השונות מאפס מהמטריצה המדורגת. הוקטורים $\{(1,2,3), (0,1,1)\}$ מהווים בסיס למרחב הנפרש על ידי $S$. מימד המרחב הנפרש הוא 2.

Spotted an error or something missing?