Intereting Posts

Can mathematical definitions of the form “P if Q” be interpreted as “P if and only if Q”?
Why does the Hilbert curve fill the whole square?
Right continuous version of a martingale
How to Prove that if f(z) is entire, and f(z+i) = f(z), f(z+1) = f(z), then f(z) is constant?
$45^\circ$ Rubik's Cube: proving $\arccos ( \frac{\sqrt{2}}{2} – \frac{1}{4} )$ is an irrational angle?
Integration of radial functions?
The Group of order $p^3$
Closed Convex sets of $\mathbb{R^2}$
Reasoning behind the cross products used to find area
Show that $u(x)=\ln\left(\ln\left(1+\frac{1}{|x|}\right)\right)$ is in $W^{1,n}(U)$, where $U=B(0,1)\subset\mathbb{R}^n$.
Prove the following: If $a \mid bc$, then $a \mid \gcd(a, b)c$.
Are two subgroups of a finite $p$-group $G$, of the same order, isomorphic?
An almost impossible limit
What is a real number (also rational, decimal, integer, natural, cardinal, ordinal…)?
Projective Co-ordinate Geometry

**Question from an exam sample I’m studying for:** Suppose $\left(X,\mathcal{F},\mu\right)$

is a measure space and $f_{n}:\left(X,\mathcal{F}\right)\to\mathbb{R}$

a sequence of non-negative integrable functions such that $\int_{X}f_{n}d\mu=1$

. Is is it necessarily true that $\frac{1}{n}f_{n}$

converges almost everywhere to $0$

? what about $\frac{1}{n^{2}}f_{n}$

?

**My line of thought:** From Fatou’s llema we got that: $$\int\limits _{X}\liminf_{n\to\infty}\frac{1}{n}f_{n}d\mu\geq\liminf_{n\to\infty}\int\limits _{X}\frac{1}{n}f_{n}d\mu=\liminf_{n\to\infty}\frac{1}{n}\int\limits _{X}f_{n}d\mu=\liminf_{n\to\infty}\frac{1}{n}=0$$

Thus $g:=\liminf\frac{1}{n}f_{n}$

is a non-negative function whose integral equals zero and thus $g=0$

almost-everywhere. So if I knew that $\frac{1}{n}f_{n}$

converged almost-everywhere then in particular it would be equal to $g$

almost-everywhere and thus to $0$

. I’ve been racking my head trying to think whether it’s possible to construct a sequence with the given properties such that $\frac{1}{n}f_{n}$

would fail to converge on a set of positive measure. I want to say that this is impossible and that both claims are true (which would make the phrasing of the question quite mean since these questions usually imply one case is true and one is false) but I’m not certain.

I’d really appreciate help clearing this up!

- Points of a Measure Zero Sets Covered by Intervals Infinitely Many Times
- Sufficient conditions for separately measurable functions being jointly measurable.
- Feller continuity of the stochastic kernel
- Why do we restrict the definition of Lebesgue Integrability?
- If $\mathcal A$ generates $\mathcal S$ then $\sigma (X )=\sigma (X ^{-1 } ( \mathcal A ))$
- A set that it is uncountable, has measure zero, and is not compact

**Edit:** Since you can only accept one answer I wanted to thank Did, Vincent and M. Luethi for their replies. Combined we got two counter-examples for $\frac{1}{n}$ and a proof for $\frac{1}{n^{2}}$.

- homomorphism $f: \mathbb{C}^* \rightarrow \mathbb{R}^*$ with multiplicative groups, prove that kernel of $f$ is infinite.
- The domain of a function so we can talk about limits
- Proving $\lim_{n\to\infty} a^{\frac{1}{n}}=1$ by definition of limit
- Integral $\int_0^\infty \log(1+x^2)\frac{\cosh{\frac{\pi x}{2}}}{\sinh^2{\frac{\pi x}{2}}}\mathrm dx=2-\frac{4}{\pi}$
- Why this definition of integrability by sup and inf integrals is necessary?
- About the closed form for $\lim_{y\to +\infty}\left(-\frac{2}{\pi}\log(1+y)+\int_{0}^{y}\frac{|\cos x\,|}{1+x}\,dx\right)$
- A perfect set results by removing the intervals in such a way as to create no isolated points.
- Convexity of a complicated function
- An outer measure is countable-additive on the measureable sets
- find examples of two series $\sum a_n$ and $\sum b_n$ both of which diverge but for which $\sum \min(a_n, b_n)$ converges

