Oración 1: entonces, por el teorema 2.34, A genera un semigrupo contractivo sobre X
Oración 2: el semigrupo generado, por argumentos similares a los del ejemplo 2.26, es el de traslación a derecha: ( ) f(x − t) si x − t ≥ 0,Td(t)f (x) := 0 de lo contrario, dondequiera que sea fuertemente continuo
Conector: de hecho
Relación: entailment
Género: theses