Let be a LCCB space (locally compact with a countable base; usually a subset of for some ) and be the space of continuous functions on that vanish at infinity. (We may write as shorthand.) A Feller semigroup on is a family of positive linear operators , on such that
and for every , i.e. is a family of contracting maps;
(the semigroup property);
for every .
|Date of creation||2013-03-22 16:12:40|
|Last modified on||2013-03-22 16:12:40|
|Last modified by||mcarlisle (7591)|
|Defines||Feller transition function|