Let be a random variable on a probability space with distribution , let denote the real numbers, and let be measurable with respect to the Borel -algebra on both sides. Then is a random variable (preimages compose), and, with the expectation notation :
- if , then, with integrals as in Lebesgue Integral of a Nonnegative Measurable Function,
- in general, is integrable with respect to if and only if is integrable with respect to , and in that case the displayed identity holds in .
In particular, expectations, moments, and variances of random variables depend only on their distributions, and identically distributed random variables share them.
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.