Geometrik dağılım

\!|
  Basıklık   =6+\frac{p^2}{1-p}\!|
  entropi    =-\frac{1-p}{p}\ln(1-p)-\ln p\!|
  mf        =\frac{pe^t}{1-(1-p) e^t}\!|
  kf       =\frac{pe^{it}}{1-(1-p)\,e^{it}}\!|
  parametreler2 =0  başarı olasılığı (reel)|
  destek2    =k \in \{0,1,2,3,\dots\}\!|
  ODF2        =(1 - p)^{k}\,p\!|
  CDF2        =1-(1 - p)^{k+1}\!|
  ortalama2       =\frac{1-p}{p}\!|
  medyan2     =|
  mod2       =0|
  varyans2   =\frac{1-p}{p^2}\!|
  çarpıklık2   =\frac{2-p}{\sqrt{1-p}}\!|
  basıklık2   =6+\frac{p^2}{1-p}\!|
  mf2        =\frac{p}{1-(1-p)e^t}\!|
  kf2      =\frac{p}{1-(1-p)\,e^{it}}\!|
}}
Olasılık kuramı ve istatistik bilim dallarında *geometrik dağılım* şu iki şekilde ifade edilebilen ayrık olasılık dağılımıdır:

* Bütün tam sayılar setine, yani { 1, 2, 3, .... } üzerine, bağlı olarak *X* sayıda Bernoulli denemesinde ilk başarıyı elde etmenin olasılık dağılımı; veya
* Bütün tam sayılar setine, yani {1, 2,3, ....} üzerine, bağlı olarak ilk başarıyı elde etmeden *Y*&nbsp;=&nbsp;*X*&nbsp;−&nbsp;1 başarısızlık sayısı olasılık dağılımı.

İstatistikçiler aynı varsayımlara bağlı olarak *geometrik dağılım* için iki değişik şekilde açıklama ortaya çıkartmışlardır. Bunlar mantıken eşit olmakla beraber iki açıklamanın birbiri ile mutlak karıştırılmaması gerekir. Bunlardan ikinci açıklamaya *kaydırılmış* geometrik dağılımı adı verilmektedir. Bunlardan hangisinin geometrik dağılım olarak kabul edilip kullanılacağı elverişlilik ve matematiksel göreneklere göre değişir.

Birinci açıklamaya göre eğer her bir deneme için başarılılık olasılığı  *p* ise, tek bir başarı elde etmek için gereken *k* deneme sayısı için olasılık şöyle verilir:

:\Pr(X = k) = (1 - p)^{k-1}\,p\,

burada *k* = 1, 2, 3, ....

Eşit şekilde, *kaydırılmış* geometrik seri açıklamasına göre, eğer her bir deneme için başarılılık olasılığı *p* ise, ilk başarıyı elde etmeden *k* sayıda başarısızlık elde etme için olasılık şöyle verilir:

:\Pr(Y=k) = (1 - p)^k\,p\,

burada *k* = 0, 1, 2, 3, ....

Dikkat edilirse burada iki değişik açıklama için değişik rassal değişken, *X* ve *Y*, kullanılmıştır. Her iki açıklamada da  olasılık serileri bir geometrik seri olarak elde edilir.

Bir örnek olarak bir kusursuz zar atma deneyine bakılsın ve bir zar arka arkaya ilk defa *6* gelmesine kadar atılsın. İstenen bir sonucu elde etmek için gereken zar atılma sayısı için bir sonsuz sonuç seti (1, 2, 3, ...) bulunur ve her bir deneme için yani her zar atışı için *6* gelmesi olasılığı *p* olur. Eğer *6* gelmeden önce atılması gereken zar sayısının olasılığı ilgi konusu ise bu birinci tip bir geometrik dağılımdır; eğer ilk *6* atmadan yapılan başarısız zar atması sayısı olasılığı ilgi konusu ise bu ikinci tip (kaydırılmış) geometrik dağılımdır.
 
## Momentler ve kümülantlar

