Basis (linear algebra)

In linear algebra, a basis is a fundamental set of building blocks for a vector space. A vector space is a collection of objects, called vectors, that can be added together or scaled by numbers. A basis allows us to describe every single vector in that space using a specific set of instructions. These instructions are called coordinates. By using a basis, we can turn abstract geometric ideas into precise numerical data. This makes it possible to perform complex calculations in physics, engineering, and computer science.

To function correctly, a set of vectors must satisfy two strict mathematical conditions. The first condition is linear independence. This means that no vector in the set can be built by combining the others. If you could create one vector using the rest, that vector would be redundant. The second condition is the spanning property. A set spans a space if every possible vector in that space can be reached by combining the basis elements. A basis is therefore defined as a linearly independent spanning set.

When a basis is used, every vector is expressed as a unique linear combination. This means you take the basis vectors, multiply them by specific numbers, and add them up. These numbers are the coordinates of the vector relative to that specific basis. Because of linear independence, there is exactly one way to choose these numbers for any given vector. If we assign a specific order to the basis vectors, we create an ordered basis. This is often called a coordinate frame or a frame of reference.

Different types of spaces require different kinds of bases. In a simple two-dimensional plane, denoted as R2, we often use a standard basis. This standard basis consists of two specific vectors, such as (1, 0) and (0, 1). However, any two vectors that are linearly independent can serve as a basis for R2. We can also find bases for more complex objects, like polynomial rings. In these spaces, a basis might consist of monomials like 1, x, and x squared.

One of the most important properties of a basis is the concept of dimension. While a single vector space can have many different bases, every basis will always have the same number of elements. This constant number is called the dimension of the vector space. If a basis has a limited, countable number of elements, the space is called finite-dimensional. If the basis requires an infinite number of elements, the space is infinite-dimensional. This number tells us the fundamental complexity of the space we are studying.

Mathematicians use advanced tools to study how bases interact. The Steinitz exchange lemma is a key rule in this area. It explains how you can replace elements of one spanning set with elements from a linearly independent set. This lemma helps prove that all bases in a space must have the same size. In much larger, infinite-dimensional spaces, the math becomes even more complex. Mathematicians like Georg Hamel studied algebraic bases for these huge spaces. These Hamel bases are used when we only allow finite linear combinations of vectors.

It is often necessary to switch between different bases to make a problem easier to solve. This process is known as a change of basis. If you have coordinates in an "old" basis, you can use a specific formula to find the coordinates in a "new" basis. This formula uses the relationship between the two sets of vectors to translate the numbers. This allows scientists to move between different frames of reference easily. Understanding these connections helps us map everything from crystal structures to the movements of objects in space.