Sure convergence

Sure convergence is pointwise convergence on real random variables. #m/def/prob Let $𝑋 𝑖 : 𝜉 \to ℝ$ define a sequence of real random variables and $𝑋 : 𝜉 \to ℝ$ be a random variable. Then $𝑋 ∙$ converges to $𝑋$ surely iff for all $𝜔 \in 𝜉$

l i m 𝑖 \to \infty 𝑋 𝑖 (𝜔) = 𝑋 (𝜔)

#state/tidy | #lang/en | #SemBr