А чего подробнее? Полнота

следует из более общего факта - полноты пространств

. При

получается гильбертово пространство; доказывается это в книге или нет, но критерий для того, чтобы норма порождалась скалярным произведением там есть. Несепарабельность

также есть в качестве задачи.