Chapter 1 To Do
To Do: Vectors and Matrices
- Find RW examples of matrix mult or matrix-vector mult reasonably interpretable via dpr and / or lc
- Use cross-products to find bases for perp spaces of two vectors
- Add transpose exercises to Matrix Algebra worksheet
To Do: Determinants (and trace?)
- Arrow diagrams for determinant formula.
- Trace; include basic theorems. Use to prove that no \(\A,\B\) can satisfy \(\A\B-\B\A=\I\) since \(\text{tr }\left(\A\B-\B\A\right)=0.\)
- Get rid of "def" in figure in def of minor
To Do: Vector Spaces
- XXXXXXX
To Do: Similarity
- Write a section on similarity.
- Investigate link between similarity transformations, change-of-basis and Theorem 9.1.15.
- Do Heisenberg Uncertainty Principle (see Strang, etc.)
To Do: Projections
- Simplify this section a lot; better examples
- Fix notation for projections (remove "span" from subscripts?)
- Do projections to col\((A)^\perp\) (\(I-P\))
- Reverse order of subproblems in Prob 1 in GS hw
To Do: Eigenstuff
- More theory in the worksheet for Eigentheory worksheet
- Expand on the use of the Cayley-Hamilton Theorem
To Do: Linear Transformations
- Fix 11.3 (LTs) #6 to have a solution, create another data set to not have a solution, and create another to not have a solution in a different way.
- Prove that the set of linear transformations on \(V\) is itself a vector space.
- Improve directions for proving non-linearity for transformations.
- Explain why it is useful to use matrices to represent linear transformations.
- Replace O.Nan LT example.
-
Note that for each \(p\in\N,\) left-multiplication by a matrix \(\A\in\R^{m\times n}\) induces a mapping \(T_\A:\R^{n\times p}\,\rightarrow\,\R^{m\times p}.\)
- Do various examples
- We may consider conditions on \(\A\) for which \(T_\A\) is injective, surjective, both or neither
-
If \(n=m\) we may consider the case \(p=m\) wherein \(T_\A\) is a mapping on \(\R^{n\times n}.\)
- In this case if \(T_\A\) is injective or surjective then \(T_\A\) is bijective. We will prove these facts.
- Define identity
- Define inverse
- Find inverse of diagonal matrices if possible
- Show that orthogonal projection is a linear transformation
To Do: Content
- Put proof in all theorems even if just a placeholder for worksheet or homework proof ask.
- Use term for all terms being defined.
- De-Remark many comments, especially those un-referred to.
- Worksheet, and edit section for, Least-Squares.
- Refresh Logic section.
- Create some projects.
- Ensure all definitions, theorems, etc. are self-contained. all defined terms
- Work the Reading Quizzes.
- Create an index.
To Do: Display
- Title page including authors.
- Fix knowls to display properly or to open a new page (currently displays blank).
- Figure out how to toggle the hiding of solutions/proofs.
- Fix all “proofs” so they are in the proof environment. Same with Examples.
To Do: Graphics
- Find a good 3d plotter for simultaneously plotting planes and vectors.
- Figure numbering needs to be modified to avoid gobbling up numbering needed for remarks, definitions, theorems, etc.
- Work figures.
- Perturb \(A\) and view the \(A^{-1}\) perturbation app (Sage?).
To Do: Worksheets and Homework
- Look into putting whitespaces in the worksheets.
- Solution manual.
- Check all the problems in the worksheets and homeworks are “exercises”.
To Do: Notation
- End-of-Proof symbol.
- Extensible vector arrows.
- Streamline notation for eigenproblem solutions.
To Do: Language and Formatting
- Don’t use the word “note” so often.
- At the beginning of each section put learning outcomes/expected learning gains including intuition, theory and computation.
- Use theorem-like elements (
, ,Claim 1.0.2.
,Corollary 1.0.3.
,Fact 1.0.4.
,Identity 1.0.5.
,Lemma 1.0.6.
,Proposition 1.0.7.
).Theorem 1.0.8.