Una familia {T(t)}_{t≥0} de operadores lineales en un espacio vectorial o espacio de Banach que satisface T(0)=I y T(s+t)=T(s)T(t) para todos s,t≥0; cuando es fuertemente continua, t↦T(t)x es continua para cada x.

Principio

Ley de composición para evolución hacia adelante: la propiedad de semigrupo codifica la aplicación sucesiva para incrementos de parámetro no negativos y modela dinámicas irreversibles o dirigidas en el tiempo sin requerir inversos.

Demostración

La evolución del calor en L^2 viene dada por una familia de operadores lineales acotados T(t) que llevan una distribución de temperatura inicial a su estado en el tiempo t y satisfacen T(s+t)=T(s)T(t) y continuidad fuerte en t.

Aplicación incorrecta

Tratar un semigrupo como un grupo y asumir invertibilidad para todo t (extender a tiempos negativos) sin verificar inversos de operadores, o ignorar la continuidad y usar semigrupos puramente algebraicos donde se necesitan límites y generadores.

Consecuencia

Cuando la familia es fuertemente continua, admite un generador infinitesimal densamente definido (posiblemente no acotado) que caracteriza la evolución infinitesimal y permite resolver ecuaciones de evolución lineales mediante cálculo funcional.

Inversión

Un grupo de operadores bilateral (un grupo) donde cada elemento tiene inverso y el parámetro recorre todos los reales, permitiendo evolución temporal reversible.

Límite

La definición restringe el parámetro a los reales no negativos; la linealidad y la topología elegida (fuerte, uniforme) importan para las aplicaciones: semigrupos no lineales o discretos quedan fuera de este marco lineal y continuo.

Tensión semántica

Semigrupo versus semigrupo discreto: un semigrupo uniparamétrico continuo codifica evolución en tiempo continuo y teoría de generadores analíticos, mientras que un semigrupo discreto solo registra iterados sin estructura de generador infinitesimal.

Síntesis

Un semigrupo uniparamétrico de operadores es una familia indexada por el tiempo sobre un espacio vectorial o de Banach que satisface la identidad en cero y la ley aditiva de composición para parámetros no negativos, cuyas propiedades de continuidad determinan la existencia de un generador que describe el cambio infinitesimal.