概率论的基本概念

基本概念

  • 概率论 (Theory of Probability): 是一门揭示随机现象统计规律性的数学学科
  • 统计学 (Statistics):是一门通过收集、整理、分析数据等手段以达到推断或预测考察对象本质或未来的学科.
  • 随机现象(random phenomenon):个别实验结果呈现不确定性,大量重复实验又具有统计规律性的现象
  • 随机试验(random experiment):对随机现象的观测
  • 样本和样本空间:试验的每一个结果称为一个样本(sample),记为ss。所有可能出现的结果的集合称为样本空间 (sample space),记为SS
  • 随机事件(random event):实际问题中,通常会关心随机试验一些特定的结果,它们是S的(可测)子集,称为事件(event),通常用大写字母A, B,…表示。
  • 可列集(countable):是指一个无穷集S,其元素可与自然数形成一一对应,因此可表为 S={s1,s2,}S=\{s_1,s_2,…\}

事件的关系与运算:设 A,BA,B 为样本空间SS中的事件,即 A,BSA,B\subseteq S。特别的, SS 称为必然事件(certain event),\varnothing 称为不可能事件(impossible event),单点集 {s}\{s\} 称为基本事件(elementary event)

  • sAs\in A :事件A发生
  • ABA\subseteq B:指事件A必然导致事件B发生
  • A=BA=B:等价于 AB and BAA⊂ B\text{ and }B⊂ A
  • ABA∪B:称为事件A与B的和事件(union of events),表示事件A与B至少有一个发生
  • ABA∩ B:称为事件A与B的积事件(intersection of events),表示事件A与B同时发生,也常记为AB
  • ABA-B:称为事件A与B的差事件(difference of events),表示事件A发生且B不发生
  • Aˉ=SA\bar A=S-A:称为A的对立事件(complementary events),表示事件A不发生,也可记为 AC=SAA^C=S\setminus A
  • AB=AB=\varnothing,则称事件A与B互斥(mutually exclusive events),可记为 ABA\bot B
性质 表达式
交换律 AB=BAAB=BAA∪ B=B∪ A\\ A∩ B=B∩ A
结合律 (AB)C=A(BC)(AB)C=A(BC)(A∪ B)∪ C=A∪ (B∪ C)\\ (A∩ B)∩ C=A∩ (B∩ C)
分配律 A(BC)=(AB)(AB)A(BC)=(AB)(AB)A∪ (B∩ C)=(A∪ B)∩ (A∪ B)\\ A∩ (B∪ C)=(A∩ B)∪ (A∩ B)
对偶律
(De Morgan)
AB=AˉBˉ,AB=AˉBˉi=1nAi=i=1nAiˉ,i=1nAi=i=1nAiˉ\overline{ A∪ B}=\bar A∩\bar B ,\quad \overline{ A∩ B}=\bar A∪\bar B \\ \overline{\displaystyle\bigcup_{i=1}^{n}A_i}=\displaystyle\bigcap_{i=1}^{n}\bar{A_i} ,\quad \overline{\displaystyle\bigcap_{i=1}^{n}A_i}=\displaystyle\bigcup_{i=1}^{n}\bar{A_i}

频率(frequency)

fn(A)=nAnf_n(A)=\dfrac{n_A}{n}

其中 nAn_A 是A发生的次数(频数),n 是总试验次数,称 fn(A)f_n(A) 为A在这 n 次试验中发生频率。

频率的性质
(1) 0fn(A)10⩽ f_n(A) ⩽ 1
(2) fn(S)=1f_n(S)= 1
(3) AiAj=(ij)    fn(i=1kAi)=i=1kfn(Ai)A_iA_j=\varnothing \quad (i\neq j)\implies f_n(\displaystyle\bigcup_{i=1}^{k}A_i)=\displaystyle\sum_{i=1}^{k}f_n(A_i)

概率(probability)

  • (统计性定义)当试验的次数增加时,随机事件A发生的频率的稳定值p称为概率,记为 P(A)=p\mathbb P(A)=p
  • (公理化定义)设随机试验对应的样本空间为S,定义P(A)\mathbb P(A)满足以下性质,称P(A)\mathbb P(A)为A的概率

非负性:P(A)0\mathbb P(A)⩾ 0
规范性:P(S)=1\mathbb P(S)=1
可列可加性:AiAj=(ij)    P(i=1Ai)=i=1P(Ai)A_iA_j=\varnothing\quad(i\neq j)\implies \mathbb P(\displaystyle\bigcup_{i=1}^{∞}A_i)=\displaystyle\sum_{i=1}^{∞}\mathbb P(A_i)
概率的性质

  • P()=0\mathbb P(\varnothing)= 0
  • P(A)=1P(Aˉ)\mathbb P(A)=1-\mathbb P(\bar A)
  • AiAj=(ij)    P(i=1kAi)=i=1kP(Ai)A_iA_j=\varnothing \quad (i\neq j)\implies \mathbb P(\displaystyle\bigcup_{i=1}^{k}A_i)=\displaystyle\sum_{i=1}^{k}\mathbb P(A_i)
  • AB    P(BA)=P(B)P(A), P(B)P(A)A⊂ B\implies \mathbb P(B-A)=\mathbb P(B)-\mathbb P(A),\ \mathbb P(B)⩾ \mathbb P(A)
  • P(AB)=P(A)+P(B)P(AB)\mathbb P(A∪ B)=\mathbb P(A)+\mathbb P(B)-\mathbb P(AB)

等可能概型(classical probability):若试验满足,样本空间S中样本点有限(有限性),出现每一个样本点的概率相等(等可能性),称这种试验为等可能概型(或古典概型)。

P(A)=kn\mathbb P(A)=\cfrac{k}{n}

其中k为A中所包含的样本点数,n为S中的样本点数。

几何概型(geometric probability):(将等可能的原理进一步拓广)
当样本空间 S 为 Rn\R^n 中的某个区域,如果没有特别的信息,则认为 Rn\R^n 中每一点的出现都是等可能的。因此如果事件A为S中的某个子区域,则认为A发生的概率为A与S 体积(或面积、长度)之比。

条件概率(conditional probability):设A,B为事件,P(A)>0\mathbb P(A)>0,定义

P(BA)=P(AB)P(A)\mathbb P(B|A)=\frac{\mathbb P(AB)}{\mathbb P(A)}

称为是A发生条件下B发生的概率

条件概率空间:原样本空间的缩减 SAS\to A
条件概率:原概率的限制 P()P(A)\mathbb P(\cdot)\to \mathbb P(\cdot|A)

条件概率

条件概率性质P(A)\mathbb P(\cdot|A) 是概率,具有概率的所有性质
非负性:P(BA)0\mathbb P(B|A)⩾ 0
规范性:P(SA)=1\mathbb P(S|A)=1
可列可加性:BiBj=,(ij)    P(i=1BiA)=i=1P(BiA)B_iB_j=\varnothing,(i\neq j)\implies \mathbb P(\displaystyle\bigcup_{i=1}^{∞}B_i|A)=\displaystyle\sum_{i=1}^{∞}\mathbb P(B_i|A)
乘法公式

(1) P(AB)=P(A)P(BA)=P(B)P(AB)\mathbb P(AB)=\mathbb P(A)\mathbb P(B|A)=\mathbb P(B)\mathbb P(A|B)
(2) P(ABC)=P(A)P(BA)P(CAB)\mathbb P(ABC)=\mathbb P(A)\mathbb P(B|A)\mathbb P(C|AB)
(3) P(A1A2An)=P(A1)P(A2A1)P(A3A1A2)P(AnA1A2An1)\mathbb P(A_1A_2\cdots A_n)=\mathbb P(A_1)\mathbb P(A_2|A_1)\mathbb P(A_3|A_1A_2)\cdots \mathbb P(A_n|A_1A_2\cdots A_{n-1})

