[eigenket]

I dont understand the point of this comment. You obviously need it to be a vector space before you can define an inner product. Inner product spaces are very special examples of vector spaces.