13
$\begingroup$

Are simple functions dense in $L^\infty$? I've been able to show this for finite measure spaces but not in general.

2 Answers 2

15

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$.

  • 0
    What would happend if $f$ is unbounded?2013-03-17
  • 2
    @pondy: I'm not sure exactly what you mean to ask. If $f$ is not essentially bounded then the equivalence class of functions a.e. equal to $f$ is not in $L^\infty$. Each element of $L^\infty$ has a bounded representative of its equivalence class. If, say, $f:[0,1]\to\mathbb R$ is an unbounded function, then for every simple function $g:[0,1]\to\mathbb R$, $f-g$ is also unbounded.2013-03-17
  • 0
    I am sorry, that was a stupid doubt. Also I wanted to know if all functions in $L^p$ where $p < \infty$ are bounded. Or rather does the implication $\int |f|^p < \infty \Rightarrow |f| < \infty$ hold true. If not is there a counter example.2013-03-17
  • 2
    @pondy: No. Simple counterexample: $1/\sqrt x$ on $(0,1)$. Basic idea: Function gets big but the sets on which it is big get smaller faster.2013-03-17
  • 0
    @pondy: I just remembered the following, related to the question in your last comment: http://math.stackexchange.com/questions/90668/a-function-that-is-lp-for-all-p-but-is-not-l-infty2013-03-17
  • 0
    Are the integrable simple functions too dense in $\mathcal{L}^{\infty}$.2013-03-18
  • 0
    @pondy: $L^\infty$ functions on what measure space? If the space has finite measure, obviously yes. If the space has infinite measure, obviously no.2013-03-18
  • 0
    I don't see why the finiteness assumption matters. Can you elaborate a little.2013-03-18
  • 0
    @pondy: Do you have any thoughts on the problem? Where did you get stuck? Under what conditions is a simple function integrable? I do not want to elaborate on this hint here, now; you are of course welcome to ask this as a new question if you get stuck.2013-03-18
  • 0
    A simple function is integrable if it has a finite support. Is this the only reason or is there more to it? And I see why it is true - DCT.2013-03-18
  • 0
    @pondy: So on a measure space with finite measure, which simple functions are integrable? On a measure space with infinite measure, can you find a bounded function that is not close to any integrable simple function?2013-03-18
0

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$