מרחב ניצב

הגדרה

יהי מרחב מכפלה פנימית V ותהי קבוצת וקטורים [math]\displaystyle{ S\subseteq V }[/math]. אזי הקבוצה

[math]\displaystyle{ S^\perp :=\{v\in V|\forall s\in S:\lt v,s\gt =0\} }[/math]

הינה מרחב וקטורי. אנו קוראים ל [math]\displaystyle{ S^\perp }[/math] המרחב הניצב ל-S

תרגילים

משפט הפירוק הניצב

יהי V מרחב מכפלה פנימית, ויהי [math]\displaystyle{ U\subseteq V }[/math] תת מרחב הוכיחו כי [math]\displaystyle{ U\oplus U^\perp = V }[/math]

1

יהי V מרחב מכפלה פנימית. הוכח את הטענות הבאות:

א. [math]\displaystyle{ \{0\}^\perp=V }[/math]

ב. [math]\displaystyle{ V^\perp = \{0\} }[/math]

ג. אם [math]\displaystyle{ S_1\subseteq S_2\subseteq V }[/math] אזי [math]\displaystyle{ S_2^\perp\subseteq S_1^\perp }[/math]

ד. לכל קבוצה [math]\displaystyle{ S\subseteq V }[/math] מתקיים [math]\displaystyle{ \Big(span(S)\Big)^\perp = S^\perp }[/math]

2

יהי V מרחב מכפלה פנימית, ויהיו [math]\displaystyle{ U,W\subseteq V }[/math] תתי מרחבים. הוכיחו/הפריכו:

א. [math]\displaystyle{ (U+W)^\perp=U^\perp+W^\perp }[/math]

ב.[math]\displaystyle{ (U+W)^\perp=U^\perp\cap W^\perp }[/math]

ג. [math]\displaystyle{ (U+W)^\perp=(U\cap W)^\perp }[/math]

3

יהי V מרחב מכפלה פנימית, ויהיו [math]\displaystyle{ U,W\subseteq V }[/math] תתי מרחבים כך ש [math]\displaystyle{ U\oplus W = V }[/math]. הוכיחו/הפריכו [math]\displaystyle{ U^\perp = W }[/math]