ハーン–バナッハの定理
数学におけるハーン–バナッハの定理（ハーン–バナッハのていり、）は、関数解析学の分野における中心的な道具で、ベクトル空間の部分空間上で定義される有界線形汎関数が全空間へ拡張できることについて述べたものである。これにより、どのようなノルム線形空間においても、その上で定義される連続線形汎関数が、双対空間の研究を「面白い」ものにするに「十分」なほどたくさんあることがわかる。ハーン-バナッハの定理の別形態のものとして、ハーン–バナッハの分離定理あるいは分離超平面定理と呼ばれるものがあり、の分野で多く用いられている。
定理の名前の由来は、1920年代後半にそれぞれ独立にこの定理を証明したハンス・ハーンとステファン・バナッハである。定理の特別な場合については、より早い段階（1912年）でエードゥアルト・ヘリーによって証明されており、またこの定理が導出されるようなある一般の拡張定理が、1923年にマルツェル・リースによって証明されていた。