数学におけるバナッハ空間(バナッハくうかん、英: Banach space; バナハ空間)は、完備なノルム空間、即ちノルム付けられた線型空間であって、そのノルムが定めるが完備であるものを言う。 解析学に現れる多くの函数空間、例えば連続函数の空間(の空間)、 Lp-空間と呼ばれるの空間、ハーディ空間と呼ばれる正則函数の空間などはバナッハ空間を成す。これらはもっとも広く用いられる位相線型空間であり、これらの位相はノルムから規定されるものになっている。 バナッハ空間の名称は、この概念をハーンとヘリーらと共に1920-1922年に導入したポーランドの数学者ステファン・バナフに因む。