2022-04-10

271: Point on Connected Lie Group Can Be Expressed as Finite Product of Exponential Maps

<The previous article in this series | The table of contents of this series | The next article in this series>

A description/proof of that point on connected Lie group can be expressed as finite product of exponential maps

Topics


About: Lie group
About: vectors field

The table of contents of this article


Starting Context



Target Context


  • The reader will have a description and a proof of the proposition that any point on any connected Lie group can be expressed as the product of some finite number of exponential maps.

Orientation


There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.


Main Body


1: Description


For any connected Lie Group, G, any point, pG, can be expressed as p=exp(V0,e)exp(V1,e)...exp(Vk,e).


2: Proof


p can be connected with e by a finite number of segments each of which is an integral curve of a left-invariant vectors field via p0:=ep1...pk+1:=p. pi+1=piexpVi,e. p=pk+1=p0expV0,eexpV1,e...expVk,e.


References


<The previous article in this series | The table of contents of this series | The next article in this series>