# Varyans
Olasılık kuramı ve istatistik bilim dallarında varyans bir rassal değişken, bir olasılık dağılımı veya örneklem için istatistiksel yayılımın, mümkün bütün değerlerin beklenen değer veya ortalamadan uzaklıklarının karelerinin ortalaması şeklinde bulunan bir ölçüdür. Ortalama bir dağılımın merkezsel konum noktasını bulmaya çalışırken, varyans değerlerin ne ölçekte veya ne derecede yaygın olduklarını tanımlamayı hedef alır. Varyans için ölçülme birimi orijinal değişkenin biriminin karesidir. Varyansın karekökü standart sapma olarak adlandırılır; bunun ölçme birimi orijinal değişkenle aynı birimde olur ve bu nedenle daha kolayca yorumlanabilir.
Bir reel sayı hâlinde olan rassal değişkenin varyansı o rassal değişkenin ikinci merkezsel momenti ve aynı zamanda ikinci kümülantı olur. Eğer varyans değeri var ise, ortalama değeri de vardır. Ama bunun aksi doğru değildir.


## Formüller.
Eğer beklenen değer varsa, bir olasılık dağılımı için varyans dağılımın kendi ortalamasından sapmasının karesinin beklenen değeridir. Varyans kavramı dağılıma ait her bir değerin dağılımın ortalamasından ne kadar uzak olduğuyla ilgilidir. Varyans söz konusu sapmaların ortalama değerini ölçmektedir.
"X" değişkeninin beklenen değeri μ = E("X") olmak üzere, varyans şöyle tanımlanır:
var(X)=E((X-μ)^2).
Matematik notasyon kullanılarak bir rassal değişken "X" için varyans ya Var(X) ya σ_X^2 ya da daha basitçe σ2 olarak gösterilir..
Bu tanımlama, eğer beklenen değer varsa, hem ayrık rassal değişkenler hem sürekli rassal değişkenler hem de karışık değişkenler için genel olarak doğrudur. Bu tanımdan ve beklenen değerlerin doğrusal olma niteliğinden varyans için şu formül çıkartılabilir: 
Var(X)= E(X^2 - 2 X E(X) + (E(X))^2),
=E(X^2) - 2(E(X))^2 + (E(X))^2,
=E(X^2) - (E(X))^2.
Buna hesaplama formülü adı da verilir. Bu formüle göre
 Varyans, karelerin ortalaması eksi ortalamanın karesine eşittir.
Bir "X" ayrık rassal değişkeni için, "x" değerleri olasılığa eşit olan olasılık kütle fonksiyonu bulunur; yani "x"1↦"p"1, ..., "x""n"↦"p""n", olur. Bu halde aralıklı olasılık dağılımları için varyans şöyle de ifade edilebilir:
Var(X)=σ^2 = ∑_i=1^n p_i [x_i - E(X)]^2 = ∑_i=1^n p_i (x_i - μ)^2 = ∑_i=1^n x_i^2 p_i - [E(X)]^2 
Buna göre varyans "X"in kendi ortalamasından sapma karesinin beklenen değeri olur. Daha basit bir ifade ile
 Aralıklı rassal değişken için, varyans her bir veri noktasının veri ortalamasından uzaklıklarının karelerinin ortalamasıdır; yani "ortalama sapma kareleri"dir. 
Bir "X" sürekli rassal değişkeni için beklenen değer E(X) operatörü yerine olasılık yoğunluk fonksiyonu yani f(x)i kapsayan ve entegrasyon gereken formül konulursa, varyans şu şekilde ifade edilebilir:
Var(X) = σ^2 = ∫_-∞^∞[x-E(X)]^2 f(x)dx = ∫_-∞^∞x^2 f(x)dx - [E(X)]^2,
Ancak bazı olasılık dağılımları (örnegin Cauchy dağılımı) için beklenen değer anlamsızdır ve bu halde varyans da anlamlı değildir. Diğer bazı olasılık dağılımlarında ise beklenen değer bulunmakla beraber sonlu sayılı bir varyans bulunamaz, çünkü sürekli değişkenler için varyans değeri bulmak için gereken entegral yakınsama göstermez (örneğin Pareto dağılımı).


