Banachrum
er et normeret vektorrum, hvori enhver Cauchyfølge er konvergent. Det første omtalte studium af begrebet kan findes i Banachs monografi Théorie des opérations linéaires (1932). Rummene spiller en fundamental rolle inden for forskningen i matematisk analyse og i Hahn-Banachs