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:
“[I am] firmly persuaded that every time a man smiles,—but much more so, when he laughs, that it adds something to this Fragment of life.”
—Laurence Sterne (1713–1768)