Suppose $(X,\mathcal {M})$ is a measurable space. For function $f(r,x): \mathbb R\times X\to\mathbb R$, suppose each r-section of it is $\mathcal M$-measurable. For constant $R\in\mathbb R$, do we have $\limsup \limits_{r\to R}f(r,x)$(this is a function of $x\in X$) always $\mathcal M$-measurable? The definition of $\limsup \limits_{r\to R} f(r)$ is $\inf\limits_{\delta>0}\{\sup\limits_{0<|r-R|<\delta}f(r)\}$. Thanks!
measurability of limit superior for functions
-
0@Carl That is a good question. Could I suggest that you ask it separately? – 2011-03-09
1 Answers
The principle is disprovable in ZFC. (I had a previous answer where I showed that it was disprovable from ZFC+CH, which I've edited with an improved solution).
First, fix some map $g$ from $(0,1)$ to itself such that for every $s \in (0,1)$ there are $r$ arbitrarily close to $0$ such that $g(r) = s$. The map $g$ can be taken to be $(1+\sin(1/r))/2$ but the exact definition isn't important.
Let $A$ be a nonmeasurable subset of $(0,1)$. For $r \in (0,1)$ we define the function $f_r: (0,1) \to \{0,1\}$ as the characteristic function of $A \cap \{g(r)\}$. So $f_r(g(r))$ is $1$ if $g(r) \in A$, and $f_r(g(r)) = 0$ otherwise, and $f_r(x) = 0$ for all $x \not = g(r)$.
Let $f: (0,1) \to \{0,1\}$ be the limit function $f(s) = \lim_{r \to 0^+} \sup_{\{t: 0 < t < r\}} f_t(s)$. Then $f$ is the characteristic function of $A$, and so $f$ is not measurable.
-
0And if it happens that f is continuous for each of its r-section, we can have the desired result, because the union of any collection of open sets is still open. – 2011-03-10