Definition (Probability Function)
Given sample space S and event space F. A real-valued function P on F is called a probability function if:
- P(E)≥0
- P(S)=1
- If Ei are disjoint for i∈N then P(i=1⋃∞Ei)=i=1∑∞P(Ei)
Proposition (Probability Rules)
Let A1,...,An be events.
- P(∅)=0
- Finite Additivity: If A1,...,An are disjoint, then: P(i=1⋃nAi)=i=1∑nP(Ai)
- P(A1c)=1−P(A1)
- If A1⊂A2, then P(A1)≤P(A2)