Một số tính chất hình học của nhóm lie

BỘ GIÁO DỤC VÀ ĐÀO TẠO
TRƢỜNG ĐẠI HỌC VINH

NGUYỄN THỊ THẢO

MỘT SỐ TÍNH CHẤT HÌNH HỌC
CỦA NHĨM LIE

LUẬN VĂN THẠC SĨ TOÁN HỌC

NGHỆ AN - 2014


BỘ GIÁO DỤC VÀ ĐÀO TẠO
TRƢỜNG ĐẠI HỌC VINH

NGUYỄN THỊ THẢO

MỘT SỐ TÍNH CHẤT HÌNH HỌC
CỦA NHĨM LIE
CHUN NGÀNH: HÌNH HỌC - TƠPƠ
MÃ SỐ: 60.46.01.05

LUẬN VĂN THẠC SĨ TỐN HỌC

Người hướng dẫn khoa học:
PGS. TS. NGUYỄN HỮU QUANG

NGHỆ AN - 2014

MỤC LỤC
Trang

LỜI NÓI ĐẦU ................................................................................................. 1
Chƣơng 1. KIẾN THỨC CƠ SỞ. .................................................................. 3
1.1. Đa tạp khả vi. ............................................................................................. 3
1.1. Liên thơng tuyến tính. .............................................................................. 12
Chƣơng 2. MỘT SỐ TÍNH CHẤT HÌNH HỌC CỦA NHĨM LIE. ....... 17
2.1. Nhóm Lie.................................................................................................. 17
2.2. Trường vectơ bất biến trái trên nhóm Lie. ............................................... 23
2.3. Đạo hàm Lie của liên thơng tuyến tính trên nhóm Lie. ........................... 27
KẾT LUẬN. ................................................................................................... 34
TÀI LIỆU THAM KHẢO. ........................................................................... 35


1
LỜI NĨI ĐẦU
Nhóm Lie là một đối tượng của tốn học hiện đại, nó là sự kết hợp giữa
các ngành giải tích, hình học và đại số. Do đó, nhóm Lie có nhiều ứng dụng
trong tốn học, vật lý và các ngành khoa học kỹ thuật.
Lý thuyết về nhóm Lie đã được trình bày trong nhiều tài liệu tham khảo
(chẳng hạn [4], [6],…) của các nhà toán học trong và ngồi nước.
Trong luận văn này, chúng tơi trình bày một số các khái niệm và tính chất
cơ bản của nhóm Lie. Luận văn được mang tên: Một số tính chất hình học
của nhóm Lie.
Luận văn được trình bày trong hai chương:
Chƣơng 1: Kiến thức cơ sở.
Trong chương này, chúng tôi trình bày một số tính chất cơ bản về cấu trúc
khả vi, trường vectơ tiếp xúc và liên thông tuyến tính trên đa tạp. Chương này
được xem như là phần cơ sở cho việc trình bày ở chương 2.

Chương 1 được chia thành 2 mục:
1.1.

Đa tạp khả vi.

1.2.

Liên thông tuyến tính.

Chƣơng 2: Một số tính chất hình học của nhóm Lie.
Chương này là nội dung chính của luận văn. Trong chương này, chúng tơi
trình bày một số tính chất cơ bản về nhóm Lie con, trường vectơ bất biến trái
trên nhóm Lie, đạo hàm của liên thơng tuyến tính trên nhóm Lie và nhóm Lie
tác động trên đa tạp.
Chương 2 được trình bày trong 3 mục:
2.1. Nhóm Lie.
2.2. Trường vectơ bất biến trái trên nhóm Lie.
2.3. Đạo hàm Lie của liên thơng tuyến tính trên nhóm Lie.


2
Luận văn được hoàn thành vào tháng 10 năm 2014 tại khoa Toán, trường
Đại học Vinh, dưới sự hướng dẫn của PGS.TS.Nguyễn Hữu Quang. Tác giả
xin được bày tỏ lòng biết ơn sâu sắc với sự hướng dẫn tận tình của thầy.
Nhân dịp hoàn thành luận văn này, tác giả xin chân thành cảm ơn các thầy,
cô giáo trong bộ mơn Hình học – Tơpơ, các thầy cơ giáo trong khoa Toán,
khoa sau đại học Trường Đại học Vinh đã nhiệt tình giảng dạy, đã tạo điều
kiện cho tác giả trong suốt quá trình học tập và thực hiện luận văn này.
Cũng nhân dịp này, tác giả xin chân thành cảm ơn ban giám hiệu trường
THPT Tân Kỳ 3, bạn bè, đồng nghiệp và gia đình đã động viên, giúp đỡ tác

giả trong suốt quá trình học tập và nghiên cứu.
Vinh, tháng 10 năm 2014
Tác giả


