Koşullu Beklenti

Kısaca: Koşullu beklenti, koşullu beklenen değer veya koşullu ortalama, olasılık kuramı bilim dalında bir reel değerli rassal değişken için bir koşullu olasılık dağılımı na göre matematiksel beklentidir. ...devamı ☟

Koşullu beklenti, koşullu beklenen değer veya koşullu ortalama, olasılık kuramı bilim dalında bir reel değerli rassal değişken için bir koşullu olasılık dağılımı na göre matematiksel beklentidir. Koşullu beklenti kavramı Rus matematikçi Andrey Kolmogorov tarafından ortaya atılmış olasılık kuramı'nın "ölçüm teorisi" ile tanımlanıp açıklanması sürecinde çok önemli bir rol oynamaktadır. Ayrıca stokastik sürecler incelemelerinde "martingal" konusu incelemesi için elzem bir kavramdır. Giriş X ve Y ayrık rassal değişken olsunlar. Bu halde "Y=y olayı, Y sahasında ynin bir fonksiyonu olduğu verilmiş ise '''X değişkenin Y=y koşullu beklentisi' şöyle tanımlanır: : \operatorname | Y=y = \sum_} x \ \operatorname[1] = \sum_} x \ \frac[2]}[3]}, Burada \mathcal X değişkeninin istatistiksel açıklığını gosterir. Bu sonucu Ynin bir sürekli rassal değişken olmasi haline de genişletmeye calışırsak bir sorun ile karşılaşırız. Bu halde P(Y=y)=0 yani tek bir Y değeri için olasılık sıfır olur. Buna "Borel-Kolmogorov paradoksu" adi verilir, Bu yaklaşımla koşullu beklenti tanımlanmasına çalışmanın belirsizliği açıkca ortaya çıkar. Fakat yukarıda verilen ifadenin şöyle değiştirilemesi mümkündür: : \operatorname | Y=y \operatorname[4] = \sum_} x \ \operatorname[5], Her iki taraf da sıfır olup burada ynin tek değerleri önemsiz olmakla beraber, bu ifade Y sahasında bulunan her türlü ölçülebilir B altseti için geçerli olur; yani : \int_B \operatorname | Y=y \operatorname[6] \ \operatornamey = \int_B \sum_} x \ \operatorname[7] \ \operatornamey. Gerçekten bu hal hem koşullu beklenti hem de koşullu olasılık kavramlarını tanımlamak için yeterli şart olur. Formel tanımlama \scriptstyle (\Omega, \mathcal A, \operatorname) bir gerçel rassal değişken X ve bir alt-sigma cebiri \scriptstyle \mathcal B \subseteq \mathcal A ile bir olasılık uzayı olsun. O zaman 'bir verilmiş \scriptstyle \mathcal B için Xin koşullu beklentisi' : \int_B \operatorname[8] (\omega) \ \operatorname \operatorname(\omega) = \int_B X(\omega) \ \operatorname \operatorname(\omega) \qquad \text \quad B \in \mathcal ifadesini tatmin eden herhangi bir \scriptstyle \mathcal B -ölçülebilir fonksiyon \scriptstyle \operatorname[9]:\Omega \to \mathbb olur. Burada dikkat edilirse, \scriptstyle \operatorname[10] koşullu beklenti fonksiyonun basit bir notasyonla ifade edilmesidir.

Tartışma

