מרחב ניצב

הגדרה

יהי מרחב מכפלה פנימית 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]

פתרון:

א.

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

ב.

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

אם כך, נניח [math]\displaystyle{ w\in V^\perp }[/math], כיוון [math]\displaystyle{ w\in V }[/math] מתקיים ביחד [math]\displaystyle{ \lt w,w\gt =0 }[/math] ולפי אי שליליות [math]\displaystyle{ w=0 }[/math]

לכן סה"כ [math]\displaystyle{ V^\perp=\{0\} }[/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]