3
Chƣơng 1
KIẾN THỨC CƠ SỞ
Trong chương này, chúng tơi trình bày một số kiến thức cơ sở về đa tạp
khả vi, bao gồm các định nghĩa và ví dụ về đa tạp khả vi, vectơ tiếp xúc,
trường vectơ trên đa tạp và một số tính chất cơ bản của liên thơng tuyến tính
trên đa tạp khả vi.
1.1. Đa tạp khả vi
Trong suốt luận văn này, ta luôn giả thiết rằng M là một không gian tôpô
Hausdoff với cơ sở đếm được.
Như ta đã biết (xem [3]), một bản đồ của M ( hoặc hệ tọa độ địa phương
của M) đó là một cặp (U ,  ) ; trong đó U là một tập mở trong M và  là một
phép đồng phôi từ U  V ; ở đây V là tập mở trong

n

.

 Hai bản đồ (U1 , 1 ) và (U 2 , 2 ) của M được gọi là phù hợp nếu ánh xạ

211 là một vi phôi ( trong trường hợp U1 U 2   , ta quy ước (U1 , 1 ) và
(U 2 , 2 ) là phù hợp).
 Một họ bản đồ

U , 

bất kỳ của họ trên phù hợp và
 I

I

được gọi là một alat của M nếu hai bản đồ

U  M.

1.1.1. Định nghĩa
+ Một atlat cực đại của M được gọi là một cấu trúc khả vi của M.
+ M được gọi là đa tạp khả vi n-chiều nếu trên M đã được trang bị một
cấu trúc khả vi.
1.1.2. Chú ý
+ Một atlat cực đại của M là một atlat không bị chứa trong một atlat nào.
+ Hai atlat của M được gọi là phù hợp nếu mỗi bản đồ của atlat này đều
phù hợp với một bản đồ bất kỳ của atlat kia. Rõ ràng hợp của hai atlat phù


4
hợp cũng là một atlat của M. Do đó theo ngun lý cực đại thì trên M ln tồn
tại cấu trúc khả vi.
+ Từ tính chất phù hợp của các bản đồ trong một atlat nên trong thực hành khi
cần chỉ ra một cấu trúc khả vi của M, ta thường chỉ ra một atlat có số bản đồ ít nhất.
+ Trên cùng M ta có thể trang bị được những cấu trúc khả vi khác nhau
để tạo thành các đa tạp khả vi khác nhau.
1.1.3. Ví dụ
Ta xét M = S 2   A( x, y, z ) 

3

