Compact restrictions of the inclusion of $J:L_\infty(0,1)\to L_1(0,1)$ Given Banach spaces $X$, $Y$ and a bounded operator $T:X\to Y$ with non-closed range, a perturbation argument shows that there exists an infinite-dimensional closed subspace $M$ of $X$ such that the restriction of $T$ to $M$ is compact. 
Let $J:L_\infty(0,1)\to L_1(0,1)$ denote the natural inclusion. Is it posible to find a non-separable closed subspace $N$ of $L_\infty(0,1)$ such that the restriction of $J$ to $N$ is compact?
 A: There is even a non separable subspace $X$ of $L_\infty$ such that if $T: L_\infty \to Y$ is any weakly compact operator from $L_\infty$, then the restriction of $T$ to $X$ is compact.  Indeed, if $Z$ is a subspace of $L_\infty$ and $T: L_\infty \to Y$ is a weakly compact operator for which $T_{|Z}$ is not compact, then since $L_\infty$ has the Dunford-Pettis property, $\ell_1$ must embed into $Z$. In 2006, Argyros, Arvanakis, and Tolias constructed a separable space whose dual $X$  is non separable and is hereditarily indecomposable and hence $\ell_1$ does not embed into $X$.  The space $X$ embeds into $L_\infty$ because its predual, being separable, is a quotient of $L_1$.
A: Take the functions which are constant on the intervals $[1/(n+1),1/n)$ for all positive integers $n$. 
A: Every operator $\ell_\infty\to\text{separable}$ is weakly compact, thus, its restriction to an isomorphic predual of $\ell_1(I)$ is compact. And such nonseparable things exist in $\ell_\infty$: say, the span of characteristic functions of $\{n\}$ and an uncountable almost disjoint family of subsets of $\mathbb N$.
