prove $(\sum_{n=0}^k f_n(x))_{k \in \mathbb{N}}$ converges uniformly over $X$ where each $f_n$ is bounded

98 Views Asked by At

Let $(f_n)_n$ be a sequences of from $X$ to $\mathbb{R}$ such that $\forall n \in \mathbb{N}$ $\exists M_n > 0$ such that $\sup_X \lvert f_n \rvert \le M_n$ and $\sum_{n=0}^{\infty} M_n < \infty$. Prove $(\sum_{n=0}^k f_n(x))_{k \in \mathbb{N}}$ converges uniformly.

The only thing I can think of is somehow using Cauchy but I have not had luck. I have been using the inequality given but all I seem to be getting is a bound for the sequence which does not guarantee convergence.

I have a theorem in my notes that states:

if a sequence of functions from some set to a complete metric space is uniformly Cauchy then there exists a function such that the sequence converges uniformly to. So it seems if I can get that this sequence is uniformly Cauchy over $X$ then I would have it.

So it would be $\forall \epsilon > 0 , \exists N, \forall p,q \ge N, sup_X \lvert f_p(x) - f_q(x) \rvert < \epsilon$.

If the sequence is monotonically increasing then using the boundedness I get that it has a Cauchy subsequence.

Edit: I forgot about Bolzano-Weierstrass. It is a bounded sequence so it has a convergent subsequence.

1

There are 1 best solutions below

2
On BEST ANSWER

Hint: Try Cauchy again.

$$\left|\sum_{n=0}^k f_n(x) - \sum_{n=0}^j f_n(x)\right| = \left|\sum_{n=j+1}^k f_n(x)\right| \leqslant \sum_{n=j+1}^k |f_n(x)| \leqslant \ldots$$