Probability theory and stochastic processes Definition
Submartingale
Builds on Probability spaceFiltrationAdapted processConditional expectationMartingaleJensen's inequality
Definition
Let be a probability space, let be an index set, and let be a filtration. A submartingale with respect to is a family of real random variables such that:
- is adapted: is -measurable for each .
- for each .
- almost surely for all in , where is the conditional expectation.
Remarks
Let , where the are independent with , and let . Then is a submartingale: it is adapted, , and . The process is adapted and integrable but fails clause 3, since . In discrete time , clause 3 is equivalent to for each , by the tower property. A process is a martingale if and only if it is both a submartingale and a supermartingale. If is a martingale and is convex with for all , then is a submartingale by the conditional form of Jensen's inequality. Taking expectations in clause 3 shows that is non-decreasing.
Reading path
To understand this page from the ground up, read these 52 pages in order. The foundations come first.
- Adapted process concept
- Construction of the reals from Cauchy sequences concept
- Convex function definition
- Element definition
- Filtration concept
- Integers object
- Ordered field definition
- Proposition concept
- Random experiment concept
- Rational numbers object
- Real numbers object
- Jensen's inequality statement
- Set definition
- Ring of integers statement
- Disjunction definition
- Implication definition
- Predicate definition
- Ordered pair definition
- Union definition
- Sample space definition
- Existential quantifier definition
- Universal quantifier definition
- The rationals form a field statement
- Cartesian product definition
- Subset definition
- Uniqueness quantifier definition
- The rationals form an ordered field statement
- Binary relation definition
- Power set definition
- Universal set definition
- Order on the reals definition
- Function definition
- Complement definition
- Interval definition
- Injective function definition
- Preimage of a set definition
- Sigma-algebra definition
- Countable set definition
- Event definition
- Borel sigma-algebra definition
- Probability axioms concept
- Probability measure definition
- Probability space definition
- Conditional probability definition
- Random variable definition
- Discrete random variable definition
- Stochastic process concept
- Random variable with a density definition
- Expected value definition
- Conditional expectation definition
- Martingale definition
- Submartingale definition
Where this leads
7 pages build on this one.
Further reading
About this page
| Tag | EQ055QMACW |
|---|---|
| URI | m2://EQ055QMACW |
| Kind | definition |
| Writing | W0 stub |
| MSC | 60G42, 60G44 |
| Defines | Submartingale |
| Uses | Probability space, Filtration, Adapted process, Conditional expectation, Martingale, Jensen's inequality |
| Changed | 2 November 2026 |
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)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.