The noncommutative Löwner theorem for matrix monotone functions over operator systems

J. E. Pascoe

Given a function $f:(a,b)\to \mathbb{R},$ Löwner's theorem states $f$ is monotone when extended to self-adjoint matrices via the functional calculus, if and only if $f$ e…