isomorphic inner product spaces