C_0半群

X是一個B空間,T_t t≧0,為有界單參數線形運算元,滿足條件T_tT_s=T_t+s,對所有t≧0,s≧0,T_0=I.並且滿足下麵條件:

我們就說{T_t}是一個半群