Professional Documents
Culture Documents
f is surjective.
STEP 1
f2
f3
STEP 3
Let d (x,y) denote the square metric on R2 .
Ƿ( fn , fn+m ) ≤ 1/2n + 1/2n+1 + ………+ 1/2n+m-1 < 2/2n for all n and
m.
Step 4:-
Because C ( I , I2) is complete, the
sequence fn converges to a continuous function
f : I I2 .
We prove that f is surjective.
Let x be a point of I2 ; we show that x
belongs to f (I). First we note that, given n, the path
fn comes within a distance of 1/2n of the point x. For
the path fn touches each of the little squares of edge
length 1/2n into which we have divided i2.
Using this fact, we shall prove that, given
ɛ > 0, the ɛ-neighborhood of x intersects f (I). Choose
N large enough that
Ƿ (fN ,f ) < ɛ/2 and 1/2N < ɛ/2.
By the result of the previous paragraph, there is
a point t0 € I such that
d ( x , fN(t0) ) ≤ 1/2N.
Then since d ( fN(t) , f(t) ) < ɛ/2 for all t, it
follows that
d ( x , f(t 0)) < ɛ,
so the ɛ-neighborhood of x intersects f(I).
It follows that x belongs to the closure
of f(I). But I is compact, so f(I) is compact and
is therefore closed. Hence x lies in f(I), as
desired.
( proved )
Banach’s principle of contraction mappings and it’s applications.
Theorem ( Banach’s Principle of
Contraction Mappings ) :-
Picard’s theorem:-
Let D be a nonempty open subset of the Euclidean plane
R2 , f : D R be a continuous map which satisfies a Lipschitz
condition with respect to the second variable, i.e., | f(x, y1) - f(x, y2)
| ≤ k | y1 - y2 | … (1)
for all (x, y1), (x, y2) € D and for some k > 0, and let (x0, y0) €
D.
Then the differential equation = f(x, y) … (2)
has a unique solution y = g(x) in the interval [x0 - c , x0 + c], for
a suitable c > 0, such that the boundary condition g(x0) = y0 is
satisfied .
Implicit Function Theorem
Let U ⊆ R2 be open and f : U R have continuous
partial derivatives, fx and fy on U. Assume that (x0 , y0)
€ U is such that f(x0 , y0) = 0 and
that (x0 , y0) ≠ 0.
ǵ(x) = -
ARZELA-ASCOLI THEOREM
Theorem ( Arzela-Ascoli
Theorem ):-
STEP 1:-
Let x € X.
for all f € Â
Results:-
• Ifa metric space is compact, then it is
totally bounded.