Probability theory and stochastic processes Definition
Feller process
Builds on Stochastic processMarkov propertySemigroupBanach space
Definition
Let be a locally compact Hausdorff space with a countable base. Let be the Banach space of continuous functions that vanish at infinity, with the sup norm. A Feller semigroup on is a family of linear maps such that:
- if and , then ;
- and for all ;
- as , for every .
Let be a time-homogeneous Markov process in , and let be the expectation for the process started at . The process is a Feller process if the formula defines a Feller semigroup.
Remarks
Example: Brownian motion on is a Feller process. Here ; this is in when is, it preserves , and it tends to uniformly because is uniformly continuous. Non-example: on , let the process started at jump at once to if and to if , then stay there. Then on and on , which is not continuous in , so does not map into itself. Clause 1 allows , so the process may be killed; one then adds a cemetery point to . Every Feller process has a modification with right-continuous paths with left limits, and that modification is strong Markov.
Reading path
To understand this page from the ground up, read these 43 pages in order. The foundations come first.
- Banach space concept
- Construction of the reals from Cauchy sequences concept
- Element definition
- Integers object
- Markov property concept
- Ordered field definition
- Proposition concept
- Random experiment concept
- Rational numbers object
- Real numbers object
- Semigroup concept
- 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
- Universal set definition
- Power set definition
- Order on the reals definition
- Function definition
- Complement 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
- Random variable definition
- Stochastic process concept
- Feller process definition
Further reading
About this page
| Tag | ZRC17G6GYS |
|---|---|
| URI | m2://ZRC17G6GYS |
| Kind | definition |
| Writing | W0 stub |
| MSC | 60J25, 60J35, 47D07 |
| Defines | Feller process |
| Uses | Stochastic process, Markov property, Semigroup, Banach space |
| 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.
What links here
No page links to this page yet.