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:
“The traveler to the United States will do well ... to prepare himself for the class-consciousness of the natives. This differs from the already familiar English version in being more extreme and based more firmly on the conviction that the class to which the speaker belongs is inherently superior to all others.”
—John Kenneth Galbraith (b. 1908)