6
$\begingroup$

Assume that we are given a sequence of continuous functions $f_n(x)$ on $[0,1]$.

How to show the existence of a sequence $a_n$ and a set $A$ with $\mu(A^c)=0$ so that

$ \lim_{ n\to \infty} \frac{f_n(x)}{a_n}=0, ~~ \forall x\in A. $

I choose a sequence $a_n$ such that $ \mu (\phi_n) \leq 1/2^n$ where $ \phi_n := \left\{ x: \frac{|f_n(x)|}{a_n} \geq \frac{1}{n} \right\}. $

Since $\sum_n \mu (\phi_n) < \infty$, using Borel-Cantelli Lemma we have $\mu(\limsup_n \phi_n)=0$.

It seems okay if we say that $\limsup_n \phi_n = A^c$. How can we write it clearly in full details? Also, how can we assure the existence of $a_n$, how to construct such a sequence by means of $f_n(x)$?

Thanks!

  • 0
    @user31714 It does not.2014-04-16

2 Answers 2

1

We have for almost every $x\in A$ that there exists $N=N(x)$ such that for $n\geqslant N$, $\frac{|f_n(x)|}{a_n}\leqslant \frac 1n$ (hence $\frac{|f_n(x)|}{a_n}\to 0$).

The number $a_n$ exists because $\lim_{R\to \infty}\lambda\{|f_n|\gt R\}=0$ (we only need $f_n$ to be measurable).

0

I'm a little confused by this question: if the functions $f_n$ are continuous, then we don't need any measure theory here at all. Simply set $a_n = n \sup_{x \in [0,1]} |f(x)|$ (where $a_n$ is finite because a continuous function on a compact set is bounded). Then $f_n(x)/a_n \to 0$ for every $x$, not just almost every $x$. (In fact, $f_n/a_n \to 0$ uniformly.)