Nepedia
Back to Discover
Advanced Reader
🔢

Affine space

math Maturity 7-9 Next article →

An affine space is a geometric structure that generalizes the properties of Euclidean spaces. It focuses on specific geometric relationships while ignoring others. Specifically, an affine space is independent of concepts like distance or the measurement of angles. Instead, it preserves properties related to parallelism and the ratio of lengths for parallel line segments. This structure serves as the fundamental setting for affine geometry.

Affine space, projective space, vector space
Affine space, projective space, vector space

The primary objects in an affine space are called points. These points are considered zero-dimensional locations that possess no size or shape. From these points, one can construct various higher-dimensional structures. Any two points define an infinite straight line, which is a one-dimensional set. Any three points that are not collinear define a two-dimensional plane. In general, points in a general position can form a k-dimensional flat, also known as an affine subspace.

Affine space R3
Affine space R3

A defining characteristic of an affine space is its notion of parallelism. Within a single plane, parallel lines are pairs of lines that never meet. Given any line and any point in the space, exactly one line can be drawn through that point that is parallel to the first. All lines that are parallel to one another are said to share a common direction. This direction is represented by a linear subspace. While points themselves cannot be added together, they can be moved using translations. A translation is a vector that moves a starting point to a new resulting point.

To understand the mechanism of an affine space, it helps to compare it to a vector space. In a vector space, there is a distinguished point called the origin, which is the zero vector. An affine space can be thought of as a vector space where the origin has been forgotten. Because there is no fixed origin, you cannot arbitrarily add two points together. Instead, you use the associated vector space to find the difference between points. This difference is a free vector, often called a translation or displacement vector. Adding such a vector to a point results in a new point in the same affine space.

Affine origin
Affine origin

A helpful way to visualize this is through the perspectives of two people, Alice and Bob. Suppose Alice believes point A is the origin, but Bob believes point B is the origin. If they attempt to add vectors, they may calculate different results because their starting points differ. However, they will always agree if they use an affine combination. An affine combination is a weighted sum of points where the numerical coefficients sum to exactly one. Under this specific condition, the choice of origin does not change the final result. This shared result is what defines the affine structure.

Mathematically, an affine space is defined by a set of points and an associated vector space. The relationship between them is a transitive and free action of the vector space's additive group on the set of points. This means that for any two points, there is a unique vector that connects them. This process is often described using Weyl's axioms. These axioms involve the existence of unique translations and the satisfaction of the parallelogram property. The parallelogram property ensures that the geometric relationships remain consistent across the space.

Affine subspaces, also called flats or linear varieties, are subsets of the affine space. A subset is an affine subspace if there is a point such that the set of vectors formed by its points is a linear subspace. The linear subspace associated with an affine subspace is called its direction. Two subspaces are considered parallel if they share the same direction. In finite dimensions, these subspaces can be identified as the solution sets of inhomogeneous linear systems. The directions of these subspaces correspond to the solutions of the related homogeneous linear systems.

Finally, affine spaces connect to many other mathematical fields. A Euclidean space is a specific type of affine space where the associated vector space is a real inner product space. In such a space, you can finally define distances and angles using a positive-definite quadratic form. Additionally, any vector space can be viewed as an affine space by simply treating the zero vector as an origin. This allows mathematicians to switch between viewing elements as points or as displacement vectors depending on the problem they are solving.

719 words

Where will your curiosity go next?

Keep exploring at your chosen reading level.

🖼️ Images & Media (3)
File:Affine space R3.png
Affine space R3.png
File:Affine origin.png
Affine origin.png
File:Affine space, projective space, vector space.svg
Affine space, projective space, vector space.svg
More to explore

What is Nepedia?

A free, ad-free encyclopedia for children. Every article is written at five reading levels, so the same page works for a five-year-old and a fifteen-year-old — use the level switcher above to see this one change. No account needed to read.