Is N(A) a Subset of N(A^t A)?: Proving Inclusion for Matrix Nullspaces

  • Thread starter Thread starter inter060708
  • Start date Start date
  • Tags Tags
    Nullspace
Click For Summary
SUMMARY

The discussion centers on proving that the nullspace of matrix A, denoted as N(A), is a subset of the nullspace of the product A^t A, denoted as N(A^t A). The proof is established by demonstrating that if a vector x belongs to N(A), then it follows that A^t A x equals zero, confirming that x also belongs to N(A^t A). The conclusion is that N(A) is indeed a subset of N(A^t A), as shown through logical reasoning and definitions of nullspaces.

PREREQUISITES
  • Understanding of nullspaces in linear algebra
  • Knowledge of matrix transposition (A^t)
  • Familiarity with matrix multiplication and properties
  • Ability to work with set notation and subset definitions
NEXT STEPS
  • Study the properties of nullspaces in linear algebra
  • Learn about the implications of A^t A in relation to the rank-nullity theorem
  • Explore examples of nullspace calculations for different matrix sizes
  • Investigate the geometric interpretation of nullspaces and their subsets
USEFUL FOR

Students and educators in linear algebra, mathematicians focusing on matrix theory, and anyone involved in proofs related to matrix properties and nullspaces.

inter060708
Messages
24
Reaction score
0

Homework Statement



Given matrix A (size m x n), prove N(A) is subset of N( A^t A).

A^t is matrix A transposed.

Homework Equations





The Attempt at a Solution



My assumption is m < n, using definition of nullspace, I ended up with N( A^t A) = a set of zero vector, while N(A) is not entirely included in N( A^t A).

Thank You.
 
Physics news on Phys.org
If ##Ax = 0##, then what is ##A^t A x##?
 
jbunniii said:
If ##Ax = 0##, then what is ##A^t A x##?

A^t A x= 0

and how do I justify the subset part?
 
inter060708 said:
A^t A x= 0

and how do I justify the subset part?
If ##X## and ##Y## are sets, how do you prove that ##X \subset Y## in general?
 
jbunniii said:
If ##X## and ##Y## are sets, how do you prove that ##X \subset Y## in general?

I need to show that elements in X also belongs to Y.
 
inter060708 said:
I need to show that elements in X also belongs to Y.
Yes, that's right. So what is the defining property of an element of ##N(A)##? In other words, ##x \in N(A)## if and only if ...?
 
jbunniii said:
Yes, that's right. So what is the defining property of an element of ##N(A)##? In other words, ##x \in N(A)## if and only if ...?

x ε N(A) iff Ax = 0 and since A^t A x = 0 then x ε N(A^t A).
Therefore x belongs to both N(A) and N(A^t A).

Is this correct?
 
inter060708 said:
x ε N(A) iff Ax = 0 and since A^t A x = 0 then x ε N(A^t A).
Therefore x belongs to both N(A) and N(A^t A).

Is this correct?
You have the right idea, but you need to state the logic correctly. The goal is to prove that if ##x \in N(A)## then ##x \in N(A^t A)##.

So, suppose ##x \in N(A)##. Then by definition, ##Ax = 0##. Therefore...?
 
inter060708 said:
A^t A x= 0

Do you understand why that is zero? You stated it but didn't prove it.
 
  • #10
jbunniii said:
You have the right idea, but you need to state the logic correctly. The goal is to prove that if ##x \in N(A)## then ##x \in N(A^t A)##.

So, suppose ##x \in N(A)##. Then by definition, ##Ax = 0##. Therefore...?

Ok I think I got it.

to prove that if ##x \in N(A)## then ##x \in N(A^t A)##.

##x \in N(A)##. By definition, ##Ax = 0##
therefore ##A^t A x = 0## which means ##x \in N(A^t A)## as well.

Therefore ##N(A) \subset N(A^t A)##.

Thanks a lot jbunniii.
 
Last edited:

Similar threads

  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
20
Views
4K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
2
Views
1K