Recall that an onto (surjective) means that all outputs have a corresponding input. We also have one-to-one (injective) that implies that any outputs that are the same have the same inputs. A bijective function is both injective and surjective.
An injective
is injective iff .
Proof
Consider . Suppose that is injective. We need to show that is just the zero vector. Let . So then . Notice that also . Since is an injective map, then since then .
Consider . Suppose that . Let where are arbitrary. Then we can say:
So since since the nullspace only contains the zero vector, so finishing showing injectivity.
☐
Recall that:
Note that if and :
If , then cannot be onto (surjective). If the dimension of the domain is less than that of the co-domain, then there's no way to map all the values to some configuration of values.
If , then we get the opposite effect, where is not injective.
If then is injective if and only if is surjective.
Getting into 3.C: Matrices
Recall that linear transformations are defined by their actions on the basis vectors.
Suppose we have:
Where is a basis for , and . We need to write down all the transformations as:
So if you know all the 's then you would have the whole picture of the transformation. So then you can just extract these coefficients and put them into an array called a matrix:
This is defined to be , which is called the matrix representation of w.r.t. the bases and .
The flipped diagonal
The reason for flipping the 's is purely convention at the moment. We'll see later that the matrix arithmetic makes more sense in this notation, so trust us for a moment.
Let's do an example. Let's consider the derivative map . Let and , so the standard bases for each of their respective sets. The definition above implies we should calculate the transformations into vectors of our :
So then our matrix is:
Notice here in general, if the and then we get an matrix.
Food for Thought
What if we knew that ? Notice that is still a linear map, and supposing that . We know it's a matrix, and we'll get: