On an axiomatic research for the mean values of function. (Q2611745)

Anschließend an eine Arbeit desselben Verf. (Proc. Phys.-Math. Soc. Japan (3) 16 (1934), 117-126; JFM 60.0170.*) über Mittelwerte von höchstens abzählbar vielen Zahlen werden hier Mittelwerte von Funktionen \(f(x)\) in einem Intervall \((a, b)\) untersucht. Nachdem sechs Axiome bereitgestellt worden sind, denen ein Mittelwert \(M\left[f_a^b(x)\right]\) genügen muß, wird für beschränkte \textit{Riemann}-integrierbare Funktionen \(f(x)\) nachgewiesen, daß \(g^{-1}\left[\dfrac{1}{b-a}\int\limits_a^bg(f(x))\,dx\right]\) ein solcher Mittelwert ist; hierbei bedeutet \(g\) eine stetige, monoton stets wachsende Funktion und \(g^{-1}\) die Umkehrfunktion von \(g\). Durch Spezialisierung von \(g\) erhält man bekannte Mittelwerte, z. B: \[ \dfrac{1}{b-a}\int\limits_a^bf(x)\,dx, \quad \exp\dfrac{1}{b-a}\int\limits_k^b\log\, f(x)\,dx, \quad 1:\left(\dfrac{1}{b-a}\int\limits_a^b\dfrac{dx}{f(x)}\right). \] Während in dem ersten Teil der Arbeit, dem Charakter des \textit{Riemann}-Integrales entsprechend, nur Zerlegungen von \((a, b)\) in eine \textit{endliche} Anzahl von Teilintervallen eine Rolle spielen, werden im zweiten Teile auch Zerlegungen mit abzählbar unendlich vielen Teilintervallen zugelassen. Dies erfordert die Hinzunahme eines siebenten Axioms; ein allen sieben Axiomen genügender Mittelwert wird mit \(M(f^b_a(x))\) bezeichnet. Solche Mittelwerte existieren für alle beschränkten \textit{Lebesgue}-integrablen Funktionen, und zwar kann man wieder \(M(f^b_a(x)) = g^{-1} \left[\dfrac{1}{b-a}\int\limits_a^bg(f(x))\,dx\right]\) setzen, wobei das Integral dieses Mal im \textit{Lebesgue}schen Sinne zu nehmen ist.