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

\begin{definition}

אומרים ש-$A$ אוניטרית אם $AA^*=A^*A=I$.

\end{definition}

\begin{remark}

מההגדרה נובע שכל מטריצה אוניטרית היא הפיכה.

\end{remark}

\begin{remark}

תנאי שקול לאוניטריות: $A^{-1}=A^*$.

\end{remark}