PDA

View Full Version : how to proove this

siucw
Dec7-04, 09:07 AM
generalized inverse of A is equal to A' if A'A is idempotent?
matt grime
Dec7-04, 09:24 AM
A'A idempotent means A'AA'A=A'A, don't know what you mean by ' though - if A and A' are invertible then you can cancel and get AA'=I but you don't know A and A' are invertible do you?
siucw
Dec7-04, 09:28 AM
A' is transpose of A,
A'A idempotent should mean A'AA'A=A'A, right?
matt grime
Dec7-04, 09:33 AM
Yes, realized and corrected myself.

A'A is thus symmetric and idempotent... exactly what do you mean by "generalized" inverse?
siucw
Dec7-04, 09:35 AM
AA-A=A,A- is generalized inverse, and no assumption about full rank or not for A
matt grime
Dec7-04, 10:13 AM
All i've figured is that:

A'AA'A=A'A => A'(AA'A - A) =0

So it boils down to showing this implies AA'A - A = 0

which must use the fact that A' is the transpose, some how.... can't quite explain it, sorry.
shmoe
Dec7-04, 10:14 AM
If you're trying to show A' is the generalized inverse, the symmetric properties are essentially freebies. The hard part is showing AA'A=A and A'AA'=A', but if you've got one you've got the other, so you can concentrate on the first one.

You know AA' is idempotent, so it's a projection, the question is onto what? What can you say about the column space of AA'? What can you say about it's rank? Do you have any guess as to what it should be projecting onto?
siucw
Dec7-04, 10:20 AM
rank A'A is equal to rank A
shmoe
Dec7-04, 10:24 AM
Good, now what about the column space of AA' (or it's image if you prefer to think of it that way)?
siucw
Dec7-04, 10:35 AM
it is a subspace of A
siucw
Dec7-04, 10:42 AM
so, you can prove it conceptually: since AA' is a projection, AA'A is projecting A to a space which include AA', then...?
is there any way to show it equationally?
shmoe
Dec7-04, 10:46 AM
A is a matrix not a subspace. I think you left out the words 'column space'? You should also be able to say something stronger than 'subspace' at this point-remember the bit about the ranks.

A general thing about projections- if T is a projection onto a subspace U, and v is any vector in U then T(v)=v. You should be able to prove this. You should then be able to prove (AA')v=v where v is any column of A.