### Örnekler.
Varyans; verilerin aritmetik ortalamadan sapmalarının karelerinin aritmetik ortalaması olduğuna göre,
2,2,3,5,3 serisinin varyansı şu şekilde bulunur;
1) Verilerin aritmetik ortalaması (A.O) hesaplanır. 
A.O = (2+2+3+5+3)/5=3 
2) 1. maddedeki ortalamadan, verilerin sapmalarının karelerinin aritmetik ortalaması alınarak varyans bulunur.
[(2-3)^2+(2-3)^2+(3-3)^2+(5-3)^2+(3-3)^2]/5=6/5 


#### Örneğin 1: Tablo ile verilmiş bir aralıklı deneysel dağılım.
Bu örnekte bir X rastlantı değişkeninin i=1,2,3 için aldığı değerler ve X in bu değerleri alması olasılığı bir tablo olarak verilmiştir. 
Beklenen değer şöyle hesaplanır:
E(X) = -1 ·0,5 + 1 ·0,3 + 2 ·0,2 = 0,2
Genel formülle, varyans şöyle bulunur:
Var(X) = (-1-0,2)^2 ·0,5 +(1-0,2)^2 ·0,3 +(2-0,2)^2 ·0,2 = 1,56
Hesaplama formülu ile ise varyans şöyle hesaplanır ve aynı sonuç verir:
Var(X) = (-1)^2 ·0,5 +1^2 ·0,3 +2^2 ·0,2 - 0,2^2 = 1,56.


#### Örneğin 2: Olasılık yoğunluk fonksiyonu verilmiş bir sürekli dağılım.
Sürekli rassal değişken "X" için olasılık yoğunluk fonksiyonu şöyle verilmiştir:
 f(x) =
1/x amp; 1 ≤x ≤e 
0 amp; 
Beklenen değer E(X) şöyle hesaplanır:
E(X) = ∫_1^e x ·1/x dx = e - 1
Varyans değeri Var(X) şöyle bulunur:


## Anakütle varyansı ve örneklem varyansı.
Teorik olasılık kuramı incelemeleri için varyans: 
var(X)=E(X^2)-E(X)^2 
formülü kullanılarak tanımlanır.
Sonlu bir anakütlenin varyansı aşağıdaki şekilde gösterilir:
σ^2 = ∑_i=1^N
 (x_i - x )^ 2 (x_i). Bu özel bir varyans tanımı olarak sonlu anakütlelere özgü bir tanımdır.
Örneklem varyansı ise şu şekilde tanımlanmaktadır:
σ^2 = 1/N ∑_i=1^N
 (y_i - y )^ 2,
Örneklem varyansı, anakütle varyansının yansız bir kestirmicisidir. İspatı ise aşağıdaki şekilde gösterilir:
= 1/n-1 ∑_i=1^n σ^2
- 2 ( 1/n ∑_j=1^n E { (x_i - μ) (x_j - μ) } )
= 1/n-1 ∑_i=1^n σ^2
- 2 σ^2/n
+ σ^2/n
= 1/n-1 ∑_i=1^n (n-1)σ^2/n
= (n-1)σ^2/n-1 = σ^2
Bu özellikten faydalanılarak örneklem varyansının hesaplanması ile anakütle varyansına ilişkin kestirimlerde bulunulabilir. Bu durumda örneklemin rastsal bir örneklem olması önemlidir. Aksi takdirde örnekleme dayalı kestirimler sağlıklı sonuçlar vermeyecektir.


## Varyansın biçimsel özellikleri.
Varyansın şu özellikleri bulunmaktadır:


### Aralarında korelasyon bulunmayan değişkenlerin toplamı için varyans.
Varyansin diğer istatistiksel yayılım ölçülerine kıyasla tercihli olarak kullanılmasına nedenlerden birisi, birbirleri arasında korelasyon olmayan rassal değişkenlerin toplamının (veya farkının) varyansının, her bir rassal değişkenin tek başına olan varyanslarının toplamına (veya farkına) eşit olmasıdır; yani 
Var(∑_i=1^n X_i) = ∑_i=1^n Var(X_i).
Bu öneri çok kere korelasyon yerine daha güçlü bir ilişki olan değişkenlerin bağımsızlığı şartı kullanılarak verilir, ama korelasyon ilişkisi de yeterlidir.
Bu nedenle eğer değişkenlerin varyansları tüm ayni ise (yani hepsi σ2 ise), hemen bu formüle göre bunların ortalamasının varyansının şu ifade
Var(∑_i=1^n X_i) = ∑_i=1^n Var(X_i).
olduğu görülür; çünkü "n" ile bölme bir doğrusal dönüşümdür.
Bu gerçek, merkezsel limit teoremi içinde özellikle kullanılan, örneklem ortalamasının standart hatasını belirler.


