Sage and Linear Algebra Worksheet: FCLA Section MR

Section 1 A Linear Transformation and some Bases

In this section we define a linear transformation from \(\mathbb{C}^6\) to \(\mathbb{C}^4\text{.}\) The definition is a \(4\times 6\) matrix of rank \(4\) that we will use to multiply input vectors with a matrix-vector product. It is not important if the linear transformation is injective and/or surjective.

And we construct two random bases, one for the domain and one for the codomain, extracted from the columns of unimodular matrices.

Section 2 A Matrix Representation, Old Style

We will coordinatize the outputs of the linear transformation, for inputs from the basis of the domain, relative to the basis of the codomain, and pack them in a matrix.

Outputs on the domain basis first.

We make a vector space for the codomain, with the desired basis.

Now, coordinate versions of the outputs.

And then we pack them into a matrix.

Does the representation “work” as it should? We need a vector space for the domain before we can check.

OK, coordinatize input, multiply by representation matrix, un-coordinatize (linear combination). This is the fundamental Theorem FTMR at work.

Nice.

Section 3 A Matrix Representation, Sage Style

Now we do it Sage style. The matrix of the linear transformation first, as we like to see it.

Now we replace the domain and codomain with new vector spaces, carrying different bases. We are not really “restricting” the domain and codomain, we are replacing them by the same vector space, but each has a different basis.

Bingo! This is representation we found above. A one-liner in Sage.

Section 4 Sneak Preview

Ponder the following computation — matrix representations and nonsingular matrices with columns from the two bases.

Notice how Sage is conflicted about if S and T are equal or not.