Rastgele bir değişkenin bağımlılığı ve rastgele bir değişkenin işlevi hakkında bir şey söyleyebilir miyiz? Örneğin, bağımlı mıdır?
Rastgele bir değişkenin bağımlılığı ve rastgele bir değişkenin işlevi hakkında bir şey söyleyebilir miyiz? Örneğin, bağımlı mıdır?
Yanıtlar:
İşte @ cardinal'in küçük bir bükülme ile yorumunun bir kanıtı. Eğer ve bağımsız sonra alma denklemi verir var iki çözelti 0 ve 1. Böylece tüm için . Genel olarak, daha fazlasını söylemek mümkün değildir. Eğer ve bağımsız, o zaman herhangi bir değişken şekildedir bu ya birf ( X ) P ( X ∈ A ∩ f - 1 ( B ) ) = P ( X ∈ A , f ( X ) ∈ B ) A=f-1(B)P(f(X)∈B)=P(f(X)∈B)2,P(f(X)∈B)∈{0,1
Bununla birlikte, ölçü teorik düzeyindeki ayrıntılar OP'nin ana endişesi gibi görünmemektedir. Eğer gerçek ve gerçek fonksiyondur (ve Borel kullanmak cebiri, diyelim ki), sonra alma şu anlaşılıyor ki dağıtımı için dağıtım fonksiyonu sadece değer 0 ve 1 alır, dolayısıyla orada o atlar hangi ile ve .f σ B = ( - ∞ , b ] f ( X ) b 0 1 P ( f ( X )
Günün sonunda, OP sorusunun cevabı, ve in genel olarak bağımlı ve sadece çok özel koşullar altında bağımsız olmasıdır. Üstelik Dirac ölçüsü , her zaman bir koşullu dağılımı için nitelendirir verilen diyerek resmi bir şekilde hangi bilerek o zaman da tam olarak ne olur. Dejenere şartlı dağılım ile bu özel bağımlılık şekli, rasgele değişkenlerin işlevleri için karakteristiktir. f ( X ) δ f ( x ) f ( X ) X = x X = x f ( X )
Lemma : Let rastgele değişken ve izin böyle bir (Borel ölçülebilir) fonksiyonu ve bağımsızdır. O zaman hemen hemen sabittir. Kendisine, bir orada öyle ki .f X f ( X ) f ( X ) a ∈ R P ( f ( X ) = a ) = 1
Kanıt aşağıdadır; ama önce bazı açıklamalar. Borel ölçülebilirliği, olasılıkları makul ve tutarlı bir şekilde atayabilmemizi sağlayan teknik bir koşuldur. "Neredeyse kesin" ifadesi de sadece bir tekniktir.
Lemmanın özü, ve bağımsız olmasını istiyorsak , tek adaylarımızın formunun işlevleri olmasıdır .f ( X ) f ( x ) = a
Fonksiyonları durumunda ile kontrast öyle ki ve olan ilintisizdir . Bu çok çok daha zayıf bir durumdur. Gerçekten, ortalama sıfır, sonlu mutlak üçüncü moment olan ve sıfır civarında simetrik olan herhangi bir rastgele değişkeni düşünün . Sorudaki örnekte olduğu gibi alın . Sonra , bu nedenle ve ilişkisizdir.
Aşağıda, lemma için gelebileceğim en basit kanıtı veriyorum. Son derece ayrıntılı yaptım, böylece tüm detaylar olabildiğince açık. Eğer birisi onu iyileştirmenin ya da basitleştirmenin yollarını görürse, bilmek isterim.
İspat fikri : Sezgisel olarak, bilirsek biliyoruz . Demek ki bazı olay bulmalıyız , tarafından üretilen sigma cebir bilgimizi ilgilidir, ile verilene . Sonra biz assumed bağımsızlığı ile birlikte bu bilgileri kullanabilirsiniz ve için mevcut seçenekler olduğunu göstermek için ciddi kısıtlı edilmiştir.
Lemma kanıtı : ve yalnızca ve , . Let bir Borel ölçülebilir işlev için öyle ki ve birbirinden bağımsızdır. tanımlayın . Ardından, ve bir Borel seti olduğundan ve Borel ile ölçülebilir, ardından
Yana ve bağımsız olarak varsayılır ve vardır , daha sonra ve bu, tüm için geçerlidir . Ancak, Bu son iki birleştirerek, almak için her , yani veya . Bu, sabit olması gerektiği anlamına gelir
Not : Bunun tersinin de daha basit bir argüman tarafından doğru olduğunu unutmayın. Yani, neredeyse kesinse, ve bağımsızdır.X f ( X )