[Notation: ``there exists'', ``for all'', ``the reals,'' i.e. ]
A vector space, V, is a set together with two
operations, vector addition and scalar multiplication, that satisfies
the following properties:
A set of vectors, S = {v1, v2, ..., vn} is linearly independent if the only solution (in the ci's) to the equation
occurs with c1 = c2 = ... = cn = 0. If there is some solution where some of the ci's are nonzero, then the set S is linearly dependent.
A basis is a set, B, of vectors that satisfies the
following properties:
Let V be a vector space. If B1 and B2 are bases for V, then |B1| = |B2| (B1 and B2 have the same size).
The dimension of a vector space V is the size of a set
of basis vectors. If B is a basis for V, we write .