Einfacher Beweis des Satzes von Arzelà-Osgood der Integralrechnung. (Q2580057)

Mittels eines unten aufgeführten Hilfssatzes wird der bekannte Satz bewiesen: Es sei in dem Intervalle \(\langle a,b\rangle\) \((a < b)\) \(f_n(x)\) (\(n=1, 2,\ldots\)) eine nach \(f (x)\) konvergierende Folge Riemann-integrierbarer und gleichmäßig beschränkter Funktionen; dann konvergiert auch \(\int\limits_a^b f_n(x)\,dx\) nach \(\int\limits_a^b f(x)\,dx\) (Riemannsche Integrale). Der Hilfssatz lautet: Jedes \(W_m\) (\(m= 1,2,\ldots\)) bedeute eine abzählbare Menge von paarweise punktfremden (offenen, halboffenen oder geschlossenen) Intervallen \(w_{mn}\) (\(n =1,2,\ldots\)), die alle im Intervalle \(\langle a,b\rangle\) liegen; es gelte weiter \(W_n \supseteqq W_{n+1}\) und \(\mu W_m = \sum\limits_{n=1}^{\infty}\mu w_{mn} >c>0\), \(c\) konstant (wenn \(w_{mn}\) das Intervall \((\alpha,\beta)\) bedeutet, so sei \(\mu w_{mn} = \beta-\alpha\)). Dann ist der Durchschnitt aller \(W_m\) nichtleer.