Suppose is a random variable, and suppose . The distribution of conditioned on describes the probabilities of values of given knowledge that .
Discrete case:
Continuous case:
There is also a conditional CDF, of which this conditional PDF is the derivative:
The Law of Total Probability has versions for distributions:
Conditional distribution - variable event
Suppose and are any two random variables. The distribution of conditioned on describes the probabilities of values of in terms of , given knowledge that .
Discrete case:
Continuous case:
Remember: is the probability that “ and .”
Sometimes it is useful to have the formulas rewritten like this:
Extra - Deriving
The density ought to be such that gives the probability of , given knowledge that . Calculate this probability:
Suppose is a random variable and . The expectation of conditioned on describes the typical value of given the hypothesis that is known.
Discrete case:
Continuous case:
Conditional variance:
Division into Cases / Total Probability applied to expectation:
Linearity of conditional expectation:
Extra - Proof: Division of Expectation into Cases
We prove the discrete case only.
Expectation formula:
Division into Cases for the PMF:
Substitute in the formula for :
Expectation conditioned by a variable event
Suppose and are any two random variables. The expectation of conditioned on describes the typical of value of in terms of , given the hypothesis that is known.
Suppose and are any two random variables. The expectation of conditioned on is a random variable giving the typical value of on the assumption that has value determined by an outcome of the experiment.
In other words, start by defining a function :
Now is defined as the composite random variable .
Considered as a random variable, takes an outcome , computes , sets , then returns the expectation of conditioned on .
Notice that is not evaluated at , only is.
Because the value of depends only on , and not on any additional information about , it is common to represent a conditional expectation using only the function .