“设顾客集合可数,到达时刻在每个有界时间区间内局部有限。顾客 $i$ 在有限时刻 $a i$ 进入、$d i$ 离开,逗留时间 $W i=d i a i\ge0$,系统人数为过程 $N(t)=…”
形式陈述
给定概率空间
固定
这里的“相容”是指:从
若状态空间另满足标准 Borel 条件,所有有限维分布相容时,可由Kolmogorov 扩张定理在乘积空间上构造具有这些分布的过程。更一般的状态空间需要额外可测结构,不能无条件套用该结论。反过来,有限维分布决定过程在柱事件上的概率律,但连续路径、右连续性等样本路径正则性需要额外定理与所选路径空间,不能仅从一句“有限维分布相同”无条件读出。
直觉
一次随机变量实验输出一个值;随机过程的一次实验输出整条轨迹。不同时间坐标不是反复进行互不相关的实验,而是同一个
例子与边界
独立抛硬币得到
构成离散时间、离散状态的简单随机游走。一次观测得到的是
有限维分布与路径性质的区别可以精确展示。取
过程不能与单条已观测路径等同:一条路径无法单独给出联合分布。它也不必以自然数为时间,例如温度场可由空间位置索引,Brownian 运动用连续时间。即使每个
推论与应用
为过程配上一族递增信息集,就得到滤过与适应过程;再要求下一步条件均值等于当前值,便进入鞅理论。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.