知经百科 / E

二维连续型随机变量

二维连续型随机变量 (Two-dimensional Continuous Random Variable)

已验证:true

在\%概率论\%与\%统计学\%中,二维随机变量 (Two-dimensional Random Variable) 是对现实世界中两个同时变化的随机现象进行数学描述的工具。当我们同时关注两个指标时,例如一个人的身高和体重,或者一只股票的日收益率和交易量,我们就可以用一个向量 (X,Y) (X, Y) 来表示,其中 X X 和 Y Y 都是\%随机变量\%。

如果 X X 和 Y Y 都是\%连续型随机变量\%,那么这个向量 (X,Y) (X, Y) 就被称为二维连续型随机变量。与一维情况不同,我们不再讨论单个点的概率(该概率为零),而是研究该随机向量落在某个平面区域内的概率。二维连续型随机变量是\%多元统计分析\%和\%计量经济学\%的理论基础,广泛应用于\%金融工程\%、\%精算科学\%及\%机器学习\%等领域。

核心概念:联合概率密度函数

描述二维连续型随机变量 (X,Y) (X, Y) 概率特性的核心工具是其\%联合概率密度函数\% (Joint Probability Density Function, Joint PDF),记为 f(x,y) f(x, y) 。它类似于一维PDF的推广,但其图形是一个定义在 xy xy 平面上的曲面 z=f(x,y) z = f(x, y) 。

联合概率密度函数 f(x,y) f(x, y) 必须满足以下两个基本性质:

  1. 非负性:对于任意的实数对 (x,y) (x, y) ,函数值必须是非负的。
f(x,y)≥0f(x, y) \ge 0
  1. 归一性:函数曲面与 xy xy 平面所围成的体积必须等于1。
∬R2f(x,y) dx dy=∫−∞∞∫−∞∞f(x,y) dx dy=1\iint_{\mathbb{R}^2} f(x, y) \,dx\,dy = \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} f(x, y) \,dx\,dy = 1

使用联合PDF,可以计算随机点 (X,Y) (X, Y) 落在平面上任意区域 D D 内的概率,该概率等于联合PDF在 D D 上的\%重积分\%:

P((X,Y)∈D)=∬Df(x,y) dx dyP((X, Y) \in D) = \iint_D f(x, y) \,dx\,dy

对于任何特定点 (x0,y0) (x_0, y_0) ,有 P(X=x0,Y=y0)=0 P(X=x_0, Y=y_0) = 0 ,这与所有连续型随机变量的性质一致。联合PDF的数值本身并不是概率,概率由PDF在区域上的积分给出。

边缘分布

虽然研究的是二维随机变量 (X,Y) (X, Y) ,但常常关心单个变量自身的概率分布。从联合分布中推导出的单个变量的分布称为\%边缘分布\%,其\%边缘概率密度函数\%计算如下:

  • X X 的边缘PDF fX(x) f_X(x) :通过对联合PDF f(x,y) f(x, y) 中的 y y 在其整个取值范围内积分得到。
fX(x)=∫−∞∞f(x,y) dyf_X(x) = \int_{-\infty}^{\infty} f(x, y) \,dy
  • Y Y 的边缘PDF fY(y) f_Y(y) :同理,对 x x 进行积分。
fY(y)=∫−∞∞f(x,y) dxf_Y(y) = \int_{-\infty}^{\infty} f(x, y) \,dx

直观上,边缘化过程是在三维概率密度曲面上沿着某一方向"累加"密度,从而将二维信息压缩为一维。边缘分布保留了单个变量的全部概率信息,但丢失了变量间的依赖关系。

条件分布

\%条件分布\% (Conditional Distribution) 描述了在已知一个随机变量取特定值的条件下,另一个随机变量的概率分布,是理解变量间相互关系的关键。

\%条件概率密度函数\% (Conditional PDF) 的定义源于条件概率公式的推广:

  • 给定 X=x X=x 时 Y Y 的条件PDF:
fY∣X(y∣x)=f(x,y)fX(x),其中 fX(x)>0f_{Y|X}(y|x) = \frac{f(x, y)}{f_X(x)}, \quad \text{其中 } f_X(x) > 0

对于固定的 x x ,fY∣X(y∣x) f_{Y|X}(y|x) 作为 y y 的函数本身是一个合法的PDF,满足 ∫−∞∞fY∣X(y∣x) dy=1 \int_{-\infty}^{\infty} f_{Y|X}(y|x) \,dy = 1 。条件PDF在\%贝叶斯统计\%中扮演核心角色——后验分布本质上是给定数据后的条件分布。

  • 给定 Y=y Y=y 时 X X 的条件PDF:
