前置 complex-number 向量空间 product-metric-space 内积 C可被看作向量空间⟨C,C⟩ 定义f(a,b)=ab, 易知f是C上的内积 内积诱导范数,范数诱导度量。 且内积f诱导的度量空间与R2上的度量空间同胚。