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 opposed to the government entering into any business the major purpose of which is competition with our citizens ... for the Federal Government deliberately to go out to build up and expand ... a power and manufacturing business is to break down the initiative and enterprise of the American people; it is the destruction of equality of opportunity amongst our people, it is the negation of the ideals upon which our civilization has been based.”
—Herbert Hoover (1874–1964)