Beklenen değer

Olasılık kuramı bilim dalında **matematiksel beklenti** veya **beklenen değer** veya **ortalama** birçok defa tekrarlanan ve her tekrarda mümkün tüm olasılıklarını değiştirmeyen rastgele deneyler sonuçlarından *beklenen* ortalama değeri temsil eder. Bir ayrık rassal değişkennin alabileceği bütün sonuç değerlerin (bazen ödemelerin) olasılıklarıyla çarpılması ve bu işlemin bütün değerler üzerinden toplanmasıyla elde edilen değerdir. Bir sürekli rassal değişken için rassal değişken ile olasılık yoğunluk fonksiyonunun çarpımının aralığı belirsiz integralidir. Fakat dikkat edilmelidir ki bu değerin genel pratik anlamla rasyonel olarak beklenmesi pek uygun olmayabilir, çünkü *matematiksel beklenti*in olasılığı çok düşük belki sıfıra çok yakın olabilir ve hatta pratikte matematiksel beklenti bulunmaz. Ağırlıklı ortalama olarak da düşünülebilir ki değerler ağırlık katsayıları verilen olasılık kütle fonksiyonu veya olasılık yoğunluk fonksiyonudur.

## Tanım
### Pratik örneklerle belirleme
**Matematiksel beklenti**, beklenen değer işlemcisi *E* ile gösterilir. Hileli/ yanlı olmayan bir altı-yüzlü zar atılırsa mümkün değerler (1 2 3 ...6) olup her bir değerin olasılığı (1/6) olur. Böylece tek bir zar atımı için *matematiksel beklenti* 
: \operatorname{E}(X) = \frac{1 + 2 + 3 + 4 + 5 + 6}{6} = 3,5   
olur. Dikkat edilirse bu beklenen değer kesirsel olup gerçekte mümkün olan bir sonuç değildir.

**Matematiksel beklenti** kavramının pratikte çok kullanıldığı bir alan kumar oyunlarıdır. Bir Amerikan tipi rulet oyunu tekerleğinde dönen ufak topun her birine aynı olasılıkla girip kalabileceği numara verilmiş 38 küçük delik vardır. Eğer topun gireceği deliğin numarası için bahse girilirse ve bu bahiste doğru bilişte kazanç bahis-olasılığı ile 35-te-1 olur; yani sonuç bahisin 36 misli olup koyulan para kaybedilmeyip 35 misli daha kazanç sağlanır. Her bir sonuça bahis için iki mümkün olay *kaybetme* veya *kazanma* ve bu iki mümkün olay için (kumar için çok kere bahis-olasılığı ile ifade edilen) olasılık vardır. Toplam mümkün 38 tane sonuç olabileceğine göre, tek bir numaraya 1TL konulursa kazancın beklenen değerini bulmak için önce *kaybetme para değeri* ile *kaybetme bahis-olasılığı* çarpımı; sonra *kazanma para değeri* ile *kazanma bahis-olasılığı* çarpımı bulunup bu ikisinin toplamı alınır; yani
:
\operatorname{E}(X) = \left( -1TL \times \frac{37}{38} \right) + \left( 35TL \times \frac{1}{38} \right) \approx -0.0526TL.


1TL bahis için mali durumdaki değişme, kaybedince -1TL ve kazanınca 35TL olur. Böylece, ortalama olarak, her yapılan 1TL değerde bahis için zarar 5 kuruşu biraz geçecektir ve 1TLlik bahsin *matematiksel beklenti*si 0,9474TL olacaktır. Kumar oyunlarında, bir oyun için beklenen değer bahse koyulan değere eşitse (yani kumar oynayanın beklenen değeri 0 ise) o kumar oyunu "adil oyun" diye isimlendirilir.

### Matematiksel tanım
Genel olarak, eğer X\, (\Omega, \Sigma, P)\, olan bir olasılık uzayı içinde bir rassal değişken ise, o halde X\,in **matematiksel beklenti**si, notasyon olarak değer işlemcisi *E* kullanarak, \operatorname{E}(X)\, veya bazen\langle X \rangle veya \mathbb{E}(X) olarak yazılır ve şöyle tanımlanır:
:\operatorname{E}(X) = \int_\Omega X\, \operatorname{d}P
Burada Lebesgue entegrasyonu uygulanmıştır. Dikkat edilmelidir ki bütün rassal değişkenler için matematiksel beklenti değeri bulunmaz; bu entegral bulunmayıp anlamsız ise (örneğin Cauchy dağılımı için) o halde beklenen değer de tanımlanamaz ve anlamsızdır. Ayni olasılık dağılımı gösteren iki rassal değişken için matematiksel beklenti aynıdır. 
 
