Yes I see now that the first one is correct, thanks.
I just have one more question. A problem arises in my mind when they allow polynomials and vectors to be connected.
First: Wikipedia defines the dimension of a vector space to be:
"In mathematics, the dimension of a vector space V is the cardinality (i.e. the number of vectors) of a basis of V."
Now look at this proof from my text-book.
The thing that I do not understand is how can they know how many entries there are in the baisis-vectors? If we now assume that there is the pairing that you mentioned, how can we be sure that the coordinate vectors have n entries? The reason I find this weird is because we are working with polynomials, or some other abstract thing. And we say that the objects {b1,b2,..bn} is a basis if they are linerly independent and every object that they are supposed to span can be written as a linear combination of them, correct? But, when we define it this way we are not working with the traditional vectors at all, they are not mentioned! All we know is that we have n objects.