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

מתוך Math-Wiki
גרסה מ־20:22, 4 באוקטובר 2014 מאת ארז שיינר (שיחה | תרומות) (גרסה אחת יובאה)
(הבדל) → הגרסה הקודמת | הגרסה האחרונה (הבדל) | הגרסה הבאה ← (הבדל)

\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}