Real square roots of operators with simple real spectrum
ID: real-square-roots-of-operators-with-simple-real-spectrum
If a real linear operator on an -dimensional vector space has distinct real eigenvalues, any real square root commutes with and preserves each one-dimensional eigenspace. There is multiplication by a real , hence . Conversely, if all the eigenvalues are nonnegative, choosing on an eigenbasis supplies a real square root. Without simple spectrum the necessity fails: a real quarter-turn squares to .
New to topics? Read the docs here!