1. 不可分解分布（Indecomposable distribution）

1.1 定义

在概率论中，不可分解分布（indecomposable distribution）是不能表示为两个或多个非常数独立随机变量（non-constant independent random variables）之和的分布的概率分布：$Z\ne X+Y$。如果可以这样表示，则它是可分解的（decomposable）：$Z=X+Y$。进一步，如果它可以表示为两个或多个独立同分布的随机变量之和的分布，则它是可分的（divisible）：$Z=X_1+X_2$。

1.2 例子

1.2.1 不可分解（Indecomposable）

• 最简单的例子是伯努利分布（Bernoulli-distributions）：如果

$$X=\{\begin{array}{ll}1& \text{with probability }p,\\ 0& \text{with probability }1-p\end{array}$$

那么 $X$ 的概率分布是不可分解的。

证明：给定非常数分布 $U$ 和 $V$，因此 $U4 假设至少两个值 $a$、$b$ 和 $V$ 假设两个值 $c$、$d$，其中 $a<b$ 且 $c<d$，则 $U+V$ 假设至少三个不同的值：$a+c$，$a+d$，$b+d$（$b+c$ 可能等于 $a+d$，例如，如果使用 $0$，$1$ 和 $0$，$1$）。因此，非常数分布之和至少假定三个值，因此伯努利分布不是非常数分布之和。

• 假设 $a+b+c=1$，$a,b,c\ge 0$，并且：

$$X=\{\begin{array}{ll}2& \text{with probability }a,\\ 1& \text{with probability }b,\\ 0& \text{with probability }c.\end{array}$$

此概率分布是可分解的（作为两个伯努利分布随机变量之和的分布）如果：

$$\sqrt{a}+\sqrt{c}\le 1$$

否则无法分解。为此，假设 $U$ 和 $V$ 是独立的随机变量，并且 $U+V$ 具有此概率分布。那么我们必须有

$$U=\{\begin{array}{ll}1& \text{with probability }p,\\ 0& \text{with probability }1-p,\end{array}\text{and}V=\{\begin{array}{ll}1& \text{with probability }q,\\ 0& \text{with probability }1-q,\end{array}$$

对于某些 $p,q\in [0,1]$，通过与 Bernoulli 情况类似的推理（否则 $U+V$ 之和将假设三个以上的值）。它遵循：

$$\begin{gathered} a=pq, \\ c=(1-p)(1-q), \\ b=1-a-c. \end{gathered}$$

两个变量 $p$ 和 $q$ 的两个二次方程组有解 $(p,q)\in [0,1{]}^2$，当且仅当：

$$\sqrt{a}+\sqrt{c}\le 1$$

因此，例如，集合 $0,1,2$ 上的离散均匀分布是不可分解的，但两次试验的二项式分布均具有 $1/2$ 的概率，因此分别给出概率 $a$、$b$、$c$ 为 $1/4$，$1/2$，$1/4$，是可分解的。

• 绝对连续的不可分解分布。可以证明密度函数为：

$$f(x)=\frac{1}{\sqrt{2\pi }}{x}^2{e}^{-x^2/2}$$

是不可分解的。

1.2.2 可分解

• 所有无限可分的分布肯定都是可分解的；特别是，这包括稳定分布（stable distribution），例如正态分布。
• 区间 $[0,1]$ 上的均匀分布是可分解的，因为它是假设为 0 或 1/2 且概率相等的伯努利变量与 $[0,1/2]$ 上的均匀分布的总和。迭代它，产生无限分解：

$$\sum _{n=1}^{\infty }\frac{X_n}{2^n}$$

其中独立随机变量 $X_n$ 均以相同的概率等于 0 或 1——这是对二进制展开的每个数字的伯努利试验。

• 不可分解的随机变量之和可分解为原始的被加数（original summands）。但它可能会被证明是无限可分的。假设随机变量 $Y$ 服从几何分布：

$$\mathrm{Pr}(Y=n)=(1-p{)}^{n}p$$

在 $0,1,2,\cdots$ 上。

对于任何正整数 $k$，存在一系列负二项式分布（negative-binomially distributed）的随机变量 $Y_j，j=1,\cdots ,k$，使得 $Y_1+\cdots +Y_k$ 具有此几何分布。因此，这分布是无限可分的。

另一方面，设 $D_n$ 是 $Y$ 的第 $n$ 个二进制数字，因为 $n\ge 0$。那么 $D_n$ 是独立的，并且：

$$Y=\sum _{n=1}^{\infty }{2}^n{D}_n,$$

这个总和中的每一项都是不可分解的。

1.3 相关概念

不可分解性的另一个极端是无限可分性（infinite divisibility）。

• Cramér theorem 表明，虽然正态分布是无限可分的，但它只能分解为正态分布。
• Cochran theorem 表明，将正态随机变量的平方和分解为这些变量的线性组合的平方和的项始终具有独立的卡方分布。

2. 无限可分性（Infinite divisibility）

在概率论中，如果可以将概率分布表示为任意数量的独立且均匀分布（简写为i.i.d.）随机变量之和的概率分布，则该概率分布是无限可分的。任何无限可分分布的特征函数都称为无限可分特征函数。更严格地说，如果对于每个正整数n，都存在n（为i.i.d.），则概率分布F是无限可分的。随机变量，它们的总和具有相同的分布F。

概率分布的无限可分性的概念是由Bruno de Finetti于1929年提出的。分布的这种分解类型用于概率和统计中，以找到概率分布族，这对于某些模型或应用程序可能是自然选择。在极限定理的背景下，具有无限可分性的分布在概率论中起着重要作用。

每个无限可分的概率分布都自然地对应于Lévy过程。 如果是一个Lévy过程，那么对于任何，随机变量将被无限整除：对于任何n，我们可以选择。类似地，对于任何s <t都是无限可分的。另一方面，如果F是一个无限可整的分布，我们可以从中构造一个Lévy进程。对于任何间隔，其中等于有理数，我们可以定义与具有相同的分布。 当是无理数时，可以通过连续性参数来处理。

加法过程也是无限可分的。其性质与上面关于Levy过程的论述类似。

在概率论中，如果概率分布可以表示为任意数量的独立同分布 (i.i.d.) 随机变量之和的概率分布，则该概率分布是无限可分的。 任何无限可分分布的特征函数则称为无限可分特征函数。 [1]

更严格地说，如果对于每个正整数 n，存在 n i.i.d，则概率分布 F 是无限可分的。 总和 Sn = Xn1 + … + Xnn 具有相同分布 F 的随机变量 Xn1, …, Xnn。

概率分布的无限可分性的概念是由 Bruno de Finetti 于 1929 年提出的。 这种类型的分布分解用于概率和统计中，以找到可能是某些模型或应用程序的自然选择的概率分布族。 在极限定理的背景下，无限可分分布在概率论中发挥着重要作用。 [1]

例子
无限可分的连续分布的例子有正态分布、Cauchy 分布、Lévy 分布和稳定分布族的所有其他成员，以及 Gamma 分布、卡方分布、Wald 分布、Log -正态分布 [2] 和学生 t 分布。

在离散分布中，例子有泊松分布和负二项分布（因此还有几何分布）。 唯一可能的结果为 0 的单点分布也是（平凡地）无限可分的。

均匀分布和二项分布不是无限可分的，除上述单点分布外，其他任何具有有界支持（≈ 有限大小域）的分布也不是。 [3] 具有学生 t 分布的随机变量的倒数分布也不是无限可分的。 [4]

任何复合泊松分布都是无限可分的； 这直接来自定义。

极限定理
无限可分分布出现在中心极限定理的广义推广中：三角形阵列中独立一致渐近可忽略 (u.a.n.) 随机变量的总和 Sn = Xn1 + … + Xnn 的极限为 n → +∞

�
11
�
21
�
22
�
31
�
32
�
33
⋮
⋮
⋮
⋱
\begin{数组}{cccc}
X_{11} \
X_{21} & X_{22} \
X_{31} & X_{32} & X_{33} \
\vdots & \vdots & \vdots & \ddots
\end{数组}
接近——在弱意义上——一个无限可分的分布。 一致渐近可忽略 (u.a.n.) 条件由下式给出

林
�
→
∞
最大限度
1个
≤
�
≤
�
�
(
|
�
�
�
|

�
)

0
每一个
�

0。
\lim_{n\to\infty} , \max_{1 \le k \le n} ; P( \left| X_{nk} \right| > \varepsilon ) = 0 \text{ 对于每个 }\varepsilon > 0。
因此，例如，如果通过对具有有限方差的同分布随机变量进行适当缩放来满足均匀渐近可忽略性 (u.a.n.) 条件，则弱收敛是中心极限定理经典版本中的正态分布。 更一般地说，如果 u.a.n. 通过缩放同分布的随机变量（不一定是有限的二阶矩）满足条件，则弱收敛到稳定分布。 另一方面，对于独立（未缩放）伯努利随机变量的三角数组，其中 u.a.n. 通过满足条件

林
�
→
∞
�
�
�

�
,
\lim_{n\rightarrow\infty} np_n = \lambda,
如熟悉的小数定律证明所示，总和的弱收敛是均值为 λ 的泊松分布。

征收过程
主条目：列维过程
每个无限可分的概率分布都以自然的方式对应于 Lévy 过程。 Lévy 过程是一个具有平稳独立增量的随机过程 { Lt : t ≥ 0 }，其中平稳意味着对于 s < t，Lt − Ls 的概率分布仅取决于 t − s 并且独立增量意味着差异 Lt − Ls 独立于任何不与 [s, t] 重叠的区间上的相应差值，对于任何有限数量的相互不重叠的区间也是如此。

如果 { Lt : t ≥ 0 } 是一个 Lévy 过程，那么对于任何 t ≥ 0，随机变量 Lt 将是无限可分的：对于任何 n，我们可以选择 (Xn1, Xn2, …, Xnn) = (Lt/n − L0, L2t/n − Lt/n, …, Lt − L(n−1)t/n)。 类似地，对于任何 s < t，Lt − Ls 是无限可分的。

另一方面，如果 F 是无限可分分布，我们可以从中构造一个 Lévy 过程 { Lt : t ≥ 0 }。 对于任何区间 [s, t]，其中 t − s > 0 等于有理数 p/q，我们可以定义 Lt − Ls 具有与 Xq1 + Xq2 + … + Xqp 相同的分布。 t − s > 0 的无理值通过连续性参数处理。

• 参考文献

wiki: Indecomposable distribution

wiki: Infinite divisibility (probability)