Squaring is not order preserving in a C-star algebra
ID: squaring-is-not-order-preserving-in-a-c-star-algebra
In take and . Then and , but has determinant and a negative eigenvalue. In contrast, for commuting positive elements is positive in the commutative function algebra supplied by continuous functional calculus. The obstruction is noncommutativity, not a failure of the scalar inequality.
New to topics? Read the docs here!