1.2上 概率论基础

概率论是整个模式识别与机器学习的基础，本节对应PRML书1.2节的概率部分，以后不再单独说明。

求和法则与乘法法则

假设有两个离散随机变量 和 ， 的取值范围为 ， 的取值范围为 。我们考虑在 次实验中同时对 和 进行采样，设 表示 且 发生的次数， 表示 发生的次数（不管 取值多少）， 表示 发生的次数。

概率基础

那么根据频率学派的观点， 且 发生的概率，即二者的联合概率（joint probability）定义为点 落在单元的次数占总实验次数的比例：

这里我们默认。类似地，的概率由如下公式给出：

注意到 ，由此我们可以得到概率论中的求和法则（sum rule）：

如果我们只考虑 的样例中 样本所占的比例，记为 ，也被称为给定 情况下 的条件概率，则该条件概率可以由落在单元 内的点的个数与落在第 列的点的总数的比值给出：

在定义了条件概率之后，我们回过头来看联合概率，可以发现：

上述公式即为概率论中的乘法法则（product rule）。

为了表述方便，我们将的具体取值省略，将两个法则写为：

这两个简单的规则组成了全书中使⽤的全部概率推导的基础。

贝叶斯公式

根据乘法法则以及联合概率的对称性（）可得：

上式又可以改写为

这个公式就是概率论中的贝叶斯公式（Bayes' theorem），它在机器学习和模式识别中发挥着至关重要的作用。其中 称为后验概率（posterior probability）， 称为似然函数（likelihood function）， 称为先验概率（prior probability）, 称为归一化因子（normalize factor）。根据加法公式我们可以把分母用分子中的似然函数和先验概率来表示：

如果联合概率可以分解为各自边缘概率的乘积，即 ，则我们说 和 彼此独立，并且有 ，也就是说给定 情况下 的分布与 的取值无关。

概率密度

我们可以把概率的定义从离散的情况推广到连续的情形，在这种背景下，我们引入概率密度函数（probability density）来描述连续随机变量 的概率分布。

概率密度 当时，如果落在区间的概率等于，即

则称为的概率密度函数

注意到当 时， 可以视为图中阴影部分的面积:

连续型

那么 落在区间 内的概率 就是 在区间 内的面积，我们可以用概率密度的积分来表示它：

此外，考虑到概率的性质，概率密度也必须满足：

利用密度函数在一个区间上的积分等于随机变量落在这个区间上的概率这一性质，我们可以定义累积密度函数（cdf）：

表示 处于之间的概率，且满足

假设我们知道的概率密度为 ，如果我们对 做一个非线性变换 ，那么我们可以用如下公式计算 的概率密度 ：

这个公式称为变元公式（change of a variable），证明过程如下：
首先将简记为 ，将 简记为 。因为概率密度是分布函数的导数，根据定义我们有

同样地，我们可以将加法公式、乘法公式和贝叶斯公式推广到连续随机变量上：

期望和协方差

函数 在概率密度 下的加权平均称为 的期望（expectation），当 为离散随机变量时期望定义为

当 为连续随机变量时期望定义为

给定 个从分布 抽样得到的样本 ，我们可以用如下公式近似估计期望：

当 时，上式的估计会变的精确。
有时我们希望计算多元函数关于某个变量的期望，我们用下标指定要求期望的变量：

条件期望（conditional expectation）定义为

函数 的方差定义为

经过一番计算，方差可以简化为

随机变量 和 的协方差（covariance）定义为

随机向量 和 的协方差（covariance）定义为

贝叶斯概率

本章⽬前为⽌，我们根据随机重复事件的频率来考察概率。我们把这个叫做经典的（classical）或者频率学家（frequentist）的关于概率的观点，简称频率派。现在我们转向更加通⽤的贝叶斯派（Bayesian）观点。这种观点中，提供了不确定性的⼀个定量化描述。 考虑以下问题：

2050年南极冰川是否会全部融化？

因为我们无法对其进行观测和实验，这就导致了该事件的概率是未定义的。贝叶斯统计学则为我们提供了一种完全不同的视角来看待这个问题。贝叶斯派认为概率是一种不确定性的度量，是人对于某个不确定事件是否会发生的置信度。贝叶斯的主要思路是通过不断收集证据来修正人对某件事的主观认识，比如我们可以通过观察南极冰川融化的速度来量化其不确定性，从而决定是否要减少温室气体的排放。 在这样的情况下，我们可能希望能够定量地描述不确定性，并且根据少量新的证据对不确定性进⾏精确的修改，对接下来将要采取的动作进⾏修改，或者对最终的决策进⾏修改。这可以通过⼀种优雅的通⽤的贝叶斯概率观点来实现。

考虑上一节介绍的曲线拟合的例子，对于观察到的变量 这⼀随机值的概率，频率派的观点似乎是很合理的。然⽽，我们想针对模型参数 的合适选择进⾏强调和定量化。我们将会看到，从贝叶斯的观点来看，我们能够使⽤概率论来描述模型参数的不确定性，或者模型本⾝的选择。获得观测样本前我们对于模型参数 的假设以先验分布 的形式表达，采集到的观测数据 通过似然函数 发挥作用，注意到它是关于 （已知）的分布，因此它是关于 的函数，反映了在不同的模型参数 下产生该组观测值的可能性。通过似然函数，我们将关于 的置信度转变为了后验概率分布 的形式，它让我们能够通过后验概率 在获得观测数据 后估计 的不确定性(对于先验 的修正)。具体地，依据贝叶斯公式有：

注意到 只是个定值，起到归一化作用，我们可以将其用先验和似然的乘积关于 的积分表示出来

如果忽略 ，我们可以将先验、似然、后验之间的关系表达为如下的形式：

其中表示正比符号，三个量都可以视为 的函数。

贝叶斯观点的⼀个优点是对先验概率的包含是很⾃然的事情。例如，假定投掷⼀枚普通的硬币3次，每次都是正⾯朝上。⼀个经典的最⼤似然模型在估计硬币正⾯朝上的概率时，结果会是1，表示所有未来的投掷都会是正⾯朝上！相反，⼀个带有任意的合理的先验的贝叶斯⽅法将不会得出这么极端的结论。

频率派VS贝叶斯派

无论是频率派还是贝叶斯派，似然函数都起着重要的作用，然而对似然函数使用方式的不同是两者最本质的区别。以上一节介绍的曲线拟合为例，频率派认为参数 是固定的，我们通过最大化似然函数的思想利用观测数据去反推这个参数值 。这对应于选择使观察到的数据集出现概率最⼤的参数值。在机器学习的⽂献中，似然函数的负对数被叫做误差函数（error function）。由于负对数是单调递减的函数，最⼤化似然函数等价于最⼩化误差函数。

而贝叶斯派则认为我们只有一个数据集 （即实际观测到的数据集），模型参数 是随机的，我们通过似然函数将先验修改为后验。

针对贝叶斯⽅法的⼀种⼴泛的批评就是先验概率的选择通常是为了计算的⽅便而不是为了反映出任何先验的知识。某些⼈甚⾄把贝叶斯观点中结论对于先验选择的依赖性的本质看成困难的来源。 特殊情况下，如果把先验去掉或者先验是uniform distribution，则贝叶斯方法等价于频率方法。