Sage and Linear Algebra Worksheet: FCLA Section SLT
Section 1 Surjective Linear Transformations
Two carefully-crafted linear transformations: T is surjective, S is not.
The range is known in Sage as the “image.” For a surjective linear transformation, it will be the entire codomain. Note that the image is a vector space.
Section 2 Pre-Images
Demonstration 1.
We can create inputs associated with any output. First, we make an arbitrary output, but make sure it really is an output, as a linear combination of a basis of the image (see basis above). We print the two vectors in the opposite of what we would consider the “normal” order.
A check on our work.
Demonstration 2.
We can make other inputs, using the kernel.
Any value of new_inp is in the preimage of out, and every element of the preimage can be built this way. Notice the role the kernel plays, much like in the worksheet about injective linear transformations.
Demonstration 3.
Elements outside the range (image) will have empty preimages. We mildly “wreck” an element of the range.
With two initial entries determined by the zeros and ones in the basis vectors, the third entry must be determined, so we can “twiddle” it just a bit to obtain a vector of the codomain that lies outside the range. We will ask Sage for a pre-image representative anyway and see what happens.
This work is Copyright 2016–2019 by Robert A. Beezer. It is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.