Geometrik dağılım gösteren *X* rassal değişkeni *X* için beklenen değer  1/*p* ve varyans değeri (1&nbsp;−&nbsp;*p*)/*p*2 :

:\mathrm{E}(X) = \frac{1}{p},
 \qquad\mathrm{var}(X) = \frac{1-p}{p^2}

olur.

Benzer şekilde, geometrik dağılım gösteren *Y* rassal değişkeni için beklenen değer   (1-p)/p ve varyans değeri ise (1-p)/p^2

:\mathrm{E}(Y) = \frac{1-p}{p},
 \qquad\mathrm{var}(Y) = \frac{1-p}{p^2}.

\mu = (1-p)/p değerinin  *Y* için beklenen değer olduğu kabul edilsin. O zaman *Y* için olasılık dağılımının kümülant değeri \kappa_n  şu matematik yineleme ilişkisine (recursion) uyar:

:\kappa_{n+1} = \mu(\mu+1) \frac{d\kappa_n}{d\mu}.

## Parametre tahminleri

Geometrik dağılımın her iki alternatif  şekli için *p* değerinin tahmini, dağılımın  beklenen değerinin örnekleme ortalamasına eşit varsayımının kabulu suretiyle yapılabilir. Bu tahmin tipi istatistik kuramında tahmin için momentler yöntemi adı ile anılır. Geometrik dağılım  için *p* değerinin bu yönteme göre tahmin edilmesi bir maksimum olabilirlilik tahmini ortaya çıkarır.

Özellikle geometrik dağılımın birinci alternatifi için i=1,\dots,n için  k_i \geq 1 olduğu zaman 
:k_1,\dots,k_n 
bir örnekleme olduğu kabul edilsin. O zaman *p* değerinin tahmini şöyle verilir:
:\widehat{p} = \left(\frac1n \sum_{i=1}^n k_i\right)^{-1}. \!

Bayes tipi sonuç çıkartıcı istatistik kuramına göre ise *p* parametresi için eşlenik önsel dağılımı bir Beta dağılımı olur. Eğer herhangi bir *p* parametre değeri için önsel olarak  :Beta(*α*,&nbsp;*β*) 
verilmiş ise, sonsal dağılım şöyle ifade edilir:

:p \sim \mathrm{Beta}\left(\alpha+n,\ \beta+\sum_{i=1}^n (k_i-1)\right). \!

*α* ve *β* değerleri sıfıra yaklaştıkça, sonrasal ortalama olan \mathrm{E}[p] maksimum olabilirlilik tahmini olan \widehat{p}  değerine yaklaşır.

Diğer alternatif halde, i=1,\dots,n için k_i \geq 0 olduğu halde bir örneklemin ifadesi  k_1,\dots,k_n olsun. Bu halde *p* şöyle tahmin edilir:
 
:\widehat{p} = \left(1 + \frac1n \sum_{i=1}^n k_i\right)^{-1}. \!

Bir Beta(*α*,&nbsp;*β*) önseli için verilmiş *p* için sonsal dağılım şudur:

:p \sim \mathrm{Beta}\left(\alpha+n,\ \beta+\sum_{i=1}^n k_i\right). \!

Tekrar, sonsal ortalama olan \mathrm{E}[p] değerinin, *α*ve *β* sıfır değerine yaklaştıkça, maksimum olabilirlilik tahmini \widehat{p} değerine yaklaşır.

## Diğer özellikler

* *X* ve *Y* rassal değişkenleri için olasılık üreten fonksiyonlar sırasıyla şöyle ifade edilir:

::G_X(s) = \frac{s\,p}{1-s\,(1-p)}, \!
::G_Y(s) = \frac{p}{1-s\,(1-p)}, \quad |s| 

* Geometrik dağılım, sürekli olasılık dağılım analogu olan üstel dağılım gibi, belleksiz olma özelliği gösterir. Bu demektir ki eğer bir deneyi ilk başarıyı elde edinceye kadar tekrarlarsak, birinci başarı daha ortaya çıkmadığı için, daha fazla sayıda yapılması gerek deneme sayısı için koşullu olasılık dağılımı o zamana kadar gözlemi yapılmış olan başarısızlık sayısına bağlı değildir. Deneme arka arkaya atılan zar veya havaya atılan ve tutulan madeni para ile yapılmakta ise, her deneme için önceki başarısızlıklar hakkında bilgi bulmak, sonuç bulmak için hiç yarar sağlamaz; yani deneme belleksizdir. Geometrik dağılım gerçekte tek belleksiz olan aralıklı olasılık dağılımıdır.
* Bütün tam sayılar seti, yani (1, 2, 3, ...), üzerinde desteklenen ve değeri verilmiş bir μ beklenen değeri bulunan, bütün aralıklı olasılık dağılımlar arasında, *X* rassal değişkeni için *p* = 1/μ  parametreli geometrik dağılım en büyük entropi gösterenidir.
* İlk başarıdan önce başarısızlık sayısı olan *Y* rassal değeri için geometrik dağılım, sonsuz bölünebilirlilik özelliği gösterir. Bu demektir ki herhangi bir pozitif tam sayı olan *n* için, bağımsız ve birbiri ile aynı dağılım gösteren  *Y*1, ..., *Y**n* rassal değişkenleri vardır ve bunların toplamı *Y* ile aynı dağılım gösterir. Yalnızca *n*=1 hariç, bunlar geometrik dağılım göstermezler, bunların dağılımı  negatif binom dağılımı ile temsil edilir.
* Geometrik dağılım gösteren bir *Y* rassal değişkeni için olasılık ondalıklı olarak yazılınca her on üssü için teksayı seri halinde bağımsızlık özelliği gösteren birer rassal değişken değeri olur. Örneğin, yüzlük sayı gösteren D teksayısı için bu rassal değişkenin olasılık dağılımı şöyle verilir:

::\Pr(D=d) = {q^{100d} \over {1 + q^{100} + q^{200} + \cdots + q^{900}}},

:burada *q* = 1&nbsp;−&nbsp;*p*. Diğer on üssü teksayıları için de benzer olasılık dağılımları ortaya çıkartılabilir.

## Diğer dağılımlarla ilişkiler

* *Y* için geometrik dağılım *r*=1 olan özel bir negatif binom dağılımıdır. Daha genel olarak   eğer *'Y*1,...,*Y**r*  rassal değişkenleri için bağımsızlık gösteren *p* parametreli bir sıra geometrik dağılımlar görülüyorsa

::Z = \sum_{m=1}^r Y_m

:*r* ve *p* parametreleri olan bir negatif binom dağılımı gösterir.

* Eğer *Y*1,...,*Y**r* bir sıra bağımsız (olasılıkla değişik başarı parametreleri  p^{(m)}) olan) geometrik dağılım gösteren  değişkenlerse, bunların minimum değerlerini ifade eden

::W = \min_{m} Y_m\,

:terimi de *p* parametresi

::1-\prod_{m}(1-p^{(m)})

:değerde olan bir geometrik dağılım gösterir.

* Eğer 0 *k* beklenen değeri *r**k*/*k* olan bir Poisson dağılımı gösteriyorsa, o zaman

::\sum_{k=1}^\infty k\,X_k

:(0, 1, 2, ....) setinden değerler alan ve beklenen değeri *r*/(1&nbsp;−&nbsp;*r*) olan bir geometrik dağılım gösterir.

* Üstel dağılım geometrik dağılımın sürekli değişkenli analog benzeridir. Eğer bir üstel dağılım
gösteren rassal değişken değerleri tabandan yukarıya doğru, tavana en yakın tam sayıya yuvarlanırlarsa bu tam sayı halindeki rassal değişken de geometrik dağılım gösterir.

## Ayrıca bakınız

* Kupon toplayıcısının problemi

## Kaynakça

*

## Dış bağlantılar

* Wolfram MathWorld ''Geometrik dağılım'' gösterimi  MathWorld (Erişim tarihi:12.8.2008