spazio normato
spazio normato spazio vettoriale V, reale o complesso, nel quale è definita una → norma || . ||: V → [0, +∞). Una norma su V induce una → metrica d(u, v) = ||u – v|| e, pertanto, definisce una topologia detta topologia della norma (o topologia forte). Uno spazio normato completo, cioè tale che in esso ogni successione di Cauchy è convergente, è detto spazio di → Banach. Uno spazio normato in cui la norma soddisfa l’uguaglianza
è detto prehilbertiano, oppure hilbertiano se esso è completo. Ponendo
resta definito un prodotto interno, il prodotto scalare (x, y) appunto, e lo spazio assume la struttura di spazio euclideo.