'''תרגיל.'''
יהי <math>V=\mathbb{R}^4</math>, הוכח ששלושת ששלוש הקבוצות הבאות שוות:
*<math>span\{(0,1,1,1),(2,1,3,-1),(1,1,2,0)\}</math>
*<math>\{(x,y,z,w)\in \mathbb{R}^4 |(z-y-x=0)\and (w-y+x=0)\}</math>
'''פתרון:'''
נראה שהקבוצה הראשונה שווה לשנייה. וקטור נמצא בspan של קבוצת הוקטורים אם"ם הוא צירוף לינארי שלה. לכן, <math>(x,y,z,w)\in span\{(0,1,1,1),(2,1,3,-1),(1,1,2,0)\}</math> אם"ם קיים קיימים סקלרים a,b,c כך ש <math>(x,y,z,w)=a(0,1,1,1)+b(2,1,3,-1)+c(1,1,2,0)</math>. לכן, הוקטור הוא צ"ל אם"ם קיים פתרון למערכת המשוואות הלינארית על a,b,c כאלה. בעצם, אנו רוצים לאמר על מערכת משוואות פרמטרית מתי יש לה פתרון. נביט במערכת המשוואות:
<math>\begin{pmatrix}
בתרגיל זה נשתמש בשיטה נפוצה ביותר. אנו מעוניינים לתאר את המרחבים הוקטוריים באופן קל יותר לעבודה מאשר התיאור לעיל; לכן ננסה לתאר את תתי המרחבים הללו כמרחבי פתרון של מערכת הומוגנית (בדומה להצגה השלישית בתרגיל הקודם). המשתנים שלנו במערכת המשוואות יהיו '''המקדמים''' של הפולינומים.
נביט בV. זהו אוסף כל הפולינומים ש2 הוא שורש שלהם. יהי פולינום כללי <math>p(x)=a+bx+cx^2+dx^3</math>, הוא שייך לV אם"ם מקדמיו מקיימים את המשוואה הלינארית: <math>a+2b+4c+8d=0</math>. באופן דומה הפולינום שייך לU אם"ם מקדמיו מקיימים את המשוואה הלינארית <math>0=a+b+c+d</math>. לכן פולינום נמצא בחיתוך אם"ם מקדמיו (הקואורדינטות) מקיימים את מערכת המשוואות המכיל המכילה את שתי המשוואות הללו. נמצא בסיס למרחב זה:
<math>\begin{pmatrix}1 & 1 & 1 & 1 \\ 1 & 2 & 4 & 8\end{pmatrix}</math>. נדרג קנונית לקבל
ישנן שתי שיטות לחשב את החיתוך, נתחיל בראשונה (שביצענו הרגע, למעשה):
#מצא מערכת משוואות המתארת את U ומערכת משוואות המתארת את W (כמו בהצגה השנייה מבין הצגות המרחב)
#פתרון פתור מערכת אחת המכילה את כל המשוואות משתי המערכות וקבל את החיתוך
שיטה שנייה: