Sets of independent postulates for the arithmetic mean, the geometric mean, the harmonic mean, and the root-meansquare. (Q1444610)

Für das arithmetische Mittel hat R. Schimmack (Der Satz vom arithmetischen Mittel in aromatischer Begründung; Math. Ann. 68 (1909), 125-132; F. d. M. 40, 285 (JFM 40.0285.*)) ein System von Axiomen angegeben, deren Unabhängigkeit von R. D. Beetle (On the complete independence of Schimmack's postulates for the arithmetic mean: Math. Ann. 76 (1915), 444-446; F. d. M. 45. 354) nachgewiesen worden ist. In der vorliegenden Arbeit wird für jedes der vier Mittel \[ \begin{multlined} \dfrac{1}{n}(x_1+x_2+\cdots +x_n),\quad \root n\of{x_1x_2, \ldots, x_n},\\ \dfrac{1}{ \dfrac{1}{n}\biggl(\dfrac{1}{x_1}+ \dfrac{1}{x_2}+\cdots + \dfrac{1}{x_n}\biggr)},\quad \sqrt{\dfrac{1}{n}(x_1^2+x_2^2+\cdots +x_n^2)} \end{multlined} \] ein System von Axiomen gegeben und die Unabhängigkeit jedes Axiomensystems nachgewiesen. Jedes Mittel wird zunächst als eine den folgenden fünf Grundeigenschaften genügende Funktion \(f\) der positiven reellen Variabeln \(x_1, \ldots, x_n\) betrachtet: I. \(f\) ist symmetrisch. II. \(f(x_1, x_2, x_3, \ldots, x_n)=f(m, m, x_3, \ldots, x_n)\), wobei \(m = f(x_1, x_2)\). III. \(f\) ist homogen von der ersten Dimension. IV. \(f(a, a, \ldots, a) = a\). V. \(f\) ist positiv. Zu diesen gemeinsamen Eigenschaften kommen je vier spezielle Eigenschaften für jedes Mittel; diese lauten beim arithmetischen Mittel: \[ \begin{matrix}\l\quad&\l\\ f(a,b)=\dfrac12(a+b) &\\ f(1-a, 1-b)=1-f(a,b),\quad a<1, b<1, & \\ f(1-x_1, 1-x_2, \ldots, 1-x_n)=1-f(x_1, x_2, \ldots, x_n), & 0<x_\nu<1,\\ f(A-x_1, A-x_2, \ldots, A-x_n)=A-f(x_1,x_2, \ldots, x_n), & 0<x_\nu<A, \end{matrix} \] beim geometrischen Mittel: \[ \begin{aligned} &f(a,b)=\sqrt{ab}, \\ &f\biggl(\dfrac{1}{a}, \dfrac{1}{b}\biggr)=\dfrac{1}{f(a,b)}, \\ &f\biggl(\dfrac{1}{x_1},\dfrac{1}{x_2}, \cdots,\dfrac{1}{x_n}\biggr )=\dfrac{1}{f(x_1,x_2, \ldots, x_n)},\\ &f\biggl(\dfrac{A}{x_1},\dfrac{A}{x_2},\cdots,\dfrac{A}{x_n}\biggr)=\dfrac{A}{f(x_1,x_2, \ldots, x_n)},\quad A>0. \end{aligned} \] Für jedes Mittel werden aus diesen speziellen Eigenschaften und aus I--V Systeme von unabhängigen Axiomen ausgewählt. In einem Anhang werden Axiome für das arithmetische Mittel zunächst beliebiger reeller, dann komplexer Größen gegeben.