# How to proove this

1. Dec 7, 2004

### siucw

generalized inverse of A is equal to A' if A'A is idempotent?

2. Dec 7, 2004

### matt grime

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?

Last edited: Dec 7, 2004
3. Dec 7, 2004

### siucw

A' is transpose of A,
A'A idempotent should mean A'AA'A=A'A, right?

4. Dec 7, 2004

### matt grime

Yes, realized and corrected myself.

A'A is thus symmetric and idempotent... exactly what do you mean by "generalized" inverse?

5. Dec 7, 2004

### siucw

AA-A=A,A- is generalized inverse, and no assumption about full rank or not for A

6. Dec 7, 2004

### matt grime

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.

7. Dec 7, 2004

### shmoe

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?

8. Dec 7, 2004

### siucw

rank A'A is equal to rank A

9. Dec 7, 2004

### shmoe

Good, now what about the column space of AA' (or it's image if you prefer to think of it that way)?

10. Dec 7, 2004

### siucw

it is a subspace of A

11. Dec 7, 2004

### siucw

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?

12. Dec 7, 2004

### shmoe

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.

Last edited: Dec 7, 2004