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!
New to topics? Read the docs here!