前置

内积

可被看作向量空间

定义, 易知是上的内积

内积诱导范数,范数诱导度量。

且内积诱导的度量空间与上的度量空间同胚。