Affine space

An affine space is a special kind of geometric structure. It is built to focus on certain ideas while ignoring others. In many math spaces, we care about how long a line is or what the angle is between two lines. An affine space does not need those measurements to work. Instead, it focuses on things like parallelism and the ratio of lengths. It is the setting for a type of math called affine geometry.

The main objects in this space are called points. These points are just locations with no size or shape. They are zero-dimensional, which means they have no width or height.

In this space, we can build many different shapes. If you take two points, you can draw an infinite straight line through them. This line is one-dimensional. If you take three points that are not in a single line, you can draw a two-dimensional plane. You can even create higher-dimensional shapes called affine subspaces. These subspaces are flat parts of the larger space. One important rule in an affine space is about parallel lines. These are lines that lie in the same plane but never meet each other.

To understand how it works, we must look at how it differs from a vector space. In a vector space, there is always one special point called the origin. In an affine space, we forget which point is the origin. There is no predefined way to add two points together. However, we can use something called a translation to move between points. A translation uses a vector, which is like an arrow showing a direction and a distance. When you add a vector to a point, you get a new point.

There is a famous way to think about this using two people named Alice and Bob. Imagine Alice thinks one point is the origin, but Bob thinks a different point is the origin. If they try to add vectors, they might get different answers because they start in different places. However, they will always agree if they use something called an affine combination. This is a special kind of math where the coefficients, or the numbers used, must add up to exactly one. When this happens, Alice and Bob will always arrive at the same point. This shared understanding is what makes the affine structure work.

Many other math concepts are built on top of these ideas. For example, a Euclidean space is a type of affine space. A Euclidean space is a more specific version that includes measurements for distance and angles. In finite dimensions, an affine subspace can be found by solving a specific kind of math problem called an inhomogeneous linear system. The directions of these subspaces are found using a different system called a homogeneous linear system. This shows how the simple idea of moving through space connects to much larger math rules.