title: Moyenne quasi-arithmétique
text: # Moyenne quasi-arithmétique
  
  En mathématiques et en statistiques, les moyennes quasi-arithmétiques, ou moyennes de Kolmogorov ou encore moyennes selon une fonction f constituent une généralisation de la moyenne (de Hölder) d'ordre p (qui est elle-même une généralisation des moyennes usuelles : arithmétique, géométrique, etc.). Elles sont paramétrées par une fonction f.
  
  ## Définition
  
  Soit $f$ une fonction d'un intervalle $I\subset \mathbb {R}$ dans les nombres réels, continue et injective.
  
  La moyenne selon la fonction f des $n$ nombres $x_{1},\dots ,x_{n}\in I$ est définie par $M_{f}(x_{1},\dots ,x_{n})=f^{-1}\left({\frac {f(x_{1})+\cdots +f(x_{n})}{n}}\right)$, que l'on peut aussi écrire
  
         $M_{f}({\vec {x}})=f^{-1}\left({\frac {1}{n}}\sum _{k=1}^{n}f(x_{k})\right)$
  
  Il est nécessaire que $f$ soit injective pour que son inverse $f^{-1}$ soit définie. Comme $f$ est définie sur un intervalle, ${\frac {f(x_{1})+\cdots +f(x_{n})}{n}}$ appartient au domaine de définition de $f^{-1}$.
  
  Comme $f$ est injective et continue, elle est strictement monotone, d'où il découle que la moyenne selon f est toujours comprise entre le minimum et le maximum des nombres en argument :
  
      $\min(x_{1},\ldots ,x_{n})\leqslant M_{f}(x_{1},\ldots ,x_{n})\leqslant \max(x_{1},\ldots ,x_{n})$
  
  ## Exemples
  
  (Dans les exemples suivants, $I=\mathbb {R}$ ou $\mathbb {R} ^{+}$)
  
  * Pour $f(x)=a\cdot x+b$, alors la moyenne selon f correspond à la moyenne arithmétique quels que soient $a\neq 0$ et $b$ (voir la propriété d'invariance d'échelle infra).
  * Pour $f(x)=\log _{a}x$, alors la moyenne selon f correspond à la moyenne géométrique quelle que soit la base du logarithme dès lors que celle-ci est positive et différente de 1.
  * Pour $f(x)={\frac {1}{x}}$, alors la moyenne selon f correspond à la moyenne harmonique.
  * Pour $f(x)=x^{p}$, alors la moyenne selon f correspond à la moyenne d'ordre $p$.
  * Pour $f(x)=e^{x}$, alors la $f$-moyenne est la moyenne dans le demi-anneau logarithmique (en), qui est une version décalée d'une constante de la fonction softmax: $M_{f}(x_{1},\dots ,x_{n})=\mathrm {softmax} (x_{1},\dots ,x_{n})-\ln(n)$. Le $-\ln(n)$ correspond à une division par $n$.
  * Par contre, la moyenne logarithmique n'est pas une moyenne quasi-arithmétique.
  
  ## Propriétés
  
  Les propriétés suivantes sont vraies pour toute fonction $f$ satisfaisant à la définition ci-dessus:
  
  Symétrie : La valeur de $M_{f}$ est invariante par permutation de ses arguments.
  
  Point fixe : $\forall x\in I,M_{f}(x,\dots ,x)=x$.
  
  Croissance : $M_{f}$ est croissante en chacun de ses arguments (puisque $f$ et $f^{-1}$ sont monotones de même sens).
  
  Continuité : $M_{f}$ est continue en chacun de ses arguments (puisque $f$ est continue).
  
  Substitution : n'importe quel sous-ensemble de $k$ arguments peut être remplacé par sa $f$-moyenne répétée $k$ fois, sans changer le résultat de la $f$-moyenne globale. Si l'on note $m=M_{f}(x_{1},\dots ,x_{k})$ on a ainsi:
  
      $M_{f}(x_{1},\dots ,x_{k},x_{k+1},\dots ,x_{n})=M_{f}(\underbrace {m,\dots ,m} _{k{\text{ fois}}},x_{k+1},\dots ,x_{n})$
  
  Partitionnement (ou associativité) : Le calcul de la moyenne selon f peut être séparée en plusieurs calculs de sous-ensembles de même taille :
  
      $M_{f}(x_{1},\dots ,x_{n\cdot k})=M_{f}(M_{f}(x_{1},\dots ,x_{k}),M_{f}(x_{k+1},\dots ,x_{2\cdot k}),\dots ,M_{f}(x_{(n-1)\cdot k+1},\dots ,x_{n\cdot k}))$
  
  Auto-distributivité : Pour toute moyenne de Kolmogorov $M$ de deux arguments, on a :
  
      $M(x,M(y,z))=M(M(x,y),M(x,z))$.
  
  Médialité : Pour toute moyenne de Kolmogorov $M$ de deux arguments, on a :
  
      $M(M(x,y),M(z,w))=M(M(x,z),M(y,w))$.
  
  Équilibrage : Pour toute moyenne de Kolmogorov $M$ de deux arguments, on a :
  
      $M\left(M(x,M(x,y)),M(y,M(x,y))\right)=M(x,y)$.
  
  Théorème central limite : Sous conditions de régularité et pour un échantillon suffisamment grand, ${\sqrt {n}}\{M_{f}(X_{1},\dots ,X_{n})-f^{-1}(M_{f}(X_{1},\dots ,X_{n}))\}$ suit approximativement une loi normale.
  
  Invariance d'échelle : La moyenne de Kolmogorov est invariante par translation et homothétie de la fonction $f$:
  
      $\forall a,\ \forall b\neq 0,((\forall t,\ g(t)=a+b\cdot f(t))\Rightarrow \forall x;\ M_{f}(x)=M_{g}(x)$.
  
  ## Caractérisation
  
  Il existe plusieurs ensembles de propriétés qui caractérisent la moyenne de Kolmogorov (c'est-à-dire que pour toute fonction ${\mathcal {M}}$ satisfaisant ces propriétés, il existe une fonction $f$ telle que ${\mathcal {M}}=M_{f}$).
  
  * La médialité est essentiellement suffisante pour caractériser une moyenne de $Kolmogorov^{:chapitre17}.$
  * L'auto-distributivité est essentiellement suffisante pour caractériser une moyenne de $Kolmogorov^{:chapitre17}.$
  * Kolmogorov a démontré que les cinq propriétés de symétrie, point fixe, monotonicité, continuité et substitution caractérisent entièrement une moyenne de Kolmogorov.
  * Équilibrage: Une question intéressante consiste à savoir si cette propriété peut remplacer celle de substitution dans l'ensemble de Kolmogorov, c'est-à-dire si les cinq propriétés de symétrie, point fixe, monotonicité, continuité et équilibrage suffisent à caractériser une moyenne de Kolmogorov. Georg Aumann (en) a démontré dans les années 1930 que la réponse, en général, est non, mais qu'il suffit d'ajouter l'hypothèse que ${\mathcal {M}}$ soit analytique pour que ce soit le cas.
  
  ## Homogénéité
  
  Les moyennes sont habituellement homogènes, mais pour presque toutes les fonctions $f$, la moyenne selon f ne l'est pas. En fait, les seules moyennes de Kolmogorov homogènes sont les moyennes d'ordre p. Voir Hardy–Littlewood–Pólya, page 68.
  
  La propriété d'homogénéité peut cependant être obtenue en normalisant les arguments par une moyenne (homogène) $C$.
  
      $M_{f,C}x=Cx\cdot f^{-1}\left({\frac {f\left({\frac {x_{1}}{Cx}}\right)+\cdots +f\left({\frac {x_{n}}{Cx}}\right)}{n}}\right)$
  
  Cependant, cette modification peut violer les propriétés de monotonicité et de partitionnement.
  
  