A non-expansive mapping with can be strengthened to a firmly non-expansive mapping in a Hilbert space H if the following holds for all x and y in H:
where
This is a special case of averaged nonexpansive operators with . A firmly non-expansive mapping is always non-expansive, via the Cauchy–Schwarz inequality.
Read more about this topic: Contraction Mapping
Famous quotes containing the word firmly:
“...A shadow now occasionally crossed my simple, sanguine, and life enjoying mind, a notion that I was never really going to accomplish those powerful literary works which would blow a noble trumpet to social generosity and noblesse oblige before the world. What? should I find myself always planning and never achieving ... a richly complicated and yet firmly unified novel?”
—Sarah N. Cleghorn (1876–1959)