שינויים
/* דוגמא 5 */
==דוגמאות ==
==תתי מרחבים ==
משפט: יהי <math>V</math> מרחב וקטורי מעל <math>\mathbb{F}</math> . יהיו <math>W_1,W_2\leq V</math> תתי מרחבים.
אזי חיתוך תתי המרחבים <math>W_1\cap W_1W_2:=\{v\in V:\, v\in W_1\land v\in W_2\}</math> הינו תת מרחב.
הערה: זהו התת מרחב הכי "גדול" שמוכל ב <math>W_1,W_2</math>. כלומר, כל תת מרחב <math>U</math> המקיים כי <math>U\subseteq W_1,W_2</math> יקיים כי <math>U\subseteq W_1\cap W_2</math> .
====דוגמא 1====
1. יהי <math>V = \mathbb{R}^4 </math>. נגדיר שתי שני תת מרחבים
<math>W_1=\{(x_1,x_2,x_3,x_4)\in V :\, x_1+x_2+x_3+x_4 =0\} </math>
====דוגמא 2====
יהי <math>V = \mathbb{R}^3 </math>. נגדיר שתי שני תת מרחבים
<math>W_1=\{\alpha_1\begin{pmatrix}1\\ 1\\ 1 \end{pmatrix}
ישירות- אם <math>A</math> גם סימטרית וגם אנטי סימטרית אזי מתקיים <math>-A=A^t=A</math>. נעביר אגף ונקבל <math>2A=0</math>. נחלק ב 2 ונקבל כי <math>A=0</math>
====דוגמא 4====
<math>V=\mathbb{R}^{n\times n}</math> מעל <math>\mathbb{R}</math> . חיתוך של המטריצות המשולשיות התחתונות והמטריצות המשולשיות העליונות.
=== סכום תתי מרחבים===
אבל התשובה שגויה כיוון שהאיחוד לא בהכרח תת מרחב כפי שנוכיח בתרגיל הבא.
'''תרגיל:(בהרצאה בד"כ)'''
יהי <math>V</math> מרחב וקטורי מעל <math>\mathbb{F}</math> . יהיו <math>W_1,W_2\leq V</math> תתי מרחבים. אזי
====סכום תתי מרחבים וסכום ישר ====
'''הגדרה:''' <math>V</math> מרחב וקטורי מעל <math>\mathbb{F}</math> . יהיו <math>W_1,W_2\leq V</math> תתי מרחבים.
אזי '''סכום תתי המרחבים''' <math>W_1 + W_1W_2:=\{w_1+w_2:\, w_1\in W_1, w_2\in W_2\}</math> הינו תת מרחב.
תכונה: לכל תת מרחב <math>U</math> עבורו <math> W_1,W_2\subseteq U</math> מתקיים כי <math> W_1+ W_2 \subseteq U</math>.
סימון <math>W_1 \oplus W_2</math>.
'''דוגמאות:'''
1. ב <math>V=\mathbb{R}^3</math> נגדיר שני תת מרחב
<math>W_1=\{\alpha\begin{pmatrix}1\\ 1\\ 0 \end{pmatrix}
יהא <math>(a_1,\dots ,a_n)=v\in W_1\cap W_2</math> צ"ל שזהו וקטור האפס. בגלל ש <math>v\in W_1</math> ניתן להציג אותו כ <math>v=(a,a,\dots ,a)</math>, כיוון ש <math>v\in W_2</math> צריך להתקיים <math>a+a+\dots +a =na=0</math> ולכן <math>a=0</math> ולכן <math>v=0</math>
==== תרגיל ====
במרחב <math>V=\mathbb{R}_{2}[x]</math>, הוכיחו כי <math>W_{1}=\left\{ p(x)\,|\,p(2)=0\right\}</math> ו <math>W_{2}=\left\{ p(x)\,|\,p(x)=x\cdot p'(x)\right\}</math> הם תתי מרחבים. חשבו את החיתוך והסכום שלהם. הראו שהסכום ישר.
=== תרגיל ====
במרחב <math>V=\mathbb{R}^{4}</math>, מצאו את החיתוך והסכום של
<math>W_{1}=\left\{ \left(\begin{array}{c}a_{1}\\a_{2}\\a_{3}\\a_{4}\end{array}\right)\mid\begin{array}{c}a_{1}+a_{2}=a_{3}+a_{4}\\-a_{1}+2a_{3}=0\end{array}\right\}</math>
ו
<math>W_{2}=\left\{ \left(\begin{array}{c}a_{1}\\a_{2}\\a_{3}\end{array}\right)\mid\begin{array}{c}a_{1}-3a_{2}-5a_{3}=a_{4}\\4a_{2}+8a_{3}-2a_{4}=2a_{1}\end{array}\right\}</math>