Det er enkelt å sjekke at et indreprodukt induserer en norm på gitt ved for alle . Et indreproduktrom kalles et hvis det er et komplett metrisk rom med hensyn på denne normen.