Is it necessary to use Arzela Ascoli to show there is convergent subsequence of $(Tf_{n})_{n}$

72 Views Asked by At

Let $(f_{n})_{n}\subseteq C([0,1])$ be an arbitrary sequence such that $\vert \vert f_{n} \vert \vert_{\infty}\leq 1$ for all $n \in \mathbb N$ and $k \in C([0,1]^{2})$.

Define the bounded linear map $T: (C([0,1]),\vert \vert \cdot \vert \vert_{\infty}) \to (C([0,1]),\vert \vert \cdot \vert \vert_{\infty}), f\mapsto Tf$

where $Tf: [0,1]\to \mathbb K, x\mapsto \int_{0}^{x}k(x,y)f(y)dy$

Show that $(Tf_{n})_{n}$ has a convergent subsequence.

I have been told to use Arzela-Ascoli, but I believe I have found a much easier way (which is most probably incorrect, and thus I need someone to correct my thinking).

Let $(f_{n})_{n}\subseteq C([0,1])$ be an arbitrary sequence, note that:

$\vert\vert Tf_{n}\vert\vert_{\infty}=\sup\limits_{x\in [0,1]}\vert Tf_{n}(x)\vert=\sup\limits_{x\in [0,1]}\vert\int_{0}^{x}k(x,y)f_{n}(y)dy\vert\leq \sup\limits_{x\in [0,1]}\int_{0}^{x}\vert k(x,y)f_{n}(y)\vert dy\leq\vert\vert f_{n}\vert\vert_{\infty}\sup\limits_{x\in [0,1]}\int_{0}^{x}\vert k(x,y)\vert dy\leq \int_{0}^{x}\vert k(x,y)\vert dy<\infty$ for all $n \in \mathbb N$. By Bolzano Weierstrass there must be a subsequence $f_{n_{k}}$ so that $Tf_{n_{k}}$ converges.

Why can I not simply use Bolzano-Weierstrass here?

1

There are 1 best solutions below

0
On BEST ANSWER

You cannot simply use the Bolzano-Weirstrass theorem here, as you are using it, because the fact that the sequence of numbers $\|Tf_n\|_{\infty}$ has a convergent subsequence does not, usually, imply that the sequence of functions $\{Tf_n\}_{n=1}^{\infty}$ has a uniformly-convergent subsequence, which is what you need to prove.