Definition:Vectorialization of Affine Space
Jump to navigation
Jump to search
Definition
Let $\EE$ be an affine space over a field $k$ with difference space $E$.
Let $\RR = \tuple {p_0, e_1, \ldots, e_n}$ be an affine frame in $\EE$.
Define a mapping $\Theta_\RR : k^n \to \EE$ by:
- $\ds \map {\Theta_\RR} {\lambda_1, \ldots, \lambda_n} = p_0 + \sum_{i \mathop = 1}^n \lambda_i e_i$.
By Affine Coordinates are Well-Defined, $\Theta_\RR$ is a bijection.
For any $\mu \in k$, $p, q \in \EE$ let:
- $\mu \cdot p = \map {\Theta_\RR} {\mu \cdot \map {\Theta_\RR^{-1} } p}$
and:
- $p + q = \map {\Theta_\RR} {\map {\Theta_\RR^{-1} } p + \map {\Theta_\RR^{-1} } q}$
We call the set $\EE$, together with the operations $\cdot, +$ the vectorialization of $\EE$ with origin $p_0$.