I thought about some stuff in linear algebra again, in particular singular value decomposition, orthogonal projections, and Gram–Schmidt process.

I also thought about the “taking inf and sup separately” trick (which I would write about the following day), and proved lemma 11.3.3 in Tao’s Analysis I (without looking at the proof in the book, of course).