The typewriter sequence disproves the almost sure convergence of $\frac1nf_n$ (see Example 4 here). To study $\frac1{n^2}f_n$, generalize slightly the setting and consider the function $g=\sum\limits_na_nf_n$ where $\sum\limits_na_n$ is a series with positive entries and finite sum. Henri Lebesgue taught us that $$\int g=\sum_na_n\int f_n=\sum_na_n$$ is finite hence $g$ is finite almost everywhere, in particular $a_nf_n\to0$ almost everywhere. This applies to $a_n=\frac1{n^2}$.

I make it an answer but I leave out a few details so that you still have to look at it a bit. I can add the details later if need be.

Look at the unit interval $[0,1]$ and define a collection of natural coverings: $$\begin{align}P_{k}=\left\{\left[0,\frac{1}{2^{k}}\right],\ldots,\left[\frac{2^{k}-1}{2^{k}},1\right]\right\}\end{align}$$ Define the sequence $f_{n}$ by choosing $k$ such that $2^{k}\leq n < 2^{k+1}$ and let $f_{n}:=2^{k}1_{\left[\frac{n-2^{k}}{2^{k}},\frac{n+1-2^{k}}{2^{k}}\right]}$.

If $n\in\mathbb{N}$, then $\frac{1}{n}f_{n}(x)=\frac{2^{k}}{n}$ where $2^{k}\leq n\leq 2^{k+1}$, so that $\frac{1}{2}\leq \frac{2^{k}}{n}\leq 1$. In order to see that every $x\in[0,1]$ lands in infinitely many of the intervals, it suffices to check that for all $k\in\mathbb{N}$ and for all $0\leq l<2^{k}$, there exists a natural number $n\in\mathbb{N}$ such that $n=2^{k}+l$, because then all $P_{k}$ appear in our sequence. But the existence of $n$ is obvious.

Define the sets $A_{n}$ as following:

$$

A_{n} = \{ x \in [0,1] \, : \, \mbox{x – y is an integer with} \, \sum_{k=1}^{n-1} \frac{1}{k} \leq y \leq \sum_{k=1}^{n} \frac{1}{k}\}.

$$

Then $\mu(A_{n}) = \frac{1}{n}$. Now define $f_{n}(x) = n \cdot \chi_{A_{n}}$ with $\chi_{A_{n}}$ the indicator function on $A_{n}$. Then $\int_{X} f_{n} d\mu = 1$ follows. Can you prove that $\frac{1}{n} f_{n}(x)$ converges nowhere on $[0,1]$?

- What is the remainder when $2^{1990}$ is divided by $1990$?
- How do I show that a matrix is injective?
- Looking for finite difference approximations past the fourth derivative
- Difference of number of cycles of even and odd permutations
- bilinear form – proof
- An integral of a rational function of logarithm and nonlinear arguments
- If $ \mathrm{Tr}(M^k) = \mathrm{Tr}(N^k)$ for all $1\leq k \leq n$ then how do we show the $M$ and $N$ have the same eigenvalues?
- Prove that $2^{10}+5^{12}$ is composite
- What's the difference between an initial value problem and a boundary value problem?
- Evaluating $\int_{0}^{\infty} \frac{x^{3}- \sin^{3}(x)}{x^{5}} \ dx $ using contour integration
- Expressing Factorials with Binomial Coefficients
- Irreducible representations of $\operatorname{GL}_3(\mathbb{F}_q)$
- Does $\mathrm{Mat}_{m \times n}$ have boundary?
- Upper bound for ramsey number $r(a_1,\ldots, a_m)$
- What concepts does math take for granted?