ハーン–バナッハの定理

3行要約

1. 部分空間上の線形汎関数を、性質を保ったまま空間全体に拡張できる定理。
2. 機能解析学の基本定理であり、双対空間の存在を保証する。
3. ノルムの保存や凸集合の分離定理などの形で広く応用される。