Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4777 on D5102: Basic expectation
Expectation of bounded random real number is within the bounding interval
Formulation 0
Let XRandom(R) be a D3161: Random real number such that
(i) [a,b]R is a D544: Closed real interval
(ii) P(X[a,b])=1
Then EX[a,b]
Formulation 1
Let XRandom(R) be a D3161: Random real number such that
(i) [a,b]R is a D544: Closed real interval
(ii) aa.s.Xa.s.b
Then EX[a,b]
Proofs
Proof 0
Let XRandom(R) be a D3161: Random real number such that
(i) [a,b]R is a D544: Closed real interval
(ii) P(X[a,b])=1
Since X[a,b] almost surely, result R4778: Stieltjes integral calculus expression for probability that a bounded random real number takes value on the bounding interval shows that badF(x)=1. Thus, we have EX=baxdF(x)bbadF(x)=b and EX=baxdF(x)abadF(x)=a This is what was required to be shown.