Probability theory and stochastic processes Theorem
Almost sure convergence implies convergence in probability
Builds on Almost sure convergenceConvergence in probabilityContinuity of probability measures
Statement
Let be real random variables on one probability space. If almost surely, then in probability.
Remarks
Proof: fix and let . The events decrease, and their intersection has probability by almost sure convergence. By the continuity of probability, . Since , the claim follows. The converse is false. Let be independent with and . Then in probability. But by the second Borel–Cantelli lemma, for infinitely many almost surely, so does not converge to almost surely.
Reading path
To understand this page from the ground up, read these 43 pages in order. The foundations come first.
- Construction of the reals from Cauchy sequences concept
- Element definition
- Integers object
- Ordered field definition
- Proposition concept
- Random experiment concept
- Rational numbers object
- Real numbers object
- Set definition
- Ring of integers statement
- Disjunction definition
- Implication definition
- Predicate definition
- Ordered pair definition
- Union definition
- Sample space definition
- The rationals form a field statement
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Subset definition
- The rationals form an ordered field statement
- Uniqueness quantifier definition
- Binary relation definition
- Universal set definition
- Order on the reals definition
- Power set definition
- Complement definition
- Function definition
- Interval definition
- Preimage of a set definition
- Sigma-algebra definition
- Event definition
- Borel sigma-algebra definition
- Probability axioms concept
- Probability measure definition
- Probability space definition
- Almost surely definition
- Continuity of probability measures statement
- Random variable definition
- Almost sure convergence definition
- Convergence in probability definition
- Almost sure convergence implies convergence in probability statement
Further reading
About this page
| Tag | 0SVN6X695K |
|---|---|
| URI | m2://0SVN6X695K |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 60F15 |
| Status | This copy of the site has no build data. Run m2 status 0SVN6X695K. |
| Uses | Almost sure convergence, Convergence in probability, Continuity of probability measures |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.