Question about Hermitian matrices

  • Context: Graduate 
  • Thread starter Thread starter Bipolarity
  • Start date Start date
  • Tags Tags
    Hermitian Matrices
Click For Summary

Discussion Overview

The discussion revolves around the conditions under which the product ## \langle x,y \rangle = xAy^{*} ##, with ##A## as a Hermitian matrix, can be considered an inner product. The scope includes theoretical aspects of inner product spaces and properties of Hermitian matrices.

Discussion Character

  • Debate/contested
  • Technical explanation

Main Points Raised

  • One participant, BiP, proposes that the product defined by a Hermitian matrix should be an inner product and seeks to prove the positivity condition for non-zero vectors.
  • Other participants argue that the claim is false unless the matrix ##A## is positive-definite.
  • Another participant suggests that finding a counterexample would be straightforward, even with a ##1\times 1## matrix.
  • It is noted that positive-definite matrices inherently satisfy the required properties for inner products, specifically that ##xAx' > 0## for all non-zero vectors ##x##.

Areas of Agreement / Disagreement

Participants generally disagree on the validity of the initial claim, with a consensus that the matrix must be positive-definite for the product to qualify as an inner product.

Contextual Notes

The discussion highlights the need for specific conditions (positive-definiteness) for the inner product property to hold, which remains unresolved in terms of examples or proofs provided.

Bipolarity
Messages
773
Reaction score
2
I am trying to prove that for any two vectors x,y in ##ℂ^{n}## the product ## \langle x,y \rangle = xAy^{*} ## is an inner product where ##A## is an ##n \times n## Hermitian matrix.

This is actually a generalized problem I created out of a simpler textbook problem so I am not even sure if this is true although I believe it is true.

I proved most of the axioms for an inner product space, except the axiom that ## \langle x,x \rangle > 0 ## if ## x ≠ 0 ##. This is giving me trouble, since I first had to prove that ##<x,x>## is real (which I have done) but am still having trouble to actually prove that it is positive.

Any tips? Thanks!

BiP
 
Last edited:
Physics news on Phys.org
micromass said:
What you're trying to prove is false. It won't be an inner product in general. You need ##A## to be positive-definite.

http://en.wikipedia.org/wiki/Positive-definite_matrix

Ah I see micro! I hadn't gotten there yet in my coursework. Could you give me a counterexample please? thanks.

BiP
 
Bipolarity said:
Ah I see micro! I hadn't gotten there yet in my coursework. Could you give me a counterexample please? thanks.

BiP

It should be very easy for you to find a counterexample. You can even look for a ##1\times 1##-matrix as a counterexample.
 
Positive definite matrices are defined to give the property you are seeking.

By their definition, xAx' > 0 for all vectors x if A is positive definite and these matrices act like norms and metrics in the way they transform vectors (and are used in situations that have this property like inner products in geometry and variance/co-variance in probability/statistics).
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 27 ·
Replies
27
Views
6K
  • · Replies 20 ·
Replies
20
Views
4K
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K