Geometrik dağılım

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ı; veyaBütün tam sayılar setine, yani {1, 2 ,3 , ....} üzerine, bağlı olarak ilk başarıyı elde etmeden Y = X − 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: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: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.Geometrik dağılım gösteren X rassal değişkeni X için beklenen değer  1/p ve  varyans değeri (1 − p)/p2 :Benzer şekilde, geometrik dağılım gösteren Y rassal değişkeni için beklenen değer    ve  varyans değeri isedeğ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   şu matematik yineleme ilişkisine (recursion) uyar: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.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(α, β)α ve β değerleri sıfıra yaklaştıkça, sonrasal ortalama olan  maksimum olabilirlilik tahmini olan   değerine yaklaşır.Diğer alternatif halde,    için  olduğu halde bir örneklemin ifadesi   olsun. Bu halde p şöyle tahmin edilir:Tekrar, sonsal ortalama olan  değerinin, αve β sıfır değerine yaklaştıkça,  maksimum olabilirlilik tahmini  değerine yaklaşır.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  Y1, ..., Yn 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:burada q = 1 − p. Diğer on üssü teksayıları için de benzer olasılık dağılımları ortaya çıkartılabilir.Y için geometrik dağılım r=1 olan özel bir negatif binom dağılımıdır. Daha genel olarak   eğer 'Y1,...,Yr  rassal değişkenleri için bağımsızlık gösteren p parametreli bir sıra geometrik dağılımlar görülüyorsaEğer Y1,...,Yr bir sıra bağımsız (olasılıkla değişik başarı parametreleri  ) olan) geometrik dağılım gösteren  değişkenlerse, bunların minimum değerlerini ifade edenEğer 0 < r < 1,  ise ve bir rassal değişken olan k = 1, 2, 3, ... t i Xk beklenen değeri rk/k olan bir Poisson dağılımı gösteriyorsa, o zaman(0, 1, 2, ....) setinden değerler alan ve beklenen değeri r/(1 − r) olan bir geometrik dağılım gösterir.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.