One-dimensional space

In mathematics, a one-dimensional space, or 1D space, is a specific type of environment. It is a space where you can specify any location using a single coordinate. This single number tells you exactly where a point sits within that space. This concept is fundamental to how we understand geometry and movement. Even when a 1D space exists inside a larger, more complex environment, its internal nature remains one-dimensional.

The most common way to visualize this is through a number line. On a number line, every single point is described by one real number. You can also find one-dimensional spaces in the form of any straight line. Interestingly, a smooth curve also functions as a one-dimensional space. This is true even if the curve is embedded in a higher-dimensional space. For example, a circle sitting on a flat plane is a one-dimensional space.

In the physical world, these spaces are often called linear dimensions. These dimensions can be rectilinear, meaning they are straight. They can also be curvilinear, which means they are curved. We measure these physical dimensions using units of length, such as the metre. Whether a path is a straight road or a winding trail, it represents a one-dimensional subspace of our larger physical world.

Algebraic geometry uses more specialized terms for one-dimensional structures. For instance, any field is considered a one-dimensional vector space over itself. There is also a concept known as the projective line over a field. If the field used is the complex numbers, we encounter the complex projective line. This is sometimes called the Riemann sphere. While it serves as a model for a two-dimensional sphere, it is still considered one-dimensional with respect to the complex numbers.

Advanced mathematical studies also identify one-dimensional spaces within complex systems. In the study of linear transformations, we look at eigenvectors. For every eigenvector of a linear transformation T on a vector space V, there is a one-dimensional space. This space, denoted as A, is generated by the eigenvector. This space is an invariant set, meaning T(A) = A under the action of the transformation. This concept was detailed by Peter Lancaster and Miron Tismenetsky in their 1985 book, The Theory of Matrices.

Other branches of math like Lie theory also utilize these spaces. In Lie theory, a one-dimensional subspace of a Lie algebra is mapped to a one-parameter group. This happens through the Lie group–Lie algebra correspondence. This relationship was documented by P. M. Cohn in his 1961 work, Lie Groups. These connections show how a simple one-dimensional idea can underpin very complex mathematical theories.

Further complexity arises when we examine rings and modules. A ring can be described as a length-one module over itself. Similarly, the projective line over a ring is a one-dimensional space over that ring. If the ring is an algebra over a field, these spaces remain one-dimensional with respect to the algebra. This remains true even if the algebra itself has a higher dimensionality. These various definitions help mathematicians categorize how different structures behave.