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!