Dini's monotone convergence theorem says that if
- $X$ is compact
- $f_n:X\to\mathbb{R}$ is continuous for all $n\in\mathbb{N}$
- $f_n\to f$ pointwise, with $f$ continuous
- $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.)
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)\}$.