$\DeclareMathOperator{\essinf}{ess inf}$ $\DeclareMathOperator{\esssup}{ess sup}$ Let $f:[0,1]\to\mathbb{R}$ be Lebesgue-Borel measurable and essentially bounded. If $\essinf{f}<\esssup{f}$, is it possible to find $t\in(0,1)$ such that it holds either $ \essinf{f_{|[0,t]}}=\essinf{f}\quad\text{and}\quad\esssup{f_{|[t,1]}}=\esssup{f} $ or $ \esssup{f_{|[0,t]}}=\esssup{f}\quad\text{and}\quad\essinf{f_{|[t,1]}}=\essinf{f}\text{ ?} $
Subdivision of an interval based on essential upper and lower bounds
1
$\begingroup$
real-analysis
measure-theory
1 Answers
3
Define $f$ as
$f=\sum_{n=1}^\infty (-1)^n(1-1/n) \chi_{(1/(n+1),1/n]} \quad \text{ and } \quad f(0)=0.$
Then $f$ is measurable, since it's a limit of simple functions. We have that the essential supremum is $1$ and the essential infimum is $-1$. But these both are only achieved on $[0,t]$ for $t \in (0,1)$.
-
0Thank you for providing a true fix! I wish you all the best for 2013! – 2012-12-31