Line criterion for a monotone operator
ID: line-criterion-for-a-monotone-operator
A map on a real Banach space is a monotone operator exactly when the displayed scalar function is nondecreasing on for every . Applying operator monotonicity to and , , gives . Conversely take , and compare the endpoints to recover . No continuity or differentiation of is needed.
New to topics? Read the docs here!