# Affine space/Introduction/Section

Linear subspaces of a vector space always contain $0$. Hence, a line $G\subset \mathbb {R} ^{2}$ 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.

## Definition

Affine subspace/Translated linear subspace/Definition
The point $P$ is called a starting point, and the linear subspace $U$ 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 $U$ 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.

## Example

A further reasoning yields a somewhat more abstract concept. The natural space can be given coordinates and then it is identified with $\mathbb {R} ^{3}$. For this, we have to choose arbitrarily a point in the space as $0$. 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 $P$ 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 $P$ and determining the resulting point. Such a fixation is also called a choice of an origin.

## Definition

Affine space/Over vector space/Definition
This addition is called affine addition or Translation. For two given points $P,Q\in E$, the uniquely determined translation vector is denoted by ${\overrightarrow {PQ}}$. Beside $P+{\overrightarrow {PQ}}=Q$, the following rules holds
* ${\overrightarrow {PP}}=0$ for $P\in E$.
* ${\overrightarrow {PQ}}=-{\overrightarrow {QP}}$ for $P,Q\in E$.
* ${\overrightarrow {PQ}}+{\overrightarrow {QR}}={\overrightarrow {PR}}$ for $P,Q,R\in E$,
where these identities live in the vector space $V$, see exercise.
The mapping
    $+\colon V\times E\longrightarrow E$
exhibits several aspects. For every point $P\in E$, the mapping
    $V\longrightarrow E,v\longmapsto P+v,$
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 $v\in V$ defines the mapping
    $E\longrightarrow E,P\longmapsto P+v,$
which is called the translation on $E$ for the vector $v$. The mapping
    $E\times E\longrightarrow V,(P,Q)\longmapsto {\overrightarrow {PQ}},$
assigns to a pair of points their (uniquely determined) translating vector. Instead of ${\overrightarrow {PQ}}$, we sometimes write $Q-P$.
Every vector space $V$ is also an affine space over itself, with the vector space addition as addition. An affine subspace $P+U\subseteq V$ in the sense of Definition is an affine space over $U$.