ハーン–バナッハの定理
ハーン–バナッハの定理の帰結として、次のようなものも存在する。