Here we present a non-inductive proof of the spectral theorem for normal matrices (which doesn’t use, for instance, proposition 8.6.4 in Artin’s *Algebra*). (But it does seem to be the same as the proof in Herstein’s… 172 more words

*Algebra*). (But it does seem to be the same as the proof in Herstein’s… 172 more words