Eğer X bir olasılık kütle fonksiyonu p(x) olan bir ayrık rassal değişken ise, o halde beklenen değer şu olur:
:\operatorname{E}(X) = \sum_i x_i p(x_i) \,

Eğer X bir sürekli rassal değişken olup olasılık yoğunluk fonksiyonu f(x) ise, o halde matematiksel beklenti veya beklenen değer şöyle bulunur:
:\operatorname{E}(X) = \int_{-\infty}^\infty x f(x)\, \operatorname{d}x .
Olasılık yoğunluk fonksiyonu *f(x)* olan rassal değişken *X* için herhangi bir rastgele seçilmiş fonksiyon *g(X)* için matematiksel beklenti veya beklenen değer şöyle verilir:
:\operatorname{E}(g(X)) = \int_{-\infty}^\infty g(x) f(x)\, \operatorname{d}x .

## Özellikler

### Sabitler
Bir sabit k için matematiksel beklenti veya beklenen değer sabitin kendi değerine eşittir:
:\operatorname{E}(k) = k: k\in\mathbb{R}

### Monotonluk
Eğer *X* ve *Y* iki rassal değişken ve X \le Y  geçerli ise, o halde 
: \operatorname{E}(X) \le \operatorname{E}(Y).
olur.

### Doğrusallık

**Beklenen değer işlemcisi**\operatorname{E} şu anlamlarda doğrusal olur:

:\operatorname{E}(X + c)=  \operatorname{E}(X) + c\,;
:\operatorname{E}(X + Y)=  \operatorname{E}(X) + \operatorname{E}(Y)\,;
:\operatorname{E}(aX)= a \operatorname{E}(X)\,
Bu üç denklem sonuçları birleştirilirse şu ifadeler bulunur:
:\operatorname{E}(aX + b)= a \operatorname{E}(X) + b\,
:\operatorname{E}(a X + b Y) = a \operatorname{E}(X) + b \operatorname{E}(Y)\,

Burada X ile Y aynı olasılık uzayında bulunan rassal değişkenler ve a ile b reel sayılardır.

### Yinelenmiş beklenti

#### Ayrık rassal değişken için yinelenmiş beklenti

Herhangi iki ayrık rassal değişken X,Y için koşullu beklenti şöyle tanımlanabilir:

: \operatorname{E}(X|Y)(y) = \operatorname{E}(X|Y=y) = \sum\limits_x x \cdot \operatorname{P}(X=x|Y=y).

Bundan \operatorname{E}(X|Y)(y) ifadesinin y üzerinde bir fonksiyon olduğu anlaşılır.

O zaman X için beklenti şu ifadeyi tatmin eder:

:
\operatorname{E} \left( \operatorname{E}(X|Y) \right)= \sum\limits_y \operatorname{E}(X|Y=y) \cdot \operatorname{P}(Y=y)  \,

:::=\sum\limits_y \left( \sum\limits_x x \cdot \operatorname{P}(X=x|Y=y) \right) \cdot \operatorname{P}(Y=y)\, 

:::=\sum\limits_y \sum\limits_x x \cdot \operatorname{P}(X=x|Y=y) \cdot \operatorname{P}(Y=y)\, 

:::=\sum\limits_y \sum\limits_x x \cdot \operatorname{P}(Y=y|X=x) \cdot \operatorname{P}(X=x) \, 

:::=\sum\limits_x x \cdot \operatorname{P}(X=x) \cdot \left( \sum\limits_y \operatorname{P}(Y=y|X=x) \right) \, 

:::=\sum\limits_x x \cdot \operatorname{P}(X=x) \, 

:::=\operatorname{E}(X).\, 

Böylece şu denklem ortaya çıkartılır:

:\operatorname{E}(X) = \operatorname{E} \left( \operatorname{E}(X|Y) \right).

Bu denklemin sağ tarafı *yinelenmiş beklenti* adı ile anılır ve bazen *kule kuralı* adı da verilir. Bu toplam beklenti yasası maddesinde de incelenmiştir.

