バナッハ空間からその共役空間への写像に関わり、有界線形汎関数の存在を保証する定理は。

ハーン・バナッハの定理は、部分空間上の線形汎関数をノルムを保存したまま全体に拡張できることを示します。