Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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?

share|improve this question
    
Yes. First: show that the pointwise limit of a Cauchy sequence exists, second: show that the pointwise limit is bounded, third: show that the pointwise limit is measurable. Fourth: show that the pointwise limit is a uniform limit. Which part is causing trouble? –  t.b. Apr 3 '12 at 7:36
    
Look here: math.stackexchange.com/questions/71121/… –  Matt N. Apr 3 '12 at 7:36
    
(just replace continuous with measurable) –  Matt N. Apr 3 '12 at 7:37
    
@tb: did you mean "Show that uniform limit (when exists) is a pointwise limit?" –  Ilya Apr 3 '12 at 9:23
    
@Ilya: No. See the answer below. –  t.b. Apr 3 '12 at 11:03

1 Answer 1

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 $$ \begin{align*} \{x \in \Omega\,:\,f(x) \leq a\} & = \left\{ 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} \right\} \\ & = \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. \end{align*} $$ 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)$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.