Verilen tanımlama üzerinde bazı noktalarin tartışılmasi gerekir: * Bu yapıcı ve pratik bir tanımlama değildir. Sadece koşullu beklentinin tatmin etmesi gereken niteliğinin verilmesidir. ** Gereken nitelik giriş kısmında verilen son ifadenin aynı şeklindedir. ** Bir koşullu beklentinin var olması "Radon-Nikodym teoremi" adı verilen bir savla gösterilir ve bu sav
X için (koşulsuz) beklenti değerinin var olması için de yeterli bir şart sağlar. ** Sonucun tek olması "nerede ise kesinlik" ile gösterilebilir; yani aynı koşullu beklentinin verziyonları ancak "sıfır olasılık seti" için değişik olacaktır. * Sigma cebiri ile tanımlanmış \scriptstyle \mathcal B kosullanmanin "taneli olmasini (granularity)" kontrol eder. Daha ince taneli σ-algebra \scriptstyle \mathcal B σ-cebiri daha genis turlu olaylar icin kosullanmaya izin verir. ** \scriptstyle (\mathcal Y, \Sigma) hal uzayli bir Y rassal degiskeni degerleri uzerinde bagimsizca kosullanma icin Y ye gore Σnin "onsel-imaji (pre-image)"ni,yani ::: \mathcal = \sigma(Y) = \(S) : S \in \Sigma \} kullanarak kosullu beklenti tanimlama yeterlidir. ::Bu kosullu beklentinin σ(Y)-olculebilir olmasini saglamay yeterli olur. Kosullu beklenti altinda yatan Ω olasilik uzayindaki olaylar uzerine kosullanmis olarak tanimlanmakla beraber, bunun σ(Y)-olculebilir olmasi gerekliligi (giriste gosterildigi gibi) \mathcal uzerinde kosullamaya imkan verir. Kosullu olasilik tanimlanmasi Herhangi bir istaistiksel olay A \in \mathcal icin su gosterge fonksiyonu tanimlansin: :\mathbf_A (\omega) = \begin 1 \; &\text \omega \in A, \\ 0 \; &\text \omega \notin A, \end Bu "Borel σ-cebiri"ne gore [11] icinde bir rassal degiskendir, Bu rassal degiskenin beklentisi Anin olasiligina esirt olur: :\operatorname[12] = \operatorname[13]. \; Bu halde, 'verilmis \scriptstyle \mathcal B icin kosullu olasilik, eger :\scriptstyle \operatorname[14] ifadesinin A icin gosterge fonksiyonunun kosullu beklentisi olmasi halinde :\scriptstyle \operatorname[15]:\mathcal \times \Omega \to \mathbb olur; yani :\operatorname[16] = \operatorname[17] \; Diger bir sekilde ifadeyle, \scriptstyle \operatorname[18] :\int_B \operatorname[19] (\omega) \, \operatorname \operatorname(\omega) = \operatorname \cap B \qquad \text \quad A \in \mathcal, B \in \mathcal. ifadesini tatmin eden \scriptstyle \mathcal B-olculebilir fonksiyondur. Eger \scriptstyle \operatorname[20](\omega) ifadesi her ωΩ icin de bir olasilik olcusu ise, boyle bir kosullu olasilik 'duzgun' olur. Bir duzgun kosullu olasiliga gore bir rassal degiskenin beklentisi onun kosullu beklentisine esittir. Faktörleme olarak koşullandırma Bu denklem su verilen gosterimin bir kumutatif gosterim oldugunu soylemek seklinde de yorumlanabilir: E(X|Y)= goY ────────────────────────────────> 'R Y g=E(X|Y= ·) Ω ───────────> R ──────────────> R' ω ───────────> Y(ω) ──────────────> g(Y(ω)) = E(X|Y=Y(ω)) y ──────────────> g( y ) = E(X|Y= y ) Denklemin anlamina gore X icin entegraller ve Unun bir altsetinde olculebilir B icin Y−1(B) sekilideki setler icin \operatorname(X \mid Y=\ \cdot)\circ Y bilesigi birbirine ozdestirler. Bir alt-cebire koşullandıran relatif N σ-alt-cebirlenin M σ-alt-cebiri ile kosullandirilmasi icin diger bir gorus sekli bulunmaktadir. Bu sekil onceden verilmis olan incelemenin basitce ozellestirilmis seklidir. U basit olarak, uzerinde N σ-cebirli ve Y ozdeslik tasarimi olan Ω uzayi oldugu kabul edilir. Sonuc soyle ifade edilir: 'Teorem': X Ω uzerinde entegrali bulunan gercel rassal degisken ise, o halde P'ye oranla esdegerlilige uygunsa, tek bir ve tek su sarta uyan integre edilebilir g fonksiyonu bulunur; bu sarta gore altcebir N icinde bulunan herhangi bir B seti icin : \int_ X(\omega) \ d \operatorname(\omega) = \int_ g(\omega) \ d \operatorname (\omega) olur. Burada g Nye gore olculebilir olur (ve bu X icin gerekli olan M icin olculebilir olma sartindan daha siki bir sarttir.) Bu sekilde kosullu beklenti genellikle E(X|N) olarak yazilir. Bu sekil olasilik kurami uzerinde spesialize olan matemetikciler tarafindan tercih edilmektedir. Buna bir neden entegre edilebilir kare gercel rassal degiskenler uzayinda (yani sonlu ikinici momenti bulunan gercel rassal degiskenler icin) :X → E(X|N) eşlenmesi kendine-eklenmis ortogonal projeksiyon olur. : L^2_}(X;M) \rightarrow L^2_}(X;N). Temel nitelikler (Ω,M,P) bir olasılık uzayı olarak alınsın: * Bir σ-altcebirine gore kosullandirilirsa, N entegre edilebilir gercel rassal degiskenler uzayinda dogrusaldir. * E(1|N) = 1 * Jensen'in esitsizligi gecerlidir: Eger f bir conveks fonksiyon ise, o halde :: f(\operatorname(X \mid N) ) \leq \operatorname(f \circ X \mid N). * Bir daralan pojeksiyona gore kosullandilirsa herhangi bir s ≥ 1 icin :: L^s_P(X;M) \rightarrow L^s_P(X;N) olur. Ayrıca bakınız * Toplam olasılık yasası * Toplam beklenti yasası Dışsal kaynaklar * Ingilizce Wikipedi "Conditional expectation" maddesi (Erişme:10.7.2010)) * William Feller, (1950), An Introduction to Probability Theory and its Applications Cilt.1,, Wiley. * Meyer, Paul A.,(1956) Probability and Potentials, Blaisdell Publishing Co. * Grimmett, Geoffrey ve D.R.Stirzaker (1995), Probability and Random Processes, Oxford:Oxford University Press ISBN 0-19-857222-0

