ノルム空間上の連続線型汎函数に関する重要な定理に、ハーン-バナッハの定理がある。