Intereting Posts

$\tan\frac{\pi}{16}+\tan\frac{5\pi}{16}+\tan\frac{9\pi}{16}+\tan\frac{13\pi}{16}$
Do infinitely many points in a plane with integer distances lie on a line?
if $|f(n+1)-f(n)|\leq 2001$, $|g(n+1)-g(n)|\leq 2001$, $|(fg)(n+1)-(fg)(n)|\leq 2001$ then $\min\{f(n),g(n)\}$ is bounded
Proof that $\bigcap_{a\in A} \bigg(\, \bigcup_{b\in B} F_{a,b} \, \bigg) = \bigcup_{f\in ^AB} \bigg(\, \bigcap_{a \in A} F_{a,f(a)}\,\bigg) $
Polylogarithm ladders for the tribonacci and n-nacci constants
Finding UMVUE of $p^s$ in Bernoulli distribution
Sigma notation only for odd iterations
Evaluating $\sum_{n=0}^{\infty } 2^{-n} \tanh (2^{-n})$
A nice introduction to forcing
Help determining best strategy for game?
Gradient is NOT the direction that points to the minimum or maximum
my plane is not vertical, How to update 3D coordinate of point cloud to lie on a 3D vertical plane
Computing the characteristic function of a normal random vector
Why are Lie Groups so “rigid”?
Relative trace and algebraic integers

I am going through AA theorem and its proof as per wikipedia : http://en.wikipedia.org/wiki/Arzel%C3%A0%E2%80%93Ascoli_theorem,

I am not able to understand clearly the formation of diagonal subsequence which converges to rational point .

Anyone interested in making it less elusive ?

- Removing removable discontinuities in Riemann integration
- Why does this limit exist $x^{x}$
- Every Banach space is quotient of $\ell_1(I)$
- Prove that an infinite sigma algebra contains an infinite sequence of disjoint sets and is uncountable
- Continuity $\Rightarrow$ Intermediate Value Property. Why is the opposite not true?
- References on integration: collections of fully worked problems (and explanations) of (1) advanced and (2) unusual techniques
- Prove $\sup \left| f'\left( x\right) \right| ^{2}\leqslant 4\sup \left| f\left( x\right) \right| \sup \left| f''\left( x\right) \right| $
- Metric Space & Cauchy Sequence
- How to show $(1/n!)^{1/n}$ goes to $0$ as $n$ goes to infinity?
- Proof Verification: $\lim (a^n + b^n)^{\frac 1 n} = b$ for $ 0 \lt a \le b$

Let be given $(x_n)_{n\in\mathbb{N}}$ and $(y_n)_{n\in\mathbb{N}}$ sequences of natural numbers.

By definition we say that the second sequence is a subsequence of the second one when there exists $(k_n)_{n\in\mathbb{N}},$ a strictly increasing sequence of natural numbers such that $x_{k_n}=y_n$ for any $n.$

When the two sequences are both strictly increasing, the previously condition is verified if and only if $\{x_n|n\in\mathbb{N}\}\supseteq\{y_n|n\in\mathbb{N}\}.$

And this is exactly our situation.

Infact the final sequence $(k_n)_{n\in\mathbb{N}}$, the one constructed applying the diagonal process to the sequence of sequences $(k_n^{(i)})_{n\in\mathbb{N}}$ (each one extracted by the previous one), has its $n$-th element coming from the $n$-th sequence (precisely $k_n=k_n^{(n)}.$)

So $(x_n)_{n\ge i}$ is a subsequence of $(x^{(i)}_n)_{n\in\mathbb{N}}.$

I think your main doubts have already been clarified in the comments and previous answer, but I still would like to add something which helped me grasp one of the subtler details of the proof when I came across this theorem for the first time.

The single extractions of subsequences are easily justifyable using Bolzano – Weierstrass, and using induction you would be able to justify extracting an arbitrarily large *but finite* number of subsequences of functions. This however isn’t good enough, because your diagonal subsequence would only contain a finite number of terms, and not be much of a sequence at all. You need to iterate an *infinite* number of extractions of subsequances, and induction is no longer useful here. You need something to justify this construction.

It turns out that what is used here (and this is often ommitted in proofs, although the proof on Wikipedia mentions it) is a weaker version of the Axiom of Choice: the Axiom of Dependent Choice. Usually the full Axiom of Choice is allowed in Real Analysis, so using it, or weaker forms of it is fine, but you *do* need to mention it in the proof, since there is nothing obvious guaranteeing the existence of the diagonal subsequence.

What the Axiom of DC states is that, given a set $X$ (in our case $X$ can be taken to be the set of all possible subsequences of $f_n$) and a binary relation $\mathfrak{R}$ on $X$ such that for each element of $u \in X$ there exists $v \in X : u \mathfrak{R} v$ , there exists an sequence of elements $u_n \in X$ such that $u_n \mathfrak{R} u_{n+1}$ for all $n \in \mathbb{N}$. Now, let $f_n ^a $ and $f_n^b$ be subsequences of $f_n$, and if $f_n ^a (x_i)$ doesn’t converge for all the rationals $x_i$ define $k = \max \{ i : f_n ^a(x_i) \ \text{converges} \ \forall j \leq i \}$. Take $f_n ^a \mathfrak{R} f_n ^b$ iff $f_n ^a (x_i)$ converges $\forall i \in \mathbb{N}$ and $f_n ^a = f_n ^b$, OR if $f_n ^a (x_i)$ doesn’t converge for every $i$ (and therefore $k \in \mathbb{N}$ is well defined) and if $f_n ^b$ is a subsequence of $f_n ^a$ and $f_n^b(x_{k+1})$ converges. You can see that, by Bolzano-Weierstrass, the only condition that we require for $\mathfrak{R}$ is satisfied, and thus the Axiom of DC guarantees that *all* the iterated subsequences $f_n ^k, k \in \mathbb{N}$ exist – not just the first trillion or so!

Now that the existence of the diagonal subsequence has been established, its property that is used in the rest of the proof is that it is definitively a subsequence of each of the iterated subsequences $f_n ^k$ (for $n \geq k$) and therefore it converges for all the rationals $x_i$.

This answer came out a bit longer than I had planned for it to be… I thought I would write this because Analysis textbooks and lecturers often skip details about the AC which have to be mentioned to make everything rigorous. I hope I got it right and that it helps.

- Norm of a Kernel Operator
- Does an equation containing infinity not equal 0 or infinity exist?
- Existence of a continuous function with pre-image of each point uncountable
- Hilbert's Original Proof of the Nullstellensatz
- Integral equation
- Unnecessary property in definition of topological space
- Which sequences converge in a cofinite topology and what is their limit?
- Elementary approach to proving that a group of order 9 is Abelian
- $U^*\otimes V$ versus $L(U,V)$ for infinite dimensional spaces
- Ramsey Number proof: $R(3,3,3,3)\leq 4(R(3,3,3)-1) + 2$
- $\int\limits_{a}^{b} f(x) dx = b \cdot f(b) – a \cdot f(a) – \int\limits_{f(a)}^{f(b)} f^{-1}(x) dx$ proof
- What is the $\lim_{n\to \infty} {\sqrt{(1+1/n)(1+2/n)…(1+n/n)}}$
- When to give up on math?
- Finding irreducible polynomials over GF(2) with the fewest terms
- Steinitz exchange lemma