Definition
Probability Space
The triple $(\Omega, \mathcal{F}, P)$ is a probability space if
- $\Omega$ is the sample space, that is some possibly abstract set.
- $\mathcal{F}$ is a $\sigma$-algebra of sets - the measurable subsets of $\Omega$.
- $P$ is a probability measure.
- For any $A \in \mathcal{F}$, there exists a number $P(A) \ge 0$, the probability of $A$.
- $P(\Omega) = 1$
- Let $\{A_n , n \ge 1\}$ be disjoint. Then $$ P\left(\bigcup_{n=1}^\infty A_n \right) = \sum_{n=1}^\infty P(A_n)
Used in
Dependency Graph
flowchart LR
classDef current fill:#6366f1,color:#fff,stroke:#4f46e5
n6af26769["Probability Space"]:::current
ne7ca7604["Random Variable"]
n6af26769 --> ne7ca7604
click ne7ca7604 "../objects/e7ca7604.html" "_self"