Hi:
Let V be a vector space over some field F. {V, F, +, .}
would be more formal but let us call V also to the abelian
group over which + acts. In wikipedia.org, article
"Vector space", I read: "A basis is defined as a set B =
{v_i} indexed by some set I", etc. If V is 3-dimentional,
v_1, v_2, v_3 belong to V and I = {1,2,3}, then, according
to wikipedia, (v_1, v_2, v_3} is not the same basis of V as
{v_2, v_1, v_3}. But according to some authors, which
define a basis merely as a set, they are. Who am I to believe?
Any suggestion will be welcome. Thanks for reading.
Tonio. I think I'll make a hard copy of your post, for the sake of keeping it in a safe place. Asking the set to be ordered is (implicitly) in accordance with what I have learned in physics. E.g., the cross product of A and B would not be well defined. However, my doubt aroused in the context of a theorem about vector spaces with a denumerable basis. I do not know how to thank you. All the best,
Enrique.
Of course, the only situation that I can think of when the order of a basis is needed is when you are writing a linear transformation as a matrix.
Changing the order of the basis vectors in the domain space will change the order of the columns in the matrix and changing the order of the basis vectors in the range space will change the order of the rows.
Thanks for your kind reply. So you are speaking about finite dimentional vector spaces. And what about vector spaces with infinite bases? Hum... I think the answer to this question is implied by your post. I.e., order is needed when treating finite-dimentional vec. spaces and only when the relationship between linear transf. and matrices is of interest. All the best.