Jump to content

Affine space/Introduction/Section

From Wikiversity

Linear subspaces of a vector space always contain . Hence, a line not running through the zero point, is not a linear subspace. However, it is still a "linear object“, which should be studied in the framework of linear algebra.


Let be a vector space. An affine subspace of is (the empty set or) a subset of the form

where is a linear subspace and

is a vector.

The point is called a starting point, and the linear subspace is called the translation space, or simply the underlying linear subspace. The points in an affine space should be thought of as locations, the points of should be thought of as translation vectors. One might discuss whether the empty set should be allowed as an affine (sub)space, the following remark, the definition and fact speak in favor of allowing this.


The solution set of a system of inhomogeneous linear equations in variables is an affine subspace of . The underlying vector space in the solution space of the corresponding homogeneous system.


For a linear mapping

between -vector spaces and and an element , the preimage for (the fiber over )

is an affine subspace of . If this is non-empty, then we can take any point with

as starting point The translation space is the kernel of . When a linear mapping is given, then is partitioned in a layered family of parallel affine subspaces.

The action of a translation in the plane on a subset.
The action of a translation in the plane on a subset.

A further reasoning yields a somewhat more abstract concept. The natural space can be given coordinates and then it is identified with . For this, we have to choose arbitrarily a point in the space as . The natural space does not contain a natural zero, and also no natural addition of points. Despite of this, the natural space is tightly related to a vector space, namely the vector space of all translations of the space. Such a translation is an elementary geometric construction, every point of the space is translated by a certain translating vector. A translation is determined by every point together with its image point. The set of all these translations form a vector space, where the addition is given by composing translations. The zero translation is the identity. If a point of the space is fixed, then we get a bijection between the space and the vector space of translations, by attaching a translation vector at and determining the resulting point. Such a fixation is also called a choice of an origin.


An affine space over a -vector space is a set , together with a mapping

which satisfies the following three conditions:

  1. for all ,
  2. for all and ,
  3. For two points , there exists exactly one vector such that .

This addition is called affine addition or Translation. For two given points , the uniquely determined translation vector is denoted by . Beside , the following rules holds

  1. for .
  2. for .
  3. for ,

where these identities live in the vector space , see exercise.

The mapping

exhibits several aspects. For every point , the mapping

is a bijection between the underlying vector space and the affine space. This bijection is not canonical, as it depends on the chosen point. Every vector defines the mapping

which is called the translation on for the vector . The mapping

assigns to a pair of points their (uniquely determined) translating vector. Instead of , we sometimes write .

Every vector space is also an affine space over itself, with the vector space addition as addition. An affine subspace in the sense of Definition is an affine space over .


The solution space of the homogeneous linear equation

is

the solution set of the inhomogeneous linear equation

is

The affine addition is the mapping

which assigns to a pair consisting in a solution of the homogeneous equation and a solution of the inhomogeneous equation their sum, which is a solution of the inhomogeneous equation. For two solutions of the inhomogeneous equation, their difference is a solution of the homogeneous equation. For example, for

the point

is another solution in . The two solutions and from are related by the translating vector