Let $(\Omega,\Sigma, \mu)$ be a probability measure and $X$ a Banach space. I am interested in subsets $F\subseteq L_\infty (\mu,X)$ that satisfy these two compactness conditions:

- $F$ is a norm-compact subset of $L_1(\mu, X)$; and
- For any sequence $f_n$ in $F$ there exists a set $E\in \Sigma$, $\mu(E)=1$, such that each $L_1$-norm convergent subsequence of $f_n$ converges pointwise on $E$.

An example of such a set is any compact subset $F$ of $L_\infty (\mu,X)$. To see this suppose that $f_n$ is a sequence in $F$. There is $E\in \Sigma$, $\mu(E)=1$, such that for any $m,n$ we have $\|f_m(\omega) - f_n(\omega)\|\leq \|f_m-f_n\|_\infty$ for all $\omega\in E$. Now if $f_m$ is an $L_1$-convergent subsequence of $f_n$, then it must be converging in $L_\infty$, and converging pointwise on $E$.

More generally, the compactness condition is satisfied by

- $\star$ $F\subseteq L_\infty (\mu,X)$ and for every $\epsilon>0$ there exists $E\in \Sigma$, $\mu(E)>1-\epsilon$ with $$ \{f\chi_E: f\in F\} $$ is compact in $L_\infty (\mu,X)$.

An example of an $L_1$-compact set that does not satisfy the compactness conditions 2 or $\star$ is the set of monotone step functions $f\colon [0,1]\to \{0,1\}$.

Now for my question: Does there exist a set satisfying 1 and 2 but not satisfying the $L_\infty$ compactness condition $\star$?

I don't have an answer to this for the case $X=R$ and $\Omega=[0,1]$.