Can Dini's theorem be strengthened to allow "pointwise" monotonicity?

419 Views Asked by At

Dini's monotone convergence theorem says that if

  1. $X$ is compact
  2. $f_n:X\to\mathbb{R}$ is continuous for all $n\in\mathbb{N}$
  3. $f_n\to f$ pointwise, with $f$ continuous
  4. $f_n(x)\leq f_{n+1}(x)$ or $f_n(x)\geq f_{n+1}(x)$ for all $x\in X$

then $f_n\to f$ uniformly.

Can (4) be relaxed so that the monotonicity is allowed to change direction with $x$? That is, if we say a series of functions $\left\{f_n\right\}$ is pointwise monotone if the series $\left\{f_n(x)\right\}$ is monotone (either increasing or decreasing) for each $x\in X$, can we replace (4) with the statement that $\left\{f_n\right\}$ is pointwise monotone?

(If there is a standard term for what I have called "pointwise monotone," please tell me.)

1

There are 1 best solutions below

1
On BEST ANSWER

This might be true... Maybe you can do it like this: Look at the compact set $\{x \in X : f(x) \geq f_1(x)\}$. Here you have to see $f_n$ increasing or else they wouldn't converge even pointwise. (Note if $f(x) = f_1(x)$ then $f_n(x) = f_1(x)$ for all $n$.) So you can apply usual Dini. Do the same for the closed set $\{x \in X : f(x) \leq f_1(x)\}$.