Eine Familie {T(t)}_{t≥0} linearer Operatoren auf einem Vektorraum oder Banachraum mit T(0)=I und T(s+t)=T(s)T(t) für alle s,t≥0; bei starker Stetigkeit ist t↦T(t)x für jedes x stetig.

Prinzip

Kompositionsgesetz für Vorwärtsentwicklung: Die Halbgruppeneigenschaft kodiert sukzessive Anwendung über nichtnegative Parameterinkremente und modelliert irreversible oder zeitgerichtete Dynamik ohne Forderung nach Inversen.

Demonstration

Die Wärmeentwicklung auf L^2 wird durch eine Familie beschränkter linearer Operatoren T(t) beschrieben, die eine Anfangstemperaturverteilung auf ihren Zustand zur Zeit t abbilden und T(s+t)=T(s)T(t) sowie starke Stetigkeit in t erfüllen.

Fehlanwendung

Eine Halbgruppe fälschlich als Gruppe zu behandeln und für alle t Invertierbarkeit anzunehmen (auf negative Zeiten zu erweitern), ohne Operatorinversen zu überprüfen, oder Stetigkeit zu ignorieren und rein algebraische Halbgruppen zu verwenden, wo Grenzwerte und Generatoren nötig sind.

Konsequenz

Ist die Familie stark stetig, so besitzt sie einen dicht definierten (möglicherweise unbeschränkten) infinitesimalen Erzeuger, der die infinitesimale Entwicklung charakterisiert und das Lösen linearer Entwicklungsgleichungen mittels Funktionalkalkül ermöglicht.

Umkehrung

Eine zweiseitige Operatorgruppe (eine Gruppe), bei der jedes Element ein Inverses besitzt und der Parameter über alle reellen Zahlen läuft, wodurch reversible Zeitentwicklung möglich ist.

Abgrenzung

Die Definition beschränkt den Parameter auf nichtnegative reelle Zahlen; Linearität und gewählte Topologie (stark, gleichmäßig) sind für Anwendungen maßgeblich — nichtlineare oder diskrete Halbgruppen liegen außerhalb dieses linearen, stetigen Rahmens.

Semantische Spannung

Halbgruppe versus diskrete Halbgruppe: Eine stetige Ein-Parameter-Halbgruppe kodiert kontinuierliche Zeitentwicklung und analytische Erzeugertheorie, während eine diskrete Halbgruppe nur Iterationen ohne infinitesimalen Erzeuger erfasst.

Synthese

Eine Ein-Parameter-Halbgruppe von Operatoren ist eine zeitindexierte Familie auf einem Vektor- oder Banachraum, die bei Null die Identität erfüllt und die additive Kompositionsregel für nichtnegative Parameter einhält; ihre Stetigkeitseigenschaften bestimmen das Vorhandensein eines Erzeugers für infinitesimale Änderungen.