הבדלים בין גרסאות בדף "88-112 לינארית 1 תיכוניסטים קיץ תשעא/מערך תרגול/5"

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
(←‏תכונות המרחב הנפרש)
(←‏תרגיל - הקשר בין צירוף לינארי לבין פתרון מערכת משוואות לינאריות)
שורה 22: שורה 22:
 
הוכח:
 
הוכח:
 
*<math>b\in span\{v_1,...,v_n\}</math> '''אם"ם''' קיים פתרון למערכת <math>Ax=b</math> כאשר <math>A=(v_1 v_2 \cdots v_n)</math> הינה המטריצה שעמודותיה הם הוקטורים <math>v_1,...,v_n</math>
 
*<math>b\in span\{v_1,...,v_n\}</math> '''אם"ם''' קיים פתרון למערכת <math>Ax=b</math> כאשר <math>A=(v_1 v_2 \cdots v_n)</math> הינה המטריצה שעמודותיה הם הוקטורים <math>v_1,...,v_n</math>
−
*במקרה זה הפתרון x הינו וקטור הסקלרים של הצירוף הלינארי שנותן את b. כלומר, כאשר <math>x=\begin{pmatrix)(x_1\\x_2\\ \vdots \\ x_n\end{pmatrix}</math> מתקייפ <math>b=x_1v_1+...+x_nv_n</math>
+
 
 +
 
 +
*במקרה זה הפתרון x הינו וקטור הסקלרים של הצירוף הלינארי שנותן את b. כלומר, כאשר <math>x=\begin{pmatrix}(x_1\\x_2\\ \vdots \\ x_n\end{pmatrix}</math> מתקיים <math>b=x_1v_1+...+x_nv_n</math>
 +
 
 +
 
 
*נניח והוקטורים שייכים למרחב <math>\mathbb{F}^n</math>. הוכח שקיים צירוף לינארי יחיד הנותן את b אם"ם המטריצה הינה הפיכה. מה ניתן להסיק על הוקטורים במקרה זה?
 
*נניח והוקטורים שייכים למרחב <math>\mathbb{F}^n</math>. הוכח שקיים צירוף לינארי יחיד הנותן את b אם"ם המטריצה הינה הפיכה. מה ניתן להסיק על הוקטורים במקרה זה?
 +
  
 
====פתרון====
 
====פתרון====
  
 
*אם הוקטורים שייכים למרחב <math>\mathbb{F}^n</math> יוצא שהמטריצה הינה ריבועית ולכן למערכת יש פתרון יחיד אם"ם A הפיכה
 
*אם הוקטורים שייכים למרחב <math>\mathbb{F}^n</math> יוצא שהמטריצה הינה ריבועית ולכן למערכת יש פתרון יחיד אם"ם A הפיכה

גרסה מ־11:31, 29 ביולי 2011

צירופים לינאריים, תלות לינארית ומרחבים נפרשים (span)

הגדרת צירוף לינארי

יהי V מ"ו מעל שדה \mathbb{F} ויהיו v_1,...,v_n\in V וקטורים במרחב. צירוף לינארי של v_1,...,v_n הינו וקטור במרחב v\in V כך שקיימים סקלרים בשדה a_1,...,a_n\in\mathbb{F} המקיימים v=a_1v_1+...+a_nv_n.

הגדרת המרחב הנפרש (span)

בתנאי ההגדרה לעיל; המרחב הנפרש על ידי הוקטורים v_1,...,v_n מוגדר להיות קבוצת (אוסף) כל הצירופים הלינאריים של הוקטורים הללו. כלומר, span\{v_1,...,v_n\}=\{v\in V|\exists a_1,...,a_n\in\mathbb{F}:a_1v_1+...+anv_n=v\}.

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

תכונות המרחב הנפרש

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

תרגיל

יהי V מ"ו ותהי A תת קבוצה שלו. הוכח שלכל תת מרחב W כך ש A מוכלת בW, מתקיים ש spanA\subseteq W.

הוכחה

אם v\in spanA אזי קיימים וקטורים וסקלרים v_1,...,v_k\in A, a_1,...,a_k\in\mathbb{F} כך שמתקיים v=a_1v_1+...+a_kv_k. מתוך הנתון שA\subseteq W נובע שv_1,...,v_k\in W ולכן מתוך סגירות לכפל וסקלר וחיבור v=a_1v_1+...+a_kv_k\in W משל.


קל לראות שU+W=span\{U\cup W\}, וכפי שאמרנו הסכום הינו תת המרחב הקטן ביותר המכיל את שני תתי המרחבים.

תרגיל - הקשר בין צירוף לינארי לבין פתרון מערכת משוואות לינאריות

הוכח:

  • b\in span\{v_1,...,v_n\} אם"ם קיים פתרון למערכת Ax=b כאשר A=(v_1 v_2 \cdots v_n) הינה המטריצה שעמודותיה הם הוקטורים v_1,...,v_n


  • במקרה זה הפתרון x הינו וקטור הסקלרים של הצירוף הלינארי שנותן את b. כלומר, כאשר x=\begin{pmatrix}(x_1\\x_2\\ \vdots \\ x_n\end{pmatrix} מתקיים b=x_1v_1+...+x_nv_n


  • נניח והוקטורים שייכים למרחב \mathbb{F}^n. הוכח שקיים צירוף לינארי יחיד הנותן את b אם"ם המטריצה הינה הפיכה. מה ניתן להסיק על הוקטורים במקרה זה?


פתרון

  • אם הוקטורים שייכים למרחב \mathbb{F}^n יוצא שהמטריצה הינה ריבועית ולכן למערכת יש פתרון יחיד אם"ם A הפיכה
מקור: https://math-wiki.com/index.php?title=88-112_לינארית_1_תיכוניסטים_קיץ_תשעא/מערך_תרגול/5&oldid=11858