@@ -5,15 +5,15 @@ date: 2025-10-16/21
55
66## Joint distributions of two random variables
77
8- Let $(\Omega,\mathcal{F},P)$ be a probability space. A ** random vector** $(X,Y)$ is a pair of real-valued random variables
8+ Let $(\Omega,\mathcal{F},P)$ be a probability space. A ** random vector** $(X, Y)$ is a pair of real-valued random variables
99$$
1010X:\Omega\to\mathbb{R},\qquad Y:\Omega\to\mathbb{R}.
1111$$
1212
13- The ** joint law** of $(X,Y)$ is the probability measure on $\mathbb{R}^2$ defined by
13+ The ** joint law** of $(X, Y)$ is the probability measure on $\mathbb{R}^2$ defined by
1414$$
15- P\big((X,Y)\in A\big)
16- = P\big(\{\omega\in\Omega : (X(\omega),Y(\omega))\in A\}\big),
15+ P\big((X, Y)\in A\big)
16+ = P\big(\{\omega\in\Omega : (X(\omega), Y(\omega))\in A\} \big),
1717\quad A\subseteq\mathbb{R}^2\ \text{(Borel)}.
1818$$
1919
@@ -29,134 +29,135 @@ Assume $X$ and $Y$ are discrete with countable state spaces $S_X,S_Y\subseteq\ma
2929
3030The ** joint pmf** :
3131$$
32- p_{X,Y}(a,b) = P(X=a,Y=b),\quad (a,b)\in S_X\times S_Y.
32+ p_{X, Y}(a, b) = P(X=a, Y=b),\quad (a, b)\in S_X\times S_Y.
3333$$
3434
3535Properties:
36- - $p_ {X,Y}(a,b)\ge0$ for all $(a,b)$.
37- - $\displaystyle\sum_ {a\in S_X}\sum_ {b\in S_Y} p_ {X,Y}(a,b)=1$.
36+
37+ - $p_ {X, Y}(a, b)\ge0$ for all $(a, b)$.
38+ - $\displaystyle\sum_ {a\in S_X} \sum_ {b\in S_Y} p_ {X, Y}(a, b)=1$
3839
3940For $A\subseteq S_X\times S_Y$,
4041$$
41- P((X,Y)\in A) = \sum_{(a,b)\in A} p_{X,Y}(a,b).
42+ P((X, Y)\in A) = \sum_{(a, b)\in A} p_{X, Y}(a, b)
4243$$
4344
4445### Joint cdf (discrete)
4546
4647$$
47- F_{X,Y}(s,t)=P(X\le s,Y\le t)
48- = \sum_{a\le s}\sum_{b\le t} p_{X,Y}(a,b).
48+ F_{X, Y}(s,t)=P(X\le s, Y\le t)
49+ = \sum_{a\le s} \sum_{b\le t} p_{X, Y}(a, b).
4950$$
5051
5152### Marginal pmfs
5253
5354$$
54- p_X(a)=P(X=a)=\sum_{b\in S_Y} p_{X,Y}(a,b),
55+ p_X(a)=P(X=a)=\sum_{b\in S_Y} p_{X, Y}(a, b),
5556\qquad
56- p_Y(b)=P(Y=b)=\sum_{a\in S_X} p_{X,Y}(a,b).
57+ p_Y(b)=P(Y=b)=\sum_{a\in S_X} p_{X, Y}(a, b).
5758$$
5859
59- ### Expectation of functions
60+ ### Expectation
6061
6162For $g:\mathbb{R}^2\to\mathbb{R}$,
6263$$
63- \E[g(X,Y)] = \sum_{a\in S_X}\sum_{b\in S_Y} g(a,b)\, p_{X,Y}(a,b),
64+ \E[g(X, Y)] = \sum_{a\in S_X} \sum_{b\in S_Y} g(a, b) p_{X, Y}(a, b),
6465$$
6566whenever the sum converges absolutely.
6667
6768---
6869
6970## Continuous joint distributions
7071
71- Suppose $(X,Y)$ has a ** joint density** $f_ {X,Y}:\mathbb{R}^2\to[ 0,\infty)$ such that
72+ Suppose $(X, Y)$ has a ** joint density** $f_ {X, Y}:\mathbb{R}^2\to[ 0,\infty)$ such that
7273$$
73- \iint_{\mathbb{R}^2} f_{X,Y}(x,y)\,dx\, dy=1,
74+ \iint_{\mathbb{R}^2} f_{X, Y}(x, y) dx dy=1,
7475$$
7576and for all Borel $A\subseteq\mathbb{R}^2$,
7677$$
77- P((X,Y)\in A) = \iint_A f_{X,Y}(x,y)\,dx\, dy.
78+ P((X, Y)\in A) = \iint_A f_{X, Y}(x, y) dx dy.
7879$$
7980
80- Then $(X,Y)$ is (jointly) continuous with density $f_ {X,Y}$.
81+ Then $(X, Y)$ is (jointly) continuous with density $f_ {X, Y}$.
8182
8283The ** joint cdf** is always
8384$$
84- F_{X,Y}(a,b)=P(X\le a,Y\le b).
85+ F_{X, Y}(a, b)=P(X\le a, Y\le b).
8586$$
86- If $F_ {X,Y}$ is differentiable,
87+ If $F_ {X, Y}$ is differentiable,
8788$$
88- F_{X,Y}(a,b)
89- = \int_{-\infty}^a\int_{-\infty}^b f_{X,Y}(x,y)\,dy\, dx,
89+ F_{X, Y}(a, b)
90+ = \int_{-\infty}^a\int_{-\infty}^b f_{X, Y}(x, y) dy dx,
9091\qquad
91- f_{X,Y}(a,b)=\frac{\partial^2}{\partial a\,\ partial b}F_{X,Y}(a,b).
92+ f_{X, Y}(a, b)=\frac{\partial^2}{\partial a \ partial b}F_{X, Y}(a, b).
9293$$
9394
9495### Marginal densities
9596
9697$$
97- f_X(a) = \int_{-\infty}^{\infty} f_{X,Y}(a,y)\, dy,
98+ f_X(a) = \int_{-\infty}^{\infty} f_{X, Y}(a, y) dy,
9899\qquad
99- f_Y(b) = \int_{-\infty}^{\infty} f_{X,Y}(x,b)\, dx.
100+ f_Y(b) = \int_{-\infty}^{\infty} f_{X, Y}(x, b) dx.
100101$$
101102
102- ### Expectation of functions
103+ ### Expectation
103104
104105For integrable $g$,
105106$$
106- \E[g(X,Y)] = \iint_{\mathbb{R}^2} g(x,y)\, f_{X,Y}(x,y)\,dx\, dy.
107+ \E[g(X, Y)] = \iint_{\mathbb{R}^2} g(x, y) f_{X, Y}(x, y) dx dy.
107108$$
108109
109110---
110111
111112## Example: uniform on the unit disk
112113
113- Let $(X,Y)$ be uniform on
114+ Let $(X, Y)$ be uniform on
114115$$
115- D=\{(x,y):x^2+y^2\le1\}.
116+ D=\{(x, y):x^2+y^2\le1\}.
116117$$
117118
118119Then
119120$$
120- f_{X,Y}(x,y)=\frac1\pi\mathbf{1}_{\{x^2+y^2\le1\}}.
121+ f_{X, Y}(x, y)=\frac1\pi\mathbf{1}_{\{x^2+y^2\le1\}}.
121122$$
122123
123124Marginal of $X$ (for $|a|\le1$):
124125$$
125126f_X(a)
126- = \int_{-\sqrt{1-a^2}}^{\sqrt{1-a^2}} \frac1\pi\, dy
127+ = \int_{-\sqrt{1-a^2}}^{\sqrt{1-a^2}} \frac1\pi dy
127128= \frac{2\sqrt{1-a^2}}{\pi},
128129$$
129130and $0$ otherwise. Similarly for $Y$.
130131
131- Here $X,Y$ are not independent, since $f_ {X,Y}(a,b)\neq f_X(a)f_Y(b)$ on $D$.
132+ Here $X, Y$ are not independent, since $f_ {X, Y}(a, b)\neq f_X(a)f_Y(b)$ on $D$.
132133
133134---
134135
135136## Independence
136137
137- Random variables $X,Y$ are ** independent** if for all Borel $A,B$,
138+ Random variables $X, Y$ are ** independent** if for all Borel $A,B$,
138139$$
139- P(X\in A,Y\in B)=P(X\in A)P(Y\in B).
140+ P(X\in A, Y\in B)=P(X\in A)P(Y\in B).
140141$$
141142
142143Equivalent:
143144
144145- cdf factorization:
145146 $$
146- F_{X,Y}(a,b)=F_X(a)F_Y(b)\ \forall a,b.
147+ F_{X, Y}(a, b)=F_X(a)F_Y(b)\ \forall a, b.
147148 $$
148149- Discrete:
149150 $$
150- p_{X,Y}(a,b)=p_X(a)p_Y(b)\ \forall a,b.
151+ p_{X, Y}(a, b)=p_X(a)p_Y(b)\ \forall a, b.
151152 $$
152153- Continuous (with density):
153154 $$
154- f_{X,Y}(a,b)=f_X(a)f_Y(b)\ \forall a,b.
155+ f_{X, Y}(a, b)=f_X(a)f_Y(b)\ \forall a, b.
155156 $$
156157
157- If $X,Y$ are independent, then for suitable $g,h$,
158+ If $X, Y$ are independent, then for suitable $g,h$,
158159$$
159- \E[g(X)h(Y)]=\E[g(X)]\, \E[h(Y)].
160+ \E[g(X)h(Y)]=\E[g(X)] \E[h(Y)].
160161$$
161162
162163For $X_1,\dots,X_n$, ** mutual independence** means
@@ -171,16 +172,16 @@ A family is **i.i.d.** if they are mutually independent and all have the same di
171172
172173## Worked example
173174
174- Let $X,Y,Z$ be i.i.d. $\mathrm{Unif}(0,1)$. Compute $P(X\ge YZ)$.
175+ Let $X, Y,Z$ be i.i.d. $\mathrm{Unif}(0,1)$. Compute $P(X\ge YZ)$.
175176
176177The joint density on $[ 0,1] ^3$ is $1$, so
177178$$
178- P(X\ge YZ)=\iiint_{[0,1]^3} \mathbf{1}_{\{x\ge yz\}}\,dx\,dy\, dz.
179+ P(X\ge YZ)=\iiint_{[0,1]^3} \mathbf{1}_{\{x\ge yz\}} dx dy dz.
179180$$
180181For fixed $y,z$, the condition is $x\in[ yz,1] $, length $1-yz$, hence
181182$$
182183P(X\ge YZ)
183- = \int_0^1\int_0^1 (1-yz)\,dy\, dz
184+ = \int_0^1\int_0^1 (1-yz) dy dz
184185= 1 - \frac14
185186= \frac34.
186187$$
0 commit comments