A probability model consists of a non-empty set called the sample space , a collection of events that are subsets of and a probability measure assigning a probability between 0 and 1 to each event with and and with additive.
Finite Uniform Distribution
For any specific , the random variable is said to have a (finite discrete) uniform distribution on the sample space - denoted: unif iff
Conditional Probability
Let , such that then the conditional probability of given is defined as if then we define
Intersection as Conditional Probability
Suppose that then we have
Finite Intersection as Conditional Probability
Suppose we have events then whenever
Let and then from this we recall that: Since we have that
Product Rule
Let be events, then
Proof by induction and using the previous lemma during the induction step and the "intersection as conditional probability" for the base case.
As stated it is notationally unwieldly we can clean it up using the following: If you're confused by the usage of note that each factor uses exactly one more than the previous and moves in the reverse order of the of the original inequality
Symmetric Conditional Equation
Probability of Set Difference
Suppose that then
Probability of an Event through a Partition
Suppose that is a partition of then for any event we have
Observe that , therefore
It follows as an easy corollary that it holds for finite partitions by seting the rest of the partition to be the empty set.
Law of Total Probability
Suppose that is a partition of then for any event we have
Independence of Events
Given two events we say that and re independent iff
Independence is Symmetric
Suppose that and are independent, then and are independent