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

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

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

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

צירוף לינארי: יהי $V$ מרחב וקטורי מעל שדה $F$, ותהי $S = \{v_1, v_2, \dots, v_k\}$ קבוצת וקטורים ב-$V$. וקטור $v \in V$ נקרא צירוף לינארי של $S$ אם קיימים סקלרים $c_1, c_2, \dots, c_k \in F$ כך ש-$v = c_1v_1 + c_2v_2 + \dots + c_kv_k$.

לדוגמה, במרחב $ \mathbb{R}^2 $, אם ניקח את הוקטורים $ v_1 = (1, 2) $ ו- $ v_2 = (3, 1) $, ואת הסקלרים $ c_1 = 2 $ ו- $ c_2 = -1 $, אזי הוקטור $ v = 2v_1 - 1v_2 = 2(1, 2) - 1(3, 1) = (2, 4) - (3, 1) = (-1, 3) $ הוא צירוף לינארי של $ v_1 $ ו- $ v_2 $.

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

תלות ואי-תלות לינארית

היכולת של קבוצת וקטורים "לייצר" וקטורים אחרים קשורה קשר הדוק לשאלה האם יש בה וקטורים "מיותרים".

תלות לינארית

קבוצת וקטורים $S = \{v_1, \dots, v_k\}$ נקראת תלויה לינארית אם קיים צירוף לינארי לא טריוויאלי של איבריה השווה לוקטור האפס, כלומר, קיימים סקלרים $c_1, \dots, c_k \in F$ שאינם כולם אפס, כך ש-$c_1v_1 + \dots + c_kv_k = 0$. משמעות הדבר היא שלפחות וקטור אחד בקבוצה ניתן להצגה כצירוף לינארי של שאר הוקטורים.

אי-תלות לינארית

קבוצת וקטורים $S = \{v_1, \dots, v_k\}$ נקראת בלתי תלויה לינארית אם הדרך היחידה לקבל את וקטור האפס כצירוף לינארי של איבריה היא על ידי בחירת כל הסקלרים להיות אפס, כלומר, אם $c_1v_1 + \dots + c_kv_k = 0$ אז בהכרח $c_1 = c_2 = \dots = c_k = 0$. משמעות הדבר היא שאין אף וקטור בקבוצה שניתן להצגה כצירוף לינארי של שאר הוקטורים.

בסיס של מרחב וקטורי

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

בסיס: קבוצת וקטורים $B = \{v_1, \dots, v_n\}$ במרחב וקטורי $V$ נקראת בסיס ל-$V$ אם היא מקיימת שני תנאים:

$B$ פורשת את $V$ (כלומר, $Span(B) = V$).
$B$ בלתי תלויה לינארית.

חשיבות הבסיס

ייצוג יחיד: אם $B = \{v_1, \dots, v_n\}$ הוא בסיס ל-$V$, אזי לכל וקטור $v \in V$ קיימים סקלרים יחידים $c_1, \dots, c_n \in F$ כך ש-$v = c_1v_1 + \dots + c_nv_n$. סקלרים אלו נקראים קואורדינטות של $v$ ביחס לבסיס $B$.
בסיס סטנדרטי: ב-$R^n$, הבסיס הסטנדרטי הוא $\{e_1, \dots, e_n\}$ כאשר $e_i$ הוא וקטור שכל רכיביו אפס למעט הרכיב ה-$i$-י שהוא 1.

ממד של מרחב וקטורי

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

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

מציאת בסיס וממד

כדי למצוא בסיס ומימד למרחב נפרש על ידי קבוצת וקטורים $S=\{v_1, \dots, v_k\}$:

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

תת-מרחבים ומשפט הממד לסכומים

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

תת-מרחב: קבוצה לא ריקה $W \subseteq V$ היא תת-מרחב של $V$ אם היא סגורה לחיבור ולקבלת כפל בסקלר.

משפט הממד לסכום תת-מרחבים: זהו אחד המשפטים החשובים והנפוצים ביותר במבחנים. הוא מאפשר לחשב את ממד סכום של שני תת-מרחבים $U$ ו-$W$ מבלי למצוא בסיס מפורש לסכום. המשפט קובע כי לכל שני תת-מרחבים $U, W$ של מרחב וקטורי $V$ מתקיים: $dim(U+W) = dim(U) + dim(W) - dim(U \cap W)$. הבנה ויישום של משפט זה חיוניים לפתרון שאלות מורכבות הכוללות חיתוכים וסכומים של תת-מרחבים.

שאלות לדיון

כיצד נוכיח שקבוצת וקטורים נתונה היא בסיס למרחב וקטורי $V$? מהם השלבים העיקריים?
הסבירו מדוע קבוצת וקטורים בלתי תלויה לינארית המכילה $n$ וקטורים במרחב ממד $n$ חייבת להיות בסיס.
כיצד נשתמש בדירוג מטריצות כדי למצוא בסיס וממד למרחב הנפרש על ידי קבוצת וקטורים?
נתונים שני תת-מרחבים $U, W$. כיצד נמצא בסיס וממד ל-$U \cap W$?

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

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

מצאתם טעות או שחסר משהו?