# Möbius fonksiyonu
Möbius fonksiyonu μ(n), 1832 yılında Alman matematikçi August Ferdinand Möbius tarafından ortaya atılan çarpımsal bir fonksiyondur. Temel ve analitik sayılar teorisi'nde çoğunlukla kullanılan fonksiyon, genellikle Möbius inversiyon formülü'nün bir parçası olarak görülür. Gian-Carlo Rota'nın 1960'lı yıllardaki çalışmaları sonucunda μ(n) ile gösterilen Möbius fonksiyonunun genellemeleri kombinatoriğe tanıtılmıştır.


## Tanım.
Herhangi bir pozitif tam sayı n için μ(n), 1'in primitif olan "n"inci köklerinin toplamını ifade eder. μ(n), n'nin asal çarpanlarına ayrılışına göre {-1, 0, 1} değerlerini alabilir.
Eğer n,
  - çift sayıda asal çarpanı olan kare içermeyen (herhangi bir asal sayının karesine bölünmeyen) bir sayı ise μ(n) = +1,
  - tek sayıda asal çarpanı olan kare içermeyen bir sayı ise μ(n) = -1,
  - kare içeriyorsa μ(n) = 0
olur.
Möbius fonksiyonu alternatif olarak şu şekilde yazılabilir:
 μ(n)=δ_ω(n)Ω(n)λ(n)
Burada δ Kronecker deltasını, λ(n) Liouville fonksiyonunu ((-1)^Ω(n) olarak ifade edilir), ω(n) ve Ω(n) ise Asal omega fonksiyonlarını ifade eder.


## Değerler.
μ(n)'nin ilk 50 pozitif tam sayı için değerleri şu şekildedir:
Yukarıdaki değerlerin grafik üzerinde gösterimi aşağıdaki gibidir.


## Uygulamalar.
### Matematiksel seriler.
Möbius fonksiyonunu üreten Dirichlet serisi, Riemann zeta fonksiyonunun çarpımsal tersidir. Eğer s reel kısmı 1'den büyük bir karmaşık sayıysa
 ∑_n=1^∞μ(n)/n^s = 1/ζ(s)
eşitliği sağlanır.
Bu eşitlik 1/ζ(s)'nin Euler çarpımından da görülebilir:
 1/ζ(s) = ∏_p asal(1-1/p^s)=(1-1/2^s)(1-1/3^s)(1-1/5^s)⋯
İlgili seriler:
  - ∑_n=1^∞ n^s/= ζ(s)/ζ(2s)
  - ∑_n=1^∞ μ(n)lnn/n = -1
  - ∑_n=1^∞ μ(n)ln^2 n/n = -2γ (Burada γ, Euler-Mascheroni sabiti'ni ifade etmektedir.)
Möbius fonksiyonu için Lambert serisi:
 ∑_n=1^∞μ(n)q^n/1-q^n = q (|q| lt; 1 için yakınsaktır.) 
Asal α≤2 için de şunu yazabiliriz:
 ∑_n=1^∞μ(αn)q^n/q^n-1 = ∑_n ≥0 q^α^n, |q| lt; 1.


## Özellikler.
Möbius fonksiyonu μ(ab), a ve b aralarında asal ise çarpımsaldır (μ(ab) = μ(a)μ(b)).
n'nin her pozitif böleni d için μ(d) değerlerinin toplamı sıfırdır: (n = 1 hariç)
 ∑_d |nμ(d) = 
1 amp; eğer n = 1 ise 
0 amp; eğer n gt; 1 ise
Bu eşitlik Möbius inversiyon formülü'nün temelini oluşturur ve μ'nun aritmetik ve çarpımsal fonksiyonlar teorisindeki öneminin asıl nedeni budur.
μ'nun kombinatorikteki diğer uygulamaları Pólya'nın sayma teoremi'nin kullanımıyla beraber kombinatoryal gruplar ve kombinatoryal sayma ile bağlantılıdır.
Möbius fonksiyonu tarafından sağlanan bazı özdeşlikler:
 ∑_k ≤n ⌊ n/k ⌋μ(k) = 1
 ∑_jk ≤n cos( π(jk-1)/2 ) μ(k) = 1.


### Ortalama değer.
Möbius fonksiyonunun ortalama değeri sıfırdır. Bu iddia, asal sayı teoremine eşittir.


## Mertens fonksiyonu.
Sayılar teorisinde Möbius fonksiyonu ile yakından ilgili bir diğer fonksiyon her doğal sayı n için aşağıdaki gibi tanımlanan Mertens fonksiyonu'dur.
 M(n) = ∑_k=1^nμ(k)
Bu fonksiyon, Riemann zeta fonksiyonunun sıfırları ile yakından bağlantılıdır. Bunun hakkında daha fazla bilgi için Mertens konjektürü sayfasına bakabilirsiniz.
 μ(n) = ∑_1≤k ≤n ebob(k,n)=1 e^2πi k/n
eşitliğinden Mertens fonksiyonu şu şekilde yazılabilir:
 M(n)= -1+∑_a∈ℱ_n e^2πi a.
Burada ℱ_n, Farey dizisi'nin "n"inci kümesini belirtmektedir. Bu eşitlik, Franel-Landau teoremi'nin kanıtında kullanılmıştır.