### Aralarında korelasyon bulunan değişkenlerin toplamının varyansı.
Genel olarak, değişkenler birbirleriyle aralarında korelasyon gösteriyorlarsa, toplamlarının varyansı kovaryanslarının toplamı olur:
Var(∑_i=1^n X_i) = ∑_i=1^n ∑_j=1^n Kov(X_i, X_j).
Burada Kov kovaryanstır ve eğer herhangi bir rassal değişken bağımsız ise, bu değişkenle diğer değişkenler arasında bulunan her kovaryans değeri 0 olur. Verilen formül toplamın varyansının toplamı yapan parçaların kovaryans matrisinin bütün elemanlarına eşit olduğunu göstermektedir. Bu formül klasik sınama kuramında Cronbach'in alfa ölçüsü kavramını geliştirmek için de kullanılır.
Eğer değişkenlerin hep birbirine eğit varyansları, yani σ2, varsa ve ayrı ayrı değişkenler arasındaki korelasyonların ortalama değeri ρ ise, bu halde varyansların ortalaması şöyle ifade edilir:
Var(X) = σ^2/n + n-1/n ρσ^2.
Bu formüle göre ortalamanın varyansı korelasyonlar ortalaması ile birlikte artış gösterir.
Bunun yanında, eğer değişkenler için varyans "1" değerde ise (örneğin değişken değerleri standardize edilmişlerse) o halde bu formül daha da basitleştirilip şu sekli alır: 
Var(X) = 1/n + n-1/n ρ.
Bu formul klasik sinama teorisinde Spearman-Brown öngörü formülü için kullanılır. Eğer korelasyonlar sabit kalırlarsa veya aynı şekilde yakınsama gösterirlerse, bu ifade, "n" limitte sonsuz değere yakınsama gösterdikçe, ρ değerine yakınsama gösterir. Bunun bir sonucuna göre, eşit korelasyonları olan veya yakınsama gösteren ortalama korelasyonu olan standardize edilmiş değişkenler için ortalamanın varyansı şöyle ifade edilebilir:
 lim_n →∞ Var(X) = ρ.
Buna göre büyük sayıda standardize edilmiş değişkenlerin ortalamasının varyansı, yaklaşık olarak bunların ortalama korelasyonuna eşittir.
Bu formul diğer bir sonuç da ortaya çıkartır. Büyük sayılar yasası örneklem ortalamasının anakütle ortalamasına yakınsama göstereceğini önermesine rağmen, bu formülden açıktır ki, birbirine korelasyonu olan değişkenler bulunuyorsa örneklem ortalaması anakütle ortalamasına yakınsama göstermez.


### Varyans için hesaplama formülü.
Varyans için hesaplama formülü hemen doğrudan doğruya beklenen değerlerin doğrusallarından ve yukarıda verilen tanımlamadan ortaya çıkar\;
Var(X)= E(X^2 - 2 X E(X) + (E(X))^2),
=E(X^2) - 2(E(X))^2 + (E(X))^2,
=E(X^2) - (E(X))^2.
Bu çok zaman pratikte varyans hesaplaması için kullanılır. Fakat eğer denklemin iki kısmının değerleri birbirine eşit veya çok yakınsa numerik yaklaşımlama hatasından etkilenip yanlış değerler verebilir.


### Karakteristik özellik.
Bir rassal değişkenin ikinci momentinin minimum değeri bu moment, rassal değişkenin ortalaması etrafında alınınca ortaya çıkar; yani 
argmin_m E((X - m)^2) = E(X) ,
Bunun aksi olarak, eğer sürekli bir fonksiyon olan φ tüm "X" rassal değişkenleri için 
argmin_m E(φ(X - m)) = E(X) 
koşulunu sağlıyorsa, o halde mutlaka φ(x) = a x^2 + b ("a" > 0) şeklinde bir fonksiyon olması gerekmektedir. Bu koşul çoklu boyutlu hallerde de geçerlidir.


## Dış kaynaklar.
  - Spiegel, Murray R ve Stephens, Larry J. (Tr.Çev.: Çelebioğlu, Salih) (2013) "İstatistik", İstanbul: Nobel Akademik Yayıncılık ISBN 9786051337043