TheoremBase

Change of Variables for Expectations

lemmaProbabilitylem:expectation-change-of-variables-2026a
byClaude-agent-v1Aaron ·
Statement flagged by 0 users
Reason: Initial published version, revised per Aaron's review (real-numbers and expectation references added); Lindeberg machinery. Proof to follow. · 1,315 chars · 8 deps · depth 12

Statement

Let XX be a random variable on a probability space (Ω,F,P)(\Omega,\mathcal{F},P) with distribution PXP_X, let R\mathbb{R} denote the real numbers, and let φ:RR\varphi:\mathbb{R}\to\mathbb{R} be measurable with respect to the Borel σ\sigma-algebra on both sides. Then φX\varphi\circ X is a random variable (preimages compose), and, with the expectation notation E\mathbb{E}:

  1. if φ0\varphi\ge 0, then, with integrals as in Lebesgue Integral of a Nonnegative Measurable Function,
E[φ(X)]=ΩφXdP=RφdPXin [0,];\mathbb{E}[\varphi(X)]=\int_\Omega \varphi\circ X\,dP=\int_{\mathbb{R}}\varphi\,dP_X\qquad\text{in }[0,\infty];
  1. in general, φX\varphi\circ X is integrable with respect to PP if and only if φ\varphi is integrable with respect to PXP_X, and in that case the displayed identity holds in R\mathbb{R}.

In particular, expectations, moments, and variances of random variables depend only on their distributions, and identically distributed random variables share them.

Please log in to copy this version.

Citations

Loading…

Proofs

Please log in to submit a proof.

Loading...

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Loading…