קוד:שחלוף של אוניטרית הוא אוניטרי

\begin{remark}

אם $A$ אוניטרית, אזי $A^t$ אוניטרית.

\end{remark}

\begin{proof}

$\left(A^t \right )^*=\overline{\left(A^t \right )^t}=\overline{A}$, וכיוון ש-$A^*=A^{-1}$, נקבל כי $\overline{A}=\left(A^t \right )^*=\left(A^* \right )^t=\left(A^{-1} \right )^t$.

\end{proof}