general/normed-spaces
Surf Wiki
Mazur–Ulam theorem
Surjective isometries are affine mappings
Inner product space
Vector space with generalized dot product
Normed vector space
Vector space on which a distance is defined