#### Sürekli rassal değişken için yinelenmiş beklenti
Herhangi iki sürekli rassal değişken X, Y için de sonuçlar ayrık rassal değişkenler halinin tamamıyla benzeridir. Koşullu beklenti tanımı eşitsizlikleri kullanır; olasılık yoğunluk fonksiyonları ile entegralleri olasılık kütle fonksiyonları ile toplamalar yerlerini alırlar. Sonunda aynı sonuç ortaya çıkar:

:\operatorname{E}(X) = \operatorname{E} \left( \operatorname{E}(X|Y) \right).

### Eşitsizlik

Eğer bir rassal değişken *X* diğer bir rassal değişken olan *Y*den daha az veya ona eşitse ise,

: Eğer  X \leq Y, o halde  \operatorname{E}(X) \leq \operatorname{E}(Y) olur.

Özellikle  X \leq |X|  ve  -X \leq |X|  oldukları için, bir rassal değişkenin *matematiksel beklenti*sinin (veya beklenen değerinin) mutlak değeri, mutlak değerinin matematiksel beklentisinden daha küçük olur veya ona eşittir:
:|\operatorname{E}(X)| \leq \operatorname{E}(|X|)

### Simgelenme

( \operatorname{E}(X) ) koşuluna uyan her bir negatif olmayan reel değerli rassal değişken *X* ve pozitif reel sayı  \alpha  için şu formül her zaman geçerlidir:

: \operatorname{E}(X^\alpha) = \alpha \int_{0}^{\infty} t^{\alpha -1}\operatorname{P}(X>t) \, \operatorname{d}t.

Özellikle bu daha da kısa olarak şöyle ifade edilebilir:

: \operatorname{E}(X) = \int_{0}^{\infty} \lbrace 1-F(t) \rbrace \, \operatorname{d}t.

### Çarpımsallık özelliği olmama

Genel olarak E beklenen değer işlemcisinin çarpımsallık özelliği bulunmaz, yani \operatorname{E}(X Y) ile \operatorname{E}(X) \operatorname{E}(Y) birbirine mutlaka eşit olmaz. Eğer çarpımsallık özelliği bulunursa, bu halde X ve Y rassal değişkenleri birbiri arasında korelasyon bulunmayan değişkenler olarak tanımlanırlar. Aralarında bağımsızlık bulunan değişkenlerin birbirleri arasında korelasyon bulunmayan değişkenlere en önemli örneğin sağlarlar. Genellikle çarpımsal olmama özelliği kovaryasyon ve korelasyon analizlerine önemli bir neden sağlar.

### Fonksiyonel daimilik olmaması
Genel olarak beklenen değer işlemcisi E'ye ve rassal değişkenler için fonksiyonlara değişmeli işlem uygulanamaz; yani

:\operatorname{E}(g(X)) = \int_{\Omega} g(X)\, \operatorname{d}P \neq g(\operatorname{E}(X)),

Bu konuyla ilişkili en önemli konu konveks (veya konkav) fonksiyonlarla ilişkili olarak Jensen'in eşitsizliğidir.

## Matrisler için beklenti
Matris matematiğine göre, X m \times n dereceli bir matris ise o halde bu matrisin matematiksel beklentisi (veya beklenen değeri) matris elamanlarının ayrı ayrı matematiksel beklentilerinin (veya beklenen değerlerinin) matrisi olur:

:
\operatorname{E}(X)
=
\operatorname{E}
\begin{pmatrix}
 x_{1,1} & x_{1,2} & \cdots & x_{1,n} \\
 x_{2,1} & x_{2,2} & \cdots & x_{2,n} \\
 \vdots \\
 x_{m,1} & x_{m,2} & \cdots & x_{m,n}
\end{pmatrix}
=
\begin{pmatrix}
 \operatorname{E}(x_{1,1}) & \operatorname{E}(x_{1,2}) & \cdots & \operatorname{E}(x_{1,n}) \\
 \operatorname{E}(x_{2,1}) & \operatorname{E}(x_{2,2}) & \cdots & \operatorname{E}(x_{2,n}) \\
 \vdots \\
 \operatorname{E}(x_{m,1}) & \operatorname{E}(x_{m,2}) & \cdots & \operatorname{E}(x_{m,n})
\end{pmatrix}.


Bu sonuç kovaryans matrisleri için kullanılır.

## Ayrıca bakınız
* Koşullu beklenti
* Pascal'ın Kumarı
* Moment (matematik)

## Dış bağlantılar
*