שינויים
/* פתרון */
#<math>span(W)=W</math> (רק אם <math>W</math> ת"מ!)
#מסקנה: אם <math>A\subseteq span(B)</math> אז <math>span(A)\subseteq span(B)</math> (הוכחה: <math>span(A)\subseteq span(span(B))=span(B)</math>)
==== תרגיל ====
יהא <math>V</math> מ"ו ויהיו <math>S_{1},S_{2}</math> תתי קבוצות. הוכיחו/הפירכו:
# <math>\sp S_{1}\triangle\sp S_{2}\supseteq\sp\left(S_{1}\triangle S_{2}\right)</math>
# <math>\sp S_{1}\triangle\sp S_{2}\subseteq\sp\left(S_{1}\triangle S_{2}\right)</math>
===תרגילים===
יהא <math>V</math> מ"ו מעל <math>\mathbb{F}</math>. יהיו וקטורים <math>v_1,...,v_n\in V</math> כלשהם אזי
# ה'''צ"ל הטריוואלי''' הוא צירוף לינארי שכל המקדמים שווים 0 (ואז גם הצירוף שלהם שווה 0). כלומר הצירוף לינארי <math>0v_{1}+0v_{2}+\cdots0v_{n}=0</math> .
# נאמר ש <math>v_1,...,v_n\in V</math> '''בילתי בלתי תלויים לינארית''' אם אם הצ"ל ה'''יחידי''' שמתאפס הוא הצ"ל הטרוויאלי. באופן שקול אם יש צ"ל שמתאפס אזי הוא הצ"ל הטרוויאלי. ובסימונים: <math>\alpha_{1}v_{1}+\alpha_{2}v_{2}+\cdots\alpha_{n}v_{n}=0 \Rightarrow \forall i \alpha_i = 0</math>
# <math>v_1,...,v_n\in V</math> יקראו '''תלויים לינארית''' אם הם לא בלתי תלויים לינארית. באופן שקול אם קיימים סקלרים <math>a_1,...,a_n\in\mathbb{F}</math> לא כולם אפס כך שמתקיים <math>a_1v_1+...+a_nv_n=0</math>
לפי משפט השלישי חינם מספיק למצוא <math>p(x)\in W</math> ואז הוא יהווה בסיס. הנה דוגמא <math>p(x)=(x-1)(x-2)</math>.
ב. '''בסיס לסכום:''' ראשית נציג אותם כנפרשים, ע"י מציאת הפתרונות למשוואות בהגדרת תתי-המרחבים: <math>W_1=span\{-1+x^2,-1+x\},W_2=span\{-4+x^2,-2+x\}</math>. לכן נקבל: <math>W_1+A_2W_2=span\{-1+x^2,-1+x,-4+x^2,-2+x\}</math>, ואז נמצא את הבסיס ע"י למצוא מבין אלה וקטורים שהצ"ל נותן 0 אמ"ם הטריוויאלי, ונקבל ששלושת הראשונים עושים זאת. קיבלנו<math>\dim(W_1+W_2)=3=\dim(\mathbb{R}_2[x])</math>, ולכן <math>W_1+W_2=\mathbb{R}_2[x]</math>.
=== תרגיל ===
האם קיימת מטריצה <math>A\in\mathbb{F}^{5\times5}</math> כך ש <math>\left\{ I,A,\dots,A^{24}\right\}</math> בת"ל?? (שאלה קשה!)
=== תרגיל ===
