קוד:קבוצה אורתונורמלית היא בלתי תלויה
\begin{lem}
כל קבוצה אורתונורמלית היא בלתי תלויה לינארית.
\end{lem}
\begin{proof}
$S$ אורתוגונלית, וכן $0\notin S$, כי $\left \| 0 \right \|=0$.
\end{proof}
\begin{lem}
כל קבוצה אורתונורמלית היא בלתי תלויה לינארית.
\end{lem}
\begin{proof}
$S$ אורתוגונלית, וכן $0\notin S$, כי $\left \| 0 \right \|=0$.
\end{proof}