 ##  [Semigrupo Uniparamétrico (de Operadores)](/es/node/57915) 

 Definición

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

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

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

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

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

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

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

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

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.