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:
“And no less firmly do I hold that we shall one day recognize in Freud’s life-work the cornerstone for the building of a new anthropology and therewith of a new structure, to which many stones are being brought up today, which shall be the future dwelling of a wiser and freer humanity.”
—Thomas Mann (1875–1955)