# Genelleştirilmiş f ortalaması
Matematik ve istatistik bilim dallarında genelleştirilmiş f-ortalaması merkezsel konum ölçülerinden olan değişik ortalamalar için tek bir genel fonksiyon ve formül bulma ve kullanma çabaları sonucu ortaya çıkarılmıştır. Benzer çabalar biraz değişik diğer bir genelleştirilmiş ortalama formülünü vermiştir. Bu nedenle isim karışıklığını önlemek için f-ortalaması çeşitli diğer isimlerde de anılmaktadır. Bazen yarı-aritmetik ortalama adı kullanılmaktadır. Bu kavramı ve formülü ilk geliştiren Rus matematikçisi A.Kolmogorov adına atfen de bazen Kolmogorov ortalaması olarak isimlendirilmektedir.


## Tanımlama.
Eğer "f", reel doğrunun bağlanmış altseti olan Syi reel sayılara tasarımlayan bir fonksiyon ise ve hem sürekli hem de enjektif ise, o halde şu iki sayı olan {x_1, x_2} ⊂S için f-ortalaması şöyle tanımlanır:
M_f(x_1,x_2) = f^-1( f(x_1)+f(x_2)/2 ).
n büyüklükteki bir veri dizisi 
olur ve f-ortalaması 
M_f x = f^-1( f(x_1)+ ⋯+ f(x_n)/n ).
ifadesi ile verilir.
Ters fonksiyon olan f^-1 mevcut olması için "f"nin enjektif olması gerekir. Fonksiyonun sürekli olması için 
f(x_1) + f(x_2)/2 
ifadesinin f^-1 sahasında bulunmalıdır. Böylece enjektif ve sürekli olması sağlanan "f" kesinlikle monotonik fonksiyon olur ve bunun için x içinde ne bu grubun içindeki en büyük sayıdan daha büyük ne de grubun en küçük sayısından daha küçük olabilir.


## Özellikler.
  - Bölüntülenme: f-ortalama hesaplanırken, veriler birbirine eşit alt-bloklara bölüntülenebilip genel sonuca etki yapmadan hesaplar ayrı ayrı alt-bloklara uygulanabilir:
M_f(x_1,…,x_n·k) =
 M_f(M_f(x_1,…,x_k),
 M_f(x_k+1,…,x_2·k),
 M_f(x_(n-1)·k + 1,…,x_n·k))
  - Elemanların çarpma özelliği korunursa, genel f-ortalamayı etkilemeden her altset için ayrı ortalama önceden hesaplanabilir.
 m=M_f(x_1,…,x_k) ile şu ifade gerçek olabilir
M_f(x_1,…,x_k,x_k+1,…,x_n) = M_f(m,…,m_k ,x_k+1,…,x_n)
  - Genelleştirilmiş f-ortalamasi f de kaymalar ve yeniden ölçeklenmelerden etkilenmez  yani 
∀a ∀b0 ((∀t g(t)=a+b·f(t)) ⇒∀x M_f x = M_g x).
  - Eğer f monotonik ise, o halde M_fde monotoniktir.


## İlişkiler.
  - Eğer S reel doğruya (yahut anin sıfır olmadığı herhangi bir doğrusal fonksiyon x↦a·x + ba) tasarımlanırsa ve f = id ise "f"-ortalaması aritmetik ortalama olur.
  - Eğer S pozitif reel sayılar setine tasarımlanırsa ve f = ln(x) ise "f"-ortalaması geometrik ortalama olur. "f"-ortalaması özelliklere uygun olarak bu sonuç eğer pozitif ise ve 1 değilse, dayandığı logaritma bazının ne olduğunun hiç önemi bulunmamaktadır.
  - Eğer S pozitif reel sayılar setine tasarımlanırsa ve f = 1/x ise "f"-ortalaması harmonik ortalama olur.
  - Eğer S pozitif reel sayılar setine tasarımlanırsa ve f = x^p ise "f"-ortalaması p üslü güç ortalaması olur.


## Homojenlik.
Ortalama için kullançılan fonksiyonlar ok kere homojendirler. Ancak "f-ortalaması" için f fonksiyonlarının çoğu homojen değildir. Homojenlik özelliği girdi veri değerlerini özel bir homojen ortalama C ile normalize ederek yani 
M_f,C x = C x ·f^-1( f(x_1/C x) + …+ f(x_n/C x)/n )
sağlanabilir. Ancak bu değişme bazı "f"-ortalamaları için monotonluk ve bölüntülenme özelliklerin ortadan kaldırabilir.


## İçsel kaynaklar.
  - Ortalama
  - Genelleştirilmiş ortalama
  - Jensen'in eşitsizliği