Today we’re still considering the solution set of an inhomogenous linear system and its associated homogenous system . Remember that we also wrote these systems in more abstract notation as and . The solution space to the homogenous system is the kernel , and any two solutions of the inhomogenous system differ by a vector in this subspace.
We call such a collection of points an “affine space”. We can also talk about such a thing from the inside, without seeing it as embedded in some ambient vector space as a coset. Algebraically, we characterize an affine space as a collection of points and a function , where is some associated vector space. The value — also written — is thought of as the “displacement vector” from to .
We require two properties for this map: first that ; second that for every the map from to is a bijection. The former condition provides coherence for the interpretation as displacement vectors. The latter implements the idea that an affine space “looks like” the associated vector space .
Given a subspace of a vector space , any coset is an affine space associated to . As a degenerate case, we can consider as a subspace of itself, and itself is its only coset. Thus any vector space can be considered as an affine space associated to itself. In fact, since any affine space is in bijection with its associated vector space, we can get any one of them by this construction. Thus any two affine spaces associated to a given vector space are isomorphic, but not canonically so. It’s this lack of a canonical isomorphism that makes things interesting, because we can’t justify simply identifying non-canonically isomorphic spaces.
Another consequence of the bijection is that we can “add” a vector to a point in an affine space. Since is a bijection, there must be a unique point we’ll call so that . It’s straightforward from here to show that this gives an action of the vector space (considered as an abelian group) on the affine space .
In fact, considering an affine space in the category of -actions, the bijection shows us that is isomorphic to ‘s action on itself by addition. We can even use this to characterize an affine space exactly as a -set isomorphic to ‘s action on itself. In other words, it’s a torsor for .