( x 2  y 2  z 2  1 . Khi đó S 2 là một đa tạp

khả vi 2-chiều với cấu trúc khả vi sau đây:
U1  {A( x, y, z )  S 2 | z  0}
U 2  {A( x, y, z )  S 2 | z  0


V1  {A '( x, y )  2 | x 2  y 2  1 V2  {A '( x, y )  2 | x 2  y 2  1
;


:
U

V
 1 1
2 : U 2  V2
1
 A( x, y, z )
 A( x, y , z )
A '( x, y )
A '( x , y )



U 3  {A( x, y, z )  S 2 | y  0}

V3  {A '( x, z )  2 | x 2  z 2  1}

;

3 : U 3  V3
 A( x, y, z )
A '( x, z )


U 4  {A( x, y, z )  S 2 | y  0}

V4  {A '( x, z )  2 | x 2  z 2  1}

4 : U 4  V4
 A( x, y , z )
A '( x , z )


U 5  {A( x, y, z )  S 2 | x  0}

V5  {A '( y, z )  2 | y 2  z 2  1}
;


:
U

V
 5 5
5
 A( x, y, z )
A '( y, z )



U 6  {A( x, y, z )  S 2 | x  0}

V6  {A '( y, z )  2 | y 2  z 2  1}

6 : U 6  V6
 A( x, y , z )
A '( y , z )


Thật vậy:
+) U1 , 1  là một bản đồ của S 2 .
 Giả sử A( x1 , y1 , 1  x12  y12 ) ; B( x2 , y2 , 1  x22  y22 ) U1 và 1 ( A)  1 ( B)

khi đó :
 x1  x2
 A  B.
y

y
2
 1

1 ( x1 , y1 , 1  x12  y12 )  2 ( x2 , y2 , 1  x22  y22 )  

(1)


5



Với

( x, y) V1

ta

1 ( X )  1 ( x, y, 1  x 2  y 2 )  ( x, y).

X ( x, y, 1  x 2  y 2 ) V1

có

và

(2)

Từ (1) và (2) ta suy ra 1 là song ánh.
 1 là phép chiếu từ U1 lên V1 nên 1 là ánh xạ liên tục.

(3)

 Ta có

11 : V1  U1 ,
( x, y )

( x, y, 1  x 2  y 2 ).

là liên tục vì các hàm tọa độ của nó liên tục.

(4)

Từ (3) và (4) ta thấy rằng 1 là phép đồng phôi từ U1  V1 , vậy U1 , 1  là
một bản đồ của S 2 .
Chứng minh tương tự ta cũng có U i ,Vi  là bản đồ của S 2 , i  2,6 .
+) U1 , 1  và U 3 , 3  là phù hợp.
 Thật vậy, ở trên ta đã chỉ ra U1 , 1  và U 3 , 3  là các bản đồ của S 2 . Ta đặt

W  U1 U3   A( x, y, z )  S 2 | z  0, y  0   .
W1  1 (W)   A( x, y) 

2

| x2  y 2  1, y  0 .

W3  3 (W)   A( x, y) 

2

| x 2  z 2  1, z  0 .

13  3 11 : W1  W3 ,
( x, y ) 13 ( x, y ).

13 ( x, y)  (3 11 )( x, y)  3 (11 ( x, y))  3 ( x, y, 1  x 2  y 2 )  ( x, 1  x 2  y 2 ) .

Ta nhận thấy 13 là một song ánh.
 Ta đặt 13  ( f1 , f 2 ) sao cho

f1 : W1 
( x, y )

,

x.

f 2 : W3 
( x, y )

2

2

,

1  x2  y 2 .


6
 Vì f1 , f 2 khả vi nên 13 khả vi.

 Ta có

131 : W3  W1 ,
( x, z )

( x, 1  x 2  z 2 ).

Khi đó 131 khả vi. Chứng minh tương tự như trên ta thu được các cặp
còn lại: U i , i  và U j ,  j  phù hợp i, j 1,6 .
6

+) Rõ ràng

Ui  S 2 .

i 1

Bây giờ ta xét các đa tạp khả vi M với cấu trúc khả vi U ,  I và đa
tạp N với cấu trúc khả vi U  ,  

 J

. Ánh xạ liên tục f : M  N ; p

f ( p) ,

được gọi là khả vi tại p  M nếu   f 1 khả vi tại  ( p) ; với  U chứa p
và U  chứa f ( p) .
Ánh xạ f được gọi là khả vi trên M nếu f khả vi tại p  M .
1.1.3. Định nghĩa
+) Giả sử  : J  M ; t

 (t ) là cung khả vi ( J là khoảng mở trong

và

 (t0 )  p ).

Ánh xạ v : ( p)  ; f

v( f ) 

d
f  (t ) | t t0 được gọi là véctơ tiếp xúc với
dt

 tại p (ở đây ( p) là tập hợp tất cả các hàm số khả vi tại p).

+) Mỗi véc tơ v tiếp xúc với cung  tại điểm p thì ta củng nói v tiếp
xúc với M tại p .
Ta kí hiệu:
Tp (M )  {v | v tiếp xúc với M tại p }.

Nhận xét:
+) Trong bản đồ U ,   của M, p U thì  ( p)  ( p1 ,..., pn ) 
( p1 ,..., pn ) là tọa độ của p đối với (U ,  ) .

n

. Ta nói


7
Như vậy, trong bản đồ U ,   thì đường cong  (t ) đi qua điểm p được
cho bởi  (t )  ( x1 (t ),..., xn (t )) , với ( x1 (t0 ),..., xn (t0 ))  p .
+) Với mỗi i 1,..., n thì


| p  Tp ( M ) .
xi

Thật vậy:
Ta xét i : t
vj ( f ) 

Từ đó vi 

( p1 ,..., pi  t ,..., pn ), i (t  0)  p , khi đó:

d
d
f
i f |t 0  f ( p1 ,..., pi  t ,..., pn ) |t 0  1. |t 0 ; f  ( M ) .
dt
dt
xi


|p .
xi

Ta đưa vào Tp M hai phép toán :
(v1  v2 )( f )  v1 ( f )  v2 ( f ) và (v)( f )   (v( f ));   , f ( p) .

1.1.4. Mệnh đề (xem [3])
Tp ( M ) cùng với hai phép tốn trên lập thành một khơng gian vectơ n-chiều.

Chứng minh: +) Ta thấy rằng với hai phép tốn trên Tp (M ) là một
n


 
khơng gian vectơ. Ở đây, ta chứng minh ei  | p  là cơ sở của Tp (M ) .
xi i 1


Thật vậy:  ei  Tp M ; i  1,..., n. (vì ei là vectơ tiếp xúc với đường cong
i : t

( p1 ,..., pi  t ,..., pn ) tại p   (t  0); ở đây t  J  (a, b)  0) .


n

 e

i i

i 0

n

n

i 1

i 1

 0   i ei (x j )  0   i


| p ( x j )  0   j  0; j  1,..., n ;
xi

Ở đây xj : M  R, x (x1,…,xn)

xj

.

n

  
Vậy  | p  độc lập tuyến tính.
 xi i 1

(1)

 Ta xét v  Tp (M ) , giả sử v tiếp xúc với  (t ) tại p   (t0 ) ta có:


8
v( f ) 

n
d
d

f
f  (t ) |t t0 
f ( x1 (t ),..., xn (t )) |t t0   xi(t0 ).
|p
dt
dt
xi
i 1
n

 ( xi(t0 ).
i 1


| p )( f ); f  ( M )
xi

