24.04.2013 Views

Nonlinear Control Sy.. - Free

Nonlinear Control Sy.. - Free

Nonlinear Control Sy.. - Free

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

2.10. CONTRACTION MAPPING 55<br />

and then, by induction<br />

d(xn+l,xn) < End(xl,xo)<br />

(2.24)<br />

Now suppose m > n > N. Then, by successive applications of the triangle inequality we<br />

obtain<br />

m<br />

d(xn, xm) E d(xt, xi-1)<br />

t=n+1<br />

< (Cn + `n+l +... + m-1) d(xi, xo)<br />

d(xn, xm) < n(1 + 1 + ... + Cm-n-1) d(xl, x0). (2.25)<br />

The series (1 + x + x2 + ) converges to 1/(1 - x), for all x < 1. Therefore, noticing<br />

that all the summands in equation (2.25) are positive, we have:<br />

defining 1 £ d(xl, xo) = E, we have that<br />

1+e+...+Cm-n-1 <<br />

1<br />

(1 - E)<br />

d(xn, xm) < n d(xl, xo)<br />

d(xn, xm) < e n, m > N.<br />

In other words, {xn} is a Cauchy sequence. Since the metric space (X, d) is complete,<br />

{xn} has a limit, limn,,,.(xn) = x, for some x E X. Now, since f is a contraction, f is<br />

continuous. It follows that<br />

f(x) f(xn) = rnn (xn+1) = x.<br />

Moreover, we have seen that xn E S C X, Vn, and since S is closed it follows that x E S.<br />

Thus, the existence of a fixed point is proved. To prove uniqueness suppose x and y are<br />

two different fixed points. We have<br />

f(x)=x, f(y)=y (2.26)<br />

d(f(x),f(y)) = d(x, y) by (2.26) (2.27)<br />

= d(x, y) < d(x, y) because f is a contraction (2.28)<br />

where < 1. Since (2.28) can be satisfied if and only if d(x, y) = 0, we have x = y. This<br />

completes the proof.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!