something much neater!
If a vector space V is finite dimensional , of dim n say, over a field F
then, (assume, {v1,v2,...,vn} is a basis for V)
V is isomorphic to F^n
through the correspondence
a1.v1 +a2v2 + a3v3 + ... + anvn -----> (a1,a2,a3,...,an) {the n component tuple of F^n)...