space of bounded measurable functions

Let $(\Omega, \Sigma)$ be a measurable space. Is the space of bounded measurable functions $B_b(\Sigma)$ equipped with the supremum norm a Banach space, i.e. complete?

Solutions Collecting From Web of "space of bounded measurable functions"

Since my comment seems to have caused some confusion, here’s the argument (the answer is yes, of course):

Let $(f_n)_{n \in \mathbb{N}}$ be a Cauchy sequence in $B_{b}(\Omega,\Sigma)$, that is to say:

For every $\varepsilon \gt 0$ there exists $N(\varepsilon)$ such that for all $m,n \geq N$ we have $\|f_n – f_m\|= \sup_{x \in \Omega}{|f_n(x) – f_m(x)|} \lt \varepsilon$.

  1. For each $x \in \Omega$ we have $|f_n(x) – f_m(x)| \leq \|f_n – f_m\|$. It follows that $(f_n(x))_{n \in \mathbb{N}}$ is a Cauchy sequence in $\mathbb{R}$. Therefore $f(x) = \lim_{n \to \infty}{f_n(x)}$ exists (i.e. there is a function $f: \Omega \to \mathbb{R}$ such that $f_n \to f$ pointwise).

  2. The pointwise limit of a sequence of measurable functions is measurable: For all $a \in \mathbb{R}$ we have
    \{x \in \Omega\,:\,f(x) \leq a\}
    & =
    x \in \Omega \,:\,
    (\forall k \in \mathbb{N}) \,
    (\exists m \in \mathbb{N}) \,
    (\forall n \geq m)\quad f_n(x)
    \leq a+ \frac{1}{k}
    & =
    \bigcap_{k = 1}^\infty
    \bigcup_{m = 1}^\infty
    \bigcap_{n = m}^\infty
    \left\{x \in \Omega \,:\, f_n(x) \leq a + \frac{1}{k}\right\} \in \Sigma.
    It follows that $f$ is measurable.

  3. For $m,n \geq N(\varepsilon)$ we have for all $x \in \Omega$ that $|f_n(x) – f_m(x)| \lt \varepsilon$. Letting $n \to \infty$ we see that
    |f(x) – f_m(x)| \leq \varepsilon \quad\text{ for all } x \in \Omega\text{ whenever } m \geq N(\varepsilon).
    $$ It follows that

    • for all $x \in \Omega$ we have $|f(x)| \leq |f_m(x)| + \varepsilon \leq \|f_m\| + \varepsilon$, so that $f$ is bounded and by point 2 we already know that $f$ is measurable, so $f \in B_b(\Omega,\Sigma)$.

    • If $m \geq N(\varepsilon)$ we have $\|f – f_m\| \leq \varepsilon$ so that $f$ is the limit of $(f_n)$ in $B_b(\Omega,\Sigma)$.