Linear Algebra - orthogonal vector fields

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
estro
Messages
239
Reaction score
0
I want to prove that: [itex]Ker(T*)=[Im(T)]^\bot[/itex]
Everything is in finite dimensions.

What I'm trying:
Let v be some vector in ImT, so there is v' so that Tv'=v.
Let u be some vector in KerT*, so T*u=0.

So now:
<u,v>=<u,Tv'>=<T*u,v'>=0 so every vector in ImT is perpendicular to every vector in KerT*.
So [itex]Ker(T*)=[Im(T)]^\bot[/itex]

My intuition tells me that there is something wrong here but I can' put a finger on it.
 
Physics news on Phys.org
Still relevant. [Bringing back to 1st page, after 24 hours...]