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:
“Of course, in the reality of history, the Machiavellian view which glorifies the principle of violence has been able to dominate. Not the compromising conciliatory politics of humaneness, not the Erasmian, but rather the politics of vested power which firmly exploits every opportunity, politics in the sense of the “Principe,” has determined the development of European history ever since.”
—Stefan Zweig (18811942)