# Linear independence

In the theory of vector spaces, a set of vectors is said to be **linearly dependent** if there is a nontrivial linear combination of the vectors that equals the zero vector. If no such linear combination exists, then the vectors are said to be **
linearly independent**. These concepts are central to the definition of dimension.^{[1]}

A vector space can be of finite dimension or infinite dimension depending on the maximum number of linearly independent vectors. The definition of linear dependence and the ability to determine whether a subset of vectors in a vector space is linearly dependent are central to determining the dimension of a vector space.

Thus, a set of vectors is linearly dependent if and only if one of them is zero or a linear combination of the others.

If a sequence of vectors contains twice the same vector, it is necessarily dependent. The linear dependency of a sequence of vectors does not depend of the order of the terms in the sequence. This allows defining linear independence for a finite set of vectors: A finite set of vectors is *linearly independent* if the sequence obtained by ordering them is linearly independent. In other words, one has the following result that is often useful.

A sequence of vectors is linearly independent if and only if it does not contain twice the same vector and the set of its vectors is linearly independent.

An infinite set of vectors is *linearly independent* if every nonempty finite subset is linearly independent. Conversely, an infinite set of vectors is *linearly dependent* if it contains a finite subset that is linearly dependent, or equivalently, if some vector in the set is a linear combination of other vectors in the set.

An indexed family of vectors is *linearly independent* if it does not contain twice the same vector, and if the set of its vectors is linearly independent. Otherwise, the family is said *linearly dependent*.

A person describing the location of a certain place might say, "It is 3 miles north and 4 miles east of here." This is sufficient information to describe the location, because the geographic coordinate system may be considered as a 2-dimensional vector space (ignoring altitude and the curvature of the Earth's surface). The person might add, "The place is 5 miles northeast of here." This last statement is *true*, but it is not necessary to find the location.

In this example the "3 miles north" vector and the "4 miles east" vector are linearly independent. That is to say, the north vector cannot be described in terms of the east vector, and vice versa. The third "5 miles northeast" vector is a linear combination of the other two vectors, and it makes the set of vectors *linearly dependent*, that is, one of the three vectors is unnecessary to define a specific location on a plane.

Also note that if altitude is not ignored, it becomes necessary to add a third vector to the linearly independent set. In general, n linearly independent vectors are required to describe all locations in n-dimensional space.

As a consequence, the zero vector can not possibly belong to any collection of vectors that is linearly *in*dependent.

Row reduce this matrix equation by subtracting the first row from the second to obtain,

Continue the row reduction by (i) dividing the second row by 5, and then (ii) multiplying by 3 and adding to the first row, that is

A **linear dependency** or linear relation among vectors **v**_{1}, ..., **v**_{n} is a tuple (*a*_{1}, ..., *a*_{n}) with n scalar components such that

If such a linear dependence exists with at least a nonzero component, then the n vectors are linearly dependent. Linear dependencies among **v**_{1}, ..., **v**_{n} form a vector space.

If the vectors are expressed by their coordinates, then the linear dependencies are the solutions of a homogeneous system of linear equations, with the coordinates of the vectors as coefficients. A basis of the vector space of linear dependencies can therefore be computed by Gaussian elimination.

A set of vectors is said to be **affinely dependent** if at least one of the vectors in the set can be defined as an affine combination of the others. Otherwise, the set is called **affinely independent**. Any affine combination is a linear combination; therefore every affinely dependent set is linearly dependent. Conversely, every linearly independent set is affinely independent.