In this post, we take a look at some characteristics of injective linear transformations. Let be a linear transformation from some vector space to another vector space , both defined over a field . being injective, means that no two vectors in can be mapped to the same vector in . We have a one-to-one mapping between the vectors in and their images in .
What does the null space of look like?
Assuming that isn’t just , for an (), we can pick another element that is different from . We have , with , and , basically writing as the difference of two other vectors in .
As and are different vectors in , they cannot have the same image in as is injective. So only the zero vector in can get mapped to the zero vector in .
The null space of is just the zero vector space over . An injective linear transformation cannot map non-zero vectors to the zero vector. We sometimes say that such a is non-singular.
Another property of such a transformation, is that it preserves linear independence. Stating more formally, if is a set of linearly independent vectors in consisting of vectors , then is also an independent set of vectors.
Let’s look at a simple way of verifying this. We let . Assume that is a set of independent vectors and is not. If the vectors in are not independent, it means that we can express some particular vector as a linear combination of the other vectors.
As is a linear transform, we have
As the ‘s are independent, the term as we cannot express any as a linear combination of the other vectors in A.
But as we have seen, if is injective, it cannot map non-zero vectors to zero. Hence the vectors in must also be independent, meaning that an injective linear transformation preserves the linear independence of vectors.
To close this out, we tie this back to a fundamental result in linear algebra. Let be the range of and be the rank of . As is injective, the range has the same dimensionality as as the basis of would get mapped to independent vectors in . So we have . For a general linear transformation , we know that:
If is injective, and so , which agrees with our conclusion above.
See Also
- Dimension of a proper subspace
- Change of basis
- Implicit Euler integration using Newton-Raphson
- ZMP: Generating Bipedal Walking Trajectories
Comments