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:
“So far we have been going firmly ahead, feeling the firm ground of prejudice glide away beneath our feet which is always rather exhilarating, but what next? You will be waiting for the bit where we bog down, the bit where we take it all back, and sure enough that’s going to come but it will take time.”
—J.L. (John Langshaw)