Expectation#

Definition#

Definition 82 (Expectation)

Let P be a probability function defined over the probability space (Ω,F,P).

Let X be a discrete random variable with Ω={ξ1,ξ2,}.

Then the expectation of X is defined as:

E(X)=xX(Ω)xP[X=x]

Existence of Expectation#

Theorem 20 (Existence of Expectation)

Let P be a probability function defined over the probability space (Ω,F,P).

A discrete random variable X with Ω={ξ1,ξ2,} has an expectation if and only if it is absolutely summable.

That is,

E[|X|]=defxX(Ω)|x|P[X=x]<

Properties of Expectation#

Let P be a probability function defined over the probability space (Ω,F,P).

Let X be a discrete random variable with Ω={ξ1,ξ2,}.

Then the expectation of X has the following properties:

Property 1 (The Law of The Unconscious Statistician)

For any function g,

E[g(X)]=xX(Ω)g(x)P[X=x]

This is not a trivial result, proof can be found here.

Property 2 (Linearity)

For any constants a and b,

E[aX+b]=aE(X)+b

Property 3 (Scaling)

For any constant c,

E[cX]=cE(X)

Property 4 (DC Shift)

For any constant c,

E[X+c]=E(X)

Property 5 (Stronger Linearity)

It follows that for any random variables X1, X2, …, Xn,

E[i=1naiXi]=i=1naiE[Xi]

Concept#

Concept

  • Expectation is a measure of the mean value of a random variable and is deterministic. It is also synonymous with the population mean.

  • Average is a measure of the average value of a random sample from the true population and is random.

  • Average of a random sample is a random variable and as sample size increases, the average of a random sample converges to the population mean.

References and Further Readings#

  • Pishro-Nik, Hossein. “Chapter 3.2.3. Functions of Random Variables.” In Introduction to Probability, Statistics, and Random Processes, 199–201. Kappa Research, 2014.

  • Chan, Stanley H. “Chapter 3.4. Expectation.” In Introduction to Probability for Data Science, 125-133. Ann Arbor, Michigan: Michigan Publishing Services, 2021.