Banachi ruum on täielik normeeritud ruum. See on üks funktsionaalanalüüsi keskseid mõisteid. Paljud lõpmatumõõtmelised funktsioonide ruumid on Banachi ruumid.
Banachi ruum on täielik normeeritud ruum, mis pikemalt lahti öelduna tähendab, et Banachi ruum on selline vektorruum, milles on defineeritud norm, ja milles iga fundamentaaljada koondub.