A family {T(t)}_{t≥0} of linear operators on a vector space or Banach space satisfying T(0)=I and T(s+t)=T(s)T(t) for all s,t≥0; when strongly continuous, t↦T(t)x is continuous for each x.

Principle

Composition law for forward evolution: the semigroup property encodes successive application over nonnegative parameter increments and models irreversible or time-forward dynamics without requiring inverses.

Demonstration

The heat evolution on L^2 is given by a family of bounded linear operators T(t) that map an initial temperature distribution to its state at time t and satisfy T(s+t)=T(s)T(t) and strong continuity in t.

Misapplication

Treating a semigroup as a group and assuming invertibility for all t (extending to negative times) without verifying operator inverses, or ignoring continuity and using algebraic semigroups where limits and generators are required.

Consequence

When the family is strongly continuous, it admits a densely defined (possibly unbounded) infinitesimal generator that characterizes infinitesimal evolution and allows solving linear evolution equations via functional calculus.

Reversal

A two-sided group of operators (a group) where every element has an inverse and the parameter runs over all real numbers, allowing reversible time evolution.

Boundary

The definition confines parameters to nonnegative reals; linearity and the chosen topology (strong, uniform) matter for applications—nonlinear or discrete semigroups lie outside this linear, continuous scope.

Semantic Tension

Semigroup versus discrete semigroup: a continuous one-parameter semigroup encodes continuous time evolution and analytic generator theory, while a discrete semigroup only records iterates without infinitesimal generator structure.

Synthesis

A one-parameter semigroup of operators is a time-indexed family on a vector or Banach space obeying identity at zero and the additive composition law for nonnegative parameters, whose continuity properties determine the existence of a generator describing infinitesimal change.