Do not click here!!!Originally Posted by miss_lolitta
Do not click here!!!Originally Posted by miss_lolitta
Why would a miss-"lolitta" be interested in such messy stuff?
Anyway. Here's one: Let be the set of Hölder continuous functions on , with exponent . Define the norm
.
Show that the closed unit ball of is compact in the space of all continuous functions on .
(Enjoy .
Taken from Royden's "Real Analysis" )
Really this is messy stuff!!
I wanted lecture in it because I have an assignment how to write a lecture with explaining by examples then represent this lecture in class..
But I have no ideas about this theorem??
and How I perform this a simply.. without complexity??
ThePerfectHacker & Rebesques....
Thanks so much
Well... If you want, you might say something like this. The Bolzano-Weirstrass theorem, sais that a bounded sequence converges. What can we say about a sequence of functions?
A problem is, we need to be precise about the mode of convergence - so consider the best possible, uniform convergence - the one implied by the sup-norm:
So, if we simply have a sequence of functions , and it is bounded (i.e., the sup-norm is finite for all), do we have uniform convergence? That is, is there a function with ???
No. The domain could be unbounded, and so our functions may not approach a limit function (though they are bounded).
We fix this (and alike problems) by demanding the domain be compact, say the interval
So, are we now to say uniform convergence is guaranteed? No, again. It could happen we only have pointwise convergence alone (not in the sup-norm, but only that for each , .)
The additional hypothesis to resolve this, is (uniform) equicontinuity; That is, the in the definition of continuity, holds globally for all and .
(Notice that that the Holder continuous functions in the last exercise do not satisfy this uniformly - but a relaxed form of the theorem can be used.)
So, every bounded and (uniformly) equicontinuous sequence of functions defined on , necessarily has a (uniformly) convergent subsequence - this is what the theorem says.
Example. Take . This is a bounded and equicontinuous sequence (show!). Note that for every does not exist (besides trivial cases).
But, by the Ascoli-Arzela theorem, there exists some subsequence and a function with
.
Hope that helps.
That's perfect!!
Well done!!
Please,,Can you prove that :
Let K be a compact subset of Rp and let F be a collection of functions which continuous on K and have values in Rq. The following properties are equivalent:
1- The family F is bounded and uniformly equicontinuous on K.
2- Every sequence from F has a subsequence which is uniformly convergent on K.( this is another state for Arzelą-Ascoli theorem )
Thanks soooo00S00oooo much
no need, love. i am just dead bored at work.Thanks soooo00S00oooo much
Let K be a compact subset of Rp and let F be a collection of functions which continuous on K and have values in Rq. The following properties are equivalent:
1- The family F is bounded and uniformly equicontinuous on K.
2- Every sequence from F has a subsequence which is uniformly convergent on K.( this is another state for Arzelą-Ascoli theorem)
1 implies 2: This is the proof of the Arzela-Ascoli theorem. It is kind of tedious, but at least there's a diagonal argument.
a) Consider all points of with rational coefficients. Call this (numerable) set , and denote its elements by .
b) Let be any sequence of elements of . We show it has a pointwise convergent subsequence on .
The sequence is bounded; By the Bolzano-Weierstrass theorem, it has a convergent subsequence, say Apply the same argument for , yielding a convergent subsequence (note: the sequence is thus convergent at and ). Proceed in this fashion, to obtain a subsequence of the original sequence . Then, the sequence converges for all elements of .
c) We now show that converges uniformly on . That is, is Cauchy for all , in the uniform convergence norm.
Let (these will be fixed later) and . There exists some with
due to equicontinuity of the functions and the density of in . Also, we have
for sufficiently large .
Therefore
by (1) and (2). So
for all sufficiently large ; this means the subsequence is uniformly convergent on .
2 implies 1: Let be the metric space of continuous functions on endowed with the uniform convergence norm.
The given condition implies that is compact in , so it is bounded and closed in its topology.
We now show it is equicontinuous. Let belong to . Then there is a sequence in converging uniformly to .
Let (to be fixed later). Consider so large that
and, from the uniform continuity of , there exists
such that
for . We thus obtain
due to (3) and (4). So is uniformly equicontinuous.
ok
click here if u sure
good luck
oh,you can't be bribed..
but bonus was candy..Do you like this bribe??
Rebesques,,I would like to tell you that presentation I presented it to my professor who will say the result is it good or no on next Monday ,,
but I'm sure it's excellent!!
just because Rebesques helped me without any bribe..
regard..
lolitta