On \textit{Cantor}'s theorem concerning the coefficients of a convergent trigonometric series, with generalizations. (Q1489158)

Es wird ein außerordentlich einfacher und das Wesen der Sache aufdeckender Beweis des bekannten \textit{Cantor}schen Satzes in der wesentlich erweiterten Form gegeben: Wenn für alle \(x\) eines beliebig kleinen Intervalles \(\lim_{n=\infty}(a_n \cos nx+b_n\sin nx) = 0\) ist, so ist auch \(\lim a_n = \lim b_n = 0\). Die Methode dieses Beweises gestattet (im Gegensatz zu allen bisher bekannten), den Satz auch dann zu beweisen, wenn statt \(\cos nx\) oder \(\sin nx\) irgend eine Funktionenfolge \(f_n(x)\) von der Eigenschaft eingesetzt wird, daß alle \(f_n(x)\) in einem gegebenen Intervall \((a,b)\) stetig sind, und daß für ein gewisses \(l > 0\) in jedem Teilintervall von \((a,b)\) und für jedes hinreichend große \(n\) mindestens ein \(x\) existiert, für das \(| f_n(x)| > l\) ist. Ist unter diesen Voraussetzungen für alle \(x\) eines noch so kleinen Teilintervalles von \((a,b)\) die Reihe \(\sum A_nf_n(x)\) konvergent oder auch nur \(\lim_{n=\infty} A_nf_n(x)=0\), so ist \(\lim A_n=0\). Die Voraussetzungen dieses Satzes werden außer von den Kreisfunktionen z. B. auch von den Kugelfunktionen im Intervall \((-1,+1)\) und (nach leichter Modifikation) auch von den \textit{Bessel}schen Funktionen erfüllt; für Reihen, die nach diesen Funktionen fortschreiten, gilt also der ausgesprochene Satz. Endlich läßt sich der Satz auch auf Doppel- und mehrfache Reihen von 2 und mehr Variablen ausdehnen, wenn nur der Konvergenzbegriff dabei vorsichtig genug gefaßt wird.