10
$\begingroup$

Is there a simple way to show that a positive definite matrix must be Hermitian?

I feel there is a long drawn out proof of this to be had by taking unit vectors and applying the positive definiteness property, and brute forcing it.

But is there some simple clever proof why a positive definite matrix is necessarily Hermitian?

  • 3
    "Positive definite" is not a word that should be applied to matrices in the first place (it should be applied to sesquilinear forms). To the extent that it applies to matrices, it should only apply to Hermitian ones.2012-12-29
  • 0
    One usually considers only Hermitian definite positive matrices. Indeed, in most cases this property is included in the definition. I think that this is due to the fact that only for Hermitian matrices the property of being definite positive is equivalent to the property of having only positive eigenvalues.2012-12-29
  • 0
    i know the questtion is phrased poorly. but i did look at it with forms and couldn't see any simple connection either. if someone could explain it with forms that would be great too...2012-12-29
  • 3
    @pad I am not sure if there is any cleverer way out. I guess all the proof will need to prove if $z^* B z = 0$ is true for all $z \in \mathbb{C}^n$, then $B$ has to be zero. Using unit vectors (or) other special vectors, I believe is the easy and right approach.2012-12-29
  • 0
    it's not immediately obvious to me why positive definite implies a real spectrum?2012-12-29
  • 2
    @Jose: this is false. For example, any nilpotent operator has real spectrum, but nonzero nilpotent operators are never self-adjoint. The correct statement is that a _normal_ operator is self-adjoint if and only if its spectrum is real.2012-12-29
  • 0
    http://math.stackexchange.com/q/57350. There is another approach to showing that if $\langle x,Ax\rangle=0$ for all $x$, then $A=0$, with the possible advantage that it works in infinite dimensions.2012-12-30

1 Answers 1

6

As Marvis says in the comments, the problem reduces to showing that if $V$ is a finite-dimensional complex inner product space and $A : V \to V$ an operator such that $\langle v, Av \rangle = 0$ for all $v$, then $A = 0$. Letting $v$ run across all eigenvectors of $A$, the hypothesis implies that $A$ has all eigenvalues $0$, hence is nilpotent. Suppose by contradiction that $A \neq 0$, hence there exists a vector $v_0$ such that $v_1 = A v_0$ is nonzero. We may assume WLOG that $A v_1 = 0$, hence

$$\langle v_0 + v_1, A(v_0 + v_1) \rangle = \langle v_1, v_1 \rangle \neq 0$$

which is a contradiction. Hence $A = 0$.

Note that the corresponding assertion for real inner product spaces is false; the condition $\langle v, Av \rangle = 0$ is satisfied by all skew-symmetric matrices.