n

 v   xi(t0 ).
i 1

n

| p   xi(t0 ).ei .
xi
i 1

(2)

n


 
Như vậy ei  | p  là một hệ sinh của Tp (M ) .
xi i 1

n


 
Từ (1) và (2), ta thấy rằng ei  | p  là cơ sở của Tp (M ) .
xi i 1


Do đó, dim Tp (M ) = n.
Chú ý: Trong trường hợp M =
của

n

. Giả sử 0, e1 ,..., en  là mục tiêu tự nhiên

n

n

và vectơ gốc p là v p   vi ei . Khi đó:
i 1

n

n

i 1

i 1

v p ( f )   vi ei ( f )  vi

n


| p ( f ); f  ( p)  v p   vi
|p .
xi
xi
i 1

Điều này chứng tỏ rằng mỗi vectơ thơng thường có gốc p trong
một vectơ tiếp xúc với đa tạp
trên

n

n

n

là

tại p và mỗi ei là một phép đạo hàm riêng

.

1.1.5. Định nghĩa
Một trường vectơ tiếp xúc trên M là một ánh xạ
X :M 

Tp M ,
pM

p

X ( p)  X p ;

Trong đó X p  Tp M .
Chú ý: +) Với mỗi trường vectơ tiếp xúc X và mỗi f  (M ) , ta có X(f) là
một hàm số từ M  R, được xác định bởi X(f) (p) = Xp(f); p  .
n

+) Trong hệ tọa độ địa phương ( U ,  ), ta có X ( f )   X i
i 1

là hàm số xác định trên U .

f
; ở đây X i
xi

9
+) X được gọi là khả vi nếu X i khả vi i = 1 ,..., n , (U ,  ) .
Ta ký hiệu: B(M )  { X | X là trường vectơ tiếp xúc khả vi trên M}. Hai
phép toán trên B(M ) được cho bởi:
X Y : p

X p  Yp ; p  M và  X : p

 ( p). X p ;  (M ), p  M .

1.1.6. Nhận xét
a) B(M ) cùng với hai phép tốn nói trên lập thành một môđun trên (M ) .
Thật vậy : +) Trường vectơ O của B(M ) là ánh xạ o : p



o ; p  M .

+) ( ( X  Y )) p   ( p)  ( X  Y )
  ( p)( X p  Yp )   ( p) X p   ( p)Yp  ( X ) p  (Y ) p
 ( X  Y ) p ; p  M .
  ( X  Y )   X  Y .

+) Mỗi X  B(M),X : p

X p , đều có phần tử đối  X : p

X p .

Thật vậy: X  ( X )) p  X p  ( X p )  Op ; p  M .
 X  ( X )  0.

Ta thấy rằng các tiên đề cịn lại của mơđun cũng được thỏa mãn.
b) Mỗi trường vectơ tiếp xúc X của M là một phép đạo hàm trên (M )
Thật vậy, với X  B(M ) , ta có :
X : (M )  (M ), f

X ( f ) ; với

( X ( f )( p) : X p ( f ); p  M ).

)( X ( f  g ))(p)  X p ( f  g )  X p ( f )  X p ( g )  X ( f )( p)  X ( g )( p); p  M .

 X ( f  g )  X ( f )  X ( g ).

+) X ( f )(p)  X p ( f )   ( X ( f ))( p); p  M  X   f    X ( f ) ,   .
) X ( f .g )( p)  X p ( f .g )  f ( p). X p ( g )  g ( p). X p ( f )
 ( f . X ( g ))( p)  ( g. X ( f ))( p); p  M .
 X ( f .g )  f . X ( g )  g. X ( f ).


10
1.1.7. Định nghĩa
Giả sử X , Y  B(M ) . Tích Lie của X , Y là một trường vectơ tiếp xúc trên
M được kí hiệu  X , Y  và được xác định:

 X ,Y 

