up:: Vector Space
Let
Then there is a canonical way of creating an Affine Space
- Let the space’ set be the set
- Let its underlying vector space be
- Let the Group Action be the additive group
Thus, every vector space can be seen as an affine space over its own set