Proving properties of a 2x2 complex positive matrix

Click For Summary

Homework Help Overview

The discussion revolves around proving properties of a 2x2 complex matrix, specifically under the conditions for the matrix to be considered positive. The original poster outlines the necessary conditions involving self-adjointness and the nature of the eigenvalues.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • The original poster attempts to establish that if a matrix is positive, it must be self-adjoint, but struggles with the converse. They explore the implications of eigenvalues being real and nonnegative. Other participants question whether certain conditions are explicitly stated, such as the reality of certain matrix elements.

Discussion Status

Participants are actively engaging with the problem, raising questions about the completeness of the original statement and exploring the implications of eigenvalues and determinants. There is an ongoing examination of the relationships between the properties of the matrix and its eigenvalues, with some guidance provided regarding the implications of being Hermitian.

Contextual Notes

There is a noted uncertainty regarding the positivity of eigenvalues and the conditions under which they are real and nonnegative. The discussion also touches on the implications of the determinant and trace in relation to the properties of the matrix.

Adgorn
Messages
133
Reaction score
19

Homework Statement


Prove that a 2x2 complex matrix ##A=\begin{bmatrix} a & b \\
c & d\end{bmatrix}## is positive if and only if (i) ##A=A*##. and (ii) ##a, d## and ##\left| A \right| = ad-bc##

Homework Equations


N/A

The Attempt at a Solution


I got stuck at the first part. if ##A## is positive then by definition ##A=S^*S## for some matrix ##S## and thus ##A^*=(S^*S)^*=S^*S=A## and so ##A=A^*##.
However I cannot prove the opposite, that if ##A=A^*## then A is positive. Since ##A=A^*## A is normal and thus there exists an orthonormal basis of ##C^2## comprised of eigenvectors of A, say, {##v_1.v_2##}. Furthermore since ##A## is self-adjoint all eigenvalues of ##A## are real. If I could prove the eigenvalues of ##A## are also nonnegative the proof will be complete, but I cannot seem to manage to prove that and it might not even be true.

Regarding the second part, assuming I have proven the first part it is easy to show how ##a##, ##d## and ##ad-bc## must be real. However I can't seem to figure out how to prove they are nonnegative.
Help would be appriciated.
 
Physics news on Phys.org
Adgorn said:

Homework Statement


Prove that a 2x2 complex matrix ##A=\begin{bmatrix} a & b \\
c & d\end{bmatrix}## is positive if and only if (i) ##A=A*##. and (ii) ##a, d## and ##\left| A \right| = ad-bc##
Is the last part missing "are real"?
That seems to be the case based on what you wrote in your attempt.
 
Adgorn said:

Homework Statement


Prove that a 2x2 complex matrix ##A=\begin{bmatrix} a & b \\
c & d\end{bmatrix}## is positive if and only if (i) ##A=A*##. and (ii) ##a, d## and ##\left| A \right| = ad-bc##

...

Regarding the second part, assuming I have proven the first part it is easy to show how ##a##, ##d## and ##ad-bc## must be real. However I can't seem to figure out how to prove they are nonnegative.
Help would be appriciated.
I would spend some time thinking about the second part. notice that ad-bc is the determinant. If the product of two eigenvalues is negative, and both eigs are real (as they are in Hermitian operator) then what does that tell you about the eigenvalues. What if the product is positive?

Now let's think about the trace for a minute...

you said if Hermitian positive (semi) definite, then ##A=S^* S##

I claim that I can get the squared Frobenius norm of ##S##, by taking the ##\big \Vert S \big \Vert_F^2= trace(A) = trace(S^* S)##? Why is this true? What do the diagonal entries of ##A## look like if they come from ##S^* S##?
 
Last edited:
Mark44 said:
Is the last part missing "are real"?
That seems to be the case based on what you wrote in your attempt.
Are real and positive yes, forgot to write that for some reason.
 

Similar threads

Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 31 ·
2
Replies
31
Views
4K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
34
Views
3K
  • · Replies 5 ·
Replies
5
Views
5K