Probability Theory is the study of predicting Samples from Population
Futhermore, it is essentially applied Set Theory and Combinatorics. At least on the surface level. It gets its rigor from Measure Theory, believe it or not, even though that is more of a Geometry/Topology adjacent field.
Set Theory with Probability
General Set Theory applies to probability. There are also special sets within probability theory.
Correspondance to Set Theory
In Probability Theory, there is a correspondance between the following:
Venn Diagrams Sets Probabilities
This is because, obviously Venn Diagrams correspond to Sets. But furthermore, probabilities also correspond to sets, because probabilities simply just exist within a special case of a Universe where the Universe is the Sample Space and a particular subset of that sample space is an Event : .
Outcome
Outcome
A single element of the Sample Space ; the result of one trial of an Experiment. Distinct from an Event , which is a set of outcomes.
Link to original
Event
Event
A subset of the Sample Space . occurs iff the outcome
Link to original
Experiment
Experiment
A repeatable procedure with a well-defined set of possible Outcomes, which form a Sample Space (the Universe of all possible outcomes). Each trial yields one ; an Event is said to occur if .
Link to original
Sample Space
Sample Space
The Set of all possible outcomes of an Experiment, usually denoted or . It is the Universe for Probability Theory where every Event satisfies (see Correspondance to Set Theory).
Finite Sample Space
A Sample Space where
Means we can use Cardinality and Combinatorics with to get Probability
Simple Sample Space
A Finite Sample Space where all singleton outcomes are equiprobable: for every , so for any Event
Link to original
Principle of Inclusion Exclusion
Principle of Inclusion-Exclusion for Probability
Based on the Principle of Inclusion-Exclusion, which relates to Cardinality. We can simply divide both sides by the cardinality of the Universe in order to get everything in terms of cardinality. See Correspondance to Set Theory
Link to original
Disjoint Events
Disjoint
Disjoint Events
A special case of Principle of Inclusion-Exclusion for Probability, when all events are Disjoint. This is because all terms after the first term are the Empty Set
Link to original
Independent Events
Independent
Link to original
Law of Total Probability
Law of Total Probability
If for a Partition of Universe and is any event, then
Link to original
Baye’s Theorem
Baye’s Theorem
Partitioned Baye’s Theorem
If for a Partition of Universe and is any event, then
Link to original
- where is the prior probabilities, “before ”
- where are the posterior probabilities, “after B”
Combinatorics with Probability
In order to calculate probabilities, you usually need to determine the cardinality of the Event using Combinatorics.
Addition Rule
Addition Rule
A special case of Disjoint Events.
Link to original
Multiplication Rule
Multiplication Rule
If a process has sequential stages where stage i has paths to stage i+1, then the number of paths from to is
This is a result of Conditional Probability
Link to original
Permutation
Permutation
An arrangment of the order of a Set
A permutation is an Isomorphism of a set
Partial Permutation
Repetitious Permutation
Multiset Permutation
a.k.a Multinomial Coefficients
The formula to find the number of distinct arrangements of a set of objects, some of which are indistinguishable
- where is the count of items
- where each is the number of repetitions of an object
For example, How many distinct arrangements can be made using the letters in the word: BANANA?
Link to originalSolution
- Pretend like there are no duplicate letters: arrangements
- Of those arrangements some will be exactly the same Consider BANANA. We want to elimate the repeated arrangements How many ways can you arrange 3 As? How many ways can you arrange 2 Ns?
Combination
Combination
A selection of elements from a Set where order doesn’t matter. “n choose k”.
It is also called “Binomial Coefficient”, as it forms the terms in Pascal’s Triangle, which are coefficients of degree binomial when expanded into a Polynomial.
Stars and Bars
How many ways are there to seperate some amount of stars with some amount of bars?
Link to original
Probability Distribution
Probability Distribution
In Probability Theory, a Probability Distribution is a Function that maps a Sample Space to a Probability Space.
Sampling with Replacement
aka Binomial Distribution
- Of a sample drawn from a finite population, drawing objects with replacement from the set of typed objects, containing a objects of type 1 and b objects of type 2, and get exactly of type 1
Sampling without Replacement
aka Hypergeometric Distribution
Link to original
- Of a sample drawn from a finite population, drawing objects without replacement from the set of typed objects, containing a objects of type 1 and b objects of type 2, and get exactly of type 1
Conditional Probability
Conditional Probability
The Probability of , , given has occurred ()
Simple Sample Space
If the Sample Space is a Simple Sample Space, i.e. where , and all of the above is already true, then the following is valid.
Disjoint Events
Independent Events
Link to original
Random Variables
Random Experiment
Random Experiment
A Random Experiment is a kind of Experiment with unpredictable Outcomes; where identical conditions can lead to different outcomes.
Link to original
Random Variable
Random Variable
A Random Variable is a Function that maps each Outcome of the Sample Space of a Random Experiment to a Real Number
Link to original
- the Random Variable is always denoted with a capital letter, and the real number is the corresponding lowercase letter, e.g. and , and , etc.
- a Random Variable can be discrete or continuous
Probability Mass Function
Probability Mass Function
A Probability Mass Function is a Probability Function for a Discrete Distribution, that is, where the Random Variable is Discrete. It is called a mass function, because each probability value per discrete Outcome is like a point mass.
Link to original
Probability Density Function
Probability Density Function
A Probability Density Function is a Probability Function for a Continuous Distribution, that is, where the Random Variable is Continuous. It is called a density function, because each probability value doesn’t have a value at its exact Outcome, just zero, rather, only continuous ranges of outcomes produce a probability. Just like how a single point in a solid doesn’t have a mass, only over a region with a density is there a mass.
Link to original
Cumulative Density Function
Cumulative Density Function
A Cumulative Density Function is just the Integral of a Probability Density Function from its lower bound, to a certain point.
Link to original
Expectations
Expected Value
Expected Value
Link to original
- where is the PMF/PDF depending on if the Random Variable is Discrete or Continuous
Variance
Variance
Link to original
Distributions
Distribution
Link to original
- Distribution
- Discrete Distribution, A Distribution with a Discrete Random Variable
- Discrete Uniform Distribution
- Discrete Bernoulli Distribution, for the probability of a single successful Bernoulli Trial
- Discrete Binomial Distribution, like Bern but repeated; probability of x successes in n trials
- Discrete Geometric Distribution, like Bern but probability of x trials being the first success
- Discrete Negative Binomial Distribution, like Geo, but the rth success rather than the first
- Discrete Poisson Distribution, probability of x Poisson Events occuring in a fixed interval of time, for which is the average rate of occurences per interval
- Continuous Distribution
- Continuous Uniform Distribution
- Continuous Exponential Distribution, probability density of the next Poisson Event being within x amount of domain time, given an average rate of occurence of , CDF for probability
- Continuous Normal Distribution, probability density of normal distribution, CDF for probability
- Continuous Standard Normal Distribution, Norm, but standardized.
Central Limit Theorem
Central Limit Theorem
The Central Limit Theorem states that no matter the shape or distribution of the original data, if you take a large enough random sample, and average the values, those sample averages will form a Normal Distribution. Furthermore, the sample mean will approach the population mean, and sample mean variance will shrink to 0.
Link to original
Inequalities
Chebyshev
Chebyshev's Inequality
Chebyshev’s Inequality is used to give the Probability of a Sample being beyond/within standard deviations of the mean.
or equivalently
Link to original
Markov
Markov's Inequality
Markov’s Inequality uses Expected Value to find the upper bound of the Probability of a nonnegative Random Variable being at least
Proof
Link to original
Bivariate Random Variables
Bivariate Random Variables
A bivariate random variable models two random variables simultaneously when they are related.
The joint CDF for all BRVs is
Discrete Bivariate Random Variables
If and are discrete RVs, is a jointly discrete bivariate RV.
- PMF:
Continuous Bivariate Random Varibales
If and are continuous RVs, is a jointly continuous RV if there exists a joint probability density function (PDF) :
Link to original
Marginal Distribution
Marginal Distribution
The marginal distribution isolates the probability distribution of one variable while ignoring the value of the other variable.
Discrete Case (Marginal PMF)
Continuous Case (Marginal PDF)
Marginal CDF
Link to original
Conditional Distribution
Conditional Distribution
Given two jointly distributed random variables, the conditional PMF/PDF of given (where ) is defined as:
Similarly, the conditional distribution of given is:
Link to originalFinding Marginal from Conditional:
- Find joint distribution:
- Integrate/Sum out :
Covariance
Covariance
Covariance measures the direction of the linear relationship between two random variables.
Link to original
- Variables move in the same direction.
- Variables move in opposite directions.
- and are independent
Correlation
Correlation
Correlation measures the linear association between two variables in a unitless scale.
Link to original
- If are independent .
