- #1

- 468

- 4

Now, it's obvious to me that any member of N(A) is in N(transpose(A)*A), since Ax=0 implies that transpose(A)*Ax=0. Nevertheless, I can't prove the converse of this statement to myself. Any tips?

- Thread starter Manchot
- Start date

- #1

- 468

- 4

Now, it's obvious to me that any member of N(A) is in N(transpose(A)*A), since Ax=0 implies that transpose(A)*Ax=0. Nevertheless, I can't prove the converse of this statement to myself. Any tips?

- #2

- 123

- 0

[tex]A^TAx = 0[/tex] ,

but [tex]Ax = y \neq 0[/tex]

Well, premultiply the first equation by [itex]x^T[/itex] to get

[tex]x^T A^T A x = y^T y = 0[/tex].

But if y is real vector, this equation implies that y = 0, which contradicts our assumption that it is nonzero.

- #3

Galileo

Science Advisor

Homework Helper

- 1,989

- 6

Multiply both sides by [itex]x^T[/itex] so you get:

[tex]x^TA^TAx=0[/tex]

Take it from there.

[tex]x^TA^TAx=0[/tex]

Take it from there.

- #4

- 468

- 4

Alright, I thank both of you for the help!

- #5

mathwonk

Science Advisor

Homework Helper

- 11,064

- 1,254

I.e. abstractly, transpose means "precede by". I.e. a linear map A:V-->W induces a linear map AT:W*-->V*, where W* is linear functioins on W, and if L is such a thing then AT(F) = FoA, a linear function on V.

So if AT(F) = FoA = 0, it means that F vanishes on the image of A, since preceding F by A, gives zero.

But now how do we precede AT by A? i.e. it makes no sense abstractly to compose a map into W with a map out of W*. But this is where an inner product comes in, giving us an isomorphism of W with W* and also of V with V*.

So we compose A:V-->W-->W*-->V*, where the map in the middle takes a vector in W to a functional on W by dotting with that vector.

so if this composition kills v, then it means that "preceding by A", kills "dotting with Av".

I.e. that for every x in V, we have Av.A(x) = 0.

applying this to v gives Av.Av= 0, so Av = 0.

so the point is: the only way that dotting with Av, can kill everything of form Ax, is if Av=0.

it is much easier computationally as follows: AT is the unique map such that for all x,y, we have Ax.y =x.ATy.

hence if ATAv = 0, then Av.A( ) is zero no matter what goes in the blank. putting in v gives Av = 0.

- Replies
- 4

- Views
- 5K

- Replies
- 10

- Views
- 1K

- Replies
- 1

- Views
- 3K

- Last Post

- Replies
- 5

- Views
- 2K

- Last Post

- Replies
- 3

- Views
- 4K

- Last Post

- Replies
- 4

- Views
- 2K

- Last Post

- Replies
- 5

- Views
- 2K

- Last Post

- Replies
- 4

- Views
- 6K

- Replies
- 3

- Views
- 22K

- Replies
- 4

- Views
- 2K