定义

A vector space V is a set that is closed under finite vector addition and scalar multiplication.

内积空间都是可度量空间,如果这个可度量空间完备,则是希尔伯特空间