Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Theorem

Wald's Identity

Probability and Statistics

Wald's Identity states that the expected value of the sum of a random number of independent, identically distributed random variables equals the expected value of one such variable multiplied by the expected value of the number of terms summed, provided that random number is a stopping time not depending on the future terms. Named for Abraham Wald, it is a foundational tool of sequential analysis used to compute expectations in random-sum settings, such as the expected total of a randomly stopped process, without summing the full distribution directly.

Facts
Statement
The expected value of a sum of a random number of independent, identically distributed finite-mean random variables equals the expected number of terms times the common expectation, when the number of terms is independent of the summands. 1
Proof Year
1944 1
Classification
Statement Form
Identity or Equation 1
Connections

Has Statement Form

Equation, Concepts

Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.

Identity, Concepts

Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.

In Branch

Source Wald's equation, Wikipedia

Proved By

Source Wald's equation, Wikipedia
Sources
1. Wald's equation, Wikipedia
  • Lead, second sentence
    In its simplest form, it relates the expectation of a sum of randomly many finite-mean, independent and identically distributed random variables to the expected number of terms in the sum and the random variables' common expectation under the condition that the number of terms in the sum is independent of the summands.
  • Lead, publication note
    Wald published work on this topic in September 1944, as indicated by his paper "On cumulative sums of random variables" in The Annals of Mathematical Statistics.
  • In Branch: Probability and Statistics, Lead sentence
    In probability theory, Wald's equation, Wald's identity or Wald's lemma is an important identity that simplifies the calculation o
  • Proved By: Abraham Wald, Lead paragraph
    In probability theory, Wald's equation, Wald's identity or Wald's lemma is an important identity that simplifies the calculation of the expected value
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.