ルーマー–フィリップスの定理
A を、バナッハ空間 X の線形部分空間 D(A) 上で定義される線形作用素とする。このとき、A が縮小半群を生成するための必要十分条件は
D(A) は X において稠密、
A は閉、
A は消散的、および
ある λ0> 0 に対して A − λ0I は全射(ただし I は恒等作用素を表す)
である。