ヒレ–吉田の定理
数学の関数解析学の分野におけるヒレ–吉田の定理（ヒレ–よしだのていり、）とは、バナッハ空間上の線形作用素からなる強連続1パラメータ半群の生成素を特徴づける定理である。しばしば特別な場合として縮小半群のために適用され、また、一般的な場合としてフェラー-宮寺-フィリップスの定理（、宮寺功、ラルフ・フィリップスの名にちなむ）と呼ばれる定理が存在する。縮小半群の場合は、マルコフ過程の理論において広く研究されている。その他の場面では、この定理と関係の深いルーマー–フィリップスの定理が、「与えられた作用素が強連続な縮小半群を生成するかどうか」を見極める上で有用となる。ヒレ-吉田の定理は数学者のと吉田耕作の名にちなみ、1948年前後の彼らの研究によってそれぞれ独立に発見された。