A new & peculiar essay, on a (very!) unusual approach I've been using to deepen my understanding of mathematics: http://cognitivemedium.com/srs-mathematics
-
Show this thread
-
Replying to @michael_nielsen
My favorite way to deepen my understanding of mathematics is to repeatedly re-learn topics when I inevitably forget the details over the years. :)
1 reply 0 retweets 1 like -
Replying to @pervognsen @michael_nielsen
Incidentally: Any operator T can be written in the form T = A + iB where A and B are self-adjoint operators. Then T* = A - iB, so T T* = A^2 - B^2 + [A, B] and T* T = A^2 - B^2 + [B, A]. So T T* = T* T iff [A, B] = [B, A] = 0 iff A and B commute.
1 reply 0 retweets 2 likes -
Replying to @pervognsen @michael_nielsen
That lets you deduce the spectral theorem for normal operators from the spectral theorem for self-adjoint operators and simultaneous diagonalization for commuting operators. That's been my preferred proof for a while, but everyone has their pet favorites for these basic theorems.
1 reply 0 retweets 2 likes -
Replying to @pervognsen
Amusingly, that's one of the proofs I discovered (and forgot) on my walk. The proof of diagonalizability for self-adjoint matrices is essentially obvious. The commuting => simultaneous basis needs a little more care, though.
1 reply 0 retweets 0 likes -
Replying to @michael_nielsen @pervognsen
(I did _not_ think at all about operators, though.)
1 reply 0 retweets 0 likes
Inductive proofs, like that in my essay, are harder to make work in infinite dimensions!
-
Show additional replies, including those that may contain offensive content
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.