Li-Fan Chen
says to
YSITD
wiki 上寫的就是內積空間的定義了ㄅ