事件独立性(independent):设A,B是两随机事件,若 P(AB)=P(A)P(B)\mathbb P(AB)=\mathbb P(A)\mathbb P(B),称事件A,B独立
AABB独立    Aˉ\iff \bar ABB独立    A\iff ABˉ\bar B独立    Aˉ\iff \bar ABˉ\bar B独立
事件 A , B , C 独立,指下式同时成立。若只有前三个式子成立,称为两两独立。两两独立并不能决定三个事件独立。
{P(AB)=P(A)P(B)P(BC)=P(C)P(C)P(AC)=P(A)P(C)P(ABC)=P(A)P(B)P(C)\begin{cases} \mathbb P(AB)=\mathbb P(A)\mathbb P(B) \\ \mathbb P(BC)=\mathbb P(C)\mathbb P(C) \\ \mathbb P(AC)=\mathbb P(A)\mathbb P(C) \\ \mathbb P(ABC)=\mathbb P(A)\mathbb P(B)\mathbb P(C) \end{cases}

推广:事件 A1,A2,,AnA_1,A_2,\cdots,A_n 相互独立,则对 2kn2⩽ k ⩽ n均有

P(Ai1Ai2Aik)=j=1kP(Aij)\mathbb P(A_{i_1}A_{i_2}\cdots A_{i_k})=\displaystyle\prod_{j=1}^{k}\mathbb P(A_{i_j})

实际问题中,常常不是用定义去验证事件的独立性,而是由实际情形来判断其独立性。一旦确定事件是相互独立的,在计算概率时,尽可能转化为事件的乘积进行计算。

全概率公式 (complete probability formula):一个用于计算概率的公式,先化整为零,再聚零为整
B1,,BnB_1,\cdots,B_nSS 的一个划分,AA为事件,则

P(A)=i=1nP(ABi)P(Bi)\mathbb P(A)=\displaystyle\sum_{i=1}^{n}\mathbb P(A|B_i)\mathbb P(B_i)

SS 的事 件 B1,,BnB_1,\cdots,B_n 为一个划分,指它们满足
(1) i=1nBi=S\displaystyle\bigcup_{i=1}^{n}B_i=S
(2) BiBj=(i,j=1,2,,n; ij)B_iB_j=\varnothing \quad (i,j=1,2,\cdots,n;\ i\neq j)

全概率公式

贝叶斯公式(Bayes formula):全概率公式通过划分 {Bii=1,,n}\{B_i |i=1,\cdots,n\} 来计算一个事件 AA 的概率,有时候需要弄清楚在A发生的条件下,每个 BiB_i 发生的条件概率
B1,,BnB_1,\cdots,B_nSS 的一个划分,AA为事件,则对于i=1,,ni=1,\cdots,n,有

P(BiA)=P(ABi)P(Bi)i=1nP(ABi)P(Bi)\mathbb P(B_i|A)=\dfrac{\mathbb P(A|B_i)\mathbb P(B_i)}{\displaystyle\sum_{i=1}^{n}\mathbb P(A|B_i)\mathbb P(B_i)}

贝叶斯公式是关于随机事件AABB的条件概率和边缘概率的。

随机变量及其分布

随机变量

随机变量(Random variable):设随机试验的样本空间为SS,若X=X(e)X=X(e)为定义在 SS上的实值单值函数,则称 X(e)X(e) 为随机变量,简写为 XX
随机变量
说明:
(1) 随机变量 X(e):SRX(e):S\to R 为一映射,其自变量具有随机性;
(2) 随机事件可以表示为 A={e:X(e)I}={XI},IRA=\{e : X(e)\in I\}=\{X\in I\}, I⊂ \R
如:将一枚均匀的硬币抛掷3次, 样本空间为
S={HHH,HHT,HTH,HTT,THH,THT,TTH,TTT}S=\{HHH,HHT,HTH,HTT,THH,THT,TTH,TTT\}
若随机变量 XX 表示3次中出现正面(H)的次数, 则
随机事件 A={正面出现了一次}={X=1}
随机事件 B={3次出现的情况相同}={X=0或3}
随机事件 C={正面至少出现了一次}={X1X⩾ 1}
(3) 对于 iji\neq j,则必有 {X=i}{X=j}=\{X=i\}∩\{X=j\}=\varnothing
(4) 一般用大写英文字母 X,Y,Z 或希腊字母 ξ,ηξ,η 等来表示随机变量

离散型随机变量及分布律

定义:若随机变量XX的取值为有限个或可数 , 则称 XX 为离散(discrete)型随机变量。

分布律 (distribution law):离散随机变量在各特定取值上的概率,也称概率质量函数(probability mass function, PMF)

P(X=xk)=pk(k=1,2,)\mathbb P(X=x_k)=p_k\quad (k=1,2,\cdots)

XX x1x2xkx_1\quad x_2 \quad \cdots\quad x_k\quad \cdots 随机变量的所有可能取值
PP p1p2pkp_1\quad p_2 \quad \cdots\quad p_k\quad \cdots 取每个可能取值相应的概率

分布律满足:pk0, k=1+pk=1p_k⩾ 0,\ \displaystyle\sum_{k=1}^{+∞}p_k=1

几种重要的离散型随机变量

0-1分布:随机变量XX只能取0和1,又称两点分布或伯努利(Bernoulli)分布,记为XB(1,p)X∼ B(1,p)

P(X=k)=pk(1p)1k(k=0,1)\mathbb P(X=k)=p^k(1-p)^{1-k}\quad (k=0,1)

常用它来表示两个状态的问题(即随机试验的结果只有两个,称为伯努利试验):
S={s1,s2},X(s1)=1,X(s2)=0S=\{s_1,s_2\},\quad X(s_1)=1,X(s_2)=0
应用:检查产品的质量是否合格;对新生婴儿的性别进行登记

二项分布(Binomial):将上述伯努利试验独立地做n次,称为n重伯努利试验。设状态 s1,s2s_1, s_2 在每次试验中出现的概率是不变的。设X为n次试验中状态s1s_1出现的次数,则X的取值为0,1,,n0, 1, \cdots , n ,而 X=kX=k 的不同情况共有 (nk){n \choose k} 种,他们是互斥的,于是

P(X=k)=nkpk(1p)nk(k=1,2,,n)\mathbb P(X=k)=∁^k_np^k(1-p)^{n-k}\quad(k=1,2,\cdots,n)

称具有上述分布律的随机变量为服从参数为n, p的二项分布, 记为XB(n,p)X∼ B(n,p)
应用:有放回抽样

泊松分布(Poisson):若概率分布律为

P(X=k)=λkeλk!(k=0,1,2,)\mathbb P(X=k)=\dfrac{λ^ke^{-λ}}{k!}\quad(k=0,1,2,\cdots)

其中λ>0λ>0,就称服从参数为λλ的泊松分布,记为 Xπ(λ)X∼ π(λ)XP(λ)X∼ P(λ)
应用:一段时间内物理试验仪器捕获的粒子数;一本书中的错字数

几何分布(geometric):在重复多次的伯努利试验中, 试验进行到某种结果首次出现为止,此时X 的分布律为

P(X=k)=p(1p)k1(k=1,2,)\mathbb P(X=k)=p(1-p)^{k-1}\quad(k=1,2,\cdots)

XX的这种分布由此等比数列(几何级数)表达,故称为参数为p的几何分布。记为 XGeom(p)X∼ \text{Geom}(p)

连续型随机变量及概率密度

分布函数(distribution function):对于随机变量XX,定义函数

F(x)=P(Xx),xRF(x)=\mathbb P(X⩽ x),∀ x\in \R

称为X的累积分布函数(cumulative distribution function ,CDF) 。
任何随机变量都有相应的分布函数,分布函数可以给出随机变量落入任意一个范围的可能性。
一般地,离散型随机变量的分布函数为阶梯函数。

分布函数的基本性质
(1) 0F(x)10⩽ F(x) ⩽ 1
(2) F(x)F(x)是单调不减函数
(3) F()=limxF(x)=0,F(+)=limx+F(x)=1F(-∞)=\lim\limits_{x\to-∞}F(x)=0,\quad F(+∞)=\lim\limits_{x\to+∞}F(x)=1
(4) F(x)F(x)是右连续函数,即F(x)=F(x+0)=limyx+F(y)F(x)=F(x+0)=\lim\limits_{y\to x^+}F(y)

连续型随机变量(continuous random variable):设随机变量 X 的分布函数 F(x)F(x) 可表成其中

F(x)=xf(t)dtF(x)=\int_{-∞}^{x}f(t)\mathrm{d}t

其中 f(x)0f(x)⩾ 0, 则称X是连续型随机变量,f(x)f(x) 称为是 X 的概率密度函数(probability density function ,PDF),简称概率密度

概率密度的性质
(1) f(x)0f(x)⩾ 0
(2) +f(t)dt=1\int_{-∞}^{+∞}f(t)\mathrm{d}t=1
(3) x1<x2,P(x1<Xx2)=F(X2)F(x1)=x1x2f(t)dt∀ x_1<x_2,\mathbb P(x_1<X⩽ x_2)=F(X_2)-F(x_1)=\int_{x_1}^{x_2}f(t)\mathrm{d}t
(4) 在F(x)F(x)的连续点,f(x)=F(x)f(x)=F'(x)

几种重要的连续型分布

均匀分布(uniformly):若X的概率密度函数为

f(x)={1baif x[a,b]0otherwisef(x)=\begin{cases}\dfrac{1}{b-a} & \text{if }x\in[a,b] \\ 0 & \text{otherwise} \end{cases}

其中a<ba<b,就称X服从[a,b][a,b]上的均匀分布,记为XU(a,b)X∼ U(a,b)

分布函数为 F(x)={0if x<axabaif x[a,b]1if x>bF(x)=\begin{cases} 0 & \text{if }x<a \\ \dfrac{x-a}{b-a} & \text{if }x\in[a,b] \\ 1 & \text{if }x>b \end{cases}

均匀分布具有等可能性:取值的概率只与小区间的长度有关,而与其位置无关。
均匀分布

指数分布(exponential):若X的概率密度函数为

f(x)={1θexp(xθ)if x>00if x0f(x)=\begin{cases} \cfrac{1}{θ}\exp(-\cfrac{x}{θ}) & \text{if }x>0 \\ 0 & \text{if }x⩽ 0 \end{cases}

其中θ>0θ>0,就称X服从参数θθ的指数分布,记为XE(θ)X∼ E(θ)XExp(θ)X∼ \text{Exp}(θ)

分布函数为F(x)={1exp(xθ)if x>00if x0F(x)=\begin{cases} 1-\exp(-\cfrac{x}{θ}) & \text{if }x>0 \\ 0 & \text{if }x⩽ 0 \end{cases}

指数分布具有无记忆性:对于t0>0,t>0,P(X>t0+tX>t0)=P(X>t)t_0>0,t>0,\mathbb P(X>t_0+t|X>t_0)=\mathbb P(X>t)

应用:通常用来描述生命周期;表示独立随机事件发生的时间间隔;

正态分布(normal distribution):连续型随机变量 X 如果有如下形式的概率密度函数

f(x)=12πσexp((xμ)22σ2)(μR,σ>0)f(x)=\frac{1}{\sqrt{2π}σ}\exp(-\frac{(x-μ)^2}{2σ^2})\quad (μ\in\R,σ>0)

则称 X 服从参数为 (μ,σ2)(μ,σ^2) 的正态分布或高斯分布,记为 XN(μ,σ2)X∼ N(μ,σ^2)

特征:

(1) f(x)f(x)关于x=μx=μ对称, fmax=f(μ)=12πσf_{\max}=f(μ)=\dfrac{1}{\sqrt{2π}σ}
(2) 当xμx⩽ μ时,f(x)f(x)是严格单调递增函数
(3) x=μ±σx=μ± σf(x)f(x)的拐点
(4) limxμ+f(x)=0\lim\limits_{|x-μ|\to+∞}f(x)=0

两个参数的含义:

(1) 当固定 σ 改变 μ 的大小时,图形的形状不变,只是沿着 x 轴作平移变换; μ 称为位置参数,决定对称轴位置
(2) 当固定 μ 改变 σ 的大小时,图形的对称轴不变,而形状在改变, σ 越小图形越高越瘦,σ 越大图形越矮越胖;
σ 称为尺度参数,决定曲线分散程度
正态分布

应用:测量值与实际值的误差;分子热运动时每个分子的运动速率;

XN(μ,σ2),XX∼ N(μ,σ^2), X的分布函数 F(x)=P(Xx)=xf(t)dtF(x)=\mathbb P(X⩽ x)=\displaystyle\int_{-∞}^{x}f(t)\mathrm{d}t一般无解析解。

标准正态分布(standard normal distribution):若 ZN(0,1)Z∼ N(0,1) 称 Z 服从标准正态分布
Z 的概率密度函数:

ϕ(z)=12πez22ϕ(z)=\dfrac{1}{\sqrt{2π}}e^{-\frac{z^2}{2}}

Z 的分布函数:

Φ(z)=z12πet22dtΦ(z)=\int_{-∞}^{z}\dfrac{1}{\sqrt{2π}}e^{-\frac{t^2}{2}}\mathrm{d}t

重要性质:

(1) 关于轴的对称 Φ(z0)=1Φ(z0)Φ(-z_0)=1-Φ(z_0)
(2) 当 XN(μ,σ2)X∼ N(μ,σ^2)时,XμσN(0,1)\frac{X-μ}{σ}∼ N(0,1),由此可知
aR,FX(a)=P(Xa)=P(Xμσaμσ)=Φ(aμσ)∀ a\in\R,F_X(a)=\mathbb P(X⩽ a)=\mathbb P(\cfrac{X-μ}{σ} ⩽ \cfrac{a-μ}{σ})=Φ(\cfrac{a-μ}{σ})

常采用的3σ原则:P(Xμ3σ)0.9974\mathbb P(|X-μ|⩽ 3σ)\approx 0.9974

随机变量的函数

有时我们关心的随机变量不是直接观测得到的随机变量,而是它的函数。
如要得到一个圆的面积 Y,总是测量其半径,半径的测量值可看作随机变量X,若 XN(μ,σ2)X∼ N(μ,σ^2),则 Y 的分布是什么?

一般地,设 X 为一随机变量, 分布已知.。Y=g(X)Y=g(X), 其中 g 为一确定的实函数, 要求 Y 的分布。仍讨论离散型与连续型两种情况:
(1) 设 X 为离散型,求 Y 的分布律
先逐个算出 Y 的取值 g(x1),g(x2),g(x_1), g(x_2), \cdots, 每个g(xk)g(x_k)对应的概率为pkp_k;再合并所有相同的 g(xk)g(x_k), 并将对应的 pkp_k 相加。
(2) 设 X 为连续型随机变量, 具有概率密度 fX(x)f_X (x), 又设Y=g(X)Y=g(X)亦为连续型随机变量,求其概率密度 fY(y)f_Y(y)
先求分布函数 FY(y)=P(Yy)=P(g(X)y)=DfX(x)dxF_Y(y)=\mathbb P(Y⩽ y)=\mathbb P(g(X)⩽ y)=\int_Df_X(x)\mathrm{d}x,其中积分区域D={xg(x)y}D=\{x|g(x)⩽ y \},然后对分布函数求导, 得到概率概率密度。

定理:设随机变量 XFX(x),xR, Y=g(X),g(X)0X∼ F_X(x),x\in\R,\ Y=g(X),g'(X)\neq 0,则具有概率密度为

fY(y)={fX[h(y)]h(y)if y[a,b]0otherwisef_Y(y)=\begin{cases} f_X[h(y)]\cdot |h'(y)| & \text{if }y\in[a,b] \\ 0 & \text{otherwise} \end{cases}

其中 [a,b][a,b]是 Y 的取值范围,h是g 的反函数,即 h(y)=xh(y)=x

一般地,若随机变量 XN(μ,σ2)X∼ N(μ,σ^2) ,则 Y=aX+b    YN(aμ+b,a2σ2)Y=aX+b\implies Y∼ N(aμ+b,a^2σ^2)
概率密度

多维随机变量及其分布

二维随机变量

二维随机变量:设EE是一个随机试验,样本空间S={e}S=\{e\};设X=X(e)X=X(e)Y=Y(e)Y=Y(e)是定义在SS上的随机变量,由它们构成的向量(X,Y)(X,Y)称为二维随机向量或二维随机变量。

二维随机变量分布函数:设 (X,Y)(X,Y) 是二维随机变量,对于任意 (x,y)R2(x,y)\in\R^2,二维函数

F(x,y)=P({Xx}{Yy})P(Xx,Yy)F(x,y)=\mathbb P(\{X⩽ x\}∩\{Y⩽ y\})\triangleq \mathbb P(X⩽ x,Y⩽ y)

称为二维随机变量的联合分布函数 ( joint distribution function,JDF)。

性质:
(1) F(x,y)F(x, y)为单调不减函数
(2) if 0F(x,y)1, then F(+,+)=1,F(,y)=F(x,)=F(,)=0\text{if }0⩽ F(x, y) ⩽ 1, \text{ then } F(+∞,+∞)=1,F(-∞,y)=F(x,-∞)=F(-∞,-∞)=0
(3) F(x,y)F(x, y)关于x,yx,y右连续,即:limϵ0+F(x+ϵ,y)=limϵ0+F(x,y+ϵ)=F(x,y)\lim\limits_{ϵ\to 0^+}F(x+ϵ,y)=\lim\limits_{ϵ\to 0^+}F(x,y+ϵ)=F(x,y)
(4) if x1<x2,y1<y2,then P(x1<Xx2,y1<Yy2)=F(x2,y2)F(x1,y2)F(x2,y1)+F(x1,y1)0\text{if } x_1<x_2,y_1<y_2, \\ \text{then } \mathbb P(x_1<X ⩽ x_2,y_1<Y ⩽ y_2)=F(x_2,y_2)-F(x_1,y_2)-F(x_2,y_1)+F(x_1,y_1) ⩾ 0
二维随机变量 分布函数

二维离散型随机变量:若二维随机变量(X,Y)(X,Y)全部可能取到的不同值是有限对或可列无限对,则称(X,Y)(X,Y)是二维离散型随机变量。

联合分布律:设(X,Y)(X,Y)所有可能取值为(Xi,Yi)(X_i,Y_i),称P(X=xi,Y=yj)=pij\mathbb P(X=x_i,Y=y_j)=p_{ij}为二维离散型随机变量(X,Y)(X,Y)的联合(概率)分布律。
联合分布律的性质:(1) 0pij1;(2) i=1j=1pij=1(1)\ 0 ⩽ p_{ij} ⩽ 1;\quad (2)\ \displaystyle\sum_{i=1}^{∞}\sum_{j=1}^{∞}p_{ij}=1

二维连续型随机变量:设二维随机变量 (X,Y)(X, Y) 的分布函数 F(x,y),f(x,y)0,(x,y)R2F(x,y), ∃ f(x,y)⩾0,∀ (x,y)\in\R^2

F(x,y)=xyf(u,v)dudvF(x,y)=\int_{-∞}^{x}\int_{-∞}^{y}f(u,v)\mathrm{d}u\mathrm{d}v

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

概率密度的性质:

1。f(x,y)0f(x,y)⩾0
2。++f(x,y)dxdy=1\displaystyle\int_{-∞}^{+∞}\int_{-∞}^{+∞}f(x,y)\mathrm{d}x\mathrm{d}y=1
3。在 f(x,y)f ( x , y ) 的连续点处,有 F(x,y)xy=f(x,y)\dfrac{∂ F(x,y)}{∂ x∂ y}=f(x,y)
4。对于任何R2\R^2上的区域G, 有 P((X,Y)G)=Gf(u,v)dudv\mathbb P((X,Y)\in G)=\displaystyle\iint\limits_G f(u,v)\mathrm{d}u\mathrm{d}v
概率密度

边缘分布

边缘分布律:(Marginal distribution) 对分布律为 P(X=xi,Y=yj)=pij\mathbb P(X=x_i,Y=y_j)=p_{ij} 的二维离散型随机变量

P(X=xi)=P(X=xi,j=1{Y=yj})=j=1pijpi\displaystyle \mathbb P(X=x_i)=\mathbb P(X=x_i,\bigcup^{∞}_{j=1}\{Y=y_j\})=\sum_{j=1}^{∞}p_{ij}\triangleq p_{i\bullet}

同理

P(Y=yj)=P(i=1{X=xi},Y=yj)=i=1pijpj\displaystyle \mathbb P(Y=y_j)=\mathbb P(\bigcup^{∞}_{i=1}\{X=x_i\},Y=y_j)=\sum_{i=1}^{∞}p_{ij}\triangleq p_{\bullet j}

X/Yy1y2yjP(X=xi)x1p11p12p1jp1x2p21p22p2jp2xipi1pi2pijpiP(Y=yj)p1p2pj1\begin{array}{c|ccccc|c} X/Y &y_1&y_2&\cdots&y_j&\cdots &\mathbb P(X=x_i) \\ \hline x_1 &p_{11}&p_{12}&\cdots&p_{1j}&\cdots &p_{1 \bullet} \\ x_2 &p_{21}&p_{22}&\cdots&p_{2j}&\cdots &p_{2 \bullet} \\ \vdots &\cdots&&\cdots&&\cdots &\vdots \\ x_i&p_{i1}&p_{i2}&\cdots&p_{ij}&\cdots &p_{i \bullet} \\ \vdots &\cdots&&\cdots&&\cdots &\vdots \\ \hline \mathbb P(Y=y_j) &p_{\bullet 1}&p_{\bullet 2}&\cdots&p_{\bullet j}&\cdots &1 \end{array}

边缘概率密度:对概率密度为f(x,y)f(x,y)的二维连续型随机变量

fX(x)=+f(x,y)dyfY(y)=+f(x,y)dxf_X(x)=\int_{-∞}^{+∞}f(x,y)\mathrm{d}y\\ f_Y(y)=\int_{-∞}^{+∞}f(x,y)\mathrm{d}x

边缘分布函数:可以由(X,Y)(X,Y)的分布函数所确定

FX(x)P(Xx,Y<+)=F(x,+)=limy+F(x,y)FY(y)P(X<+,Yy)=F(+,y)=limx+F(x,y)F_X(x)\triangleq \mathbb P(X ⩽ x,Y<+∞)=F(x,+∞)=\lim\limits_{y\to +∞}F(x,y) \\ F_Y(y)\triangleq \mathbb P(X<+∞,Y ⩽ y)=F(+∞,y)=\lim\limits_{x\to +∞}F(x,y)

相互独立(mutual independence):x,y,F(x,y)=FX(x)FY(y)∀ x,y,F(x,y)=F_X(x)F_Y(y)称随机变量X,YX ,Y相互独立。

二维离散型:    pij=pipj\iff p_{ij}=p_{i \bullet}p_{\bullet j}
二维连续型:    f(x,y)=fX(x)fY(y)\iff f(x,y)=f_X(x)f_Y(y)

条件分布

条件分布(conditional distribution):对二维离散型随机变量 (X,Y)(X,Y)

P(X=xiY=yj)=P(X=xi,Y=yj)P(Y=yj)=pijpjP(Y=yjX=xi)=P(X=xi,Y=yj)P(X=xi)=pijpi\mathbb P(X=x_i|Y=y_j)=\dfrac{\mathbb P(X=x_i,Y=y_j)}{\mathbb P(Y=y_j)}=\dfrac{p_{ij}}{p_{\bullet j}} \\ \mathbb P(Y=y_j|X=x_i)=\dfrac{\mathbb P(X=x_i,Y=y_j)}{\mathbb P(X=x_i)}=\dfrac{p_{ij}}{p_{i \bullet}}

条件概率密度:对二维连续型随机变量 (X,Y)(X,Y)
Y=yY=y时,XX 的条件概率密度

fXY(xy)=f(x,y)fY(y)fYX(yx)=f(x,y)fX(x)f_{X|Y}(x|y)=\dfrac{f(x,y)}{f_Y(y)} \\ f_{Y|X}(y|x)=\dfrac{f(x,y)}{f_X(x)}

条件分布函数

FXY(xy)=P(XxY=y)={P(Xx,Y=y)P(Y=y)P(Y=y)>0,so Y is discretelimϵ0+P(Xx,y<Yy+ϵ)P(y<Yy+ϵ)P(Y=y)=0,so Y is continuousF_{X|Y}(x|y)=\mathbb P(X⩽ x|Y=y)= \\ \begin{cases} \cfrac{\mathbb P(X⩽ x,Y=y)}{\mathbb P(Y=y)} & \mathbb P(Y=y)>0,\text{so Y is discrete}\\ \lim\limits_{ϵ\to 0^+}\cfrac{\mathbb P(X⩽ x,y<Y⩽ y+ϵ)}{\mathbb P(y<Y⩽ y+ϵ)}&\mathbb P(Y=y)=0,\text{so Y is continuous} \end{cases}

常见的二维随机变量分布

二维均匀分布:概率密度函数

f(x,y)={1A,(x,y)D0,(x,y)∉Df(x,y)=\begin{cases} \cfrac{1}{A},&(x,y)\in D \\ 0,&(x,y) \not\in D \end{cases}

其中A为D的面积。

二维正态分布

(1) 设 Z1,Z2Z_1, Z_2 为独立同分布 N(0,1)N(0,1) 的随机变量,则 Z1,Z2Z_1, Z_2 的联合密度函数为

f(z1,z2)=12πe12(z12+z22)f(z_1,z_2)=\frac{1}{2π}e^{-\frac{1}{2}(z_1^2+z_2^2)}

(2) 作变换,令

{X=σ1Z1+μ1Y=σ2(ρZ1+1ρ2Z2)+μ2(σ1,σ2>0,ρ<1)\begin{cases} X=σ_1Z_1+μ _1 \\ Y=σ_2(ρZ_1+\sqrt{1-ρ^2}Z_2)+μ _2 \end{cases}\quad (σ_1,σ_2>0,|ρ|<1)

则称 (X,Y)(X ,Y) 服从参数为 (μ1,μ2,σ12,σ22,ρ)(μ _1,μ _2,σ_1^2,σ_2^2,ρ) 的二维正态分布,记为

(X,Y)N(μ1,μ2,σ12,σ22,ρ)(X ,Y)∼ N(μ _1,μ _2,σ_1^2,σ_2^2,ρ)

变换可写成矩阵式:(XY)=A(Z1Z2)+(μ1μ2)\begin{pmatrix} X\\ Y\end{pmatrix} =A \begin{pmatrix} Z_1\\ Z_2\end{pmatrix}+ \begin{pmatrix} μ _1\\ μ _2\end{pmatrix}
其中 A=(σ10σ2ρσ21ρ2)A=\begin{pmatrix} σ_1&0\\ σ_2ρ&σ_2\sqrt{1-ρ^2}\end{pmatrix},于是

(Z1Z2)=A1(Xμ1Yμ2)\begin{pmatrix} Z_1\\ Z_2\end{pmatrix} =A^{-1} \begin{pmatrix} X-μ _1\\ Y-μ _2\end{pmatrix}

将此式代入 Z1,Z2Z_1, Z_2 的联合密度式,并注意到此变换中雅可比行列式为

J=detA1=1σ1σ21ρ2|J|=\det A^{-1}=\dfrac{1}{σ_1σ_2\sqrt{1-ρ^2}}

即得 (X,Y)(X ,Y) 的联合密度 f(x,y)f(x,y) (过于复杂,就不写了!)

由定义知若ρ=0ρ=0 , 则 X=σ1Z1+μ1,Y=σ2Z2+μ2X=σ_1Z_1+μ _1,Y=σ_2Z_2+μ _2,即 X 与 Y 独立。从密度函数看,X 与Y 地位是对称的,决定了它们的分布特点是一致的。

二维正态的定义的特点使得许多分布规律的计算十分简单。
二维正态分布

边缘概率密度:因 X=σ1Z1+μ1X=σ_1Z_1+μ _1,故 XN(μ1,σ12)X∼ N(μ _1,σ_1^2),由对称性可知YN(μ2,σ22)Y∼ N(μ _2,σ_2^2),两个边缘分布均与ρ无关

条件概率密度:由于Z1=xμ1σ1Z_1=\cfrac{x-μ _1}{σ_1},故

YX=xN(σ2ρσ1(xμ1),σ22(1ρ2))Y|_{X=x}∼ N(\frac{σ_2ρ}{σ_1}(x-μ _1),σ_2^2(1-ρ^2))

由对称性可知

XY=yN(σ1ρσ2(yμ2),σ12(1ρ2))X|_{Y=y}∼ N(\frac{σ_1ρ}{σ_2}(y-μ _2),σ_1^2(1-ρ^2))

两个随机变量的函数的分布

二维离散:设二维离散型随机变量(X,Y)(X ,Y)具有分布律 P(X=xi,Y=yj)=pij\mathbb P(X=x_i,Y=y_j)=p_{ij}

(1) 若U=u(X,Y)U=u(X,Y),求UU的分布律
先确定UU的取值uiu_i,再找出P(U=ui)=P((X,Y)D)\mathbb P(U=u_i)=\mathbb P((X,Y)\in D)计算分布律

(2) 若U=u(X,Y),V=v(X,Y)U=u(X,Y),V=v(X,Y),求(U,V)(U,V)的分布律
先确定(U,V)(U,V)的取值(ui,vi)(u_i,v_i),再找出P(U=ui,V=vi)=P((X,Y)D)\mathbb P(U=u_i,V=v_i)=\mathbb P((X,Y)\in D)计算分布律

二维连续:设二维连续型随机变量(X,Y)(X ,Y)具有概率密度 f(x,y)f(x,y)

(1) 若Z=g(X,Y)Z=g(X,Y),求ZZ的分布函数或概率密度
先求Z的分布函数 FZ(z)=P(Zz)=P(g(X,Y)z)=g(x,y)zf(x,y)dxdy\displaystyle F_Z(z)=\mathbb P(Z⩽ z)=\mathbb P(g(X,Y)⩽ z)=\iint\limits_{g(x,y)⩽ z}f(x,y)\mathrm{d}x\mathrm{d}y
再求导得到密度函数 fZ(z)=FZ(z)f_Z(z)=F'_Z(z)

(2) 若 (U,V)(U,V)(X,Y)(X,Y)的一个变换,并设变换的雅可比矩阵存在, 且行列式不为零,求(U,V)(U,V)的概率密度
(U,V)(U,V)(X,Y)(X,Y)的一个变换,故可设 X=x(U,V),Y=y(U,V)X=x(U,V),Y=y(U,V)
(U,V)(U,V)的分布函数可表为 G(u,v)=P(Uu,Vv)=Uu,Vvf(x,y)dxdy\displaystyle G(u,v)=\mathbb P(U⩽ u,V⩽ v)=\iint\limits_{U⩽ u,V⩽ v}f(x,y)\mathrm{d}x\mathrm{d}y

将上述变换用于积分,即得

G(u,v)=uvf[x(s,t),y(s,t)]J(s,t)dsdt\displaystyle G(u,v)=\int_{-∞}^{u}\int_{-∞}^{v}f[x(s,t),y(s,t)]|J(s,t)|\mathrm{d}s\mathrm{d}t

对上式求两阶偏导,即得

g(u,v)=2G(u,v)uv=f[x(s,t),y(s,t)]J(s,t)g(u,v)=\dfrac{∂^2G(u,v)}{∂ u ∂ v}=f[x(s,t),y(s,t)]|J(s,t)|

连续型随机变量Z=X+YZ=X+Y的分布

FZ(z)=zfZ(u)dufZ(z)=+f(zy,y)dy=+f(x,zx)dxF_Z(z)=\int_{-∞}^{z}f_Z(u)\mathrm{d}u \\ f_Z(z)=\int_{-∞}^{+∞}f(z-y,y)\mathrm{d}y=\int_{-∞}^{+∞}f(x,z-x)\mathrm{d}x

特别,若X与Y 独立,则有

fZ(z)=+fX(zy)fY(y)dy=+fY(zx)fX(x)dxf_Z(z)=\int_{-∞}^{+∞}f_X(z-y)f_Y(y)\mathrm{d}y=\int_{-∞}^{+∞}f_Y(z-x)f_X(x)\mathrm{d}x

fZf_ZfXf_XfYf_Y卷积,记为

fZ=fXfYf_Z=f_X * f_Y


对于一般的两独立正态随机变量

XN(μ1,σ12),YN(μ2,σ22)    Z=X+YN(μ1+μ2,σ12+σ22)X∼ N(μ _1,σ_1^2),Y∼ N(μ _2,σ_2^2)\implies Z=X+Y∼ N(μ _1+μ _2,σ_1^2+σ_2^2)

独立的离散型变量的和分布

(1) X1,X2,,XnX_1,X_2,\cdots,X_n独立且服从分布B(1,p)B(1,p),则

X1+X2++XnB(n,p)X_1+X_2+\cdots+X_n∼ B(n,p)

(2) X1B(n1,p),X2B(n2,p)X_1∼ B(n_1,p),X_2∼ B(n_2,p),且两者独立,则

X1+X2B(n1+n2,p)X_1+X_2∼ B(n_1+n_2,p)

(3) X1π(θ1),X2π(θ2)X_1∼ π(θ_1),X_2∼ π(θ_2),且两者独立,则

X1+X2π(1/θ1+1/θ2)X_1+X_2∼ π(1/θ_1+1/θ_2)

连续型随机变量Z=X/YZ=X/Y的分布

fZ(z)={(1+z)2,z>00,z0f_Z(z)=\begin{cases} (1+z)^{-2},&z>0 \\ 0,&z⩽ 0 \end{cases}

极值分布(extreme-value distribution):设 X, Y 独立,分别有分布函数 FX(x),FY(y)F_X(x),F_Y(y)

max{X,Y}\max\{X, Y\}的分布函数 Fmax(z)=FX(x)FY(y)F_{\max}(z)=F_X(x)F_Y(y)
min{X,Y}\min\{X, Y\}的分布函数 Fmin(z)=1(1FX(x))(1FY(y))F_{\min}(z)=1-(1-F_X(x))(1-F_Y(y))

上述结论容易推广到 n 个随机变量:即设 XiX_i 的分布函数分别为 Fi(xi),i=1,,nF_i(x_i), i=1,\cdots,n,且相互独立。则 max{X1,,Xn},min{X1,,Xn}\max\{X_1,\cdots,X_n\}, \min\{X_1,\cdots,X_n\}的分布函数:

Fmax(z)=i=1nFi(z)Fmin(z)=1i=1n(1Fi(z))\displaystyle F_{\max}(z)=\prod_{i=1}^{n}F_i(z)\\ F_{\min}(z)=1-\prod_{i=1}^{n}(1-F_i(z))

随机变量的数字特征

期望

数学期望(mathematical expectation):设离散型随机变量 X的分布律为 P(X=xk)=pk\mathbb P(X=x_k)=p_k
事件的平均值

xˉ=1nkxknk=kxkfk\displaystyle\bar x=\frac{1}{n}\sum_kx_kn_k=\sum_kx_kf_k

其中fkf_k为事件{X=xk}\{X=x_k\}发生的频率,由第一章可知当n,fkpkn\to ∞,f_k\to p_k,因此xˉ\bar x的稳定值为kxkpk\displaystyle\sum_kx_kp_k,由此
若级数

E(X)=k=1xkpk\mathbb E(X)=\displaystyle\sum_{k=1}^{∞}x_kp_k

绝对收敛,则称 E(X)\mathbb E(X)为随机变量 XX的数学期望,简称期望,又称均值(mean)

连续型随机变量 XX的密度函数为 f(x)f(x),期望定义为

E(X)=+xf(x)dx\mathbb E(X)=\int_{-∞}^{+∞}xf(x)\mathrm{d}x

期望的物理意义:x 轴上一根线密度为 f(x) 的细棒的质心坐标

Y=g(X) 的数学期望

(1) 离散情形:

E(Y)=E(g(X))=k=1g(xk)pk\mathbb E(Y)=E(g(X))=\displaystyle\sum_{k=1}^{∞}g(x_k)p_k

(2) 连续情形:

E(Y)=E(g(X))=+g(x)f(x)dx\mathbb E(Y)=\mathbb E(g(X))=\displaystyle\int_{-∞}^{+∞}g(x)f(x)\mathrm{d}x

Z=h(X,Y) 的数学期望

(1) 离散情形:

E(Z)=E(h(X,Y))=i=1j=1h(xi,yj)pij\mathbb E(Z)=\mathbb E(h(X,Y))=\displaystyle\sum_{i=1}^{∞}\sum_{j=1}^{∞}h(x_i,y_j)p_{ij}

(2) 连续情形:

E(Z)=E(h(X,Y))=++h(x,y)f(x,y)dxdy\mathbb E(Z)=\mathbb E(h(X,Y))=\displaystyle\int_{-∞}^{+∞}\int_{-∞}^{+∞}h(x,y)f(x,y)\mathrm{d}x\mathrm{d}y

特别的

E(X)=++xf(x,y)dxdyE(Y)=++yf(x,y)dxdy\mathbb E(X)=\int_{-∞}^{+∞}\int_{-∞}^{+∞}xf(x,y)\mathrm{d}x\mathrm{d}y \\ \mathbb E(Y)=\int_{-∞}^{+∞}\int_{-∞}^{+∞}yf(x,y)\mathrm{d}x\mathrm{d}y

期望的性质
(1) E(aX+b)=aE(X)+b\mathbb E(aX+b)=a\mathbb E(X)+b
(2) E(X+Y)=E(X)+E(Y)\mathbb E(X+Y)=\mathbb E(X)+\mathbb E(Y)
(3) 设X,YX,Y相互独立,E(XY)=E(X)E(Y)\mathbb E(XY)=\mathbb E(X)\mathbb E(Y)

方差和变异系数

方差(variance):设X是一个随机变量

D(X)=Var(X)=E[(XE(X))2]D(X)=Var(X)=\mathbb E[(X-\mathbb E(X))^2]

叫做X的方差

σ(X)=D(X)σ(X)=\sqrt{D(X)}

为 X 的标准差(standard deviation)或均方差。方差和标准差刻画了 X取值的波动性,是衡量取值分散程度的数字特征。

方差的计算

特别的,当g(X)=(XE(X))2, D(X)=E(g(X))g(X)=(X-\mathbb E(X))^2,\ D(X)=\mathbb E(g(X))

利用期望的性质

D(X)=E(X2)[E(X)]2D(X)=\mathbb E(X^2)-[\mathbb E(X)]^2

方差的性质(c为常数)

(1) D(c)=0D(c)=0
(2) D(cX)=c2D(X)D(cX)=c^2D(X)
(3) D(X+Y)=D(X)+D(Y)+2Cov(X,Y)D(X+Y)=D(X)+D(Y)+2\text{Cov}(X,Y)
X,YX,Y相互独立,D(X+Y)=D(X)+D(Y)D(X+Y)=D(X)+D(Y)
(4) 切比雪夫(Chebyshev)不等式,设E(X)=μ,D(X)=σ2,P(Xμϵ)σ2ϵ2\mathbb E(X)=μ,D(X)=σ^2,\mathbb P(|X-μ|⩾ ϵ)⩽ \dfrac{σ^2}{ϵ^2}
结果分析,将切比雪夫不等式变形为P(Xμ<ϵ)>1σ2ϵ2\mathbb P(|X-μ|< ϵ)>1-\dfrac{σ^2}{ϵ^2},取ϵ=3σϵ=3σ则有P(Xμ<3σ)>11988.0%\mathbb P(|X-μ|< 3σ)>1-\cfrac{1}{9}\approx 88.0\%,即随机变量有近90%的可能性落在区间(μ3σ,μ+3σ)(μ-3σ,μ+3σ)内。

变异系数(Coefficient of Variance, CV): 标准差与期望的比值

CV=D(X)E(X)=σ(X)E(X)CV=\dfrac{\sqrt{D(X)}}{\mathbb E(X)}=\dfrac{σ(X)}{\mathbb E(X)}

变异系数是个无量纲的量,从而消除了量纲对波动的影响。

分位数和中位数

分位数(Quantile),亦称分位点,是指将一个随机变量的概率分布范围分为几个等份的数值点

P(xxα)=α\mathbb P(x⩽ x_α)=α

此时xαx_α称为 αα 分位点。常用的有中位数(median,即二分位数)、四分位数、百分位数等。

协方差与相关系数

协方差(covariance):由方差性质(3)的意义,定义

Cov(X,Y)=E[(XE(X))(YE(Y))]\mathrm{Cov}(X,Y)=\mathbb E[(X-\mathbb E(X))(Y-\mathbb E(Y))]

X,YX,Y协方差

协方差的基本性质:(其中 a , b 为常数)

(1) 若 X,YX,Y 相互独立,则 Cov(X,Y)=0\mathrm{Cov}(X,Y )=0
(2) Cov(X,Y)=Cov(Y,X)\mathrm{Cov}(X,Y )=\mathrm{Cov}(Y,X)
(3) D(X)=E[(XE(X))2]=Cov(X,X)D(X)=\mathbb E[(X-\mathbb E(X))^2]=\mathrm{Cov}(X,X)
(4) Cov(aX,bY)=abCov(X,Y)\mathrm{Cov}(aX,bY )=ab \mathrm{Cov}(X,Y)
(5) Cov(X1+X2,Y)=Cov(X1,Y)+Cov(X2,Y)\mathrm{Cov}(X_1+X_2,Y )=\mathrm{Cov}(X_1,Y)+\mathrm{Cov}(X_2,Y)
(6) D(X+Y)=D(X)+D(Y)+2Cov(X,Y)D(X+Y)=D(X)+D(Y)+2 \mathrm{Cov}(X,Y)
(7) Cov(X,Y)=E(XY)E(X)E(Y)\mathrm{Cov}(X,Y)=\mathbb E(XY)-\mathbb E(X)\mathbb E(Y)

相关系数(correlation coefficient):协方差反映了随机变量X与Y的相关性(这种关系是什么关系?)。但协方差是有量纲的数字特征,为了消除其量纲的影响,考虑单位化的随机变量,令

X=XE(X)D(X),Y=YE(Y)D(Y)X^*=\dfrac{X-\mathbb E(X)}{\sqrt{D(X)}},Y^*=\dfrac{Y-\mathbb E(Y)}{\sqrt{D(Y)}}

引入一个新概念

ρXY=Cov(X,Y)=Cov(X,Y)D(X)D(Y)ρ_{XY}=\mathrm{Cov}(X^*,Y^*)=\dfrac{\mathrm{Cov}(X,Y)}{\sqrt{D(X)}\sqrt{D(Y)}}

称为X,YX,Y相关系数

进一步考虑 X,YX,Y之间的关系,考虑 X,YX,Y之间的线性关系, 即 Y^=a+bX\hat Y=a+bX(a,b为常数) 近似的表示 YY,均方误差e=E[(YY^)2]=E[(Y(a+bX))2]e=\mathbb E[(Y-\hat Y)^2]=\mathbb E[(Y-(a+bX))^2]
min{e}\min\{e\},令 ea=0,eb=0\dfrac{∂ e}{∂ a}=0,\dfrac{∂ e}{∂ b}=0,解得 b0=Cov(X,Y)D(X),a0=E(Y)b0E(X)b_0=\dfrac{\mathrm{Cov}(X,Y)}{D(X)},a_0=\mathbb E(Y)-b_0\mathbb E(X)
带入可得 min{e}=D(Y)(1ρXY2)\min\{e\}=D(Y)(1-ρ^2_{XY})

相关系数的性质
(1) ρXY1ρ_{XY}⩽ 1
(2) ρXY=1    a,bR,Y=aX+bρ_{XY}=1\iff ∃ a,b\in\R,Y=aX+b

相关系数的实际意义
相关系数是一个用来表征两个随机变量之间线性关系密切程度的特征数,有时也称为线性相关系数

  • ρXYρ_{XY}较大时,表明X与Y的线性关系程度较好;
  • ρXYρ_{XY}较小时,表明X与Y的线性关系程度较差。

特别地,

  • ρXY=1|ρ_{XY}|=1时,表明X与Y之间以概率1存在线性关系;
  • ρXY=0ρ_{XY}=0时,表明X与Y之间没有线性关系,称两个变量不相关;
  • X,YX,Y相互独立    \implies X,YX,Y不相关;但X,YX,Y不相关不能判断X,YX,Y相互独立

参考链接:https://www.zhihu.com/question/23236070/answer/143316942

物理意义:数学中矩的概念来自物理学。在物理学中,矩是表示距离和物理量乘积的物理量,表征物体的空间分布。由其定义,矩通常需要一个参考点(基点或参考系)来定义距离。如力和参考点距离乘积得到的力矩(或扭矩),原则上任何物理量和距离相乘都会产生力矩,质量,电荷分布等。
如对空间密度积分νk=rkρ(r)drν_k=\displaystyle\int r^kρ(r)\mathrm{d}r,如果点表示质量,则第零矩是总质量,一阶矩是重心,二阶矩是转动惯量。

数学意义:矩是物体形状识别的重要参数指标。在统计学中,矩是对变量分布和形态特点的一组度量。定义在实数域的实函数相对于值c的k阶矩为:

νk=+(xc)kf(x)dxν_k = \int_{-∞}^{+∞} (x - c)^k\,f(x)\,\mathrm{d}x

如果点表示概率密度,则第零阶矩表示总概率(=1)。

(1) k阶(原点)矩(origin moment):随机变量XX的k阶(原点)矩定义为

μk=E(Xk)μ_k=E(X^k)

连续型:μk=+xkf(x)dx=+xkdF(x)μ_k =\displaystyle \int_{-∞}^{+∞} x^k\,f(x)\,\mathrm{d}x= \int_{-∞}^{+∞} x^k\,\mathrm{d}F(x),其中f(x)f(x)为概率密度函数。
离散型:μk=i=1xikpiμ_k=\displaystyle\sum_{i=1}^{∞}x_i^kp_i,其中P(X=xi)=pi\mathbb P(X=x_i)=p_i为概率分布函数。
(2) k 阶中心矩(central moment):移除均值后计算的矩被称为中心矩。 对于二阶及更高阶的矩,通常使用中心矩(围绕平均值的矩,均值是一阶矩),而不是原点矩,因为中心矩能更清楚的体现关于分布形状的信息。

νk=E[(XE(X))k]ν_k=E[(X-E\mathbb (X))^k]

连续型:νk=+[xE(X)]kf(x)dxν_k = \displaystyle\int_{-∞}^{+∞} [x-\mathbb E(X)]^k\,f(x)\,\mathrm{d}x,其中f(x)f(x)为概率密度函数。
离散型:νk=i=1[xiE(X)]kpiν_k=\displaystyle\sum_{i=1}^{∞}[x_i-\mathbb E(X)]^kp_i,其中P(X=xi)=pi\mathbb P(X=x_i)=p_i为概率分布函数。

随机变量的数学期望(expectation)即为其一阶原点矩 E(X)\mathbb E(X)
方差(variance)即为二阶中心矩 Var(X)=E([xE(X)]2Var(X)=\mathbb E([x-\mathbb E(X)]^2

(3) (k+l)(k+l) 阶混合矩(mixed moment):二维随机变量(X,Y)(X,Y)(k+l)(k+l) 阶混合(原点)矩为

μkl=E(XkYl)μ'_{kl}=\mathbb E(X^kY^l)

连续型:μkl=++xkylf(x,y)dxdy\displaystyle μ'_{kl}= \int_{-∞}^{+∞}\int_{-∞}^{+∞} x^ky^lf(x,y)\,\mathrm{d}x\mathrm{d}y,其中f(x,y)f(x,y)为概率密度函数。
离散型:μkl=i=1j=1xikyjlpijμ'_{kl}=\displaystyle\sum_{i=1}^{∞}\sum_{j=1}^{∞}x_i^ky_j^lp_{ij},其中P(X=xi,Y=yj)=pij\mathbb P(X=x_i,Y=y_j)=p_{ij}为概率分布函数。
(4) (k+l)(k+l) 阶混合中心距(mixed central moment):随机变量(X,Y)(k+l)(X,Y)的(k+l) 阶中心矩被定义为

μkl=E[(XE(X))k(YE(Y))l]μ'_{kl}=E[(X-E(X))^k(Y-E(Y))^l]

连续型:μkl=++[xE(X)]k[yE(Y)]lf(x,y)dxdyμ'_{kl}= \displaystyle\int_{-∞}^{+∞}\int_{-∞}^{+∞} [x-\mathbb E(X)]^k[y-\mathbb E(Y)]^lf(x,y)\,\mathrm{d}x\mathrm{d}y,其中f(x,y)f(x,y)为概率密度函数。
离散型:μkl=i=1j=1[xiE(X)]k[yjE(Y)]lpijμ'_{kl}=\displaystyle\sum_{i=1}^{∞}\sum_{j=1}^{∞}[x_i-\mathbb E(X)]^k[y_j-\mathbb E(Y)]^lp_{ij},其中P(X=xi,Y=yj)=pij\mathbb P(X=x_i,Y=y_j)=p_{ij}为概率分布函数。

(1+1) 阶混合中心矩即为协方差。

矩母函数(moment generating function, MFG):在统计学中,矩母函数是一个关于随机变量的实值函数,它可以替代密度函数来描述分布。也就是说,出了概率密度函数外,我们也可以通过矩母函数来描述分布。对于某些概率密度函数和累计密度函数比较复杂的情况,我们使用矩母函数分析分布会大大降低复杂性,尤其是对于随机变量的加权求和来说,矩母函数可以提供非常简单的计算。当然,矩母函数出了是基于实值函数,也可以是基于向量和矩阵的,扩展性很好。但是,并不是所有的分布都存在矩母函数。

定义随机变量 etXe^{tX}的数学期望为随机变量XX的矩母函数:

MX(t)=E(etX),tRM_X(t)=\mathbb E(e^{tX}),t\in\R

连续型:MX(t)=+exp(tx)f(x)dxM_X(t)=\displaystyle\int_{-∞}^{+∞}\exp(tx)f(x)\mathrm{d}x,其中f(x)f(x)为概率密度函数。
离散型:MX(t)=exp(txi)piM_X(t)=\displaystyle\sum \exp(tx_i)p_i,其中P(X=xi)=pi\mathbb P(X=x_i)=p_i为概率分布函数。
另外,矩母函数的对数为累积量生成函数RX(t)=lnMX(t)R_X(t)=\ln M_X(t)

矩母函数的性质
(1) 随机变量的矩母函数与概率分布具有一一对应关系,即

MY(t)=MX(t)    FX(x)=FY(y)M_Y(t)=M_X(t) \iff F_X(x)=F_Y(y)

(2) 若随机变量X1,X2,,XnX_1,X_2,\cdots,X_n相互独立,则Y=X1+X2+,XnY=X_1+X_2+\cdots,X_n的矩母函数

MY(t)=MX1(t)MX1(t)MX1(t)M_Y(t)=M_{X_1}(t)M_{X_1}(t)\cdots M_{X_1}(t)

(3) 若 Y=a+bXY=a+bX,则矩母函数

MY(t)=eatMX(bt)M_Y(t)=e^{at}M_X(bt)

矩母函数的特征:以连续随机变量为例,离散型随机变量可做相同变换。
(1) 由泰勒级数 ex=1+x+x22!++xnn!+e^x=1+x+\dfrac{x^2}{2!}+\cdots+\dfrac{x^n}{n!}+\cdots,得
MX(t)=E(etX)=+[1+tx+(tx)22!++(tx)nn!+]f(x)dxM_X(t)=\mathbb E(e^{tX})=\displaystyle\int_{-∞}^{+∞}[1+tx+\dfrac{(tx)^2}{2!}+\cdots+\dfrac{(tx)^n}{n!}+\cdots] f(x)\mathrm{d}x,即

MX(t)=1+tM1+t22!M2++tnn!Mn+M_X(t)=1+tM_1+\dfrac{t^2}{2!}M_2+\cdots+\dfrac{t^n}{n!}M_n+\cdots

其中MiM_i为随机变量XXii 阶中心矩
(2) MX(t)M_X(-t) 是双侧拉普拉斯变换(Laplace Transform)
(3) 不管概率分布是不是连续,矩母函数都可以用黎曼-斯蒂尔切斯积分给出:

MX(t)=+etxdF(x)M_X(t)=\displaystyle\int_{-∞}^{+∞}e^{tx}\mathrm{d}F(x)

其中,F(x)F(x)是累积分布函数(Cumulative Distribution Function, CDF)。

特征函数(characteristic function):定义复随机变量 eitXe^{itX}的数学期望为随机变量XX的特征函数:

φX(t)=E(eitX),tRφ_X(t)=\mathbb E(e^{itX}),t\in\R

特征函数与矩母函数的关系φX(t)=MX(it)φ_X(t)=M_X(it),由此可知特征函数与矩母函数有相同的性质

求随机变量的矩:如果随机变量XX矩母函数存在,则各阶矩存在且可由矩量母函数表示

E(Xk)=MX(k)(0)=dkMXdtkt=0E(X^k)=M_X^{(k)}(0)=\dfrac{\mathrm{d}^kM_X}{\mathrm{d}t^k}|_{t=0}

特别的有

E(X)=MX(0)Var(X)=MX(0)[MX(0)]2\mathbb E(X)=M'_X(0) \\ Var(X)=M''_X(0)-[M'_X(0)]^2

偏度和峰度

偏度(skewness):随机变量的偏度(衡量分布不对称性)定义为

S(X)=ν3ν23/2=E[XE(X)]3[Var(x)]3/2S(X)=\dfrac{ν_3}{ν_{2}^{3/2}}=\dfrac{\mathbb E[X-\mathbb E(X)]^3}{[Var(x)]^{3/2}}

  • 任何对称分布偏态为0
  • S<0S<0,向左偏斜(分布尾部在左侧较长,失效率数据常向左偏斜,如极少量的灯泡会立即烧坏)
  • S>0S>0,向右偏斜分布(分布尾部在右侧较长,工资数据往往以这种方式偏斜,大多数人所得工资较少)

偏度无量纲,是描述分布偏离对称程度的一个特征数。

偏度

峰度(kurtosis):一般随机变量的峰度定义为其四阶中心矩与方差平方的比值再减3,减3是为了让正态分布峰度为0,这也被称为超值峰度。

K(X)=ν4ν223=E[xE(X)]4Var2(X)3K(X)=\dfrac{ν_4}{ν_{2}^{2}}-3=\dfrac{E[x-E(X)]^4}{Var^2(X)}-3

  • 完全符合正态分布的数据峰度值为0,且正态分布曲线被称为基线。峰度无量纲,是相对于正态分布而言的超出量。
  • K>0K>0,标准化后的分布比标准正态分布剑鞘
  • K<0K<0,标准化后的分布比标准正态分布平坦

协方差矩阵与多维正态分布

协方差矩阵(Covariance matrix):设n维随机变量X=(X1,X2,,Xn)\mathbf{X}=(X_1,X_2,\cdots,X_n),记

cij=Cov(Xi,Xj)(i,j=1,2,,n)c_{ij}=\mathrm{Cov}(X_i,X_j)\quad (i,j=1,2,\cdots,n)

则称C=(cij)n×nC=(c_ij)_{n× n}为随机向量 X\mathbf{X} 的协方差矩阵。

协方差矩阵的性质:
(1) C=CTC=C^T, 即协方差阵为对称阵
(2) C0C⩾ 0 , 即协方差阵为非负定矩阵

定理 :设 (X,Y)N(μ1,μ2,σ1,σ2,ρ)(X,Y)∼ N(μ_1,μ_2,σ_1,σ_2,ρ),则
(1) X,YX,Y的相关系数 ρXY=ρρ_{XY}=ρ
(2) X,YX,Y的协方差矩阵为C=(σ12ρσ1σ2ρσ1σ2σ2)C=\begin{pmatrix} σ_1^2&ρσ_1σ_2 \\ ρσ_1σ_2&σ_2 \end{pmatrix}
(3) X,YX,Y相互独立
    ρXY=ρ=0\iff ρ_{XY}=ρ=0
    X,Y\iff X,Y互不相关

二维正态随机变量密度函数的矩阵表示法

f(x)=12πC1/2exp{12(xμ)C1(xμ)T}f(\mathbf{x})=\dfrac{1}{2π|C|^{1/2}}\exp\{-\dfrac{1}{2}(\mathbf{x-μ})C^{-1}(\mathbf{x-μ})^T\}

其中 x=(x,y),μ=(μ1,μ2),C\mathbf{x}=(x,y),\mathbf{μ}=(μ_1,μ_2),C为协方差阵

n维正态随机变量:设 CC 为 n 阶正定对称阵,μ=(μ1,μ2,,μn)μ=(μ_1,μ_2,\cdots,μ_n)为n维已知向量,记 x=(x1,x2,,xn)Rn\mathbf{x}=(x_1,x_2,\cdots,x_n)\in\R^n,若n维正态随机向量X=(X1,X2,,Xn)\mathbf{X}=(X_1,X_2,\cdots,X_n)的密度函数为

f(x)=1(2π)n/2C1/2exp{12(xμ)C1(xμ)T}f(\mathbf{x})=\dfrac{1}{(2π)^{n/2}|C|^{1/2}}\exp\{-\dfrac{1}{2}(\mathbf{x-μ})C^{-1}(\mathbf{x-μ})^T\}

则称 X\mathbf{X} 服从 n 维正态分布, 记为

X=(X1,X2,,Xn)N(μ,C)\mathbf{X}=(X_1,X_2,\cdots,X_n)∼ N(μ,C)

n 维正态分布的性质X=(X1,X2,,Xn)N(μ,C)\mathbf{X}=(X_1,X_2,\cdots,X_n)∼ N(μ,C)

(1) f(x)>0f(\mathbf{x})>0
(2) ++f(x1,x2,,xn)dx1dx2dxn=1\displaystyle\int_{-∞}^{+∞}\cdots\int_{-∞}^{+∞}f(x_1,x_2,\cdots,x_n)\mathrm{d}x_1\mathrm{d}x_2\cdots\mathrm{d}x_n=1
(3) μi=E(xi)μ_i=\mathbb E(x_i)
(4) C=(cij)n×nC=(c_{ij})_{n× n}(X1,X2,,Xn)(X_1,X_2,\cdots,X_n)的协方差矩阵,且
D(Xi)=cii,Cov(Xi,Xj)=cijD(X_i)=c_{ii},\quad \mathrm{Cov}(X_i,X_j)=c_{ij}
(5) XiN(μi,cii)X_i∼ N(μ_i,c_{ii})
(6) 若 X1,X2,,XnX_1,X_2,\cdots,X_n相互独立,且各XiN(μi,σi2)X_i∼ N(μ_i,σ_i^2),则
(X1,X2,,Xn)N(μ,C)(X_1,X_2,\cdots,X_n)∼ N(μ,C),其中μ=(μ1,μ2,,μn),C=diag(σ12,σ12,σn2)μ=(μ_1,μ_2,\cdots,μ_n),C=\mathrm{diag}(σ_1^2,σ_1^2\cdots,σ_n^2)

重要定理 X=(X1,X2,,Xn)N(μ,C)\mathbf{X}=(X_1,X_2,\cdots,X_n)∼ N(μ,C)

(1) 其任意 k(1kn)k(1⩽ k⩽ n)维子向量均服从k维正态分布
(2) X=(X1,X2,,Xn)N(μ,C)    X1,X2,,Xn\mathbf{X}=(X_1,X_2,\cdots,X_n)∼ N(μ,C) \iff X_1,X_2,\cdots,X_n的任一非零线性组合l1X1+l2X2+lnXnl_1X_1+l_2X_2+\cdots l_nX_n服从一维正态分布
(3) 正态随机向量的线性变换不变性: 令Y=XAY=XA,其中A=(aij)n×mA=(a_{ij})_{n× m},则Y=(Y1,Y2,,Ym)Y=(Y_1,Y_2,\cdots,Y_m) 仍服从多维正态分布
(4) X1,X2,,XnX_1,X_2,\cdots,X_n相互独立
    X1,X2,,Xn\iff X_1,X_2,\cdots,X_n两两不相关
    C=diag(c11,c22,,cnn)\iff C=\mathrm{diag}(c_{11},c_{22},\cdots,c_{nn})(即C为对角阵)

大数定律和中心极限定理

集合的序列和极限

对于一个集合序列 {An}n=1\{A_n\}_{n=1}^\infty ,我们定义它的「上极限」与「下极限」分别为:

lim supxAn={An i.o.}=n=1k=nAklim infxAn={An eventually}=n=1k=nAk\limsup\limits_{x\to\infty}A_n=\{A_n\ i.o.\}=\bigcap_{n=1}^\infty\bigcup_{k=n}^\infty A_k \\ \liminf\limits_{x\to\infty}A_n=\{A_n\ eventually\}=\bigcup_{n=1}^\infty\bigcap_{k=n}^\infty A_k

理解集合极限的含义可以参考 集合中的上极限与下极限 - 知乎 (zhihu.com)

由定义可知:

(1) lim infxAnlim supxAn\liminf\limits_{x\to\infty}A_n\sube\limsup\limits_{x\to\infty}A_n
(2) (lim infxAn)C=lim supxAnC(\liminf\limits_{x\to\infty}A_n)^C=\limsup\limits_{x\to\infty}A_n^C
(3) (lim supxAn)C=lim infxAnC(\limsup\limits_{x\to\infty}A_n)^C=\liminf\limits_{x\to\infty}A_n^C

对于任意序列 {An}\{A_n\} 满足

P(lim supxAn)=limnP(k=nAk)\mathbb P(\limsup\limits_{x\to\infty}A_n)=\lim\limits_{n\to\infty}\mathbb P(\bigcup_{k=n}^\infty A_k)

P(lim infxAn)=limnP(k=nAk)\mathbb P(\liminf\limits_{x\to\infty}A_n)=\lim\limits_{n\to\infty}\mathbb P(\bigcap_{k=n}^\infty A_k)

Borel-Cantelli 引理

引理1

n=1P(An)<    P(lim supxAn)=0\displaystyle\sum_{n=1}^{\infty}\mathbb P(A_n)<\infty \implies \mathbb P(\limsup\limits_{x\to\infty}A_n)=0

引理2:若 AnA_n 相互独立

n=1P(An)=    P(lim supxAn)=1\displaystyle\sum_{n=1}^{\infty}\mathbb P(A_n)=\infty \implies \mathbb P(\limsup\limits_{x\to\infty}A_n)=1

收敛

回顾概率的概念是如何产生的

依概率收敛 (convergence in probability):设nn次独立重复试验中事件AA发生的次数为nAn_A则当nn越来越大时,有

ϵ>0,limnP(nAnpϵ)=0∀ ϵ>0,\lim\limits_{n\to∞}\mathbb P(|\dfrac{n_A}{n}-p|⩾ ϵ)=0

这种收敛性称为依概率收敛。

定义:设 Y1,Y2,,Yn,Y_1,Y_2,\cdots,Y_n,\cdots为一随机变量序列,c为一常数,若对于ϵ>0∀ ϵ>0均有limnP(Yncϵ)=0\lim\limits_{n\to∞}\mathbb P(|Y_n-c|⩾ ϵ)=0成立,则称随机变量序列依概率收敛于c,记为

YnPc(n)Y_n\xrightarrow{P}c\quad (n\to∞)

性质:若 XnPa,YnPb(n)X_n\xrightarrow{P}a,Y_n\xrightarrow{P}b\quad (n\to∞),函g(x,y)g(x,y)在点(a,b)(a,b)处连续,那么

g(Xn,Yn)Pg(a,b)(n)g(X_n,Y_n)\xrightarrow{P}g(a,b)\quad (n\to∞)

特别的,若 XnPa(n)X_n\xrightarrow{P}a\quad (n\to∞),函数f(x)f(x)在点aa处连续,那么

f(Xn)Pf(a)(n)f(X_n)\xrightarrow{P}f(a)\quad (n\to∞)

依分布收敛(Convergence in Distribution)
meaning:

limnFn(x)=x\lim\limits{n\to\infty}F_n(x)=x

notation:

XnDX(n)X_n\xrightarrow{D}X\quad (n\to∞)

几乎必然收敛(Almost Sure Convergence):又叫以概率1收敛(convergence with probability 1)
meaning:

P(limnXn=X)=1\mathbb P(\lim\limits_{n\to\infty}X_n=X)=1

notation:

Xna.s.X(n)X_n\xrightarrow{a.s.}X\quad (n\to∞)

Convergence in LpL_p

meaning:

limnE(XnXp)=0\lim\limits_{n\to\infty}\mathbb E(|X_n-X|^p)=0

notation:

XnLpX(n)X_n\xrightarrow{L_p}X\quad (n\to∞)

大数定律

大数定律(Law of Large Numbers)

Bernoulli 大数定律nAn_Ann 次独立重复试验中事件 AA 发生的次数,且 P(A)=pP(A)=p,则对于ϵ>0∀ ϵ>0
limnP(nAnpϵ)=0\lim\limits_{n\to∞}\mathbb P(|\dfrac{n_A}{n}-p|⩾ ϵ)=0,即nAnPp(n)\dfrac{n_A}{n}\xrightarrow{P}p\quad (n\to∞) 频率稳定于概率

Chebyshev 大数定律X1,X2,,Xn,X_1,X_2,\cdots,X_n,\cdots为相互独立的随机变量序列,且具有相同的数学期望 μμ 和方差σ2σ^2,则对于ϵ>0∀ ϵ>0
limnP(Xˉnμϵ)=0\lim\limits_{n\to∞}\mathbb P(|\bar X_n-μ|⩾ ϵ)=0,即XˉnPμ(n)\bar X_n\xrightarrow{P}μ\quad (n\to∞) 平均值稳定于期望

Sinchin 大数定律X1,X2,,Xn,X_1,X_2,\cdots,X_n,\cdots为独立同分布(independent identically distributed;IID)的随机变量序列,且其期望为 μμ 和方差σ2σ^2,则对于ϵ>0∀ ϵ>0
limnP(Xˉnμϵ)=0\lim\limits_{n\to∞}\mathbb P(|\bar X_n-μ|⩾ ϵ)=0,即Xˉna.s.μ(n)\bar X_n\xrightarrow{a.s.}μ\quad (n\to∞)

大数定律的意义
(1) 给出了“频率稳定性”的严格数学解释.
(2) 提供了通过试验来确定事件概率的方法.
(3) 是数理统计中参数估计的重要理论依据之一.
(4) 是Monte Carlo方法的主要数学理论基础.

Monte Carlo方法或称为计算机随机模拟方法、计算机仿真方法,是科学与工程中的一种重要工具。Monte Carlo 方法的原理主要基于大数定律.

中心极限定理

中心极限定理(Central Limit Theorem)

有许多随机变量,它们是由大量的相互独立的随机变量的综合影响所形成的,而其中每个个别的因素作用都很小,这种随机变量往往服从或近似服从正态分布,或者说它的极限分布是正态分布,中心极限定理正是从数学上论证了这一现象,它在长达两个世纪的时期内曾是概率论研究的中心课题。

独立同分布的中心极限定理X1,X2,,Xn,X_1,X_2,\cdots,X_n,\cdots为独立同分布的随机变量序列,且其期望为 μμ 和方差σ2σ^2,则随机变量之和 Yn=i=1nXiY_n=\displaystyle\sum_{i=1}^{n}X_i 的标准化变量

Zn=YnE(Yn)D(Yn)=i=1nXinμnσZ_n=\dfrac{Y_n-E(Y_n)}{\sqrt{D(Y_n)}}=\dfrac{\displaystyle\sum_{i=1}^{n}X_i-nμ}{\sqrt{n}σ}

的分布函数Fn(x)F_n(x)对于 xR∀ x\in\R,有

limnFn(x)=limnP(i=1nXinμnσx)=x12πet2/2dt=Φ(x)\begin{aligned} \lim\limits_{n\to∞}F_n(x)&=\lim\limits_{n\to∞}\mathbb P\left(\dfrac{\displaystyle\sum_{i=1}^{n}X_i-nμ}{\sqrt{n}σ}⩽ x\right) \\ &=\displaystyle\int_{-∞}^{x}\dfrac{1}{\sqrt{2π}}e^{-t^2/2}\mathrm{d}t=Φ(x) \end{aligned}

故可认为limni=1nXiN(nμ,nσ2)\lim\limits_{n\to∞}\displaystyle\sum_{i=1}^{n}X_i∼ N(nμ,nσ^2),上式可改成

limnXˉμσ/nN(0,1)\lim\limits_{n\to∞}\dfrac{\bar X-μ}{σ/\sqrt{n}}∼ N(0,1)

limnXˉN(μ,σ2/n)\lim\limits_{n\to∞}\bar X∼ N(μ,σ^2/n)

李雅普诺夫(Lyapunov)中心极限定理 设随机变量 X1,X2,,Xn,X_1,X_2,\cdots,X_n,\cdots相互独立,他们具有数学期望 E(Xk)=μk\mathbb E(X_k)=μ_k 和方差D(Xk)=σk2D(X_k)=σ_k^2
Bn2=k=1nσk2B_n^2=\displaystyle\sum_{k=1}^{n}σ_k^2,若δ>0,1Bn2+δk=1nE(Xkμk2+δ)0(n)∃ δ>0,\dfrac{1}{B_n^{2+δ}}\displaystyle\sum_{k=1}^{n}\mathbb E(|X_k-μ_k|^{2+δ})\to0\quad (n\to∞)
则随机变量之和 Yn=k=1nXkY_n=\displaystyle\sum_{k=1}^{n}X_k 的标准化变量

Zn=YnE(Yn)D(Yn)=k=1nXkk=1nμkBnZ_n=\dfrac{Y_n-E(Y_n)}{\sqrt{D(Y_n)}}=\dfrac{\displaystyle\sum_{k=1}^{n}X_k-\sum_{k=1}^{n}μ_k}{B_n}

的分布函数Fn(x)F_n(x)对于 xR∀ x\in\R,有

limnFn(x)=limnP(k=1nXkk=1nμkBnx)=x12πet2/2dt=Φ(x)\begin{aligned} \lim\limits_{n\to∞}F_n(x)&=\lim\limits_{n\to∞}\mathbb P\left(\dfrac{\displaystyle\sum_{k=1}^{n}X_k-\sum_{k=1}^{n}μ_k}{B_n}⩽ x\right) \\ &=\displaystyle\int_{-∞}^{x}\dfrac{1}{\sqrt{2π}}e^{-t^2/2}\mathrm{d}t=Φ(x) \end{aligned}

故可认为 limnk=1nXkN(k=1nμk,Bn2)\lim\limits_{n\to∞}\displaystyle\sum_{k=1}^{n}X_k∼ N(\sum_{k=1}^{n}μ_k,B_n^2)

棣莫弗-拉普拉斯(De Moivre-Laplace)中心极限定理:若随机变量序列 ηnB(n,p)(n=1,2,)η_n∼ B(n,p)\quad(n=1,2,\cdots),则对于 xR∀ x\in\R,有

limnP(ηnnpnp(1p)x)=x12πet2/2dt=Φ(x)\lim\limits_{n\to∞}\mathbb P\left(\dfrac{η_n-np}{\sqrt{np(1-p)}}⩽ x\right) \\ =\displaystyle\int_{-∞}^{x}\dfrac{1}{\sqrt{2π}}e^{-t^2/2}\mathrm{d}t=Φ(x)

故可认为 limnηnN(np,np(1p))\lim\limits_{n\to∞}η_n∼ N(np,np(1-p)),这个定理是CLT定理的一种特殊情况,说明了正态分布是二项分布的极限分布。

中心极限定理的意义:在实际问题中,如果某随机指标满足
(1) 该指标是由大量相互独立的随机因素迭加而成
(2) 每个因素作用都是微小的,且没有一个因素起到突出的作用
则这个随机指标近似地服从正态分布。

在实际问题中,所考虑的随机变量可以表示成多个独立的随机变量之和,如在任意指定时刻,一城市的耗电量是大量用户耗电量的总和;一个物理实验的测量误差是由许多观察不到的、可叠加的微小误差所合成的;它们往往近似服从正态分布。

附录

常用数学术语缩写

  • i.e. 是拉丁语 id est 的缩写,等同于 in other words,意思是那就是说、换句话说,用来进一步解释前面所表明的观点。
  • e.g. 是拉丁语 exampli gratia 的缩写,等同于 for example ,例如的意思
  • r.v. 是 random variable 的缩写。
  • s.t. 是 subject to (such that) 的缩写,表示约束条件。
  • i.i.d. 是 independent and identically distributed 的缩写,独立同分布的意思 。
  • ind. 是 independent 的简称,独立的意思。
  • a.s. 是 almost sure 的缩写,意思是基本确定。概率论中的准确含义是全概率成立,即结论不成立的概率为零。
  • i.o. 是 infinitely often 的缩写,不时发生的意思。

常见的离散型随机变量

分布 概率质量函数 pmf 累积分布函数 cdf 期望 E\mathbb E 方差 var\text{var} 矩母函数 mgf
伯努利分布
B(1,p)B(1,p)
p(1p)p(1-p) pp p(1p)p(1-p) 1p+pet1-p+pe^t
二项分布
B(n,p)B(n,p)
nkpk(1p)nk∁^k_np^k(1-p)^{n-k} i=1knipi(1p)ni\displaystyle\sum_{i=1}^{k} ∁^i_np^i(1-p)^{n-i} npnp np(1p)np(1-p) (1p+pet)n(1-p+pe^t)^n
几何分布
Geom(p)Geom(p)
p(1p)k1 for kNp(1-p)^{k-1}\text{ for }k\in\N 1(1p)k1-(1-p)^k 1p\dfrac{1}{p} 1pp2\dfrac{1-p}{p^2} pet1(1p)et\dfrac{pe^t}{1-(1-p)e^t}
泊松分布
P(λ)P(λ)
λkeλk! for kN\dfrac{λ^ke^{-λ}}{k!}\text{ for }k\in\N eλi=0kλii!\displaystyle e^{-λ}\sum_{i=0}^{k}\dfrac{λ^i}{i!} λλ λλ exp(λ(et1))\exp(λ(e^t-1))

常见的连续型随机变量

分布 概率密度函数 pdf 累积分布函数 cdf 期望 E\mathbb E 方差 var\text{var} 矩母函数 mgf
均匀分布
U(a,b)U(a,b)
1ba for x[a,b]\dfrac{1}{b-a}\text{ for }x\in[a,b] xaba\dfrac{x-a}{b-a} a+b2\dfrac{a+b}{2} (ba)212\dfrac{(b-a)^2}{12} ebteatt(ba)\dfrac{e^{bt}-e^{at}}{t(b-a)}
指数分布
Exp(θ)Exp(θ)
1θex/θ for x>0\frac{1}{θ}e^{-x/θ}\text{ for }x>0 1ex/θ1-e^{-x/θ} θθ θ2θ^2 11θt\dfrac{1}{1-θt}
正态分布
N(μ,σ2)N(μ,σ^2)
12πσexp((xμ)22σ2)\cfrac{1}{\sqrt{2π}σ}\exp(-\frac{(x-μ)^2}{2σ^2}) μμ σ2σ^2 exp(μt+12σ2t2)\exp(μt+\frac{1}{2}σ^2t^2)
伽马分布
Gamma(k,θ)Gamma(k,θ)
θkΓ(k)xk1eθx for x>0Γ(k)=0xk1exdx\dfrac{θ^k}{Γ(k)}x^{k-1}e^{-θx}\text{ for }x>0 \\ \displaystyleΓ(k)=\int_0^{∞}x^{k-1}e^{-x}\mathrm{d}x kθ kθ2kθ^2 (1θt)k for t<1θ(1-θt)^{-k}\text{ for }t<\cfrac{1}{θ}