এলোমেলো ভেরিয়েবলের ফাংশনগুলির সম্ভাব্যতা বন্টন?

আমার একটি সন্দেহ আছে: সম্ভাব্যতার জায়গাতে সংজ্ঞায়িত সত্যিকারের মূল্যবান র্যান্ডম ভেরিয়েবলগুলি এবং উভয় বিবেচনা করুন । $X$ $Z$ $(\Omega, \mathcal{F},\mathbb{P})$

যাক , যেখানে একটি আসল-মূল্যবান ফাংশন। যেহেতু র্যান্ডম ভেরিয়েবলের একটি ক্রিয়াকলাপ এটি এলোমেলো পরিবর্তনশীল। $Y:= g(X,Z)$ $g(\cdot)$ $Y$

যাক অর্থাৎ উপলব্ধি । $x:=X(\omega)$ $X$

Is থেকে সমান ? $\mathbb{P}(Y|X=x)=\mathbb{P}(g(X,Z)|X=x)$ $\mathbb{P}(g(x,Z))$

probability random-variable

— user3285148
সূত্র

কারণ আপনার স্বরলিপি বরং সংক্ষিপ্ত করা হয়, এটা মূল্য ইশারা এটি পরোক্ষভাবে বোঝায় কিছু Borel সেট হতে পারে , একটি সার্বজনীন কোয়ান্টিফায়ার সাপেক্ষে, এবং আপনার প্রশ্নের একটি পূর্ণাঙ্গ রেন্ডারিং তাই হবে কিনা এটা যে ক্ষেত্রে দেখা যায়

A

$A$

\forall_{A} P (Y \in A | X = x) = P (g (X, Z) \in A | X = x) = P (g (x, Z) \in A) .

$\forall_A\ \mathbb{P}(Y\in A|X=x)=\mathbb{P}(g(X,Z)\in A|X=x)=\mathbb{P}(g(x,Z)\in A).$

— whuber

@ শুভ: এবং স্বতন্ত্র হলেই আপনার শেষ সমতা বৈধ ।

X

$X$

Z

$Z$

— জেন

ঠিক আছে, আপনি কেবল "এটিই কিনা ..." বিবেচনা করছেন।

— জেন

যদি পরিমাপযোগ্য হয়, তবে -aa জন্য ধারণ করে । বিশেষ করে, যদি স্বাধীন , তারপর -aa জন্য ধারণ করে । $g$

P (g (X, Z) \in A ∣ X = x) = P (g (x, Z) \in A ∣ X = x), A \in B (R)

$P(g(X,Z)\in A\mid X=x)=P(g(x,Z)\in A\mid X=x),\quad A\in\mathcal{B}(\mathbb{R})$

P_{X}

$P_X$

x

$x$

Z

$Z$

X

$X$

P (g (X, Z) \in A ∣ X = x) = P (g (x, Z) \in A), A \in B (R)

$P(g(X,Z)\in A\mid X=x)=P(g(x,Z)\in A),\quad A\in\mathcal{B}(\mathbb{R})$

P_{X}

$P_X$

x

$x$

এটি নিম্নলিখিত সাধারণ ফলাফলের উপর নির্ভর করে:

যদি এবং এলোমেলো পরিবর্তনশীল হয় এবং প্রদত্ত , নিয়মিত শর্তযুক্ত সম্ভাবনা বোঝায় , তারপরে $U,T$ $S$ $P_S(\cdot \mid T=t)$ $S$ $T=t$ $P_S(A \mid T=t)=P(S\in A\mid T=t)$
$\begin{matrix} (*) & E [U ∣ T = t] = \int_{R} E [U ∣ T = t, S = s] P_{S} (d s ∣ T = t) . \end{matrix}$ ${\rm E}[U\mid T=t]=\int_\mathbb{R} {\rm E}[U\mid T=t,S=s]\,P_S(\mathrm ds\mid T=t).\tag{*}$

প্রুফ : একটি নিয়মিত শর্তসাপেক্ষ সম্ভাবনার সংজ্ঞা নিশ্চিত করে যে পরিমাপযোগ্য এবং একীকরণযোগ্য জন্য । এবার কিছু সেট বোরেল সেট জন্য আসুন । তারপরে with যেহেতু

E [ψ (S, T)] = \int_{R} \int_{R} ψ (s, t) P_{S} (d s ∣ T = t) P_{T} (d t)

${\rm E}[\psi(S,T)]=\int_\mathbb{R}\int_\mathbb{R} \psi(s,t)\,P_S(\mathrm ds\mid T=t)P_T(\mathrm dt)$

ψ

$\psi$

ψ (s, t) = 1_{B} (t) E [U ∣ S = s, T = t]

$\psi(s,t)=\mathbf{1}_B(t){\rm E}[U\mid S=s,T=t]$

B

$B$

\begin{aligned} \int_{T^{- 1} (B)} U d P & = E [1_{B} (T) U] = E [1_{B} (T) E [U ∣ S, T]] = E [ψ (S, T)] \\ = \int_{R} \int_{R} ψ (s, t) P_{S} (d s ∣ T = t) P_{T} (d t) \\ = \int_{B} φ (t) P_{T} (d t) \end{aligned}

$\begin{align} \int_{T^{-1}(B)} U\,\mathrm dP&={\rm E}[\mathbf{1}_B(T)U]={\rm E}[\mathbf{1}_B(T){\rm E}[U\mid S,T]]={\rm E}[\psi(S,T)]\\ &=\int_{\mathbb{R}}\int_{\mathbb{R}}\psi(s,t)\, P_S(\mathrm ds\mid T=t)P_T(\mathrm dt)\\ &=\int_B\varphi(t)P_T(\mathrm dt) \end{align}$

φ (t) = \int_{R} E [U ∣ T = t, S = s] P_{S} (d s ∣ T = t) .

$\varphi(t)=\int_\mathbb{R}{\rm E}[U\mid T=t,S=s]\,P_S(\mathrm ds\mid T=t).$

B

$B$ নির্বিচারে ছিলাম আমরা উপসংহারে যে ।

φ (t) = E [U ∣ T = t]

$\varphi(t)={\rm E}[U\mid T=t]$

এখন, এবং দিয়ে ব্যবহার করুন , যেখানে এবং , । তারপরে আমরা নোট করব যে শর্তসাপেক্ষ প্রত্যাশার সংজ্ঞা অনুসারে এবং তাই আমরা have have করেছি $A\in\mathcal{B}(\mathbb{R})$ $(*)$ $U=\psi(X,Z)$ $\psi(x,z)=\mathbf{1}_{g^{-1}(A)}(x,z)$ $S=Z$ $T=X$

E [U ∣ X = x, Z = z] = E [ψ (X, Y) ∣ X = x, Z = z] = ψ (x, z)

${\rm E}[U\mid X=x,Z=z]={\rm E}[\psi(X,Y)\mid X=x,Z=z]=\psi(x,z)$

(*)

$(*)$

\begin{aligned} P (g (X, Z) \in A ∣ X = x) & = E [U ∣ X = x] = \int_{R} ψ (x, z) P_{Z} (d z ∣ X = x) \\ = P (g (x, Z) \in A ∣ X = x) . \end{aligned}

$\begin{align} P(g(X,Z)\in A\mid X=x)&={\rm E}[U\mid X=x]=\int_\mathbb{R} \psi(x,z)\,P_Z(\mathrm dz\mid X=x)\\ &=P(g(x,Z)\in A\mid X=x). \end{align}$

— স্টিফান হ্যানসেন
সূত্র