Let be a linear transformation.
Suppose that is one-to-one. By definition, this means that no two distinct vectors in map to the same vector under . Suppose for some . Then , which contradicts the one-to-one property. Thus, implies .
Suppose that has only the trivial solution. This means that if , then . By assumption, , so . Hence, is one-to-one.
Therefore, is one-to-one if and only if the equation has only the trivial solution.
Suppose is a linear transformation. Let be
the standard matrix for .
.
Suppose is a linear transformation. Let be
the standard matrix for .
Let , where are the standard basis vectors of .
Since is linear:
This can be expressed as:
Now let . Then:
Since is a linear transformation, the columns of are uniquely determined by for . Therefore, is unique.
Thus, for all , where .