Debunking the False Proof of x^TAx=0 and A Being Antisymmetric Matrix

  • Context: Graduate 
  • Thread starter Thread starter lukaszh
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary

Discussion Overview

The discussion revolves around the validity of a proof claiming that if \( x^T A x = 0 \), then the matrix \( A \) must be antisymmetric. Participants examine the logical structure of the proof and the implications of the assumptions made regarding the nature of the matrix and the vector space involved.

Discussion Character

  • Debate/contested
  • Technical explanation

Main Points Raised

  • Some participants argue that the proof is invalid because it begins by asserting what it aims to prove, which undermines its logical foundation.
  • One participant points out that if \( x^T A x = 0 \) for some vector \( x \), it does not necessarily imply that \( A \) is antisymmetric.
  • Another participant notes that in a real vector space, if \( x^T A x = 0 \) for all \( x \), it suggests that \( x \) and \( Ax \) are orthogonal.
  • A different perspective is offered regarding complex vector spaces, where it is suggested that if \( x^* A x = 0 \) for all \( x \), it implies that \( A \) must be the zero matrix.

Areas of Agreement / Disagreement

Participants express disagreement regarding the validity of the proof and the implications of the conditions stated. There is no consensus on whether the original claim about antisymmetry holds true.

Contextual Notes

The discussion highlights the dependence on the type of vector space (real vs. complex) and the implications of the properties of the matrix \( A \). The assumptions about the nature of eigenvalues and orthogonality are also noted as critical to the arguments presented.

lukaszh
Messages
32
Reaction score
0
hi,
what is wrong about this proof?
If [tex]x^TAx=0[/tex] then A is antisymetric matrix. True? false?
P: False
[tex]A=-A^T[/tex]
[tex]x^TAx=-x^TA^Tx[/tex]
[tex]x^TAx=-(Ax)^Tx[/tex]
[tex]x^TAx=-\lambda\Vert x\Vert^2[/tex]
If x^T.A.x is zero, then must be [tex]-\lambda\Vert x\Vert^2[/tex], but ||x|| is real nonzero number and lambda must be zero. But antisymetric matrix has imaginary eigenvalues [tex]b\mathrm{i}[/tex], and 0 is not in this form. So
 
Physics news on Phys.org
lukaszh said:
hi,
what is wrong about this proof?
If [tex]x^TAx=0[/tex] then A is antisymetric matrix. True? false?
P: False
[tex]A=-A^T[/tex]
[tex]x^TAx=-x^TA^Tx[/tex]
[tex]x^TAx=-(Ax)^Tx[/tex]
[tex]x^TAx=-\lambda\Vert x\Vert^2[/tex]
If x^T.A.x is zero, then must be [tex]-\lambda\Vert x\Vert^2[/tex], but ||x|| is real nonzero number and lambda must be zero. But antisymetric matrix has imaginary eigenvalues [tex]b\mathrm{i}[/tex], and 0 is not in this form. So

You started the proof by writing down the false thing!?
 
It's not exactly "writing down the false thing" but you start your proof asserting what you want to prove. It is an invalid proof.

If your hypothesis is that [itex]x^TAx= 0[/itex] for some x, then the statement is certainly not true.
 
What field are you working with? I'm assuming real scalars since you wrote [tex]x^T[/tex] instead of [tex]x^*[/tex].

If

[tex]x^T A x = 0[/tex] for every x in a real vector space, then it means that x and Ax must always be orthogonal.

If

[tex]x^* A x = 0[/tex] for every x in a complex vector space, then this actually implies that A = 0.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 24 ·
Replies
24
Views
4K