Kaynaklar

Vikipedi

Bu konuda henüz görüş yok.
Görüş/mesaj gerekli.
Markdown kullanılabilir.

Toplam beklenti yasası
6 yıl önce

Toplam beklenti yasası, olasılık kuramında, yinelemeli beklenti yasası, kule kuralı, düzleştirme teoremi gibi çeşitli isimlerine de rastlanan öneri. Bu...

Beklenen değer
3 yıl önce

matrisleri için kullanılır. Koşullu beklenti Konum ve ölçek parametreleri için bir eşitsizlik Pascal'ın Bahsi Momentler Beklenti değeri (kuantum mekanik)...

Beklenen değer, Matematik, Taslak, İlişkisiz, Normalizasyon (matematik), İşlemci (Matematik), Olasılık Yoğunluk Fonksiyonu, Olasılık fonksiyonu, Doğrusal, Raslantı Değişkeni
Bağımsızlık (olasılık teorisi)
6 yıl önce

bir Z şartına bağlı koşutlu değişkenlerdir. Koşullu bağımsızlık kavramının daha formel bir tanımlaması koşullu dağılım kavramına dayandırılır. Eğer X, Y...

Toplam olasılık yasası
3 yıl önce

yasası şöyle ifade edilir: A için önsel (marjinal) olasılık, A' nın sonsal (koşullu) olasılığının beklenen değerine eşittir Yani herhangi bir rassal değişken...

Üstel dağılım
3 yıl önce

gösterir. Buna göre, bir hizmet noktasındaki hizmet ve bekleme kuyruğu problemi örneği için bir koşullu olasılık olan ilk varışın 30 saniye geçtikten sonra...

Üstel dağılım, Olasılık Dağılımları, Basıklık, Bağımsızlık, Beklenen değer, Benford`un savı, Bernoulli dağılımı, Beta dağılımı, Binom dağılımı, Bozulmuş dağılım, Dirac delta fonksiyonu
Kesikli olay simülasyonu
6 yıl önce

olarak adlandırılır). Üçüncü faz ise ilgili zamanda meydana gelen tüm koşullu olayları yönetmektir (bunlar C-olayları olarak adlandırılır). Üç fazlı...

Kesikli olay simülasyonu, Rastsal, Simülasyon, Stokastik, Sözderastsal sayı üreteci, Döngü, Rastsal sayı üreteci
İstatistiksel terimler, kavramlar ve konular listesi
3 yıl önce

regresyon koşullu başarısızlık hızı koşullu beklenen değer koşullu güç foksiyonu koşullu güç işlevi koşullu istatistik koşullu regresyon koşullu sınama (test)...

Gilbert Ryle
6 yıl önce

ancak birinin iki dil bilmesi olgusal olmayan eylemdir. Bu tür önermelere koşullu önerme diyen Ryle, bunu belirli durumlarda belirli şeyleri yapmaya eğilimli...

Gilbert Ryle, 1900, 1976, Aristoteles, Dil felsefesi, Edmund Husserl, Filozof, Taslak, İkilemler, Zihin Kavramı, Sentaktik form