Algebraic and topological structures on the set of mean functions and generalization of the AGM mean
We present new structures and results on the set of mean functions on a given symmetric domain in ℝ². First, we construct on a structure of abelian group in which the neutral element is the arithmetic mean; then we study some symmetries in that group. Next, we construct on a structure of metric space under which is the closed ball with center the arithmetic mean and radius 1/2. We show in particular that the geometric and harmonic means lie on the boundary of . Finally, we give two theorems...