Is Unitarity Preserved by Different Inner Products?

  • Context: Graduate 
  • Thread starter Thread starter e(ho0n3
  • Start date Start date
  • Tags Tags
    Unitarity
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
4 replies · 4K views
e(ho0n3
Messages
1,349
Reaction score
0
Let V be a finite dimensional complex inner product space with inner product < , >. Let U be unitary with respect to this inner product. If ( , ) is another inner product, is U also unitary with respect to ( , )?

The definition of unitary I'm working with is the one that says: U is unitary if <Uv, Uw> = <v w>, i.e. it preserves inner products.

Now it is easy to show that U is unitary with respect to < , > if and only if U'U = 1, where U' is the adjoint and 1 is the identity transformations. But by replacing < , > with ( , ), the prior statement says that U is also unitary with respect to ( , ).

Am I missing something?
 
Physics news on Phys.org
I don't know if the result is true of not, I haven'T thinking about it but you seem to be missing that if the inner product changes, then the adjoint changes also! So mayeb we lose U'U=1 when we change the inner product.
 
You know what, you're right! That hadn't occur to me.

I think the result should be as follows: If U is unitary with respect < , >, then it is similar to a unitary with respect to ( , ).
 
The answer to the original question is "no." Any inner product <.,.> on a finite-dimensional vector space is of the form

[tex]\langle x,y\rangle = \overline{x}^t H y[/tex]

for some hermitian, positive-definite matrix H. For U to be unitary with respect to <.,.>, one needs that [tex]\overline{U}^t H U = H[/tex]. With this in mind, it's easy to cook up examples of unitary matrices with respect to one inner product failing to be unitary matrices with respect to another.

On the other hand, the answer to the second question is "yes." It's enough to show this for when <.,.> is arbitrary and (.,.) is the standard dot product (so: let's fix a basis for our space and think of it as [itex]\mathbb{C}^n[/itex]). Let H be the matrix associated to <.,.> as above. Since H is positive definite and hermitian, one can find an invertible matrix S such that [tex]H = \overline{S}^t S[/tex] (exercise!). Now if U is unitary with respect to (.,.), i.e. [tex]U^{-1} = \overline{U}^t[/tex], then taking [itex]V = S^{-1}US[/itex], we find that

[tex]\overline{V}^t H V = \overline{S}^t \overline{U}^t \overline{S}^{-t} H S^{-1}US = \overline{S}^t \overline{U}^t \overline{S}^{-t} \overline{S}^t S S^{-1}US = \overline{S}^t \overline{U}^t US = \overline{S}^t S = H,[/itex]<br /> <br /> that is, V is unitary with respect to <.,.>.<br /> <br /> Conversely, if U is unitary with respect to <.,.>, i.e. [tex]\overline{U}^t H U = H[/itex], then one can check that [itex]SUS^{-1}[/itex] is unitary with respect to (.,.).<br /> <br /> Hopefully I haven't made any mistakes.[/tex][/tex]
 
Last edited:
morphism said:
The answer to the original question is "no."
I'm convinced of that now. Thanks.

Since H is positive definite and hermitian, one can find an invertible matrix S such that [tex]H = \overline{S}^t S[/tex] (exercise!).
Since H is Hermitian, you can use the spectral theorem to get an S such that H = S2, where S is positive definite and hence Hermitian.

Hopefully I haven't made any mistakes.
I didn't recognize any. Thanks again.