Definitions from Matrix representations
All definitions from Matrix representations.
[DEFINITION]A map T:V→W is injective, or one-to-one, when
T(v1)=T(v2)⟹v1=v2.
[DEFINITION]A map T:V→W is surjective, or onto, when every w∈W equals
T(v) for some v∈V. Equivalently, im(T)=W.
[DEFINITION]A map is bijective when it is both injective and surjective.
[DEFINITION]The identity map on V is
idV:V→V,idV(v)=v.
[DEFINITION]For a map T:V→W, a map S:W→V is an inverse of T when
S∘T=idV,T∘S=idW.The first composition is the left-inverse condition and the second is the
right-inverse condition. An inverse satisfies both.