Skip to content

联合分布

二维离散型随机变量

如果二维随机变量 \((X, Y)\) 全部可能取到的值是有限对或可列无限对,则称 \((X, Y)\)二维离散型随机变量

设二维离散型随机变量 \((X, Y)\) 的所有可能取到的值为 \((x_i, y_j)\),其中 \(i, j = 1, 2, \ldots\),记 \(P\{X = x_i, Y = y_j\} = p_{ij}, i, j = 1, 2, \ldots\),则有(联合分布的基本性质):

\[ p_{ij} \geq 0, \quad \sum_{i=1}^{\infty} \sum_{j=1}^{\infty} p_{ij} = 1 \]

二维离散型随机变量的联合分布

数学上,将上面的 \(P\{X = x_i, Y = y_j\} = p_{ij}, i, j = 1, 2, \ldots\) 称为二维离散型随机变量 \((X, Y)\)联合分布,或称为随机变量 \(X\)\(Y\)联合分布律

也可用表格描述该联合分布:

\(Y \backslash X\) \(x_1\) \(x_2\) \(\cdots\) \(x_i\) \(\cdots\)
\(y_1\) \(p_{11}\) \(p_{12}\) \(\cdots\) \(p_{i1}\) \(\cdots\)
\(y_2\) \(p_{21}\) \(p_{22}\) \(\cdots\) \(p_{i2}\) \(\cdots\)
\(\vdots\) \(\vdots\) \(\vdots\) \(\vdots\) \(\vdots\) \(\vdots\)
\(y_j\) \(p_{1j}\) \(p_{2j}\) \(\cdots\) \(p_{ij}\) \(\cdots\)
\(\vdots\) \(\vdots\) \(\vdots\) \(\vdots\) \(\vdots\) \(\vdots\)

结合二维随机变量的分布函数的概念,可以得到其联合分布函数

\[ F(x, y) = P\{X \leqslant x, Y \leqslant y\} = \sum_{x_i \leqslant x} \sum_{y_j \leqslant y} p_{ij} \]

例子:掷两枚骰子

\(X\)\(Y\) 分别表示掷两枚骰子得到的点数,则 \((X, Y)\) 是二维离散型随机变量,其联合分布律如下表所示:

\(Y \backslash X\) 1 2 3 4 5 6
1 1/36 1/36 1/36 1/36 1/36 1/36
2 1/36 1/36 1/36 1/36 1/36 1/36
3 1/36 1/36 1/36 1/36 1/36 1/36
4 1/36 1/36 1/36 1/36 1/36 1/36
5 1/36 1/36 1/36 1/36 1/36 1/36
6 1/36 1/36 1/36 1/36 1/36 1/36

那么:

  • 两个点数分别满足 \(X \leqslant 3,\ Y \leqslant 4\) 的概率为:

    \[ P\{X \leqslant 3, Y \leqslant 4\} = F(3, 4) = \sum_{x_i \leqslant 3} \sum_{y_j \leqslant 4} p_{ij} = \frac{3 \times 4}{36} = \frac{1}{3} \]
  • 两个点数都大于 4(即都为 5 或 6)的概率为:

    \[ \begin{aligned} P\{X > 4, Y > 4\} &= P\{4 < X \leqslant 6,\ 4 < Y \leqslant 6\} \\ &= F(6,6)-F(4,6)-F(6,4)+F(4,4) \\ &= 1-\frac{2}{3}-\frac{2}{3}+\frac{4}{9} = \frac{1}{9}. \end{aligned} \]

    或者直接计算:

    \[ P\{X > 4, Y > 4\} = \sum_{x_i > 4} \sum_{y_j > 4} p_{ij} = \frac{2 \times 2}{36} = \frac{1}{9} \]

二维连续型随机变量

一维连续型随机变量相似,如果二维随机变量 \((X, Y)\) 的所有可能取到的值是一个连续区域内的点,则称 \((X, Y)\)二维连续型随机变量,即对于二维随机变量 \((X, Y)\) 的分布函数 \(F(x, y)\),存在非负可积函数 \(f(x, y)\) 使对于任意实数 \(x\)\(y\),都有:

\[ F(x, y)= P\{X \leqslant x, Y \leqslant y\} = \int_{-\infty}^{y} \int_{-\infty}^{x} f(u, v) \mathrm{d}u \mathrm{d}v \]

函数 \(f(x, y)\) 称为二维连续型随机变量 \((X, Y)\)概率密度,或称为随机变量 \(X\)\(Y\)联合概率密度

