HermitianSpaces: an Adjoint property proof (help)

  • Thread starter Thread starter emlio
  • Start date Start date
  • Tags Tags
    Proof Property
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
5 replies · 3K views
emlio
Messages
7
Reaction score
0

Homework Statement



[tex]V[/tex] is a linear space over [tex]C[/tex], finite n-dimensional

[tex]h: VxV \rightarrow C[/tex] is an Hermitian Product, POSITIVE DEFINED

and so

[tex](V,h)[/tex] Hermitian Space
---------------------------------------------------------------

[tex]L: V \rightarrow V[/tex], is a Linear Endomorphism of V

[tex]L^{*}[/tex] is the ADJOINT of [tex]L[/tex]

[tex]h(L(v),w) = h(v,L^{*}(w)) \forall v,w\in V[/tex] (adjoint definition)


-------------------------------------------------------------------------------
Given:

[tex]B=\left\{v_{1},v_{2},v_{3},......,v_{n}\right\}[/tex] is a h-ORTHORNORMAL basis for [tex]V[/tex]

[tex]M\itshape^{B}_{B}(L)[/tex] i.e. matricial representation "from basis B to basis B" of L

[tex]M\itshape^{B}_{B}(L^{*})[/tex] i.e. matricial representation "from basis B to basis B" of L* (the adjoint of L)

I need to proof that:

[tex]M\itshape^{B}_{B}(L^{*})= (M\itshape^{B}_{B}(L))^{*}[/tex]

Please help me, I'm not able to proof it. tnx
 
Physics news on Phys.org
Start by writing down the expression for the ij_th element of both of those matrices (i.e. what is a general matrix element) in terms of the {v_i}. Now remember '*' of a matrix is the conjugate transpose.
 
Dick said:
Start by writing down the expression for the ij_th element of both of those matrices (i.e. what is a general matrix element) in terms of the {v_i}. Now remember '*' of a matrix is the conjugate transpose.

Tnx for the quick replay, I'll try as you say...
 
I solved it !:smile:

[tex]B=\left\{v_{1},v_{2},v_{3},......,v_{n}\right\}[/tex] is a h-ORTHORNORMAL basis for [tex]V[/tex]

------------------------------------------------------------------

[tex]M\itshape^{B}_{B}(L)=(a_{x,y})[/tex] j-th Columns is:

[tex]L(v_{j})= a_{1j}v_{1} +...+a_{nj}v_{n}[/tex]



-------------------------------------------------------------------

[tex]M\itshape^{B}_{B}(L^{*})=(b_{x,y})[/tex] k-th COLUMN IS:

[tex]L^{*}(v_{k})= b_{1j}v_{1}+...+b_{nk}v_{n}[/tex]



-------------------------------------------------------------------


[tex]h(L(v_{j}),v_{k}) = h(v_{j},L^{*}(v_{k}))[/tex]

[tex]h( a_{1j}v_{1} +...+a_{nj}v_{n} , v_{k}) = h(v_{j}, b_{1j}v_{1}+...+b_{nk}v_{n})[/tex]

...

applying properties of "h"scalar product and properties of h-ohrtonormal bases

...
[tex]a_{jk}*h(v_{k},v_{k}) = \bar{b}_{kj}*h(v_{j},v_{j})[/tex]

[tex]a_{jk} = \bar{b}_{kj}[/tex]


[tex]{b}_{jk} = \bar{a}_{kj}[/tex] !
 
emlio said:
I solved it !:smile:

[tex]B=\left\{v_{1},v_{2},v_{3},......,v_{n}\right\}[/tex] is a h-ORTHORNORMAL basis for [tex]V[/tex]

------------------------------------------------------------------

[tex]M\itshape^{B}_{B}(L)=(a_{x,y})[/tex] j-th Columns is:

[tex]L(v_{j})= a_{1j}v_{1} +...+a_{nj}v_{n}[/tex]



-------------------------------------------------------------------

[tex]M\itshape^{B}_{B}(L^{*})=(b_{x,y})[/tex] k-th COLUMN IS:

[tex]L^{*}(v_{k})= b_{1j}v_{1}+...+b_{nk}v_{n}[/tex]



-------------------------------------------------------------------


[tex]h(L(v_{j}),v_{k}) = h(v_{j},L^{*}(v_{k}))[/tex]

[tex]h( a_{1j}v_{1} +...+a_{nj}v_{n} , v_{k}) = h(v_{j}, b_{1j}v_{1}+...+b_{nk}v_{n})[/tex]

...

applying properties of "h"scalar product and properties of h-ohrtonormal bases

...
[tex]a_{jk}*h(v_{k},v_{k}) = \bar{b}_{kj}*h(v_{j},v_{j})[/tex]

[tex]a_{jk} = \bar{b}_{kj}[/tex]


[tex]{b}_{jk} = \bar{a}_{kj}[/tex] !



There are some typing errors, I've written "j" instead of "k" in some parts, the proof is ok