by

Ciro Santilli (@cirosantilli, 34)

Translation group

This is a good and simple first example of Lie algebra to look into.

Table of contents
- The derivative is the generator of the translation group Translation group

The derivative is the generator of the translation group

 0  0 

Take the group of all Translation in

R^{1}

.

Let's see how the generator of this group is the derivative operator:

\frac{\partial}{\partial x}

The way to think about this is:

the translation group operates on the argument of a function $f (x)$
the generator is an operator that operates on $f$ itself

So let's take the exponential map:

e^{x_{0} \frac{\partial}{\partial x}} f (x) = (1 + x_{0} \frac{\partial}{\partial x} + x_{0}^{2} \frac{\partial ^{2}}{\partial x ^{2}} + \dots) f (x)

and we notice that this is exactly the Taylor series of

f (x)

around the identity element of the translation group, which is 0! Therefore, if

f (x)

behaves nicely enough, within some radius of convergence around the origin we have for finite

x_{0}

:

e^{x_{0} \frac{\partial}{\partial x}} f (x) = f (x + x_{0})

This example shows clearly how the exponential map applied to a (differential) operator can generate finite (non-infinitesimal) Translation!

 Ancestors (10)

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.

  See all articles in the same topic + Create my own version