联合概率密度的基本性质

  1. \(f(x, y) \geqslant 0\).

  2. \(\int_{-\infty}^{\infty} \int_{-\infty}^{\infty} f(x, y) \mathrm{d}x \mathrm{d}y = 1\).

  3. \(f(x, y)\)\((x, y)\) 处连续,则有:

    \[ f(x, y) = \frac{\partial^2 F(x, y)}{\partial x \partial y} \]

    这个性质依旧可以类比一维连续型随机变量概率密度函数的基本性质(性质4)进行理解记忆。

  4. \(D\)\(xOy\) 平面上的区域,点 \((X, Y)\) 落在 \(D\) 内的概率为:

    \[ P\{(X, Y) \in D\} = \iint_D f(x, y) \mathrm{d}x \mathrm{d}y \]

    联合概率密度的本质

    理解这个性质,首先需要理解联合概率密度函数的本质(从函数图像上来看,其实就是一个永远处于 \(xOy\) 平面之上的曲面),然后再结合二重积分的本质理解,其实就是求在区域 \(D\) 上,\(f(x, y)\)\(xOy\) 平面围成的区域的体积。

    数学描述如下:

    由联合分布函数与联合概率密度的关系,在 \(f(x, y)\) 的连续点处有:

    \[ \begin{aligned} \lim_{\varDelta x \to 0^+} \lim_{\varDelta y \to 0^+} \frac{P\{x < X \leqslant x + \varDelta x,\ y < Y \leqslant y + \varDelta y\}}{\varDelta x \varDelta y} &= \lim_{\varDelta x \to 0^+} \lim_{\varDelta y \to 0^+} \frac{1}{\varDelta x \varDelta y} \big[ F(x+\varDelta x, y+\varDelta y) - F(x+\varDelta x, y) \\ &\qquad\qquad\qquad\quad - F(x, y+\varDelta y) + F(x, y) \big] \\ &= \frac{\partial^2 F(x, y)}{\partial x \partial y} = f(x, y). \end{aligned} \]

    这表示当 \(\varDelta x,\varDelta y\) 很小时,有近似关系:

    \[ P\{x < X \leqslant x + \varDelta x,\ y < Y \leqslant y + \varDelta y\} \approx f(x, y)\,\varDelta x\,\varDelta y. \]

    也就是说,点 \((X,Y)\) 落在小矩形 \((x, x+\varDelta x] \times (y, y+\varDelta y]\) 内的概率,近似等于“密度值(高) \(\times\) 面积(由于 \(\varDelta x,\varDelta y\) 非常小,可以看作是矩形而非曲面)”,即曲面 \(f(x, y)\)\(xOy\) 平面围成的区域的体积。

联合概率密度的n维推广

前面的二维结论可以自然推广到 \(n\) 维随机变量\(n\) 维随机向量 \((X_1, X_2, \ldots, X_n)\)

n维联合分布函数

定义:

\[ F(x_1, x_2, \ldots, x_n) = P\{X_1 \leqslant x_1,\ X_2 \leqslant x_2,\ \ldots,\ X_n \leqslant x_n\}. \]

它表示随机点落在 \((-\infty, x_1] \times (-\infty, x_2] \times \cdots \times (-\infty, x_n]\) 内的概率。

n维离散型

\((X_1, X_2, \ldots, X_n)\) 为离散型,记

\[ p_{i_1 i_2 \cdots i_n} = P\{X_1 = x_{1,i_1},\ X_2 = x_{2,i_2},\ \ldots,\ X_n = x_{n,i_n}\}, \]

则有

\[ p_{i_1 i_2 \cdots i_n} \geqslant 0,\qquad \sum_{i_1}\sum_{i_2}\cdots\sum_{i_n} p_{i_1 i_2 \cdots i_n} = 1. \]

并且

\[ F(x_1, \ldots, x_n) = \sum_{x_{1,i_1}\leqslant x_1}\cdots\sum_{x_{n,i_n}\leqslant x_n} p_{i_1 i_2 \cdots i_n}. \]

n维连续型

若存在非负可积函数 \(f(x_1, \ldots, x_n)\) 使

\[ F(x_1, \ldots, x_n) = \int_{-\infty}^{x_1}\cdots\int_{-\infty}^{x_n} f(u_1, \ldots, u_n)\,\mathrm{d}u_n\cdots\mathrm{d}u_1, \]

则称 \(f\)\(n\) 维联合概率密度,并有

\[ f(x_1, \ldots, x_n)\geqslant 0,\qquad \int_{\mathbb{R}^n} f(x_1,\ldots,x_n)\,\mathrm{d}x_1\cdots\mathrm{d}x_n = 1. \]

对任意区域 \(G \subset \mathbb{R}^n\)

\[ P\{(X_1,\ldots,X_n)\in G\} = \int_G f(x_1,\ldots,x_n)\,\mathrm{d}x_1\cdots\mathrm{d}x_n. \]

三维随机变量

\((X,Y,Z)\) 而言,

\[ F(x,y,z)=P\{X\leqslant x,\ Y\leqslant y,\ Z\leqslant z\}, \]

它表示随机点落在三维空间长方体 \((-\infty,x]\times(-\infty,y]\times(-\infty,z]\) 内的概率。
这与二维里“落在平面左下角矩形内的概率”是同一个思想,只是维度更高。