概率空间是概率论的基础。概率的严格定义基于这个概念。概率空间(Ω, F, P)是一个总测度为1的测度空间（即P(Ω)=1）。