( f )  X (Y ( f ))  Y ( X ( f ); f ( M ).

1.1.8. Mệnh đề

(xem [3])

a)  X , Y    Y , X  ; (tính phản xứng của tích Lie).
b)  X , Y  , Z   Y , Z  , X    Z , X  , Y   0; X , Y , Z  B(M ) ; (hệ thức Jacơbi
của tích Lie).
Chứng minh: Tính chất a) được suy ra từ định nghĩa tích Lie của hai
trường vectơ. Ở đây ta kiểm tra hệ thức Jacơbi của tích Lie.
f (M ), ta có:

)  X , Y  , Z  ( f )  ( X , Y  ( Z ( f ))  ( Z ( X , Y  ( f ))   X , Y  ( Z ( f ))  Z ( X , Y  ( f ))
 X (Y ( Z ( f )))  Y ( X ( Z ( f )))  Z ( X (Y ( f )))  Z (Y ( X ( f ))).

(1)

) Y , Z  , X  ( f )  Y , Z  ( X ( f ))  ( X (Y , Z  ( f ))
 Y ( Z ( X ( f ))  Z (Y ( X ( f ))  X (Y ( Z ( f )))  X ( Z (Y ( f ))).

(2)

)  Z , X  , Y  ( f )   Z , X  (Y ( f ))  Y ( Z , X  ( f )) 
 Z ( X (Y ( f )))  X ( Z (Y ( f )))  Y ( Z ( X ( f )))  Y ( X ( Z ( f ))).

(3)

Từ đó,  X , Y  , Z   Y , Z  , X    Z , X  , Y   0; X , Y , Z  B(M ) .
1.1.9. Định nghĩa
Cho ánh xạ khả vi f : M  N ; p

f ( p) . Ánh xạ tiếp xúc tại p  M , được

ký hiệu f | p (v) : Tp M  Tf ( p ) N và được xác định như sau: với v là vectơ tiếp
xúc với cung  (t )   tại p   (t0 ) thì f | p (v) là vectơ tiếp xúc với cung
f  (t ) tại p  f ( p) .


11
1.1.10. Mệnh đề (xem [3])

f | p (v)  J f | p v  ở đây J f | p

n

v   vi
i 1

v1 
. 
 
là Jacôbi của f tại p và  v   .  , với
 
. 
vn 


| p .
xi

Chứng minh: Giả sử trong hệ tọa độ đia phương (U ,  ) của M,
 (t )   x1 (t ),..., xn (t )  và trong hệ tọa độ địa phương (V ,  ) ,
f  (t )  y1 ( x1 (t ),..., xn (t )),..., yk ( x1 (t ),..., xn (t ))) . Ta có :

d
d
f  (t ) |t t0  y1 ( x1 (t ),..., xn (t )),..., yk ( x1 (t ),..., xn (t ))) |t t0
dt
dt
n
n

dy 
y 
y
 dy
  1 ,..., k     xi (t0 ) 1 | p ,...,  xi (t0 ) k | p 
dt t t0  i 1
xi
xi 
 dt
i 1
f  | p (v ) 

 y1 y1   x1 (t0 ) 

 x ... x  .


1

n



J | v .
 ..............  .
f p  





 yk ... yk  .

 x1 xn  p x  (t ) 
 n 0 

1.1.11. Nhận xét (xem [3])
a) f | p : Tp M  Tf ( p ) N là ánh xạ tuyến tính.
b) vf ( p ) ( g )  f | p (v)( g )  v( gf ), g ( N ) .
Thật vậy:
+) Nhận xét a) được suy ra từ mệnh đề 1.10.
+) Ta đặt f | p (v)  vf ( p ) , khi đó:
vf ( g ) 

d
d
g ( f  (t ))t t0  ( g f )  (t ))t t0  v( g f ); g  ( N ) .
dt
dt

12
Ta chú ý rằng trong trường hợp f là vi phơi, X  B(M ) thì f X là trường
vectơ tiếp xúc của N.
1.1.12. Định lý (xem [5])
Giả sử f : M  N ; p  f ( p) là vi phơi khi đó, f  X , Y    f X , fY 
Chứng minh:

 f X , fY 

( g )  f X ( fY ( g )  fY ( f X ( g )); g  ( N )

 X ( fY ( g ))  Y ( f X ( g ))  X (Y ( gf ))  Y ( gf )   X , Y  ( gf )
 f  X , Y  ( g ); p  M , g  ( N ).
  f X , fY   f  X , Y  p   f X , fY   f  X , Y .

1.2. Liên thông tuyến tính
1.2.1. Định nghĩa
Một liên thơng tuyến tính trên đa tạp khả vi M, đó là ánh xạ
 : B(M )  B(M )  B(M ) , ( X , Y )

 X Y sao cho:

1)  X (Y  Z )   X Y   X Z ; X , Y , Z  B( M ).
2)  X Y Z   X Z  Y Z ; X , Y , Z  B( M ).
3)  X Y   X Y ; X , Y  B(M ).  (M ) .
4)  X (Y )  X  Y   X Y ; X ,Y  B(M ).  (M ) .
1.2.2. Ví dụ
a) Giả sử M =

3

1
n

, ta xét  X Y  DX Y  X  Y ; X , Y  B( 3 ), n 

đạo hàm thông thường của các trường vectơ trong

3



và D là

. Khi đó  là một liên

thơng tuyến tính.
Thật vậy:
1
1
1
1) X (Y  Z )  DX (Y  Z )  ( X  (Y  Z ))  DX Y  DX Z  X  Y  X  Z
n
n
n

= XY  X Z .

13
1
n

1
n

1
n

2)  X Y Z  DX Y Z  ( X  Y )  Z ))  DX Z  DY Z  X  Z  Y  Z   X Z  Y Z
1
n

1
n

3)  X Y  D X Y  ( X  Y )   ( DX Y  X  Y )   X Y ;   ( 3 ) .
1
1
X  (Y )  X [ ]  Y+ DX Y   ( X  Y )
n
n
1
 X  .Y   ( DX Y  X  Y )  X  Y   X Y ;   ( 3 ).
