Unit 1: מבוא לווקטורים ומרחבים וקטוריים

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

יסודות הווקטורים במרחב האוקלידי

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

פעולות בסיסיות על וקטורים:

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

מרחבים וקטוריים: ההגדרה הפורמלית

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

האקסיומות המגדירות מרחב וקטורי:

עבור כל $u, v, w \in V$ וכל $a, b \in F$:

• סגירות לחיבור: $u+v \in V$
• קומוטטיביות החיבור: $u+v = v+u$
• אסוציאטיביות החיבור: $(u+v)+w = u+(v+w)$
• קיום איבר אפס: קיים $0 \in V$ כך ש-$u+0 = u$
• קיום איבר נגדי: לכל $u \in V$ קיים $-u \in V$ כך ש-$u+(-u) = 0$
• סגירות לכפל בסקלר: $a \cdot u \in V$
• אסוציאטיביות הכפל בסקלר: $a \cdot (b \cdot u) = (a \cdot b) \cdot u$
• דיסטריבוטיביות (סקלר על חיבור וקטורים): $a \cdot (u+v) = a \cdot u + a \cdot v$
• דיסטריבוטיביות (וקטור על חיבור סקלרים): $(a+b) \cdot u = a \cdot u + b \cdot u$
• קיום איבר יחידה לכפל בסקלר: $1 \cdot u = u$ (כאשר 1 הוא איבר היחידה בשדה $F$)

תת-מרחבים וקטוריים

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

תנאים לבדיקת תת-מרחב:

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

• $W$ אינה ריקה (לרוב, מספיק לבדוק שווקטור האפס של $V$ נמצא ב-$W$).
• $W$ סגורה לחיבור וקטורים: לכל $u, v \in W$, מתקיים $u+v \in W$.
• $W$ סגורה לכפל בסקלר: לכל $u \in W$ ולכל סקלר $a \in F$, מתקיים $a \cdot u \in W$.

צירופים ליניאריים, תלות ופרישה

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

בסיס ומימד:

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

שאלות לדיון

• מדוע עשר האקסיומות של מרחב וקטורי כה חשובות, וכיצד הן מבטיחות את "ההתנהגות הטובה" של הווקטורים?
• תנו דוגמה לקבוצה של מטריצות $2 \times 2$ שאינה מהווה תת-מרחב וקטורי של $M_{2,2}(\mathbb{R})$ והסבירו מדוע.
• כיצד הקונספט של אי-תלות ליניארית מתבטא ביישומים בהנדסת חשמל, למשל במערכות משוואות ליניאריות או בסיסי פורייה?
• האם קבוצת כל הפולינומים ממעלה 2 בדיוק (ללא פולינום האפס) מהווה מרחב וקטורי? אם לא, מדוע?

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

• חשיבות האקסיומות: האקסיומות מבטיחות שניתן לבצע פעולות אלגבריות באופן עקבי וצפוי, בדומה לאופן שבו אנו רגילים לעבוד עם מספרים. הן מאפשרות להכליל תכונות גיאומטריות של וקטורים במרחב האוקלידי למבנים מופשטים יותר.
• דוגמה למטריצות שאינן תת-מרחב: קבוצת המטריצות ההפיכות $2 \times 2$. היא אינה מכילה את מטריצת האפס (שאינה הפיכה), ולכן אינה תת-מרחב. לחלופין, היא אינה סגורה לחיבור (סכום של שתי מטריצות הפיכות לא חייב להיות הפיך).
• אי-תלות ליניארית ב-EE: במערכות משוואות ליניאריות, אי-תלות ליניארית של עמודות/שורות המטריצה מבטיחה פתרון יחיד (או קיום פתרון). בסיסי פורייה הם דוגמה לווקטורים בלתי תלויים (פונקציות סינוס/קוסינוס בתדרים שונים) המשמשים לייצוג אותות.
• פולינומים ממעלה 2 בדיוק: לא מהווה מרחב וקטורי. הסיבה העיקרית היא שקבוצה זו אינה סגורה לחיבור (למשל, $(x^2+x) + (-x^2+1) = x+1$, שהוא פולינום ממעלה 1), ואינה מכילה את פולינום האפס (שמעלתו אינה 2).