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!