Über Folgen linearer Operationen. (Q5909012)

s bedeute \(\mathfrak A\) einen linearen Raum, dessen Punkte mit \(a\) bezeichnet werden. Jedem Punkte \(a\) sei eine Zahl \(D(a)\) zugeordnet mit folgenden Eigenschaften: 1. Es ist \(D(a)\geqq 0\) und \({}=0\) dann und nur dann, wenn \(a\) der Nullpunkt von \(\mathfrak A\) ist; 2. \(D(\lambda a)=|\lambda|D(a)\); 3. \(D(a+a')\leqq D(a)+D(a')\). Durch die Abstandsdefinition \(r(a,a')=D(a-a')\) wird dieser Raum ein \textit{metrischer} Raum. Er wird als vollständig vorausgesetzt. Sei \(\mathfrak B\) ein zweiter Raum mit den Punkten \(b\). Jedem Paare \(a\), \(b\) sei eine reelle Zahl \(U(a,b)\) zugeordnet, und die Operation \(U\) sei in \(a\) linear. Die obere Schranke von \(|U(a,b)|\) bei festgehaltenem \(b\) für alle der Bedingung \(D(a)=1\) genügenden \(a\) wird mit \(\varDelta(b)\) bezeichnet. Sie wird als (für jedes einzelne \(b\)) endlich vorausgesetzt und heißt die zu \(D(a)\) \textit{polare Maßfunktion}; der Raum \(\mathfrak B\) heißt ein zu \(\mathfrak A\) \textit{polarer Raum}. Es gilt die \textit{fundamentale Ungleichung} \(|U(a,b)|\leqq D(a)\cdot\varDelta(b)\). Ist \(b_n\) eine Punktfolge aus \(\mathfrak B\), so heißt die Operationsfolge \(U(a,b_n)\) \textit{beschränkt}, wenn für jedes \(a\) die Zahlenfolge \(U(a,b_n)\) beschränkt ist. Dann gilt der Satz: Damit die Operationsfolge \(U(a,b_n)\) beschränkt sei, ist notwendig und hinreichend, daß die Folge der Zahlen \(\varDelta(b_n)\) beschränkt sei. -- Ein Teil \(\mathfrak G\) von \(\mathfrak A\) heißt eine Grundmenge, wenn die Menge aller Punkte von \(\mathfrak A\), die Linearkombinationen endlich vieler Punkte von \(\mathfrak G\) sind, in \(\mathfrak A\) dicht ist. Nennen wir die Operationsfolge \(U(a,b_n)\) \textit{konvergent}, wenn für jedes \(a\) ein endlicher Grenzwert \(\lim\limits_{n=\infty}U(a,b_n)\) existiert, so gelten die Sätze: Damit die beschränkte Operationsfolge \(U(a,b_n)\) konvergent sei, ist notwendig und hinreichend, daß sie in allen Punkten einer Grundmenge konvergent sei. Damit insbesondere die Beziehung gelte \(\lim\limits_{n=\infty}U(a,b_n)=F(a)\), wo \(F\) eine lineare und stetige Funktion bedeutet, ist notwendig und hinreichend, daß diese Beziehung in allen Punkten einer Grundmenge gelte. Diese Sätze fassen eine große Anzahl bekannter Einzeltatsachen zusammen; so enthalten sie bei geeigneter Wahl des Raumes \(\mathfrak A\) und der Maßbestimmung \(D(a)\) den bekannten Satz von Toeplitz über lineare Mittelbildungen, die weitergehenden Sätze von Kojima und I.~Schur über lineare Transformation unendlicher Zahlenfolgen, verschiedene Sätze über lineare Transformation unendlicher Reihen, die Sätze von Lebesgue über Beschränktheit und Konvergenz linearer Integraloperationen \(\int_a^bf(x)\varphi_n(x)\,dx\), die Lebesguesche Theorie der singulären Integrale, Hahns Theorie des Interpolationsproblems. Zum Schlusse wird noch ein verallgemeinerter Stieltjesscher Integralbegriff \(\int_a^b f\,d\varPhi\) eingeführt, bei dem die Funktion \(\varPhi\) nicht als von endlicher Variation vorausgesetzt wird, und es werden sowohl Folgen \(\int_a^b f\,d\varPhi_n\) als auch Folgen \(\int_a^b\varphi_n\,dF\) verallgemeinerter Stieltjesintegrale auf Beschränktheit und Konvergenz untersucht.