Definition:Translation Mapping/Vector Space

From ProofWiki
Jump to navigation Jump to search


Let $K$ be a field.

Let $X$ be a vector space over $K$.

Let $x \in X$.

We define the translation mapping $\tau_x : X \to X$ by:

$\map {\tau_x} y = y - x$

for each $y \in X$.

Also known as

The map $\tau_x$ may also be called the translation (by $x$) operator.