קוד:שחלוף של אוניטרית הוא אוניטרי
מתוך Math-Wiki
גרסה מ־09:40, 26 באוגוסט 2014 מאת גיא בלשר (שיחה) (יצירת דף עם התוכן "\begin{remark} אם $A$ אוניטרית, אזי $A^t$ אוניטרית. \end{remark} \begin{proof} $\left(A^t \right )^*=\overline{\left(A^t \right )^t}=\ov...")
\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}