Proof: A is Invertible if and only if A^T*A is Invertible | Matrix Algebra

  • Thread starter Thread starter physicsss
  • Start date Start date
Click For Summary
A square matrix A is invertible if and only if the matrix product A^T*A is also invertible. The proof involves using properties of determinants, where a matrix is invertible if its determinant is non-zero. If A is invertible, then both det(A) and det(A^T) are non-zero, leading to the conclusion that det(A^T*A) is also non-zero. Conversely, if A^T*A is invertible, it implies that det(A^T*A) is non-zero, which indicates that A must be invertible as well. The discussion also touches on the relevance of inner products, although this point is less central to the main proof.
physicsss
Messages
319
Reaction score
0
Suppose that A is a square. Show that A is invertible if and only if A^T*A is invertible.

I know that if A is an m X n matrix, m>=n, and rkA=n, then the n X n matrix A^T*A is invertible, and that rk(A^TA)= rkA, but I'm still not sure how to start the proof...

TIA
 
Physics news on Phys.org
Can you use the determinant?
 
Yes, but how does that help me?
 
M is invertible if and only if det(M) is not zero.

det(M) is the same as det(M^t)

det(MN)=det(M)det(N)

if x and y are real (or complex) numbers and xy=0 then one of x or y is zero.
 
det(A) = det(A^t) and det(AB) = det(A)det(B) (for all matrices A, B of the proper size).

If A is invertible, then det(A) != 0, so that det(A^t) != 0, and therefore det(AA^t) = det(A)det(A^t) != 0, i.e. AA^t is invertible.

The converse is similar.
 
snap. why was the title inner products though?
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K