Skip to content

定义Definition

随机过程

施工中 · 内容逐步修订

Stochastic process · Random process

由同一随机实验产生、按时间或空间指标组织的一族随机变量。

形式陈述 ​

给定概率空间 (Ω,F,Pr)、指标集 T 和可测状态空间 (S,S),随机过程是一个随机变量族

(Xt)t∈T,Xt:Ω→S.

固定 ω∈Ω 后,映射 t↦Xt(ω) 称为一条样本路径;固定 t 后,Xt 是某一时刻的随机变量。对任意 t1,…,tn∈T,随机元素元组 (Xt1,…,Xtn) 的分布称为过程的有限维分布。T=N0 给出离散时间,T=[0,∞) 常用于连续时间;状态空间也可离散或连续,这两个分类彼此独立。

这里的“相容”是指:从 (Xt1,…,Xtn,Xu) 的联合律忽略最后一个坐标,必须回到 (Xt1,…,Xtn) 的指定联合律;重排指标也必须给出相应重排的分布。每个有限联合表不能与其较小坐标组的边缘律冲突。

若状态空间另满足标准 Borel 条件,所有有限维分布相容时,可由Kolmogorov 扩张定理在乘积空间上构造具有这些分布的过程。更一般的状态空间需要额外可测结构,不能无条件套用该结论。反过来,有限维分布决定过程在柱事件上的概率律,但连续路径、右连续性等样本路径正则性需要额外定理与所选路径空间,不能仅从一句“有限维分布相同”无条件读出。

直觉

一次随机变量实验输出一个值;随机过程的一次实验输出整条轨迹。不同时间坐标不是反复进行互不相关的实验,而是同一个 ω 在所有索引上的共同表现。研究过程时可以切换两个视角:横向固定时间,比较随机变量的分布;纵向固定样本点,观察一条路径怎样演化。独立、平稳、Markov、鞅和路径连续性都是施加在这族坐标或其信息结构上的额外条件,“随机过程”这个对象层本身并不预装任何一种。

例子与边界

独立抛硬币得到 ξn∈{−1,1},累计和

Sn=∑k=1nξk,S0=0,

构成离散时间、离散状态的简单随机游走。一次观测得到的是 0,1,0,−1,… 这样的一条路径,而 S4 只是路径在第四步的一个截面。若令 Xt(ω)=t2 与 ω 无关,也仍是随机过程,只是所有样本路径完全相同,说明“过程”允许退化的确定性情形。

有限维分布与路径性质的区别可以精确展示。取 U 在 [0,1] 均匀,定义 Xt=1{U=t},另令 Yt=0。对任意有限组确定时刻,U 命中其中某个时刻的概率为零,所以两过程的有限维分布完全相同;但每条 X 路径都在随机时刻 U 出现尖点,Y 的路径则恒为零且连续。因此“每个固定时刻几乎必然相等”不能交换成“几乎必然在所有时刻同时相等”。

过程不能与单条已观测路径等同:一条路径无法单独给出联合分布。它也不必以自然数为时间,例如温度场可由空间位置索引,Brownian 运动用连续时间。即使每个 Xt 都具有相同边缘分布,过程也未必平稳;平稳性约束的是任意有限组坐标在时间平移后的联合分布。相同边缘分布更不意味着各时刻独立或满足 Markov 性。

推论与应用

为过程配上一族递增信息集,就得到滤过与适应过程;再要求下一步条件均值等于当前值,便进入鞅理论。Markov 链则用当前状态屏蔽更早历史,平稳分布描述某些过程随时间演化时保持不变的边缘律。时间序列、排队系统、随机游走、金融价格模型与随机算法运行轨迹虽然语境不同,都先共享“一个随机实验产生一整族相关坐标”的对象结构,随后才按需要加入各自的依赖或正则性假设。

只记录累计到达次数时,更新过程用独立周期把到达时刻与计数路径相互转换。若还记录顾客进入、离开系统的时刻,Little 定律则将人数路径下的面积解释为同一批顾客的总逗留时间;这项面积关系本身不需要 Markov 性。

Galton–Watson分枝过程改为记录每一代的家系人数,其独立性条件施加在各个体的繁殖数上。若同代个体共用一个随机繁殖开关,人数均值可以保持相同,整个灭绝事件的概率却会改变;该页给出两种过程的精确比较。

参考资料
  • Rick Durrett, Probability: Theory and Examples, 5th ed. author manuscript, 2019,§7.1、Appendix A.3;相容分布与路径空间。

  • Olav Kallenberg, Foundations of Modern Probability, 3rd ed., Springer, 2021,Chs. 4 and 8, processes and finite-dimensional distributions。

  • Robert G. Gallager, MIT 6.262 Discrete Stochastic Processes, Ch. 1 on stochastic processes and sample paths, accessed 2026.

关系图谱95 个相邻概念 · 3 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
分类位置
类型化关系