הבדלים בין גרסאות בדף "קוד:קבוצה אורתונורמלית היא בלתי תלויה"

גרסה מ־09:05, 26 באוגוסט 2014

\begin{lem}

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

\end{lem}

\begin{proof}

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

\end{proof}