Critique my proof of the Arzela-Ascoli Theorem (with one question)

In summary, the conversation discusses the importance of r_1, r_2, ..., r_n being finite in part (b) and concerns about the proof for the convergence of g_k. The speaker also critiques the proof and emphasizes the need for a finite set \{r_1,...,r_n\} in the proof. They also point out an issue with the proof for part (c).
  • #1
jdinatale
155
0
In part (b), I'm not sure why it's important that r_1, r_2, ..., r_n is finite. Any thoughts? One thing I'm concerned about is if I have really shown that g_k converges uniformly because I did not shown that the N chosen was independent of the x.

arzela1.png


arzela2.png


arzela3.png
 
Physics news on Phys.org
  • #2
The problem is of course that every [itex]r_i[/itex] gives rise to a different N.

That is: you know that [itex](g_s(r_i))_s[/itex] is Cauchy, thus we can write:

[tex]\forall \varepsilon >0:\exists N_i: \forall s,t>N_i:~|g_s(r_i)-g_t(r_i)|<\varepsilon[/tex]

I wrote [itex]N_i[/itex] here instead of [itex]N[/itex] because we do not have only one N.

Now you must combine the [itex]N_i[/itex] into one N. This will use finiteness.


A critique of your proof: you have not shown that we can actually choose a finite set [itex]\{r_1,...,r_n\}[/itex] that satisfies the criteria. This is very important and uses something essential.

Furthermore, your proof of (c) isn't quite nice. You say "we may choose [itex]\delta>0[/itex]", but you do realize that this delta was already chosen in (b)?
 

FAQ: Critique my proof of the Arzela-Ascoli Theorem (with one question)

What is the Arzela-Ascoli Theorem?

The Arzela-Ascoli Theorem is a fundamental theorem in real analysis that characterizes compactness of a set of functions. It states that a set of continuous functions is compact if and only if it is closed, bounded, and equicontinuous.

What is the significance of the Arzela-Ascoli Theorem?

The Arzela-Ascoli Theorem is important in many areas of mathematics, including functional analysis, differential equations, and topology. It is also used in the study of dynamical systems and in the proof of the existence of solutions to certain types of differential equations.

What is your proof of the Arzela-Ascoli Theorem?

My proof of the Arzela-Ascoli Theorem involves showing that a set of continuous functions satisfying the properties of compactness (closed, bounded, and equicontinuous) is also uniformly bounded and uniformly equicontinuous. This allows us to apply the Arzela-Ascoli Theorem to conclude that the set is compact.

Can you provide an example of the Arzela-Ascoli Theorem in action?

One example of the Arzela-Ascoli Theorem in action is in the study of solutions to ordinary differential equations. By applying the theorem, we can show that a set of functions satisfying certain conditions (such as Lipschitz continuity) is compact, and thus there exists at least one solution to the differential equation in that set.

What are the limitations of the Arzela-Ascoli Theorem?

The Arzela-Ascoli Theorem only applies to continuous functions on a compact domain. It also does not provide any information about the uniqueness of solutions or the behavior of solutions outside of the compact set. Additionally, the theorem may not be applicable in certain situations where the functions do not satisfy the necessary conditions.

Similar threads

Replies
1
Views
1K
Replies
6
Views
2K
Replies
15
Views
6K
Replies
12
Views
2K
Replies
1
Views
2K
Replies
1
Views
2K
Replies
1
Views
9K
Constructive Proofs Proof of Correspondence theorem
Replies
1
Views
2K
Replies
8
Views
3K
Back
Top