קוד:הגדרת מטריצות אורתוגונליות
\begin{definition}
אם $\mathbb{F}=\mathbb{R}$, אזי למטריצות אוניטריות קוראים \mathbf{מטריצות אורתוגונליות}.
\end{definition}
\begin{remark}
$A$ אורתוגונלית $\Leftrightarrow$ $\sum_{k=1}^n\alpha_{ik}\alpha_{jk}=\delta_{ij}$.
\end{remark}