"inner product space" . . . "inner product space" .