けんき says to YSITD
我們確定不管哪個vector space的內積都可以表達成用某個basis展開的各分量各自乘的和嗎