Exercise
https://texercises.com/exercise/orthogonal-matrices/
Question
Solution
Short
Video
\(\LaTeX\)
No explanation / solution video to this exercise has yet been created.

Visit our YouTube-Channel to see solutions to other exercises.
Don't forget to subscribe to our channel, like the videos and leave comments!
Exercise:
Ain M_ntimes nmathbbR textis orthogonal &iff A^TAI_N &iff AA^TI_n &iff A^-A^T. Ain M_ntimes nmathbbC textis unitary &iff A^*AI_Nquad A^*A^ToverlineAI &iff AA^*I_n &iff A^-A^T.

Solution:
Proof of second Lemma. Write A pmatrix vdots & & vdots v_ & hdots & v_n vdots & & vdots pmatrix v_kin mathbbC^n_textcol k...n. A^ToverlineA pmatrix hdots & v_^T & hdots & vdots & hdots & v_n^T & hdots pmatrix pmatrix vdots & & vdots overlinev_ & hdots & overlinev_n vdots & & vdots pmatrix v_i^T overlinev_j_leq ileq n leq jleq n langle v_iv_jrangle_leq ileq n leq jleq nquad * Now A is unitary iff v_...v_n are an orthogonal system iff *I_n. The equivalence of these to overlineAA^TI_n.
Report An Error
You are on texercises.com.
reCaptcha will only work on our main-domain \(\TeX\)ercises.com!
Meta Information
\(\LaTeX\)-Code
Exercise:
Ain M_ntimes nmathbbR textis orthogonal &iff A^TAI_N &iff AA^TI_n &iff A^-A^T. Ain M_ntimes nmathbbC textis unitary &iff A^*AI_Nquad A^*A^ToverlineAI &iff AA^*I_n &iff A^-A^T.

Solution:
Proof of second Lemma. Write A pmatrix vdots & & vdots v_ & hdots & v_n vdots & & vdots pmatrix v_kin mathbbC^n_textcol k...n. A^ToverlineA pmatrix hdots & v_^T & hdots & vdots & hdots & v_n^T & hdots pmatrix pmatrix vdots & & vdots overlinev_ & hdots & overlinev_n vdots & & vdots pmatrix v_i^T overlinev_j_leq ileq n leq jleq n langle v_iv_jrangle_leq ileq n leq jleq nquad * Now A is unitary iff v_...v_n are an orthogonal system iff *I_n. The equivalence of these to overlineAA^TI_n.
Contained in these collections

Similar exercises (42)
Title Creator Matched on
Orthogonal complement rk tags
Orthogonal projection characteristics rk tags
Transpositions, even and odd rk tags
Orthogonal diagonalizability characterisation rk tags
Trace properties rk tags
more (37 more)
Attributes & Decorations
Tags
eth, fs23, lineare algebra, matrices, orthogonal, proof
Difficulty
(3, default)
Points
0 (default)
Language
ENG (English)
Type
Proof
Decoration
Content image