Totalisation des séries. (Q2590770)

Es sei \(e\) eine abzählbare Menge reeller Zahlen \(x_n\) aus \((0,1) = \sigma\) von vorgegebenem Ordnungstypus. Über \(e\) als Definitionsbereich sei eine reelle, endliche Funktion \(u_n = u(x_n)\) erklärt. Man sagt: ``Die Reihe \(\sum Tu_n\), deren Glieder \(u_n\) dem Ordnungstypus von \(e\) entsprechend geordnet sind, ist einfach totalisabel, und das Total von \(\sum Tu_n\) besitzt den Wert \(s\)'', wenn eine reelle Funktion \(f(x)\) über \((\sigma - e)\) als Definitionsbereich existiert mit folgenden Eigenschaften: 1) Überall in \(\sigma\) existiert der rechts- und der linksseitige Grenzwert \(f(x \pm0)\) von \(f(x)\). Speziell ist \(f(0 + 0) = 0\), \(f(1 - 0) = s\). 2) In \((\sigma - e)\) ist \(f(x)\) stetig. Ferner ist \(f(x_n + 0) - f(x_n - 0) = u_n\) für jedes \(x_n\in e\). 3) Jede perfekte Teilmenge von \(\sigma\) besitzt eine Teilmenge \(\mathfrak P'\), auf welcher die totale Variation von \(f(x)\) existiert und gleich ist der Summe der Sprünge \(|u_n|\), genommen über alle in \(\mathfrak P'\) enthaltenen \(x_n\in e\). Es werden die Konsequenzen insbesondere der Eigenschaft 3) untersucht; und im Anschluß daran wird gezeigt, daß die oben erklärte Totalisation von Reihen \(\sum Tu_n\) äquivalent ist mit einem Spezialfall der Totalisation bei Funktionen.