fX∣Y(x∣y)=f(x,y)fY(y),其中 fY(y)>0f_{X|Y}(x|y) = \frac{f(x, y)}{f_Y(y)}, \quad \text{其中 } f_Y(y) > 0

随机变量的独立性

\%统计独立性\%是一个至关重要的概念。如果 X X 和 Y Y 独立,意味着一个变量的取值信息不会影响另一个变量的概率分布。

对于二维连续型随机变量,独立性可通过以下等价方式判断:

  1. 联合PDF等于边缘PDF的乘积:对所有的 (x,y) (x, y) 有
f(x,y)=fX(x)fY(y)f(x, y) = f_X(x) f_Y(y)

这是最常用和最直接的判断方法。

  1. 条件PDF等于边缘PDF:
fY∣X(y∣x)=fY(y)或fX∣Y(x∣y)=fX(x)f_{Y|X}(y|x) = f_Y(y) \quad \text{或} \quad f_{X|Y}(x|y) = f_X(x)

独立性意味着协方差为零,但反之不成立——零协方差仅表示无线性关系,X X 与 Y Y 之间仍可能存在非线性依赖。

数学期望、协方差与相关系数

期望值

对于关于 (X,Y) (X, Y) 的函数 g(X,Y) g(X, Y) ,期望值的计算公式为:

E[g(X,Y)]=∬R2g(x,y)f(x,y) dx dyE[g(X, Y)] = \iint_{\mathbb{R}^2} g(x, y) f(x, y) \,dx\,dy

X X 和 Y Y 的期望值可通过边缘分布或联合分布计算:

E[X]=∫−∞∞xfX(x) dx=∬R2xf(x,y) dx dyE[X] = \int_{-\infty}^{\infty} x f_X(x) \,dx = \iint_{\mathbb{R}^2} x f(x, y) \,dx\,dy
E[Y]=∫−∞∞yfY(y) dy=∬R2yf(x,y) dx dyE[Y] = \int_{-\infty}^{\infty} y f_Y(y) \,dy = \iint_{\mathbb{R}^2} y f(x, y) \,dx\,dy

协方差

\%协方差\%衡量两个变量线性关系的强度与方向:

Cov(X,Y)=E[(X−E[X])(Y−E[Y])]=E[XY]−E[X]E[Y]\text{Cov}(X, Y) = E[(X - E[X])(Y - E[Y])] = E[XY] - E[X]E[Y]
  • Cov(X,Y)>0 \text{Cov}(X, Y) > 0 表示 X X 和 Y Y 倾向于同向变化。
  • Cov(X,Y)<0 \text{Cov}(X, Y) < 0 表示反向变化。
  • X X 和 Y Y 独立时 Cov(X,Y)=0 \text{Cov}(X, Y) = 0 ,但反之不成立。

相关系数

协方差受变量尺度影响,为得到标准化度量,使用\%相关系数\% ρ \rho :

ρ(X,Y)=Cov(X,Y)σXσY\rho(X, Y) = \frac{\text{Cov}(X, Y)}{\sigma_X \sigma_Y}

相关系数的取值范围是 [−1,1] [-1, 1] :ρ=1 \rho=1 为完全正线性相关,ρ=−1 \rho=-1 为完全负线性相关,ρ=0 \rho=0 为无线性相关。相关系数在\%资产定价\%(如\%CAPM\%中的β \beta 系数)和\%风险管理\%中是不可或缺的度量。

常见的二维连续型分布

二维均匀分布

若 (X,Y) (X, Y) 在区域 D D 上服从均匀分布,其联合PDF为 f(x,y)=1/A(D) f(x, y) = 1/A(D) (A(D) A(D) 为区域面积)。这是最直观的二维分布,常用于几何概率和\%蒙特卡洛模拟\%。

二维正态分布

\%二维正态分布\% (Bivariate Normal Distribution) 是最重要的二维连续型分布。其联合PDF由均值向量 μ=(μX,μY) \boldsymbol{\mu} = (\mu_X, \mu_Y) 和协方差矩阵 Σ=[σX2ρσXσYρσXσYσY2] \Sigma = \begin{bmatrix} \sigma_X^2 & \rho\sigma_X\sigma_Y \\ \rho\sigma_X\sigma_Y & \sigma_Y^2 \end{bmatrix} 唯一确定:

f(x,y)=12πσXσY1−ρ2exp⁡(−12(1−ρ2)[(x−μX)2σX2−2ρ(x−μX)(y−μY)σXσY+(y−μY)2σY2])f(x, y) = \frac{1}{2\pi\sigma_X\sigma_Y\sqrt{1-\rho^2}} \exp\left(-\frac{1}{2(1-\rho^2)}\left[\frac{(x-\mu_X)^2}{\sigma_X^2} - 2\rho\frac{(x-\mu_X)(y-\mu_Y)}{\sigma_X\sigma_Y} + \frac{(y-\mu_Y)^2}{\sigma_Y^2}\right]\right)

