期待値
確率空間 (Ω, F, P) において、確率変数 X が高々可算個 x1, x2, ... を取るとき(離散型確率変数)、X の期待値は
E [ X ] = ∑ i = 1 ∞ x i P ( X = x i ) {\displaystyle E[X]=\textstyle \sum \limits _{i=1}^{\infty }x_{i}P(X=x_{i})}
で定義される。