HermitianSpaces: an Adjoint property proof (help)

  • Thread starter Thread starter emlio
  • Start date Start date
  • Tags Tags
    Proof Property
Click For Summary

Homework Help Overview

The problem involves proving a property related to the adjoint of a linear endomorphism in a finite-dimensional Hermitian space. The original poster is tasked with showing that the matrix representation of the adjoint operator is the conjugate transpose of the matrix representation of the operator itself.

Discussion Character

  • Exploratory, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the expressions for the matrix elements of the linear operator and its adjoint in terms of an orthonormal basis. There is an emphasis on understanding the properties of the Hermitian product and how they relate to the adjoint definition.

Discussion Status

The original poster has made progress in their proof and has shared their findings. Some participants have acknowledged the correctness of the approach, indicating that the discussion is moving towards validation of the proof rather than exploring multiple interpretations.

Contextual Notes

The original poster notes some typing errors in their proof, which may affect clarity but does not seem to impact the overall validity of their argument.

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
 
Looks like the idea is right. Good job.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
Replies
15
Views
3K
Replies
34
Views
4K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
Replies
17
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K