אלגברה לינארית לתלמידי מדעים

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

מבוא: אפיון מבנה המרחב הוקטורי

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

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

צירוף לינארי: ביטוי מהצורה $c_1v_1 + c_2v_2 + \dots + c_kv_k$, כאשר $v_1, \dots, v_k$ הם וקטורים במרחב וקטורי $V$, ו-$c_1, \dots, c_k$ הם סקלרים מהשדה $F$.

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

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

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

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

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

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

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

תלות לינארית

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

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

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

בסיס ומימד: הלב של המרחב

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

$B$ פורשת את $V$ (כלומר, $V = \text{span}(B)$).
$B$ בלתי תלויה לינארית.

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

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

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

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

מרחב נפרש (span): נתונים וקטורים, למצוא בסיס למרחב שהם פורשים. הדרך הנפוצה היא לבנות מטריצה מהווקטורים (שורות או עמודות), לדרג אותה, והווקטורים המתאימים לעמודות/שורות עם איבר מוביל (ציר) יהוו בסיס.
מרחב פתרונות של מערכת הומוגנית (מרחב האפס): נתונה מערכת משוואות $Ax=0$, למצוא בסיס למרחב הפתרונות. יש לדרג את המטריצה $A$, לזהות משתנים חופשיים, ולבטא את המשתנים התלויים באמצעותם. כל משתנה חופשי ייתן וקטור בסיס.
מרחב שורות/עמודות: לרוב קשור לדירוג מטריצות.

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

שיטות עבודה ודוגמאות

בדיקת תלות/אי-תלות לינארית

כדי לבדוק אם קבוצת וקטורים $\{v_1, \dots, v_k\}$ תלויה או בלתי תלויה לינארית, נבנה את המשוואה הוקטורית $c_1v_1 + \dots + c_kv_k = 0$. זוהי למעשה מערכת משוואות לינאריות הומוגנית. נבנה מטריצה שבה הווקטורים $v_i$ הם העמודות (או השורות, אך עמודות נפוץ יותר). נדרג את המטריצה.

אם למערכת יש רק פתרון טריוויאלי ($c_1 = \dots = c_k = 0$), הקבוצה בלתי תלויה לינארית. זה קורה כאשר בכל עמודה יש איבר מוביל.
אם למערכת יש פתרונות לא טריוויאליים (כלומר, יש משתנים חופשיים), הקבוצה תלויה לינארית.

מציאת בסיס למרחב נפרש

נניח שנתונה קבוצת וקטורים $S = \{v_1, \dots, v_k\}$ ואנו רוצים למצוא בסיס למרחב הנפרש על ידם, $\text{span}(S)$.

נבנה מטריצה $A$ ששורותיה (או עמודותיה) הן הווקטורים $v_i$.
נדרג את המטריצה לצורת מדרגות (או מדרגות קנונית).
השורות שאינן שורות אפסים במטריצה המדורגת מהוות בסיס למרחב השורות (שהוא $\text{span}(S)$).
לחלופין, אם בנינו מטריצה שהעמודות שלה הן הווקטורים, העמודות המקוריות של המטריצה $A$ המתאימות לעמודות עם איבר מוביל במטריצה המדורגת, מהוות בסיס למרחב העמודות (שהוא $\text{span}(S)$).

שאלות לדיון

הסבירו במילים שלכם מדוע קבוצת וקטורים המכילה את וקטור האפס חייבת להיות תלויה לינארית.
כיצד ניתן להשתמש במושג המימד כדי לקבוע האם קבוצת וקטורים נתונה היא בסיס למרחב $R^n$?
האם ייתכן שלמרחב וקטורי יהיו שני בסיסים שונים עם מספר שונה של וקטורים? נמקו.
תארו את הקשר בין דרגת מטריצה לבין מימד מרחב השורות ומרחב העמודות שלה.

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

וקטור האפס ותלות לינארית: אם $0 \in S$, אז ניתן לכתוב $1 \cdot 0 + 0 \cdot v_2 + \dots + 0 \cdot v_k = 0$. המקדם של וקטור האפס הוא 1 (שאינו אפס), ולכן הקבוצה תלויה לינארית לפי ההגדרה.
מימד ובסיס ב-$R^n$: קבוצת $n$ וקטורים ב-$R^n$ היא בסיס אם ורק אם היא בלתי תלויה לינארית (או לחלופין, פורשת את $R^n$). אין צורך לבדוק את שני התנאים בנפרד כאשר מספר הווקטורים שווה למימד המרחב.
מספר וקטורים בבסיס: לא, כל הבסיסים של מרחב וקטורי נתון חייבים להכיל את אותו מספר וקטורים. זוהי תוצאה יסודית באלגברה לינארית, והיא המאפשרת להגדיר את המימד באופן עקבי.
דרגה, מרחב שורות ועמודות: דרגת מטריצה מוגדרת כמימד מרחב השורות שלה (מספר השורות הבלתי תלויות לינארית) או כמימד מרחב העמודות שלה (מספר העמודות הבלתי תלויות לינארית). שני המימדים הללו תמיד שווים לדרגה.

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