Are simple functions dense in $L^\infty$?

Solution 1:

If $f$ is bounded, then the function that has value $k\cdot\varepsilon$ on the set where $k\cdot\varepsilon\leq f(x)<(k+1)\cdot\varepsilon$ (for each $k\in\mathbb Z$) is a simple function whose $L^\infty$ distance to $f$ is at most $\varepsilon$.

Solution 2:

From definition of $L_{\infty}(X,\mathbb{X},\mu)$ as the set of all function essentially bounded , where $f:X\longrightarrow \mathbb{R}$ a function $\mathbb{X}$-measurable is essentially bounded iff there is a bounded function $g:X\longrightarrow \mathbb{R}$ such that $g=f$ on $\mu$-a.e, we have that for any $f\in L_{\infty}$ it can be found a representative $g$ from equivalence class $f$ that is bounded.

So, for that function we can find a sequence $(\phi_n)$ of simple function that converges uniformly to $g$ in $L_{\infty}$, so that sequence converges also to $f$ in $L_{\infty}$.

As all simple function belongs to $L_{\infty}$, this convergency is given in $L_{\infty}$, so $\parallel f-\phi_n \parallel_{\infty} \rightarrow 0$

Solution 3:

Consider the function $f \equiv 1$ on $L^{\infty}(\mathbb{R},\mu)$, then $\|s-f\|_{\infty} > \varepsilon$ for any simple function $s$. In particular we can have $\|s-f\|_{\infty} > 1$. So simple functions may not be dense in $L^{\infty}$. But note that here I have assumed that $ \mu \big(\{x \in X : s(x) \neq 0\}\big) < \infty $.