inner product spaces linear algebra