距離空間Sに内積が定義されているとき、
y∈S を固定すると
内積(y, x) は x∈S についての連続写像と
見なせる、というのは正しいでしょうか？