I have been reading some materials and, for the n-th time in my life, there was a definition of an inner product as a function $V \times V \rightarrow F$, where $V$ is an abstract vector space and $F$ is an underlying scalar field.
However, it got me thinking. Inner product is this special function which gives us some number, right? In order to get a number, you must work with numbers.
Now, in general, our abstract vectors are not sequences of numbers, be it matrices, ordered pairs, polynomials or whatever, they are just that, abstract vectors. The only thing that connects these vectors with some numbers are their coordinates with respect to some basis. And in that case, we performed an isomorphism to the vector space $R^n$ (if n is the dimension of the vector space), so we effectively consider only $R^n$ in that case, so let's not do that.
What I am getting here, is how is it possible to construct an inner product on an abstract vector space? How do we take two ordinary abstract vectors and get a number out of it? You can't sum these vectors, you can't multiply them etc., they are not numbers. You can only do that with their coordinates. And if you do that, then you are not defining an inner product on a general vector space, you have defined an inner product on $R^n$ and you are using isomorphism to indirectly define inner product on other vector spaces of the same dimension. That can't be right, can it?