3
$\begingroup$

Suppose $X\subseteq L_\infty$ is a compact subset of $L_p$ for all $1\leq p<\infty$. Does this mean that for every $\epsilon>0$ there exists a measurable set $E\subseteq [0,1]$ with $\lambda(E)> 1- \epsilon$ such that $\{f\chi_{E}\in X : f\in X\}$ is compact in $L_\infty$?

The converse is obvious.

  • 0
    @RabeeTourky I don't see how being new prevents you from posting an answer to the question... You should see a button $A$nsw$e$r Your Question somewhere in the bottom left corner.2012-09-09

1 Answers 1

3

The answer is no. The counterexample came to me a few seconds after hitting the post button (I'm sorry). However, this that the counter example is interesting and seems to be closely related to the non-topology of almost everywhere convergence in $L_1$.

The set of all monotone functions from $[0,1]$ to $\{0,1\}$ is a counter example. It is a compact (sublattice) in each $L_p$, is (a closed sublattice) in $L_∞$ and for every measurable set $E\subseteq [0,1]$, $λ(E)>0$, the set $X_E=\{f\chi_E: f∈X\}$ is not compact in $L_\infty$.

To see this notice for each $g\in\{f\chi_E: f∈X\}$ is separated from $\{f\chi_E: f∈X\}$ by an $L_\infty$-neighbourhood. Thus, in the relative topology of $L_\infty$ the singleton sets in $X_E$ are both open and closed. But $X_E$ has uncountably many elements. So it is not compact in $L_\infty$.