Operator monotonicity of the square root

ID: operator-monotonicity-of-the-square-root

For bounded positive self-adjoint operators, implies . Thus the nonnegative square-root function is operator monotone.

New to topics? Read the docs here!