Content deleted Content added
m Wrap internval notation in nowiki tags to prevent problem detection by the Wiki Syntax Project. |
|||
Line 8:
:<math>d(x^*, x_n) \le \frac{q^n}{1-q} d(x_1,x_0)</math>
Note that the requirement d(''Tx'', ''Ty'') < d(''x'', ''y'') for all unequal ''x'' and ''y'' is in general not enough to ensure the existence of a fixed point, as is shown by the map ''T'' : <nowiki>[1,∞) → [1,∞)</nowiki> with ''T''(''x'') = ''x'' + 1/''x'', which lacks a fixed point. However, if the space ''X'' is [[compact]], then this weaker assumption does imply all the statements of the theorem.
When using the theorem in practice, the most difficult part is typically to define ''X'' properly so that ''T'' actually maps elements from ''X'' to ''X'', i.e. that ''Tx'' is always an element of ''X''.
| |||