קוד:מכפלת אוניטריות היא אוניטרית

\begin{remark}

אם $A,B$ מטריצות אוניטריות, אזי גם $AB$ אוניטרית.

\end{remark}

\begin{proof}

$$\left(AB \right )^{-1}=B^{-1}A^{-1}=B^*A^*=\left(AB \right )^*$$

\end{proof}