
Question
So we have transformation T:V>W and I proved that dimV=dimkerT+dimImT and there is a claim saying that if dimKerT=0 then our transformation is one to one function, and it's easy to prove however what I don't understand is , there are times that this doesnt work, What are the conditions for that? V has to be a finite vector space, in other word, that can be represented by finite number of liniearly independent vectors? or does the domain and the codomain of the function has to be the same vector space? Or it doesn't matter what the vector spaces are?

Re: Question
Hey davidciprut.
I think you have to look at infinite dimensional spaces as a separate case. The area that looks at this is known as infinite dimensional vector spaces, or Hilbert Spaces as they are known. In addition to this you look at operator algebras on Hilbertspaces which include more areas including VonNeumann and C* algebras.
The infinite dimensional cases when you first study them look at all these individual cases where you look at various kinds of convergence. Basically its the same kind of thing that you study when you look at infinite series, except in this case you are looking at inner products of infinite dimensional vectors. When you have infinity, the intuition is obviously different.
I took a survey course on this stuff many years ago, but I do know that this is the area that you want to look at to get more and specific information. I'm not a pure mathematician (in fact I'm very bad at the higher pure stuff), but I do know that this field will help you.
You should look at infinite dimensional spaces in terms of the spectrum which is an eigenvalue type analysis but in the infinitedimensional space (its also used in the finite case but the infinite dimensional analysis looks at in more general and advanced ways).