一般地，随机变量（其实它就是个映射，函数，叫“变量”可能是历史原因，有些误导）是从一个可测空间到另一个可测空间的可测映射。特别地，当另一个可测空间取为$$[0,+\infty)\cup\{+\infty\}=[0,+\infty]$$时，随机变量称为随机时间。再加上停时的条件即为停时定义。

【 在 spioner007 的大作中提到: 】
: 是随机函数吧，能取无穷大，可以叫随机变量吗？
--
FROM 112.80.16.*