n
4) X Y   DX Y 

b) Giả sử S là một mặt trong

3

. Ta đặt  X Y   DX Y  , X , Y  B(S ) ;
T

(Ở đây  DX Y  là thành phần tiếp xúc với S của DX Y ). Khi đó  X Y là
T

liên thơng tuyến tính trên S .
Thật vậy, ta có :
+)  X (Y  Z )  ( DX (Y  Z ))T  ( DX Y  DX Z )T  ( DX Y )T  ( DX Z )T   X Y   X Z .
+)  X Y Z   DX Y Z    DX Z  DY Z   ( DX Z )T   DY Z  =  X Z  Y Z .
T

T

T

+)  X Y   D X Y    DX Y     DX Y    X Y .
T

T

T

) X Y   DX Y    X  .Y     DX Y   X  .Y    DX Y 
T

T

T

T

 X  .Y   X Y .

1.2.3. Mệnh đề (xem [7])
Cho  là liên thơng tuyến tính trên M và ánh xạ song tuyến tính
S : B(M )  B(M )  B(M ) . Khi đó     S cũng là một liên thông tuyến tính

trên M .
~

Chứng minh: Ta kiểm tra 4 tiên đề của một liên thơng tuyến tính đối với  .
Thật vậy, với mọi X , Y , Z  B(M ) , ta có:
)  X Y  Z      S  X (Y  Z )   X (Y  Z )  S ( X , Y  Z )
  X Y   X Z  S ( X ,Y )  S ( X , Z )
   X Y  S ( X , Y )    X Z  S ( X , Z )     S  X Y    S  X Z   X Y   X Z .


14
)  X Y Z     S  X Y Z   X Y Z  S ( X  Y , Z )   X Z  Y Z  S ( X , Z )  S (Y , Z )
 ( X Z  S ( X , Z ))   Y Z  S (Y , Z )      S  X Z     S Y Z   X Z  Y Z .

+) Với  (M ) , ta có:
 X Y     S  X Y   X Y  S ( X , Y )   X Y   S ( X , Y )   ( X Y  S ( X , Y ))
  (  S ) X Y    X Y .
)  X (Y )     S  X (Y )   X (Y )  S ( X , Y )  X  Y     X Y  S ( X , Y ) 
 X  Y    X Y .

1.2.4. Mệnh đề (xem [3])
1

2

Giả sử  , (M ) và , , là liên thơng tuyến tính trên M . Khi đó,
1

2

     là liên thơng tuyến tính trên M nếu và chỉ nếu    1 .

Chứng minh:
+) Điều kiện cần: Giả sử  là liên thơng tuyến tính trên M thì
X , Y  B(M ), f (M ) , ta có:
1

2

1

2

 X fY    X fY   X fY   X  f .Y   f  X Y  X  f .Y  f  X Y
2
 1

 (  ) X  f .Y  f    X Y   X Y      X  f .Y  f  X Y .




Mặt khác  X fY  X  f .Y  f  X Y .

(1)

(2)

Từ (1) và (2) ta suy ra    1 .
+) Điều kiện đủ: Ta cần chứng minh  là liên thơng tuyến tính trên M
với    1 .
Rõ ràng,  thỏa mãn các điều kiện T1, T2, T3. Ở đây, ta kiểm tra T4. Với
1

2

1

2

f  ( M ),  X fY    X fY   X fY   X  f .Y   f  X Y  X  f Y  f  X Y
2
 1

     X  f  Y  f    X Y    X Y   X  f  Y  f  X Y .




15

Bây giờ ta xét vi phôi f : M  N . Với  là liên thơng tuyến tính trên M,
~

~

ta đặt ( f) X Y  f   X Y  ; ở đây X  f X , Y  fY ;  X , Y  B( N ) .
1.2.5. Định lý (xem [5])
f là liên thơng tuyến tính trên N .

Chứng minh:





)  f  X Y  Z  f   X (Y  Z )   f  X Y   f  X Z    f  X Y   f  X Z .
)  f  X Y  f   X Y   f . X Y   .( f) X Z . Với    f ,   ( N ) .
~

~

)  f  X Y  Z  f   X Y Z   f ( X Z  Y Z )   f  X Z   f Y Z .

 

)  f  X . Y  f ( X Y );

   f ,   ( N )

 f  X  .Y  . X Y   X  .Y    f  X Y .

1.2.6. Mệnh đề (xem [3])
a) (  X Y ) phụ thuộc vào Y tại lân cận của điểm p .
b) ( X Y ) p Phụ thuộc X p tại từng điểm.
Chứng minh:
a) Trước hết ta chứng minh nếu Y |U  0, U mở trong M thì  X Y  0 .
Thật vậy, với p U , ta chọn f  (M ) và tập đóng V trong M, sao cho
p V  U , f |V  0 và f |  M \ U   1 khi đó f .Y  Y .

