WordNet (an open-source lexical database) gives the following definition of “archetype”: something that serves as a model or a basis for making copies.
Our archetypes are typical examples of systems of equations, matrices and linear transformations. They have been designed to demonstrate the range of possibilities, allowing you to compare and contrast them. Several are of a size and complexity that is usually not presented in a textbook, but should do a better job of being “typical.”
We have made frequent reference to many of these throughout the text, such as the frequent comparisons between Archetype A and Archetype B. Some we have left for you to investigate, such as Archetype J, which parallels Archetype I.
How should you use the archetypes? First, consult the description of each one as it is mentioned in the text. See how other facts about the example might illuminate whatever property or construction is being described in the example. Second, each property has a short description that usually includes references to the relevant theorems. Perform the computations and understand the connections to the listed theorems. Third, each property has a small checkbox in front of it. Use the archetypes like a workbook and chart your progress by “checking-off” those properties that you understand.
The following chart summarizes some (but not all) of the properties described for each archetype. Notice that while there are several types of objects, there are fundamental connections between them. That some lines of the table do double-duty is meant to convey some of these connections. Consult this table when you wish to quickly find an example of a certain phenomenon.
(Summary chart goes here sometime soon)
|A||System with singular coefficient matrix|
|B||System with nonsingular coefficient matrix|
|C||Consistent system with $3\times 4$, rank 3, coefficient matrix|
|D||Consistent system with $3\times 4$, rank 2, coefficient matrix|
|E||Inconsistent system with $3\times 4$, rank 2, coefficient matrix|
|F||System with nonsingular $4\times 4$ coefficient matrix|
|G||Consistent system with $5\times 2$ coefficient matrix|
|H||Inconsistent system with $5\times 2$ coefficient matrix|
|I||Consistent system with $4\times 7$ full rank coefficient matrix|
|J||Consistent system with $6\times 9$, rank 4, coefficient matrix|
|K||$5\times 5$ nonsingular, diagonalizable, matrix|
|L||$5\times 5$ singular, rank 3, diagonalizable matrix|
|M||Linear transformation, larger domain|
|N||Surjective linear transformation, larger domain|
|O||Linear transformation, larger codomain|
|P||Injective linear transformation, larger codomain|
|Q||Linear transformation, equal domain and codomain|
|R||Invertible linear transformation, equal domain and codomain|
|S||Linear transformation, abstract vector spaces|
|T||Injective linear transformation, abstract vector spaces, larger codomain|
|U||Surjective linear transformation, abstract vector spaces, larger domain|
|V||Invertible linear transformation, abstract vector spaces, equal dimension domain and codomain|
|W||Invertible linear transformation, abstract vector spaces, diagonalizable|
|X||Linear transformation, abstract vector spaces, diagonalizable|