Przekształcić zmiennej losowejX przez mierzalną funkcję T:X⟶Y jest kolejną zmienną losową Y=T(X) którego rozkład daje odwrotna transformata prawdopodobieństwa
P(Y∈A)=P(X∈{x;T(x)∈A})=defP(X∈T−1(A))
dla wszystkich zestawów
A takie, że
{x;T(x)∈A} jest mierzalne przy rozkładzie
X.
Ta właściwość dotyczy specjalnego przypadku, gdy FX:X⟶[0,1] to cdf zmiennej losowej X: Y=FX(X) jest nową zmienną losową uwzględniającą jej realizację [0,1]. Zdarza się,Y jest rozpowszechniany jako jednolity U([0,1]) kiedy FXjest ciągły. (GdybyFX jest nieciągły, zakres Y=FX(X) już nie jest [0,1]. Zawsze tak jest, kiedyU jest mundurem U([0,1]), następnie F−X(U) ma taki sam rozkład jak X, gdzie F−X oznacza uogólnioną odwrotność FX. Który jest formalnym sposobem (a) zrozumienia zmiennych losowych jako mierzalnych przekształceń fundamentalnychω∈Ω od X(ω)=F−X(ω) jest zmienną losową z cdf FXi (b) generować losowe zmienne z danego rozkładu za pomocą cdfFX.)
Aby zrozumieć paradoks P(X≤X), weź reprezentację
FX(x)=P(X≤x)=∫x0dFX(x)=∫x0fX(x)dλ(x)
gdyby
dλ jest miarą dominującą i
fXodpowiednia gęstość. Następnie
FX(X)=∫X0dFX(x)=∫X0fX(x)dλ(x)
jest zmienną losową, ponieważ górna granica całki jest losowa. (Jest to jedyna losowa część wyrażenia.) Pozorna sprzeczność w
P(X≤X)wynika z pomieszania notacji. Aby właściwie zdefiniować, potrzebne są dwie niezależne wersje zmiennej losowej
X,
X1 i
X2, w którym to przypadku zmienna losowa
FX(X1) jest zdefiniowany przez
FX(X1)=PX2(X2≤X1)
prawdopodobieństwo jest obliczane dla rozkładu
X2.
Ta sama uwaga dotyczy transformacji według gęstości (pdf), fX(X), która jest nową zmienną losową, z tym wyjątkiem, że nie ma ustalonego rozkładu kiedy fXróżni się Jest to jednak przydatne do celów statystycznych, biorąc pod uwagę na przykład współczynnik prawdopodobieństwafX(X|θ^(X))/fX(X|θ0) który 2 x logarytm jest w przybliżeniu a χ2 zmienna losowa w niektórych warunkach.
To samo dotyczy funkcji score
∂logfX(X|θ)∂θ
która jest zmienną losową, tak że jej oczekiwanie wynosi zero, jeśli zostanie przyjęte przy prawdziwej wartości parametru
θtzn.
Eθ0[∂logfX(X|θ0)∂θ]=∫∂logfX(x|θ0)∂θfX(x|θ0)dλ(x)=0
[Odpowiedź wpisana podczas gdy @whuber i @knrumsey wpisywali swoje odpowiedzi!]