Ta có:

  X Y  ( p)    X f .Y  ( p)   X  f .Y  ( p)   f . X Y  ( p)
 X  f  ( p)Y ( p)  f ( p)   X Y  ( p)  0; p U .
Ta giả sử:









Y |U  Y |U  Y  Y |U  0   X Y   X Y |U  0





   X Y  ( p)   X Y ( p); p U .

16
n

b) Giả sử X ( p)  0, U ,   là bản đồ chứa p . Khi đó X   X i Ei , ở đây
i 1

Ei  là cơ sở của

B(U ) và X i ( p)  0, i  1, n .

Ta có:


n
 n


  X Y  ( p)    n Y  ( p)    X i Ei Y  ( p)   X i ( p)  Ei Y ( p)  0 .
i 1
 X i Ei
 i 1

 i1






Mặt khác, nếu X ( p)  X ( p) , thì  X  X  ( p)  0.
Khi đó,   X  X Y  ( p)    X Y  ( p)    X Y  ( p)  0   X Y  ( p)   X Y  ( p).


17
Chƣơng II
MỘT SỐ TÍNH CHẤT HÌNH HỌC CỦA NHĨM LIE

2.1. Nhóm Lie
2.1.1. Định nghĩa
Một tập hợp G   được gọi là một nhóm Lie nếu thỏa mãn ba điều kiện
sau đây:
i) G là một đa tạp khả vi với hệ bản đồ

U



,  I .

ii) G là một nhóm với phép toán nhân: : G G  G ; (a, b)
iii) Các phép toán  và : G  G ; a

a.b .

a 1 là các ánh xạ khả vi.

2.1.2. Ví dụ
a) Giả sử G  R n , với phép tốn cộng thơng thường. Khi đó R n là một nhóm.

 R n là một đa tạp khả vi với cấu trúc được xây dựng từ tập bản đồ

(U



 R n ,   id ) .

 Các phép toán

: Rn  Rn  Rn ; a(ai ), b (bi ) ,
a  b (ai  bi ) .

(a, b)

: Rn  Rn ,

a(ai )

 a ( ai ) .

n
 và  là các ánh xạ khả vi. Như vậy R là nhóm Lie.





b) Giả sử G  G (n, R)  A(aij )n | A | 0, aij R là nhóm nhân với phép
nhân hai ma trận.

 G là một đa tạp khả vi với cấu trúc khả vi cảm sinh từ đa tạp
M n   A(aij )n A lµ ma trËn thùc .

 Các ánh xạ:


18
 : G (n, R)  G (n, R)  G (n, R),
n


AB  C  Cij   aik bkj  .
k 1



 A(aij ), B(bij ) 
và

 : G (n, R)  G (n, R) ,

A1 .

A

Khi đó các ánh xạ  và  là các ánh xạ khả vi.
2.1.3. Nhận xét
+ Mỗi aG ta chú ý tới các ánh xạ sau đây:
La : G  G
x

ax

Ra : G  G

;

x

xa

.

Khi đó ( La )1  La1 và ( Ra )1  Ra1 . Ta nhận thấy rằng La và Ra là các
vi phôi từ G  G . Ta gọi La và Ra tương ứng là các phép tịnh tiến trái và tịnh
tiến phải theo a trong G.
+ Giả sử F là tập đóng trong G. Khi đó aF đóng trong G; aG .
Thật vậy, aF = La(F). Do La vi phơi bên La(F) đóng.
+ F mở trong G,
Thật vậy, U .F 
aU

 G . Khi đó U .F mở trong G.
aU

(aF ). Do aF = La(F) nên aF mở. Từ đó ta suy ra

(aF ) mở trong G.

+ Ta đặt ada : G  G; x

axa 1; xG . Khi đó ada là vi phơi trên G.





Thật vậy: ada ( x)  axa 1  La Ra1 ( x) .
Do La , Ra1 là các vi phôi trên G nên ada là vi phôi trên G.
+ Với hai phần tử bất kỳ p, qG đều tồn tại aG , sao cho Ra ( p)  q .
Thật vậy: Ta xét a  p 1q . Khi đó Ra ( p)  p( p 1q)  q .
Từ nhận xét này, ta thấy rằng một nhóm Lie G là một không gian thuần nhất.


19
2.1.4. Định nghĩa
Một tập con H  G được gọi là nhóm Lie con của G nếu thỏa mãn:
1) H là nhóm con của G.
2) H là một đa tạp con của G.
Ví dụ: G  R3 là một nhóm Lie với phép cộng thông thường.
H  ( x, y, o)R3 x, yR .

Khi đó H là một nhóm Lie con của G.
Thật vậy:
 H là nhóm con với phép cộng thông thường của G  R3 .
 H là đa tạp con với cấu trúc cảm sinh từ G  R3 .
