Differences Between Affine Space and Vector Space

affine-geometrylinear algebra

I know smilar questions have been asked and I have looked at them but none of them seems to have satisfactory answer. I am reading the book a course in mathematics for student of physics vol. 1 by Paul Bamberg and Shlomo Sternberg. In Chapter 1 authors define affine space and writes:

The space $\Bbb{R}^2$ is an example of a vector space. The distinction between vector space $\Bbb{R}^2$ and affine space $A\Bbb{R}^2$ lies in the fact that in $\Bbb{R}^2$ the point (0,0) has a special significance ( it is the additive identity) and the addition of two vectors in $\Bbb{R}^2$ makes sense. These do not hold for $A\Bbb{R}^2$.

Please explain.

Edit:

How come $A\Bbb{R}^2$ has point (0,0) without special significance? and why the addition of two vectors in $A\Bbb{R}^2$ does not make sense? Please give concrete examples instead of abstract answers . I am a physics major and have done courses in Calculus, Linear Algebra and Complex Analysis.

Best Answer

Consider the vector space $\mathbb{R}^3$. Inside $\mathbb{R}^3$ we can choose two planes, as in the picture below. We'll call the green one $P_1$ and the blue one $P_2$. The plane $P_1$ passes through the origin but the plane $P_2$ does not. It is a standard homework exercise in linear algebra to show that the $P_1$ is a sub-vector space of $\mathbb{R}^3$ but the plane $P_2$ is not. However, the plane $P_2$ looks almost exactly the same as $P_1$, having the exact same, flat geometry, and in fact $P_2$ and $P_1$ are simply translates of one another. This plane $P_2$ is a classical example of an affine space.

$\,\,\,\,\,\,\,\,\,$enter image description here

Suppose we wanted to turn $P_2$ into a vector space, would it be possible? Sure. What we would need to do is align $P_2$ with $P_1$ using some translation, and then use this alignment to re-define the algebraic operations on $P_2$. Let's make this precise. If $T: P_2 \to P_1$ is the alignment, for $p,q \in P_2$ we'll define $p \oplus q = T^{-1}(T(p) + T(q))$. In words, we shift $p$ and $q$ down to $P_1$, add them, and then shift them back. Note that this is different than simply adding $p+q$, as this vector need not lie on $P_2$ at all (one of the reasons $P_2$ is not a vector space, it is not closed under addition).

There are, however, many ways of aligning $P_2$ with $P_1$, and so many different ways of turning $P_2$ into a vector space, and none of them are canonical. Here is one way to make these alignments: pick a vector $v \in P_2$, and translate $P_2$ by $-v$, so that $T(p) = p-v$. This translates $P_2$ on to $P_1$, and sends $v$ to $0$. Conceptually, this translation "sends $v$ to zero", and this approach of "redefining some chosen vector to be the zero vector" always works to turn an affine space into a vector space.

If you want to do algebra on $P_2$ without picking a "zero vector", you can use the following trick: instead of trying to trying to add together vectors in $P_2$ (which, as we've seen, need not stay in $P_2$), you can add vectors in $P_1$ to vectors in $P_2$. Note that if $v_1 \in P_1$ and $v_2 \in P_2$ then $v_1 + v_2 \in P_2$. What we obtain is a funny situation where the addition takes place between two sets: a vector space $P_1$ on the one hand, and the non-vector-space $P_2$ on the other. This lets us work with $P_2$ without having to force it to be a vector space.

Affine spaces are an abstraction and generalization of this situation.