>>883
複素計量空間でもL(t)=||b||^2 -2t (b,a) + t^2 ||a||^2
と表せるのですか?