二维正态分布具有以下重要性质:

  • 边缘分布为正态:X∼N(μX,σX2) X \sim N(\mu_X, \sigma_X^2) ,Y∼N(μY,σY2) Y \sim N(\mu_Y, \sigma_Y^2) 。
  • 条件分布为正态:Y∣X=x∼N(μY+ρσYσX(x−μX),  σY2(1−ρ2)) Y|X=x \sim N\left(\mu_Y + \rho\frac{\sigma_Y}{\sigma_X}(x-\mu_X),\; \sigma_Y^2(1-\rho^2)\right) 。
  • 独立等价于不相关:对二维正态分布而言,ρ=0 \rho=0 不仅意味着不相关,更意味着独立,这是其他分布通常不具备的特殊性质。
  • 线性组合仍为正态:任意线性组合 aX+bY aX + bY 服从一维正态分布。

二维正态分布在\%计量经济学\%(如两方程\%联立方程组\%中的误差项)、\%金融学\%(如两只资产的联合收益率建模)及\%信号处理\%中有广泛应用。

变量变换

若 (X,Y) (X, Y) 有联合PDF fX,Y(x,y) f_{X,Y}(x, y) ,且存在一一映射 U=g1(X,Y),V=g2(X,Y) U = g_1(X, Y), V = g_2(X, Y) ,其逆变换为 X=h1(U,V),Y=h2(U,V) X = h_1(U, V), Y = h_2(U, V) ,则 (U,V) (U, V) 的联合PDF为:

fU,V(u,v)=fX,Y(h1(u,v),h2(u,v))⋅∣J∣f_{U,V}(u, v) = f_{X,Y}(h_1(u,v), h_2(u,v)) \cdot |J|

其中 J J 为\%雅可比行列式\%:

J=det⁡[∂h1∂u∂h1∂v∂h2∂u∂h2∂v]J = \det\begin{bmatrix} \frac{\partial h_1}{\partial u} & \frac{\partial h_1}{\partial v} \\ \frac{\partial h_2}{\partial u} & \frac{\partial h_2}{\partial v} \end{bmatrix}

变量变换方法在\%数理统计\%中用于推导统计量的分布,例如\%F分布\%和\%t分布\%均可通过二维随机变量的变换得到。

应用实例:二维均匀分布

假设 (X,Y) (X, Y) 在 x≥0,y≥0,x+y≤2 x \ge 0, y \ge 0, x+y \le 2 定义的三角形区域 D D 上服从均匀分布。

确定联合PDF:区域面积 AD=12×2×2=2 A_D = \frac{1}{2} \times 2 \times 2 = 2 ,故 f(x,y)=1/2 f(x, y) = 1/2 (区域内),区域外为0。

计算边缘PDF:对 x∈[0,2] x \in [0, 2] ,y y 的取值范围为 0≤y≤2−x 0 \le y \le 2-x :

fX(x)=∫02−x12 dy=1−x2,0≤x≤2f_X(x) = \int_0^{2-x} \frac{1}{2} \,dy = 1 - \frac{x}{2}, \quad 0 \le x \le 2

判断独立性:同理 fY(y)=1−y/2 f_Y(y) = 1 - y/2 。fX(x)fY(y)≠f(x,y) f_X(x) f_Y(y) \neq f(x, y) ,故 X X 与 Y Y 不独立。直观上,X X 取较大值时 Y Y 的取值范围被压缩,体现了变量间的依赖。

条件PDF:对于 x∈(0,2) x \in (0, 2) :

fY∣X(y∣x)=1/21−x/2=12−x,0≤y≤2−xf_{Y|X}(y|x) = \frac{1/2}{1 - x/2} = \frac{1}{2-x}, \quad 0 \le y \le 2-x

即给定 X=x X=x 时 Y Y 在 [0,2−x] [0, 2-x] 上服从均匀分布。

总结与扩展

二维连续型随机变量搭建了从一维概率论通向\%多元统计分析\%的桥梁。联合PDF、边缘分布、条件分布及独立性构成了其核心理论框架,而协方差与相关系数提供了量化变量关系的实用工具。常见分布(如二维正态分布)和变量变换方法进一步拓展了其应用范围。在现代数据科学中,这些概念是理解\%贝叶斯推断\%、\%高斯过程\%及\%图模型\%等高阶主题的基础。

返回百科索引