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

כעת נשלב בין שני המושגים שלמדנו: נורמליות ואורתוגונליות.

\begin{definition}

אומרים שקבוצה $S\subseteq V$ היא \textbf{אורתונורמלית} אם היא אורתוגונלית, ואם כל הווקטורים של $S$ נורמליים.

\end{definition}