2.1.5. Mệnh đề (xem [4])
Giả sử H là nhóm Lie con mở của G. Khi đó H đóng trong G.
Chứng minh:
Ta lấy y  G \ H .

Khi đó yH  H   .
Thật vậy, nếu có z  ( yH  H ) 

 zH

 z  yH .



z  y  h; hH .



y  z  h1 H ;

điều này mâu thuẫn với y  H .
Theo giả thiết, H mở trong G, ta suy ra yH mở trong G. Do đó yH là lân
cận mở của y và yH  (G \ H ) .
Điều này chứng tỏ rằng G\H là tập mở trong G.
Như vậy H đóng trong G.


20
Từ mệnh đề trên, ta nhận thấy rằng, nếu G là một nhóm Lie liên thơng
thì G khơng có một nhóm Lie con thực sự mở trong G.
2.1.6. Định nghĩa
Cho G và G’ là hai nhóm Lie và f là một ánh xạ từ G và G’. f được gọi
là đồng cấu Lie nếu f khả vi và f đồng cấu nhóm.
Một đồng cấu Lie f : G  G ' được gọi là đẳng cấu Lie nếu f song ánh.
2.1.7. Nhận xét

+ Với mỗi aG thì các ánh xạ ada, La, Ra là các đẳng cấu Lie.
+ Ta ký hiệu D = {f | f đẳng cấu Lie: G  G }. Khi đó D là một nhóm
với phép toán hợp thành các đẳng cấu Lie.
+ Giả sử  là đẳng cấu Lie từ G vào G’.
Khi đó:

 La  L( a ) ; aG .

Thật vậy, ta có:

( La )( x)  (a.x)
 (a).( x)
 ( L( a ) )( x); xG.



 La  L( a ) .

Bây giờ ta xét sự tác động của nhóm Lie lên đa tạp M.
2.1.8. Định nghĩa
Ta nói một nhóm Lie G tác động lên M nếu có ánh xạ
 : G  M  M ; ( g , x)

gx; g G, xM .

thỏa mãn các điều kiện sau:
1)  là ánh xạ khả vi từ G  M vào M.
2) ex = x, xM , ở đây e là đơn vị của G.
3) g1 ( g2 x)  ( g1g2 ) x, g1, g2 G, xM .

21
Ta ký hiệu: Với mỗi xG, S x : g G gx  x . Sx được gọi là nhóm con
ổn định của x.
 Gx   gx g G . Gx được gọi là quỹ đạo của x.
Ví dụ: Ta lấy G  G (n, R), M  R n và
: G  M  M;
A.x . Khi đó  là ánh xạ khả vi.

( A, x)

  A : Rn  Rn ,
x

Ax; A là vi phơi (vì A là một phép biến đổi tuyến

tính có ma trận A; mà |A|  0).
 Ta lấy A =I, I là ma trận đơn vị. Khi đó Ix = x; xM .
 A(Bx) = (A.B)(x) (vì phép nhân các ma trận có tính chất kết hợp).
Như vậy, G (n, R) tác động lên Rn.
2.1.9. Mệnh đề (xem [4])
Giả sử G tác động lên M. Khi đó Sx là nhóm con đóng của G.
Chứng minh:
 Trước hết ta chứng minh Sx là nhóm con của G.
+ Với g1, g2 S x  g1.g2 ( x)  g1 ( g2 ( x))  g1 ( x)  x .
 g1. g2 S x .

+

e( x)  x  eS x .

Ta tiếp tục chứng minh Sx đóng trong G.
Thật vậy, ta đặt H  G \ S x , ta cần chứng minh H mở trong G.
Ta lấy g H  g S x .
 g ( x)  x  g ( x)M \ {x}.

Do M là T2 - không gian nên {x} đóng trong M. Do đó M \{x} mở trong M.


22
Ta đặt U  M \{x}. Như vậy U là tập mở trong M chứa g(x).
Do  là ánh xạ khả vi từ G × M vào M (theo định nghĩa 2.9) nên tồn tại
hai tập mở V và W tương ứng của g và của x sao cho (V .W )  U .


V .W  U .



V H.



H mở.



Sx đóng.

2.1.10. Mệnh đề

Nếu G tác động lên M, thì tập
N  {h  G | h  id M }  {h  G | h  x  x với x  M } là ước chuẩn đóng của G.

Chứng minh:
+ Trước hết ta chứng minh N là ước chuẩn của G. Thật vậy:
Ta nhận thấy ex  x; x  M  e  N .
Ta xét:

h  N , g  G, ta có:

ghg1(x) = g(h(g1(x)))
= g(g1(x))
= (g.g1)(x)
= ex
= x; x  M .
 ghg 1  N . Vậy N là ước chuẩn của G.
+ Bây giờ ta chứng minh N đóng.
Ta xét g  G \ N  g  idM  y  M , g. y  y.
Do M là T2-không gian, nên {y} đóng trong M. Do đó U  M \{y} mở
trong M . Như vậy U là lân cận mở chứa g ( y) .