Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

This is a question about the proof of Lemma A in ยง16 of the book Functional Analysis by F. Riesz and B. Sz.-Nagy.

Lemma A: For every sequence of step functions $\{\varphi_n\}$ which decreases to zero almost everywhere, the sequence of values of their integrals also tends to zero.

The proof starts, by covering the set $E_0$ of all discontinuities of the sequence, which is of measure zero, with a system of intervals $\Sigma_0$ of total length less than $\varepsilon$. Then it continues:

For the remaining points $\varphi_n(x) \to 0$.

Here is the question: how do we conclude that the points where the series does not converge are covered by $\Sigma_0$? It is possible finish the proof by adding the points, where the sequence does not converge to $E_0$, but I assume the authors have a reason not to do so.

On the other hand, I think I have a counterexample: let the discontinuities of the step function $\varphi_n$ be at the points $x_{nk} = k2^{-n}$ for $k=1,\dots,2^{-n}-1$. Let the sequence be convergent except at the point $\xi=1/3$, for instance: \begin{gather} \phi_n(x) = \begin{cases} 1 & x\in \bigl(\tfrac{k}{2^{n}},\tfrac{k+1}{2^{n}}\bigr] \text{ where $k$ is such that } \tfrac{k}{2^{n}}<\tfrac13<\tfrac{k+1}{2^{n}} \\ 0 & \text{elsewhere} \end{cases} \end{gather}

Choose for $\Sigma_0$ the intervals $I_{nk} = (x_{nk}-\delta_{nk}, x_{nk}+\delta_{nk})$, where \begin{gather} \delta_{nk} = \min\left\{\varepsilon2^{-n}2^{-k}, \left|x_{nk}-\tfrac13\right|\right\}. \end{gather} Since for all indices $\delta_{nk}>0$, this set covers all discontinuities of the sequence, has total length less than $\varepsilon$, and does not cover the point $\xi$. Or am I wrong here?

share|improve this question
    
decrease = monton convergence almost everywhere, I'd guess. en.wikipedia.org/wiki/Monotone_convergence_theorem –  Marc Palm Sep 9 '13 at 7:48
    
@MarcPalm: yes, that's what I am assuming. But since this lemma is used to define the Lebesgue integral, I cannot use the tools on that page. –  Guido Kanschat Sep 9 '13 at 7:52
2  
I think the authors really meant to define $E_0$ as the set of points $x$ where either the sequence does not converge monotonically to $0$, or some $\phi_k$ is discontinuous. –  Pietro Majer Sep 9 '13 at 7:53
    
I think the points where the series does not converge is of Lebesgue meausre 0. By the definition of Lebesuge measure (using covering of open balls or open intervals), I think you can find the $\Sigma_0$ –  yaoxiao Sep 9 '13 at 9:11

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.