קוד:קבוצה אורתונורמלית היא בלתי תלויה

מתוך Math-Wiki
גרסה מ־20:16, 4 באוקטובר 2014 מאת ארז שיינר (שיחה | תרומות) (גרסה אחת יובאה)
(הבדל) → הגרסה הקודמת | הגרסה האחרונה (הבדל) | הגרסה הבאה ← (הבדל)
הגרסה להדפסה אינה נתמכת עוד וייתכן שיש בה שגיאות תיצוג. נא לעדכן את הסימניות בדפדפן שלך ולהשתמש בפעולת ההדפסה הרגילה של הדפדפן במקום זה.

\begin{lem}

כל קבוצה אורתונורמלית היא בלתי תלויה לינארית.

\end{lem}

\begin{proof}

$S$ אורתוגונלית, וכן $0\notin S$, כי $\left \| 0 \right \|=0$.

\end{proof}