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

\begin{definition}

בסיס $B$ של $V$, כך שהוא קבוצה אורתוגונלית (אורתונורמלית) נקרא \textbf{בסיס אורתוגונלי (אורתונורמלי)} של $V$.

\end{definition}

הרעיון - במרחב $\mathbb{R}^n$ יחד עם המכפלה הפנימית הסטנדרטית, וקטורי היחידה של הצירים הם בסיס אורתונורמלי. כלומר, בסיס אורתונורמלי יוצר מערכת צירים, שבה הצירים מאונכים זה לזה. בהמשך נוכיח שלכל מרחב מכפלה פנימית קיים בסיס אורתונורמלי.