Register to reply

Test for Lie Group

by mnb96
Tags: test
Share this thread:
mnb96
#1
Feb24-12, 02:54 AM
P: 626
Hello,

if I have a set of functions of the kind [itex]\{ f_t | f_t:\mathbb{R}^2 \rightarrow \mathbb{R}^2 \; ,t\in \mathbb{R} \}[/itex], where t is a real scalar parameter. The operation I consider is the composition of functions. What should I do in order to show that it forms a Lie Group?
Phys.Org News Partner Science news on Phys.org
'Office life' of bacteria may be their weak spot
Lunar explorers will walk at higher speeds than thought
Philips introduces BlueTouch, PulseRelief control for pain relief
arkajad
#2
Feb24-12, 03:31 AM
P: 1,411
First check if you have a group. Then check if the map [itex]t\mapsto f_t[/itex] is one to one. Next steps will depend on the results of these two.
mnb96
#3
Feb24-12, 06:25 AM
P: 626
Thanks arkajad,

let's consider a toy example, in which we have that each ft is a linear function ℝ2→ℝ2 given by a counter-clockwise rotation of angle t around the origin, where t is in the range [0,2π). Each ft can effectively be represented as a 2x2 matrix, and the composition would be given by matrix multiplication.

Matrix multiplication is associative, and for any pair of rotation matrices the composition yields another rotation matrix in the set, so we have closure too. Moreover we have an identity element which is f0, and also an inverse which is f2π-t ===> so, we have a group.

We also consider the map [itex]t \mapsto R(t)[/itex], where R(t) is a 2x2 rotation matrix and t is the angle parameter. The map is clearly 1-to-1, provided t is in the range [0,2pi).

Now, what else do we need?

arkajad
#4
Feb24-12, 07:14 AM
P: 1,411
Test for Lie Group

Now you want it to be a Lie group. So it needs to be a manifold. In this case you need first to convince yourself that the circle (because effectively you are dealing with a circle here) is naturally a manifold, according to the definition of a smooth manifold (Hint: in this case it will be one-dimensional).
Next step will come after you are done with this exercise.
mnb96
#5
Feb24-12, 07:45 AM
P: 626
I see...so I have to prove basically that I am dealing with a group, that is also a differentiable manifold. Unfortunately I feel I start walking on thin cracking ice.
The definitions of differentiable manifolds that I can find seem to be very abstract, and in order to truly understand them it seems to me that one has to recursively "unwrap" quite many concepts in topology.

Before giving up, I can make an intuitive non-rigorous attempt.
I would take one generic point in ℝ2, say x=(x0,y0), and then consider its orbit under the action of the rotation group. The orbit is a circle (we can prove it easily), and thanks to the bijective mapping t↦R(t) mentioned before, each point of the orbit can be identified with a specific value of t. That effectively means we have parametrized a 1-dimensional curve in ℝ2 with the parameter t. I would then simply try to prove analytically that by varying t, the curve is smooth.

Does it go along those lines?
arkajad
#6
Feb24-12, 07:59 AM
P: 1,411
In fact you want to give your group a parametrization. For this you do not have to consider orbits. You have your parametrization already: it is your t. Composition law in the group is effectively that of [itex]t+t'[/itex] modulo [itex]2 \pi[/itex]. So, roughly speaking, all you need to do is checking that this composition law is differentiable (and also the inverse operation [itex]t\mapsto 2\pi -t[/itex]). And addition of real numbers is differentiable in both variables. The only subtle point is "modulo [itex]2 \pi[/itex]" part. It needs some mathematical precision, like covering the circle with two overlaping open segments - you can leave it aside for a while.
mnb96
#7
Feb24-12, 08:36 AM
P: 626
ok, thanks!

so if my group is parametrized by say two parameters u, v, then I have to figure out how the group operation (composition of functions in our previous case) can be expressed in terms of the parameters u, v. In general, the composition will be [itex]\phi:(U\times V)\times (U\times V) \rightarrow (U\times V)[/itex], so basically I have to check that the 4-variable function:
[tex]\phi(u_1,v_1,u_2,v_2)[/tex]
is differentiable with respect to all the four variables.
Am I right?
If so, how am I supposed to do the same test for the inverse operation? Do I simply consider the function
[tex]\phi(f(u_1),f(v_1),f(u_2),f(v_2))[/tex], where f denotes the inverse operation (in terms of parameters), and check that it is differentiable?
arkajad
#8
Feb24-12, 08:58 AM
P: 1,411
In fact, checking the composition law is sufficient. See the attached image taken from P. M. Cohn, "Lie groups". ("Analytic" means that it can be expressed locally as a power series). So, it is more than just "differentiable". But usually, in applications, we are dealing with elementary functions that are analytic in this sense. Problems would arise with functions like "absolute value" which is not differentiable at 0.
Attached Thumbnails
LieGroup.jpg  
mnb96
#9
Feb24-12, 09:53 AM
P: 626
thanks a lot for the book excerpt!
everything should be clearer now, although I would need to study some topology...


Register to reply

Related Discussions
Group/Representation Theory Help! (Summations and elements of a finite group) Calculus & Beyond Homework 7
Show: Every Fin.-Generated Group G is the Fund. Group of a 2-Complex (Reidemeister-Sc Differential Geometry 2
Isometry sub-group of the gauge group & the center of structural group Differential Geometry 0
Lorentz group, Poincaré group and conformal group Special & General Relativity 12
Integral test, basic comparsion test, limit comparsion test Calculus & Beyond Homework 11