Definition:C0 Semigroup

Definition
Let $\GF \in \set {\R, \C}$.

Let $X$ be a Banach space over $\GF$.

Let $\family {\map T t}_{t \ge 0}$ be a semigroup of bounded linear operators.

We say that $\family {\map T t}_{t \ge 0}$ is a $C_0$ semigroup :


 * $\ds \lim_{t \mathop \to 0^+} \map T t x = x$ for each $x \in X$.

Also known as
A $C_0$ semigroup may also be called strongly continuous, in contrast to uniformly continuous.

Also see

 * Semigroup of Bounded Linear Operators is C0 iff Point Evaluations Continuous