Probability Basics
Sample Space
The set of all possible outcomes of a statistical experiment is called the sample space and is represented by the symbol . Each outcome in a sample space is called an element or member of the sample space or simply a sample point.
A sample space must be non-empty.
Referenced by (9 direct, 145 transitive)
Direct references:
Transitive (depth 1):
- Binomial Distribution
- Conditionally Independent
- Independence
- Mutual Independence
- Odds
- Pairwise Independence
- Poisson Distribution
- Addition and Multiplication Rules
- Bernoulli Process
- chebyshev-fish
- chebyshevs-inequality-note
- Cumulative Distribution Function
- Geometric Distribution
- Hypergeometric Distribution
- Log Probability
- Markov Chain
- markov-inequality-fish
- Interpretation
- markovs-inequality-note
- Multinomial Distribution
- Negative Binomial Distribution
- note-8
- p-value
- Probability Distribution
- proof-of-jensens-inequality
- proof-of-theorem-9
- remark-8
- stationary-distribution-note
- Uniform Distribution
- A/B Test
- Absolutely Continuous Random Variable
- Central Limit Theorem
- Chebyshev's Inequality
- Conditional Entropy
- Conditional Independence Given Intermediate Step
- Conditional Mutual Information
- Convolution
- corollary-88
- Covariance
- Discrete Random Variable
- Entropy
- Expected Value
- Function of middle variable forms Markov Chain
- Identically Distributed
- Independent and Identically Distributed
- Jensen's Inequality
- Joint Entropy
- joint-entropy-is-less-than-or-equal-to-entropy-of-parts
- Joint Probability Distribution
- Law of Large Numbers
- law-of-large-numbers-note
- Markov's Inequality
- Continuity Theorem for Moment Generating Functions
- Moment Generating Function of a Sum
- Moment Generating Function
- Mutual Information
- Nonnegativity of Mutual Information
- Normal Approximation to the Binomial
- Normal Distribution
- Poisson Approximation to the Binomial
- proof-of-chebyshevs-inequality
- proof-of-fanos-inequality
- proof-of-law-of-large-numbers
- remark-14
- Reversibility of Markov Chains
- Self-Information
- Standard Normal Distribution
- State Space
- Sum of Independent Normal Random Variables
- Sum of Independent Poisson Random Variables
- theorem-16
- theorem-7
- Uniform distribution maximizes entropy
- Variance
Transitive (depth 2):
- Probability Density Function
- note-25
- proof-of-chain-rule-for-mutual-information
- Nonnegativity of Conditional Mutual Information
- proof-of-conditional-independence-given-intermediate-step
- proof-of-data-processing-inequality
- proof-of-nonnegativity-of-conditional-mutual-information
- Sufficient Statistic
- Probability of Error
- Conditioning Reduces Entropy
- Cross-Entropy
- doubly-stochastic-maps-increase-entropy-intuition
- Entropy Rate
- fanos-inequality-remark
- Gibbs' Inequality
- Chain rule for joint entropy
- KL Divergence
- lemma-93
- Noiseless channel transmitting discrete symbols
- proof-of-concavity-of-entropy
- proof-of-doubly-stochastic-maps-increase-entropy
- proof-of-joint-entropy-is-less-than-or-equal-to-entropy-of-parts
- proof-of-uniform-distribution-maximizes-entropy
- theorem-12
- Weak Asymptotic Equipartition Property
- proof-of-weak-asymptotic-equipartition-property
- proof-of-processing-cannot-increase-information
- Conditional Probability
- corollary-95
- Multiplication Rule for Distributions
- proof-of-nonnegativity-of-mutual-information
- proof-of-corollary-95
- proof-of-gibbs-inequality
- proof-of-lemma-93
- proof-of-log-sum-inequality
- proof-of-conditioning-reduces-entropy
- Conditional Relative Entropy
- proof-of-concavity-and-convexity-of-mutual-information
- note-7
- Ergodic
- note-19
- proof-of-characterization-of-sufficiency
- Stationary Distribution of an Ergodic Chain
- Strong Asymptotic Equipartition Property (Shannon--McMillan--Breiman)
- Multinomial Coefficient
- Concavity and Convexity of Mutual Information
- note-5
- Characterization of Sufficiency
- Conditional Probability Distribution
- Convexity of Relative Entropy
- Product Distribution
- proof-of-convexity-of-relative-entropy
- proof-of-nonnegativity-of-relative-entropy
- note-15
- note-3
- concavity-of-entropy-intuition
- Confidence Interval for a Mean, Known Variance
- Confidence Interval for a Mean, Unknown Variance
- Standard Deviation
- variance-interpretation
Transitive (depth 3):
- proof-of-joint-is-marginal-times-conditional
- proof-of-chain-rule-for-relative-entropy
- proof-of-nonnegativity-of-conditional-relative-entropy
- Model Training
- proof-of-chain-rule-for-entropy
- proof-of-mutual-information-and-entropy
- convexity-of-relative-entropy-intuition
- remark-32
- proof-of-corollary-77
- characterization-of-sufficiency-example
- Minimal Sufficient Statistic
For example, the sample space representing the outcomes of the rolls of a standard six-sided die is
An event is a subset of a sample space. For example, we can say the event that the roll of a die is odd is the event that the roll of a die is even is , and that the event that the roll of a die is less than or equal to 4 is
Referenced by (10 direct, 123 transitive)
Direct references:
Transitive (depth 1):
- Hypergeometric Distribution
- Normal Approximation to the Binomial
- Poisson Approximation to the Binomial
- Conditional Independence Given Intermediate Step
- Markov Chain
- Nonnegativity of Conditional Mutual Information
- proof-of-conditional-independence-given-intermediate-step
- proof-of-data-processing-inequality
- proof-of-nonnegativity-of-conditional-mutual-information
- Sufficient Statistic
- Bernoulli Process
- Central Limit Theorem
- Conditional Entropy
- Conditional Probability
- Convolution
- corollary-95
- Geometric Distribution
- Multiplication Rule for Distributions
- Moment Generating Function of a Sum
- Multinomial Distribution
- Negative Binomial Distribution
- Nonnegativity of Mutual Information
- proof-of-nonnegativity-of-mutual-information
- Sum of Independent Normal Random Variables
- Sum of Independent Poisson Random Variables
- Independent and Identically Distributed
- theorem-12
- theorem-7
- note-5
- remark-8
- chebyshev-fish
- chebyshevs-inequality-note
- Cumulative Distribution Function
- Log Probability
- markov-inequality-fish
- Interpretation
- markovs-inequality-note
- note-8
- p-value
- Probability Distribution
- proof-of-jensens-inequality
- proof-of-markovs-inequality
- proof-of-theorem-9
- stationary-distribution-note
- Uniform Distribution
Transitive (depth 2):
- note-25
- Conditional Probability Distribution
- Identically Distributed
- Law of Large Numbers
- lemma-93
- proof-of-weak-asymptotic-equipartition-property
- Weak Asymptotic Equipartition Property
- proof-of-chain-rule-for-relative-entropy
- note-7
- Self-Information
- Ergodic
- note-19
- proof-of-characterization-of-sufficiency
- proof-of-fanos-inequality
- proof-of-processing-cannot-increase-information
- Reversibility of Markov Chains
- Stationary Distribution of an Ergodic Chain
- Strong Asymptotic Equipartition Property (Shannon--McMillan--Breiman)
- Multinomial Coefficient
- Characterization of Sufficiency
- Conditional Relative Entropy
- Convexity of Relative Entropy
- Expected Value
- Product Distribution
- proof-of-convexity-of-relative-entropy
- proof-of-nonnegativity-of-relative-entropy
- Variance
- proof-of-corollary-77
- characterization-of-sufficiency-example
- Minimal Sufficient Statistic
Transitive (depth 3):
- proof-of-concavity-and-convexity-of-mutual-information
- proof-of-joint-is-marginal-times-conditional
- proof-of-nonnegativity-of-conditional-relative-entropy
- proof-of-concavity-of-entropy
- Cross-Entropy
- Entropy
- Entropy Rate
- Jensen's Inequality
- Mutual Information
- note-15
- theorem-16
- A/B Test
- Confidence Interval for a Mean, Known Variance
- Confidence Interval for a Mean, Unknown Variance
- Normal Distribution
- proof-of-chebyshevs-inequality
- proof-of-law-of-large-numbers
- Standard Deviation
- Standard Normal Distribution
- variance-interpretation
Transitive (depth 4):
- Gibbs' Inequality
- KL Divergence
- Model Training
- Conditional Mutual Information
- Conditioning Reduces Entropy
- doubly-stochastic-maps-increase-entropy-intuition
- fanos-inequality-remark
- Chain rule for joint entropy
- joint-entropy-is-less-than-or-equal-to-entropy-of-parts
- Noiseless channel transmitting discrete symbols
- proof-of-doubly-stochastic-maps-increase-entropy
- proof-of-joint-entropy-is-less-than-or-equal-to-entropy-of-parts
- proof-of-uniform-distribution-maximizes-entropy
- remark-14
- Uniform distribution maximizes entropy
- proof-of-corollary-95
- proof-of-gibbs-inequality
- proof-of-lemma-93
- proof-of-log-sum-inequality
- Concavity and Convexity of Mutual Information
- Chebyshev's Inequality
Transitive (depth 5):
A lot of the rest of basic probability is just set theory from there:
- The event that the roll of a die is not less than or equal to 4 is the complement of , written as .
- The event that the roll is both even and less than or equal to 4 is the intersection of and , written as
- The event that the roll is either even or less than or equal to 4 is the union of and , written as
We can also have continuous sample spaces. For example, if we were to randomly choose a number between 0 and 1 inclusive, the sample space would be , and the event that the outcome is a number whose decimal digits are only 2s would be
Probability
Note: This applies to sample spaces of discrete events and is a bit hand wavy.
We can assign a probability or weight to each sample point in a sample space by giving it a value ranging from 0 to 1. Events that are more likely to occur have a probability closer to 1, and events that are less likely to occur have a probability closer to 0. We give a probability to all sample points in a sample space such that the sum of the probabilities of all sample points in a sample space is 1.
Then, the probability of an event is the sum of the probabilities of all sample points in Therefore,
Referenced by (33 direct, 96 transitive)
Direct references:
- remark-8
- Some Continuous Probability Distributions
- Uniform Distribution
- Some Discrete Probability Distributions
- Bernoulli Process
- Binomial Distribution
- Hypergeometric Distribution
- Poisson Distribution
- Geometric Distribution
- Negative Binomial Distribution
- proof-of-jensens-inequality
- Hypothesis Testing
- p-value
- Multinomial Distribution
- Limit Theorems
- markovs-inequality-note
- proof-of-markovs-inequality
- markov-inequality-fish
- Interpretation
- chebyshevs-inequality-note
- chebyshev-fish
- Markov Chain
- note-8
- proof-of-theorem-9
- stationary-distribution-note
- Probability Basics
- Odds
- Log Probability
- Addition and Multiplication Rules
- Random Variables and Probability Distributions
- Probability Distribution
- Cumulative Distribution Function
- Slot Machines
Transitive (depth 1):
- Normal Approximation to the Binomial
- Poisson Approximation to the Binomial
- Identically Distributed
- Independent and Identically Distributed
- Mutual Independence
- Pairwise Independence
- note-7
- Self-Information
- Conditional Independence Given Intermediate Step
- Ergodic
- note-19
- proof-of-characterization-of-sufficiency
- proof-of-data-processing-inequality
- proof-of-fanos-inequality
- proof-of-processing-cannot-increase-information
- Reversibility of Markov Chains
- Stationary Distribution of an Ergodic Chain
- Strong Asymptotic Equipartition Property (Shannon--McMillan--Breiman)
- Sufficient Statistic
- Multinomial Coefficient
- note-5
- Sum of Independent Poisson Random Variables
- Characterization of Sufficiency
- Conditional Probability Distribution
- Conditional Relative Entropy
- Convexity of Relative Entropy
- Convolution
- Expected Value
- Product Distribution
- proof-of-convexity-of-relative-entropy
- proof-of-nonnegativity-of-relative-entropy
- Variance
- lemma-93
Transitive (depth 2):
- proof-of-concavity-and-convexity-of-mutual-information
- proof-of-joint-is-marginal-times-conditional
- proof-of-chain-rule-for-relative-entropy
- proof-of-nonnegativity-of-conditional-relative-entropy
- proof-of-concavity-of-entropy
- Cross-Entropy
- Entropy
- Entropy Rate
- Jensen's Inequality
- proof-of-weak-asymptotic-equipartition-property
- Law of Large Numbers
- Weak Asymptotic Equipartition Property
- theorem-12
- theorem-7
- Multiplication Rule for Distributions
- Mutual Information
- proof-of-corollary-77
- note-15
- theorem-16
- characterization-of-sufficiency-example
- Minimal Sufficient Statistic
- A/B Test
- Confidence Interval for a Mean, Known Variance
- Confidence Interval for a Mean, Unknown Variance
- Normal Distribution
- proof-of-chebyshevs-inequality
- proof-of-law-of-large-numbers
- Standard Deviation
- Standard Normal Distribution
- Sum of Independent Normal Random Variables
- variance-interpretation
Transitive (depth 3):
- Gibbs' Inequality
- KL Divergence
- Model Training
- Conditional Mutual Information
- Conditioning Reduces Entropy
- doubly-stochastic-maps-increase-entropy-intuition
- fanos-inequality-remark
- Chain rule for joint entropy
- joint-entropy-is-less-than-or-equal-to-entropy-of-parts
- Noiseless channel transmitting discrete symbols
- note-25
- proof-of-doubly-stochastic-maps-increase-entropy
- proof-of-joint-entropy-is-less-than-or-equal-to-entropy-of-parts
- proof-of-uniform-distribution-maximizes-entropy
- remark-14
- Uniform distribution maximizes entropy
- proof-of-corollary-95
- proof-of-gibbs-inequality
- proof-of-lemma-93
- proof-of-log-sum-inequality
- Concavity and Convexity of Mutual Information
- proof-of-nonnegativity-of-mutual-information
- Central Limit Theorem
- Chebyshev's Inequality
Transitive (depth 4):
The odds of an event occurring are defined as
that is, the probability occurs divided by the probability of the complement of (i.e., the probability that does not occur.)
Referenced by (3 direct)
Direct references:
A log probability is just a logarithm of a probability.
Referenced by (2 direct, 46 transitive)
Direct references:
Transitive (depth 1):
Transitive (depth 2):
- Gibbs' Inequality
- KL Divergence
- Model Training
- proof-of-concavity-of-entropy
- Conditional Mutual Information
- Conditioning Reduces Entropy
- doubly-stochastic-maps-increase-entropy-intuition
- Entropy Rate
- fanos-inequality-remark
- Chain rule for joint entropy
- joint-entropy-is-less-than-or-equal-to-entropy-of-parts
- lemma-93
- Noiseless channel transmitting discrete symbols
- note-25
- note-8
- proof-of-doubly-stochastic-maps-increase-entropy
- proof-of-joint-entropy-is-less-than-or-equal-to-entropy-of-parts
- proof-of-uniform-distribution-maximizes-entropy
- remark-14
- theorem-12
- Uniform distribution maximizes entropy
- Weak Asymptotic Equipartition Property
Transitive (depth 3):
- proof-of-chain-rule-for-mutual-information
- proof-of-fanos-inequality
- Strong Asymptotic Equipartition Property (Shannon--McMillan--Breiman)
- proof-of-nonnegativity-of-conditional-mutual-information
- proof-of-nonnegativity-of-conditional-relative-entropy
- proof-of-nonnegativity-of-mutual-information
- proof-of-nonnegativity-of-relative-entropy
- proof-of-chain-rule-for-entropy
- proof-of-conditioning-reduces-entropy
- proof-of-mutual-information-and-entropy
- Conditional Relative Entropy
- convexity-of-relative-entropy-intuition
- Mutual Information
- proof-of-chain-rule-for-relative-entropy
- proof-of-concavity-and-convexity-of-mutual-information
- remark-32
- concavity-of-entropy-intuition
Transitive (depth 4):
Using log probability has some advantages:
- It converts multiplication of probabilities into addition, which are faster to compute.
- It improves @numerical stability when very small probabilities are involved.
- It eliminates @exponentiation.
- Logarithms are concave which is useful for @optimization.
Probability Rules
The events and are said to be independent if
Referenced by (23 direct, 11 transitive)
Direct references:
- Conditional Entropy
- Nonnegativity of Mutual Information
- proof-of-nonnegativity-of-mutual-information
- corollary-95
- Entropy of a Discrete Information Source
- Bernoulli Process
- Binomial Distribution
- Hypergeometric Distribution
- Poisson Distribution
- Geometric Distribution
- Negative Binomial Distribution
- Multiplication Rule for Distributions
- Multinomial Distribution
- Convolution
- Sum of Independent Poisson Random Variables
- Sum of Independent Normal Random Variables
- Pairwise Independence
- Moment Generating Function of a Sum
- Central Limit Theorem
- Probability Basics
- Addition and Multiplication Rules
- Conditional Probability
- Slot Machines
Transitive (depth 1):
- Normal Approximation to the Binomial
- Poisson Approximation to the Binomial
- note-25
- Conditional Probability Distribution
- proof-of-chain-rule-for-relative-entropy
- Multinomial Coefficient
- theorem-12
Transitive (depth 2):
- Conditional Relative Entropy
- proof-of-concavity-and-convexity-of-mutual-information
- proof-of-joint-is-marginal-times-conditional
Transitive (depth 3):
The probability of or is the probability of plus the probability of minus the probability of and occurring together:
If and are mutually exclusive events,
We have to subtract the overlap between and to avoid double counting.
Similarly
The probability of and is the probability of times the probability of given , or equivalently, the probability of times the probability of given .
If and are independent, this reduces to .
From this, we can give the formula for conditional probability. The probability of given is
That is to say, the probability of occurring given has occurred is the portion of times occurs that also occurs.
If , then and are independent events, and
Referenced by (3 direct, 6 transitive)
TODO: state and prove this.
Referenced by (2 direct)
Let and be events. and are said to be conditionally independent given if and only if and
Equivalently, conditional independence may be stated as where is the joint probability of and given
Referenced by (8 direct, 12 transitive)
Direct references:
Transitive (depth 1):
- Ergodic
- note-19
- proof-of-characterization-of-sufficiency
- proof-of-fanos-inequality
- proof-of-processing-cannot-increase-information
- Reversibility of Markov Chains
- Stationary Distribution of an Ergodic Chain
- Strong Asymptotic Equipartition Property (Shannon--McMillan--Breiman)
- proof-of-corollary-77
- Characterization of Sufficiency
- characterization-of-sufficiency-example
- Minimal Sufficient Statistic
TODO: independence, conditional probability, and conditionally independent are stated here for events. The random variable versions are missing, and pages that reason about random variables link to these blocks for lack of them.