因为概率图模型会涉及大量概率论的知识,所以在开始概率图模型之前,首先让我们回顾一下概率论的一些概念和基础知识。

为了定义集合上的概率,我们需要一些基本元素。
样本空间 $ \Omega $: 随机实验所有结果的集合。其中,每个结果 ω ∈ Ω \omega \in \Omega ω∈Ω 都可以被认为是实验结束时真实世界状态的完整描述。
事件集(或事件空间)$ F $: 元素 A ( 称 之 为 事 件 ) ∈ F A(称之为事件) \in F A(称之为事件)∈F 是 Ω \Omega Ω 的子集的集合。(例如, A ⊆ Ω A \subseteq \Omega A⊆Ω 是实验可能结果的集合)。
概率测度: 一个满足如下性质的函数 P : F → R P : F \to \Reals P:F→R
这三个性质被称为概率公理。
举例: 考虑抛六面骰子的事件。样本空间为
Ω
=
{
1
,
2
,
3
,
4
,
5
,
6
}
\Omega = \{1, 2, 3, 4, 5, 6\}
Ω={1,2,3,4,5,6}。 我们可以在此样本空间上定义不同的事件空间。
例如,最简单的事件空间是平凡事件空间
F
=
{
∅
,
Ω
}
F = \{\emptyset, \Omega\}
F={∅,Ω}。另一个事件空间是 $ \Omega $ 的所有子集的集合。
对于第一个事件空间,满足上述要求的唯一概率测度为
P
(
∅
)
=
0
,
P
(
Ω
)
=
1
P(\emptyset) = 0, P(\Omega) = 1
P(∅)=0,P(Ω)=1
对于第二个事件空间,一个有效的概率度量是将事件空间中每个集合的概率分配为
i
6
\frac{i}{6}
6i,其中
i
i
i 是该集合的元素数;
例如:
P
(
{
1
,
2
,
3
,
4
}
)
=
4
6
P(\{1, 2, 3, 4\}) = \frac{4}{6}
P({1,2,3,4})=64 和
P
(
{
1
,
2
,
3
}
)
=
3
6
P(\{1, 2, 3\}) = \frac{3}{6}
P({1,2,3})=63。
以上性质证明请参考 【附录01】概率基本性质和法则推导证明
设 B B B 是非零概率的事件。给定 B B B 的情况下任意事件 A A A 的条件概率为:
P ( A ∣ B ) = P ( A ∩ B ) P ( B ) P(A \mid B) = \frac {P(A \cap B)}{P(B)} P(A∣B)=P(B)P(A∩B)
换句话说, P ( A ∣ B ) P(A \mid B) P(A∣B) 是观察到事件 B B B 发生后事件 A A A 发生的概率度量。
设 S 1 , … , S k S_1, \dotsc, S_k S1,…,Sk 为事件, P ( S i ) > 0 P(S_i) >0 P(Si)>0,则链式法则描述如下:
KaTeX parse error: No such environment: align* at position 8: \begin{̲a̲l̲i̲g̲n̲*̲}̲ & P(S_1 \cap S…
当 k = 2 k=2 k=2 时,上面的公式就是条件概率公式:
P ( S 1 ∩ S 2 ) = P ( S 1 ) P ( S 2 ∣ S 1 ) P(S_1 \cap S_2) = P(S_1) P(S_2 | S_1) P(S1∩S2)=P(S1)P(S2∣S1)
一般来说,链式规则是通过多次应用条件概率的定义而导出的,例如:
KaTeX parse error: No such environment: align* at position 8: \begin{̲a̲l̲i̲g̲n̲*̲}̲ & P(S_1 \cap S…
如果
P
(
A
∩
B
)
=
P
(
A
)
P
(
B
)
P(A \cap B) = P(A)P(B)
P(A∩B)=P(A)P(B),则称这两个事件独立,或等价于
P
(
A
∣
B
)
=
P
(
A
)
P(A \mid B) = P(A)
P(A∣B)=P(A)。直观感觉,如果事件
A
A
A 和
B
B
B 独立,
意味着对
B
B
B 的观测不影响
A
A
A 的概率。
考虑如下实验:我们翻转10个硬币,我们想知道出现正面的硬币数量。这里,样本空间
Ω
\Omega
Ω 的元素是长度为10由正面和反面组成的序列。
例如
ω
0
=
⟨
H
,
H
,
T
,
H
,
T
,
H
,
H
,
T
,
T
,
T
⟩
∈
Ω
\omega_0 = \langle H, H, T, H, T, H, H, T, T, T \rangle \in \Omega
ω0=⟨H,H,T,H,T,H,H,T,T,T⟩∈Ω。
然而在实践中,我们通常不关心获得任何特定序列的正面和反面的概率。相反,我们通常关心结果的实函数,例如10次抛投中出现的正面次数,或连续出现反面的次数。
在某些技术场景下,这些函数被称为 随机变量。
随机变量更严格的定义是:随机变量
X
X
X 是一个函数
X
:
Ω
→
E
X : \Omega \to E
X:Ω→E,其中
E
E
E 是某可度量空间。
通常,我们使用大写字母
X
(
ω
)
X(\omega)
X(ω) 表示随机变量,或简写为
X
X
X(其中隐含了对随机结果
ω
\omega
ω 的依赖)。
我们使用小写字母
x
x
x 表示随机变量的值。因此
X
=
x
X = x
X=x 表示我们将值
x
∈
E
x \in E
x∈E 复制给随机变量
X
X
X。
举例: 在我们上面的实验中,假设
X
(
ω
)
X(\omega)
X(ω) 是一系列抛投
ω
\omega
ω 中正面出现的次数。
假定只抛投10个硬币,
X
(
ω
)
X(\omega)
X(ω) 只能取有限个值,因此称为离散随机变量。
此时,与随机变量
X
X
X 关联的集合取某个特定值
k
k
k 的概率为
P
(
X
=
k
)
:
=
P
(
{
ω
:
X
(
ω
)
=
k
}
)
P(X = k) := P(\{\omega : X(\omega) = k\})
P(X=k):=P({ω:X(ω)=k})
举例: 假设
X
(
ω
)
X(\omega)
X(ω) 是表示放射性粒子衰变所需的时间的随机变量。在本例中,
X
(
ω
)
X(\omega)
X(ω) 有无穷多个可能值,因此称其为连续随机变量。
我们记
X
X
X 取两个实数
a
a
a 和
b
b
b (
a
<
b
a \lt b
a<b)之间的概率为
P
(
a
≤
X
≤
b
)
:
=
P
(
{
ω
:
a
≤
X
(
ω
)
≤
b
}
)
P(a \leq X \leq b) := P(\{\omega : a \leq X(\omega) \leq b\})
P(a≤X≤b):=P({ω:a≤X(ω)≤b})
当描述随机变量具有特定值的事件时,我们通常用指示函数 1 { A } \mathbf{1}\{A\} 1{A},其中当事件 A A A 发生时取值为1,反之取值为0。例如,对随机变量 X X X
1 { X > 3 } = { 1 , if X > 3 0 , otherwise \mathbf{1}\{X > 3\} = {1,if X>30,otherwise 1{X>3}={1,0,if X>3otherwise
为了指定处理随机变量时使用的概率度量,通常会指定替代函数(CDF、PDF和PMF),从这些函数中可以立即得出控制实验的概率度量。
本节和接下来的两节,我们将依次介绍这些类型的函数。累积分布函数(CDF)是一个函数
F
X
:
R
→
[
0
,
1
]
F_X : \Reals \to [0, 1]
FX:R→[0,1],它指定了如下概率度量:
F X ( x ) = P ( X ≤ x ) F_X(x) = P(X \leq x) FX(x)=P(X≤x)
使用该函数,可以计算 X X X 取任意两个实数 a a a 和 b b b ( a < b a \lt b a<b) 之间的值的概率。
当随机变量
X
X
X 取有限组可能值时(即
X
X
X 是离散随机变量),表示随机变量的概率度量的更简单方法是直接指定随机变量可能取到的每个值的概率。
特别地,概率质量函数(PMF)是一个函数
p
X
:
R
→
[
0
,
1
]
p_X : \Reals \to [0, 1]
pX:R→[0,1] 因此
p
X
(
x
)
=
P
(
X
=
x
)
p_X(x) = P(X = x)
pX(x)=P(X=x)
在离散随机变量的情况下,我们使用符号
V
a
l
(
X
)
Val(X)
Val(X) 表示随机变量
X
X
X 的一组可能值。
例如:如果
X
(
ω
)
X(\omega)
X(ω) 是一个随机变量,表示10次硬币投掷中的正面数,那么
V
a
l
(
X
)
=
{
0
,
1
,
2
,
…
,
10
}
Val(X) = \{0, 1, 2, \dotsc, 10\}
Val(X)={0,1,2,…,10}
对于某些连续随机变量,累积分布函数 F X ( x ) F_X(x) FX(x) 处处可微。在种情况下,我们将概率密度函数或PDF定义为CDF的导数,例如:
f X ( x ) = d F X ( x ) d x f_X(x) = \frac{dF_X(x)}{dx} fX(x)=dxdFX(x)
注意,连续随机变量的PDF可能并不总是存在的。(例如 F X ( x ) F_X(x) FX(x) 不是处处可微的)。
根据微分的性质,对于任意无穷小 δ x \delta x δx,
P ( x ≤ X ≤ x + δ x ) ≈ f X ( x ) δ x P(x \leq X \leq x + \delta x) \approx f_X(x) \delta x P(x≤X≤x+δx)≈fX(x)δx
CDF和PDF(如果存在)都可用于计算不同事件的概率。但需要强调的是,任意给定点
x
x
x 处的PDF值不是该事件的概率,比如
f
X
(
x
)
≠
P
(
X
=
x
)
f_X(x) \neq P(X = x)
fX(x)=P(X=x)。
举个例子,
f
X
(
x
)
f_X(x)
fX(x) 可以去大于1的值,但
f
X
(
x
)
f_X(x)
fX(x) 在
R
\Reals
R 的任意子集上的积分最多为1。
假设
X
X
X 是一个离散随机变量,具有PMF
p
X
(
x
)
p_X(x)
pX(x),
g
:
R
→
R
g : \Reals \to \Reals
g:R→R 是任意函数。这里
g
(
X
)
g(X)
g(X) 可以看作一个随机变量,
我们定义
g
(
X
)
g(X)
g(X) 的 期望 或 期望值 为
E [ g ( X ) ] = ∑ x ∈ V a l ( X ) g ( x ) p X ( x ) \mathbb{E}[g(X)] = \sum_{x \in Val(X)} g(x)p_X(x) E[g(X)]=x∈Val(X)∑g(x)pX(x)
如果 X X X 是一个连续随机变量,具有PDF f X ( x ) f_X(x) fX(x),则 g ( X ) g(X) g(X) 的期望值定义为
E [ g ( X ) ] = ∫ − ∞ ∞ g ( x ) f X ( x ) d x \mathbb{E}[g(X)] = \int^{\infty}_{-\infty} g(x)f_X(x)dx E[g(X)]=∫−∞∞g(x)fX(x)dx
直觉上,
g
(
X
)
g(X)
g(X) 的期望可被视为
x
x
x 取不同值时
g
(
x
)
g(x)
g(x)值的“加权平均值”,其中权重由
p
X
(
x
)
p_X(x)
pX(x) 或
f
X
(
x
)
f_X(x)
fX(x)给出。
作为上述内容的一种特殊情况,注意,随机变量本身的期望值
E
[
X
]
\mathbb{E}[X]
E[X] 是通过
g
(
x
)
=
x
g(x) = x
g(x)=x 求出的。这也被称为随机变量
X
X
X 的平均值。
随机变量 X X X 的方差是随机变量 X X X 在其均值附近的集中程度的度量。形式上,随机变量 X X X 的方差定义为 V a r [ X ] = E [ ( X − E [ X ] ) 2 ] Var[X] = \mathbb{E}[(X - \mathbb{E}[X])^2] Var[X]=E[(X−E[X])2]
使用前面章节给出的性质,我们可以推到出方差的另一种表达形式:
KaTeX parse error: No such environment: align* at position 8: \begin{̲a̲l̲i̲g̲n̲*̲}̲ & \mathbb{E}[(…
其中第二等式来自于线性期望,且事实上,相对于外部期望, E [ X ] \mathbb{E}[X] E[X]实际上是一常数。
举例: 计算均匀随机变量 X X X 的均值和方差, X X X 的 PDF为 f X ( x ) = 1 , ∀ x ∈ [ 0 , 1 ] f_X(x) = 1, \forall x \in [0, 1] fX(x)=1,∀x∈[0,1],否则为0。
KaTeX parse error: No such environment: align* at position 8: \begin{̲a̲l̲i̲g̲n̲*̲}̲ \mathbb{E}[X] …
举例: 设 g ( x ) = 1 { x ∈ A } g(x) = \mathbf{1}\{x \in A\} g(x)=1{x∈A},其中 A ⊆ Ω A \subseteq \Omega A⊆Ω,求 E [ g ( X ) ] \mathbb{E}[g(X)] E[g(X)]
E [ g ( X ) ] = ∑ x ∈ V a l ( X ) 1 { x ∈ A } P X ( x ) = ∑ x ∈ A P X ( x ) = P ( X ∈ A ) \mathbb{E}[g(X)] = \sum_{x \in Val(X)} \mathbf{1}\{x \in A \} P_X(x) = \sum_{x \in A} P_X(x) = P(X \in A) E[g(X)]=x∈Val(X)∑1{x∈A}PX(x)=x∈A∑PX(x)=P(X∈A)
E [ g ( X ) ] = ∫ − ∞ ∞ 1 { x ∈ A } f X ( x ) d x = ∫ x ∈ A f X ( x ) d x = P ( X ∈ A ) \mathbb{E}[g(X)] = \int_{-\infty}^\infty \mathbf{1}\{x \in A \} f_X(x) dx = \int_{x\in A} f_X(x) dx = P(X \in A) E[g(X)]=∫−∞∞1{x∈A}fX(x)dx=∫x∈AfX(x)dx=P(X∈A)
p ( x ) = { p , if x = 1 1 − p , if x = 0 p(x) = {p,if x=11−p,if x=0 p(x)={p,1−p,if x=1if x=0
p ( x ) = ( n x ) ⋅ p x ( 1 − p ) n − x p(x) = \binom{n}{x} \cdot p^x (1-p)^{n-x} p(x)=(xn)⋅px(1−p)n−x
p ( x ) = p ( 1 − p ) x − 1 p(x) = p(1 - p)^{x-1} p(x)=p(1−p)x−1
p ( x ) = e − λ λ x x ! p(x) = e^{-\lambda} \frac{\lambda^x}{x!} p(x)=e−λx!λx
f ( x ) = { 1 b − a , if a ≤ x ≤ b 0 , otherwise f(x) = {1b−a,if a≤x≤b0,otherwise f(x)={b−a1,0,if a≤x≤botherwise
f ( x ) = { λ e − λ x , if x ≥ 0 0 , otherwise f(x) = {λe−λx,if x≥00,otherwise f(x)={λe−λx,0,if x≥0otherwise
f ( x ) = 1 2 π σ e − ( x − μ ) 2 2 σ 2 f(x) = \frac{1}{\sqrt{2\pi}\sigma}e^{-\frac{(x-\mu)^2}{2\sigma^2}} f(x)=2πσ1e−2σ2(x−μ)2
到目前为止,我们只考察了单个随机变量。然而,许多情况下,在随机实验中,我们感兴趣的随机变量可能不止一个。
例如,在掷硬币10次的实验中,我们可能即关注 $X(\omega) =
出
现
正
面
的
次
数
也
关
注
出现正面的次数也关注
出现正面的次数也关注Y(\omega) = $连续出现正面的次数。
本章我们就来考察两个随机变量的情况。
设我们有2个随机变量
X
X
X 和
Y
Y
Y。处理这2个随机变量的一种方法是分别考虑他们。如果是这样我们只需要
F
X
(
x
)
F_X(x)
FX(x) 和
F
Y
(
y
)
F_Y(y)
FY(y)。
但是如果我们想知道同时给
X
X
X 和
Y
Y
Y 赋值随机实验结果是什么,我们就需要一个更复杂的结构,称为
X
X
X 和
Y
Y
Y 的联合累积分布函数。定义如下:
F X Y ( x , y ) = P ( X ≤ x , Y ≤ y ) F_XY(x, y) = P(X \le x, Y \le y) FXY(x,y)=P(X≤x,Y≤y)
上面公式表明,如果知道联合累积分布函数,可以计算与 X X X 和 Y Y Y 相关的任何事件的概率。
联合累计分布函数CDF F X Y ( x , y ) F_XY(x, y) FXY(x,y) 与分开考虑的累计分布函数 F X ( x ) F_X(x) FX(x) 和 F Y ( y ) F_Y(y) FY(y) 存在如下关系:
KaTeX parse error: No such environment: align* at position 8: \begin{̲a̲l̲i̲g̲n̲*̲}̲ F_X(x) &= \lim…
这里,我们称 F X ( x ) F_X(x) FX(x) 和 F Y ( y ) F_Y(y) FY(y) 为 F X Y ( x , y ) F_XY(x, y) FXY(x,y) 的边缘累计概率分布。
如果 X X X 和 Y Y Y 是离散随机变量,则联合概率质量函数 p X Y : V a l ( X ) × V a l ( Y ) → [ 0 , 1 ] p_{XY} : Val(X) \times Val(Y) \to [0, 1] pXY:Val(X)×Val(Y)→[0,1] 定义如下:
p X Y ( x , y ) = P ( X = x , Y = y ) p_{XY}(x, y) = P(X = x, Y = y) pXY(x,y)=P(X=x,Y=y)
其中,对于所有 x , y x, y x,y, 0 ≤ P X Y ( x , y ) ≤ 1 0 \leq P_{XY}(x, y) \leq 1 0≤PXY(x,y)≤1 且 ∑ x ∈ V a l ( X ) ∑ y ∈ V a l ( Y ) P X Y ( x , y ) = 1 \sum_{x \in Val(X)} \sum_{y \in Val(Y)} P_{XY}(x, y) = 1 ∑x∈Val(X)∑y∈Val(Y)PXY(x,y)=1。
两个变量的联合概率质量函数PMF如何分别与每个变量的概率质量函数相关?可以证明:
p X ( x ) = ∑ y p X Y ( x , y ) . p_X(x) = \sum_y p_{XY} (x, y). pX(x)=y∑pXY(x,y).
p_Y(y)也是如此。这种情况下我们称
p
X
(
x
)
p_X(x)
pX(x) 为随机变量
X
X
X 的边缘概率密度函数。
在统计学中,通过对另一个变量求和来得到一个变量的边缘分布的过程通常被称为“边缘化”。
设两个连续随机变量
X
X
X 和
Y
Y
Y 存在联合分布函数
F
X
Y
F_{XY}
FXY。在
F
X
Y
(
x
,
y
)
F_{XY}(x, y)
FXY(x,y) 在
x
x
x 和
y
y
y 上处处可微的情况下,
那么我们可以定义联合概率密度函数:
f X Y ( x , y ) = ∂ 2 F X Y ( x , y ) ∂ x ∂ y f_{XY}(x, y) = \frac{\partial^2F_{XY}(x, y)}{\partial x \partial y} fXY(x,y)=∂x∂y∂2FXY(x,y)
跟以为情况一样, f X Y ( x , y ) ≠ P ( X = x , Y = y ) f_{XY} (x, y) \neq P(X = x, Y = y) fXY(x,y)=P(X=x,Y=y),但
∫ ∫ ( x , y ) ∈ A f X Y ( x , y ) d x d y = P ( ( X , Y ) ∈ A ) \int \int_{(x,y) \in A} f_{XY} (x, y) dx dy = P((X, Y) \in A) ∫∫(x,y)∈AfXY(x,y)dxdy=P((X,Y)∈A)
注意,概率密度函数的值总是非负的,但它们可能大于1。尽管如此,必须满足 ∫ − ∞ ∞ ∫ − ∞ ∞ f X Y ( x , y ) = 1 \int^{\infty}_{-\infty} \int^{\infty}_{-\infty} f_{XY}(x,y) = 1 ∫−∞∞∫−∞∞fXY(x,y)=1
与离散情况类似,我们定义
f X ( x ) = ∫ − ∞ ∞ f X Y ( x , y ) d y f_X(x) = \int^{\infty}_{-\infty} f_{XY} (x, y)dy fX(x)=∫−∞∞fXY(x,y)dy
为随机变量 X X X 的边缘概率密度函数(或边缘密度), f Y ( y ) f_Y(y) fY(y)也是如此。
条件分布试图回答这样一个问题:当我们知道 X X X必须取某个值 x x x 时, Y Y Y 上的概率分布是什么?在离散情况下,给定 X X X 情况下 Y Y Y 的条件概率质量函数很简单
p Y ∣ X ( y ∣ x ) = p X Y ( x , y ) p X ( x ) , p_{Y \mid X} (y \mid x) = \frac{p_{XY}(x, y)}{p_X(x)}, pY∣X(y∣x)=pX(x)pXY(x,y),
假设 p X ( x ) ≠ 0 p_X(x) \neq 0 pX(x)=0。
在连续情况下,由于连续随机变量
X
X
X 取特定值
x
x
x 的概率为零,因此从技术上来说,情况更为复杂。
忽略这些技术细节,我们简单地通过与离散情况的类比可以得到给定
X
=
x
X = x
X=x 情况下
Y
Y
Y 的条件概率密度为
f Y ∣ X ( y ∣ x ) = f X Y ( x , y ) f X ( x ) f_{Y \mid X}(y \mid x) = \frac{f_{XY} (x, y)}{f_X(x)} fY∣X(y∣x)=fX(x)fXY(x,y)
假定 f X ( x ) ≠ 0 f_X(x) \neq 0 fX(x)=0。
我们之前为事件推导的链式法则可应用于多随机变量,如下所示:
KaTeX parse error: No such environment: align* at position 8: \begin{̲a̲l̲i̲g̲n̲*̲}̲ & p_{X_1, \cdo…
在推导条件概率表达式时经常会用到一个有用的公式叫贝叶斯法则。
P Y ∣ X ( y ∣ x ) = P X Y ( x , y ) P X ( x ) = P X ∣ Y ( x ∣ y ) P Y ( y ) ∑ y ′ ∈ V a l ( Y ) P X ∣ Y ( x ∣ y ′ ) P Y ( y ′ ) . P_{Y \mid X}(y \mid x) = \frac{P_{XY}(x, y)}{P_X(x)} = \frac{P_{X \mid Y} (x \mid y) P_Y(y)}{\sum_{y' \in Val(Y)} P_{X \mid Y} (x \mid y') P_Y(y')}. PY∣X(y∣x)=PX(x)PXY(x,y)=∑y′∈Val(Y)PX∣Y(x∣y′)PY(y′)PX∣Y(x∣y)PY(y).
如果随机变量 X X X 和 Y Y Y 是连续的,
f Y ∣ X ( y ∣ x ) = f X Y ( x , y ) f X ( x ) = f X ∣ Y ( x ∣ y ) f Y ( y ) ∫ − ∞ ∞ f X ∣ Y ( x ∣ y ′ ) f Y ( y ′ ) d y ′ . f_{Y \mid X}(y\mid x) = \frac{f_{XY}(x, y)}{f_X(x)} = \frac{f_{X \mid Y} (x \mid y) f_Y(y)}{\int^{\infty}_{- \infty} f_{X\mid Y} (x \mid y') f_Y (y') dy'}. fY∣X(y∣x)=fX(x)fXY(x,y)=∫−∞∞fX∣Y(x∣y′)fY(y′)dy′fX∣Y(x∣y)fY(y).
如果两个随机变量 X X X 和 Y Y Y 对于所有取值 x x x 和 y y y,都有 F X Y ( x , y ) = F X ( x ) F Y ( y ) F_{XY} (x, y) = F_X(x)F_Y(y) FXY(x,y)=FX(x)FY(y),则这两个随机变量独立。等价于,
不严谨地说,两个随机变量
X
X
X 和
Y
Y
Y 是独立的,意味着“知道”一个变量的值将永远不会对另一变量的条件概率分布产生任何影响。
也就是说,你只知道
f
(
x
)
f(x)
f(x) 和
g
(
x
)
g(x)
g(x) 就知道了关于这对随机变量
(
X
,
Y
)
(X,Y)
(X,Y) 的所有信息。
引理 3.1: 如果 X X X 和 Y Y Y 是独立的,那么最任意子集 A , B ⊆ R A, B \subseteq \Reals A,B⊆R,可得
P ( X ∈ A , Y ∈ B ) = P ( X ∈ A ) P ( Y ∈ B ) P(X \in A, Y \in B) = P(X \in A)P(Y \in B) P(X∈A,Y∈B)=P(X∈A)P(Y∈B)
通过使用上述引理,我们可以证明如果 X X X 独立于 Y Y Y,那么 X X X的任意函数都独立于 Y Y Y 的任意函数。
假设我们有2个离散随机变量
X
X
X 和
Y
Y
Y,并且
g
:
R
2
→
R
g : \Reals^2 \to \Reals
g:R2→R 是这两个随机变量的函数。
那么函数
g
g
g 的期望值定义为:
E [ g ( X , Y ) ] = ∑ x ∈ V a l ( X ) ∑ y ∈ V a l ( Y ) g ( x , y ) p X Y ( x , y ) \mathbb{E}[g(X,Y)] = \sum_{x \in Val(X)} \sum_{y \in Val(Y)} g(x, y)p_{XY}(x, y) E[g(X,Y)]=x∈Val(X)∑y∈Val(Y)∑g(x,y)pXY(x,y)
对于连续随机变量 X X X 和 Y Y Y,类似的表达是:
E [ g ( X , Y ) ] = ∫ − ∞ ∞ ∫ − ∞ ∞ g ( x , y ) f X Y ( x , y ) d x d y \mathbb{E}[g(X, Y)] = \int^{\infty}_{-\infty} \int^{\infty}_{-\infty} g(x, y)f_{XY}(x, y)dxdy E[g(X,Y)]=∫−∞∞∫−∞∞g(x,y)fXY(x,y)dxdy
我们可以利用期望这一概念来研究两个随机变量之间的关系。特别地,两个随机变量 X X X 和 Y Y Y 的协方差定义为:
C o v [ X , Y ] = E [ ( X − E [ X ] ) ( Y − E [ Y ] ) ] Cov[X, Y] = \mathbb{E}[(X - \mathbb{E}[X])(Y - \mathbb{E}[Y])] Cov[X,Y]=E[(X−E[X])(Y−E[Y])]
使用类似于方差的参数,我们可以将其重写为:
KaTeX parse error: No such environment: align* at position 8: \begin{̲a̲l̲i̲g̲n̲*̲}̲ Cov[X, Y] &= \…
这里,体现两种协方差形式等价的关键步骤是第三个等号,此处
E
[
X
]
\mathbb{E}[X]
E[X] 和
E
[
Y
]
\mathbb{E}[Y]
E[Y] 是常数,可以从期望中提取出来。
当
C
o
v
[
X
,
Y
]
=
0
Cov[X, Y] = 0
Cov[X,Y]=0 时,我们说
X
X
X 和
Y
Y
Y 不相关。