Oh! the hours I put in to studying the taxonomy and husbandry of matrices. Time has passed. I have forgotten much. Jacobians have begun to seem downright Old Testament.
And when you put the various operations of matrix calculus into the mix (derivative of trace of a skew-hermitian heffalump painted with a camel-hair brush) the combinatorial explosions of theorems and identities is intimidating.
Things I need:
Basic linear algebra intros
Kevin Brown on Bras, Kets, and Matrices
fun, Tom Leinster, There are no non-trivial complex quarter turns but there are real ones, i.e.
for a linear operator T on a real inner product space,
\[ \langle T x, x \rangle = 0 \,\, \forall x \,\, \iff \,\, T^\ast = -T \]
whereas for an operator on a complex inner product space,
\[ \langle T x, x \rangle = 0 \,\, \forall x \,\, \iff \,\, T = 0. \]
Sheldon Axler’s Down with Determinants!. (Axle95) is a readable and intuitive introduction for undergrads:
Without using determinants, we will define the multiplicity of an eigenvalue and prove that the number of eigenvalues, counting multiplicities, equals the dimension of the underlying space. Without determinants, we’ll define the characteristic and minimal polynomials and then prove that they behave as expected. Next, we will easily prove that every matrix is similar to a nice upper-triangular one. Turning to inner product spaces, and still without mentioning determinants, we’ll have a simple proof of the finite-dimensional Spectral Theorem.
Determinants are needed in one place in the undergraduate mathematics curriculum: the change of variables formula for multi-variable integrals. Thus at the end of this paper we’ll revive determinants, but not with any of the usual abstruse definitions. We’ll define the determinant of a matrix to be the product of its eigenvalues (counting multiplicities). This easy-to-remember definition leads to the usual formulas for computing determinants. We’ll derive the change of variables formula for multi-variable integrals in a fashion that makes the appearance of the determinant there seem natural.
He wrote a whole textbook on this basis, Axle14.
a handy glossary is Mike Brooks’ Matrix reference manual
Singular Value Decomposition series, for its insight:
Most of the time when people talk about linear algebra even mathematicians), they’ll stick entirely to the linear map perspective or the data perspective, which is kind of frustrating when you’re learning it for the first time. It seems like the data perspective is just a tidy convenience, that it just“makes sense” to put some data in a table. In my experience the singular value decomposition is the first time that the two perspectives collide, and (at least in my case) it comes with cognitive dissonance.
Linear algebra and calculus
The multidimensional statistics/control theory workhorse.
See matrix calculus.
Oooh you are playing with tensors? I don’t have a bunch to say here but here is a compact explanation of Einstein summation, which turns out to be as simple as it needs to be, but no simpler.
- Gile08: M. Giles (2008) An extended collection of matrix derivative results for forward and reverse mode automatic differentiation. Http://Eprints.Maths.Ox.Ac.Uk/1079.
- Gile08: Mike B. Giles (2008) Collected Matrix Derivative Results for Forward and Reverse Mode Algorithmic Differentiation. In Advances in Automatic Differentiation (Vol. 64, pp. 35–44). Berlin, Heidelberg: Springer Berlin Heidelberg
- LaMG18: Soeren Laue, Matthias Mitterreiter, Joachim Giesen (2018) Computing Higher Order Derivatives of Matrix and Tensor Expressions. In Advances in Neural Information Processing Systems 31 (pp. 2750–2759). Curran Associates, Inc.
- Axle95: Sheldon Axler (1995) Down with Determinants! The American Mathematical Monthly, 102(2), 139–154. DOI
- Axle14: Sheldon Axler (2014) Linear algebra done right. New York: Springer
- Mink00: Thomas P. Minka (2000) Old and New Matrix Algebra Useful for Statistics.
- Dwye67: Paul S. Dwyer (1967) Some Applications of Matrix Derivatives in Multivariate Analysis. Journal of the American Statistical Association, 62(318), 607. DOI
- PePe12: Kaare Brandt Petersen, Michael Syskind Pedersen (2012) The Matrix Cookbook.
- Parl00: Beresford N. Parlett (2000) The QR Algorithm. Computing in Science & Engineering, 2(1), 38–42. DOI