Vagyis a Hilbert-tér egy olyan Banach-tér, ahol a norma a skalárszorzat alapján van definiálva?

Igen.