On some class of weighted means. (Q2616956)

Es sei das Punktsystem \((x_1, x_2, \dots,x_n)\) belastet mit dem Gewichtssystem \((w_1, w_2, \dots,w_n)\) wobei \(a\leq x_i \leq b\), \(0\leq w<W\) \((i=1,2,\dots,n)\) und \(w_1+w_2+\dots +w_n>0\) sei. Verf. stellt sich nun die Aufgabe, den Mittelwert \(M_n{x_1\,x_2\,\dots x_n \choose w_1\,w_2\,\dots w_n}\) zu finden, wenn für diesen vier von ihm aufgestellte sinngemäße Axiome gelten sollen. Er stößt dabei auf eine Funktion \(f(x,y)\) zweier Veränderlichen, die er ``Gewichtsfunktion'' nennt und die er schließlich darstellen kann durch eine stetige, monoton stets wachsende Funktion \(\varphi (x)\); für diese im halboffenen Intervall \([0,W)\) definierte Funktion \(\varphi (x)\) gilt \(\varphi (0)=0\) und \(\lim _{x\to W} \varphi (x)=\infty \). Die Darstellung von \(f(x,y)\) selbst ist dann \[ f(x,y) = \varphi ^{-1}\left (\varphi (x)+\varphi (y)\right ), \] wobei \(\varphi ^{-1}\) die zu \(\varphi \) inverse Funktion bezeichnet. In den \S \S {} 3-5 ergibt sich - zuerst für ganzzahlige (\S {} 3), darauf für rationale (\S {} 4) und schließlich für beliebige Gewichte (\S {} 5) - die Formel \[ M_n{x_1\,x_2\,\dots x_n \choose w_1\,w_2\,\dots w_n} = g^{-1} \left (\frac {\varphi (w_1)g(x_1)+\cdots +\varphi (w_n)g(x_n)}{\varphi (w_1)+\cdots +\varphi (w_n)}\right ), \] wobei auch \(g(x)\) eine stetige, monoton stets wachsende Funktion darstellt; es zeigt sich dabei, daß dieser Mittelwert auch die Postulate von \textit{Kolmogoroff} bzw. von \textit{Nagumo} (1930; F. d. M. \(56_{\text I}\), 198) erfüllt. In \S {} 6 kann jetzt Verf. seine Untersuchungen auf belastete Punktfolgen ausdehnen; er erhält (die Existenz der Grenzwerte vorausgesetzt), indem er den Mittelwert für die Folge mit \(L\) bezeichnet, \[ L{x_1x_2\dots x_nx_{n+1}\dots \choose w_1w_2\dots w_nw_{n+1}\dots } = \lim _{n\to \infty } M_n{x_1\,x_2\,\dots x_n \choose w_1\,w_2\,\dots w_n} = g^{-1} \left ( \lim _{n\to \infty }\frac {\sum _{k=1}^n \varphi (w_k)g(x_k)}{\sum _{k=1}^n\varphi (w_k)} \right ); \] eine notwendige und hinreichende Bedingung für die Existenz des Grenzwertes ist dann \(\sum _{n=1}^\infty \varphi (w_n)=\infty \). In \S {} 7 werden noch die Funktionen \(g\) und \(\varphi \) unter Zugrundelegung spezieller Annahmen über \(M_n\) genauer ausgewertet.