For er et komplett metrisk rom med hensyn på normen gitt ved , altså et Banach-rom.