けんき says to YSITD 我可以說對於任何一個vector space,我都可以定義inner product<v1,v2>=v1, v2用同一個basis展開成n個分量∈F 然後第i個分量各自相乘，最後再加起來