Nhóm cơ bản của phức đơn hình

1 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC VINH NGUYỄN THỊ HƯƠNG THẢO NHÓM CƠ BẢN CỦA PHỨC ĐƠN HÌNH LUẬN VĂN THẠC SỸ TỐN HỌC Chun ngành: Hình học - Tơpơ Mã số: 60.46.10 Người hướng dẫn khoa học: TS NGUYỄN DUY BÌNH VINH - 2011 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC VINH NGUYỄN THỊ HƯƠNG THẢO NHÓM CƠ BẢN CỦA PHỨC ĐƠN HÌNH LUẬN VĂN THẠC SỸ TỐN HỌC VINH - 2011 MỤC LỤC Trang LỜI NÓI ĐẦU Chương CÁC KIẾN THỨC CƠ SỞ 1.1 Đồng luân 1.2 Nhóm 1.3 Phức đơn hình 13 Chương NHÓM CƠ BẢN CỦA PHỨC ĐƠN HÌNH ………… 17 2.1 Ánh xạ đơn hình …………………………………… 17 2.2 Nhóm phức đơn hình ………………… 20 2.3 Nhóm đồ thị 31 KẾT LUẬN ………………………………………………… 41 TÀI LIỆU THAM KHẢO…… ……………………………… 42 LỜI NÓI ĐẦU Tơpơ đại số ngành tốn học đại Nó đời vào năm đầu kỉ XX, gắn kết hai lĩnh vực tốn học tơpơ đại số Tơpơ đại số vừa nghiên cứu với tư cách ngành độc lập, vừa xem công cụ để giải nhiều vấn đề tốn học đại Nhóm khái niệm tôpô đại số Mỗi điểm không gian tơ pơ có nhóm liên kết với nó, mang thơng tin cấu trúc chiều phần khơng gian quanh điểm Nhiều ví dụ tính tốn nhóm khơng gian riêng lẻ hay phương pháp cho cách tính nhóm số lớp không gian, chẳng hạn phức đơn hình hữu hạn đề cập đến tài liệu chuyên sâu Để nghiên cứu sâu sắc vấn đề này, đề tài luận văn tập trung vào nghiên cứu cách có hệ thống phức đơn hình nhóm chúng Luận văn chia làm hai chương sau: Chương Các kiến thức sở 1.1 Đồng luân 1.2 Nhóm 1.3 Phức đơn hình Chương Nhóm phức đơn hình 2.1 Ánh xạ đơn hình 2.2 Nhóm phức đơn hình 2.3 Nhóm đồ thị Trong chương 1, chúng tơi trình bày khái niệm đồng ln, tương đương đồng luân, cách xây dựng nhóm khơng gian tơpơ bất kỳ, vài tính chất khơng gian liên thơng đường; trình bày khái niệm đơn hình, phức đơn hình, phức phức đơn hình, hình đỉnh, khung r chiều, thứ phân phức đơn hình, lấy ví dụ minh họa Trong chương 2, chúng tơi trình bày kiến thức nhóm phức đơn hình trường hợp đặc biệt phức đơn hình nhóm đồ thị Cụ thể, mục 2.1 chúng tơi trình bày khái niệm ánh xạ đơn hình, xấp xỉ đơn hình, định lý xấp xỉ đơn hình Trong mục 2.2, chúng tơi trình bày khái niệm tương đương mật tiếp, tương đương cạnh, ví dụ tính chất chúng, cơng thức tính nhóm phức đơn hình ví dụ ứng dụng Cuối cùng, mục 2.3, nêu cơng thức tính nhóm đồ thị ví dụ ứng dụng Luận văn hồn thành hướng dẫn nghiêm túc tận tình thầy giáo, Tiến sỹ Nguyễn Duy Bình Nhân dịp tác giả xin bày tỏ lịng kính trọng biết ơn sâu sắc tới thầy! Tác giả xin chân thành cảm ơn thầy giáo khoa Tốn, thầy tổ mơn Hình học, Khoa sau đại học trường Đại học Vinh, Phòng quản lý khoa học trường đại học Hải Phịng nhiệt tình giảng dạy giúp đỡ tác giả Xin cảm ơn gia đình, đồng nghiệp bạn bè tạo điều kiện thuận lợi, động viên, giúp đỡ tác giả thời gian học tập hoàn thành luận văn Mặc dù cố gắng song luận văn tránh khỏi thiếu sót, kính mong bảo, góp ý thầy cô bạn Xin trân trọng cảm ơn! Vinh, tháng 12 năm 2011 Tác giả CHƢƠNG CÁC KIẾN THỨC CƠ SỞ Trong chương chúng tơi trình bày khái niệm đồng ln, tương đương đồng luân, không gian co rút, cách xây dựng nhóm khơng gian tơpơ bất kỳ, tính nhóm số khơng gian tơpơ đặc biệt, trình bày cách có hệ thống khái niệm đơn hình, phức đơn hình 1.1 Đồng luân 1.1.1 Định nghĩa (Xem [1]) Cho không gian tôpô X, Y, f , g : X  Y ánh xạ liên tục, I  0,1 không gian đường thẳng thực , ánh xạ liên tục F : X  I  Y cho F ( x,0)  f ( x); F ( x,1)  g ( x) với x  X gọi phép đồng luân nối f g Khi f gọi đồng luân với g phép đồng luân F ký hiệu f g 1.1.2 Các ví dụ: Ví dụ 1: X  Y  n , x0  n 1X : X  Y ánh xạ đồng  x : X  Y ánh xạ x0 Khi 1X  x phép đồng luân F : X  I  Y , F ( x, t )  (1  t ) x  tx Ví dụ 2: X khơng gian tơpơ bất kỳ, Y tập lồi C ( X , Y )  { f : X  Y f liên tục} Khi đó: f , g  C ( X , Y ) f n , g phép đồng luân: F : X  I  Y , F ( x, t )  (1  t ) f ( x)  tg ( x) 1.1.3 Nhận xét Quan hệ đồng luân ánh xạ quan hệ tương đương Chứng minh  f f phép đồng luân F : X  I  Y  x, t   Nếu f g g F  x, t   f  x  t  I f phép đồng luân: E : X  I  Y , E  x, t   F  x,1  t   Nếu f f g phép đồng luân F1 , g h phép đồng luân F2 h phép đồng luân F : X  I  Y với  F1  x, 2t  ,  t    F  x, t     F  x, 2t  1 ,  t    Vậy quan hệ đồng luân ánh xạ quan hệ tương đương 1.1.4 Bổ đề (Bổ đề dán) (Xem [7]) Cho X, Y không gian tôpô, X  A  B , với A, B tập đóng (mở) X Giả sử f1 : A  Y , f : B  Y ánh xạ liên tục cho f1 ( x)  f ( x), x  A  B Khi ánh xạ g : X Y cho bởi:  f ( x), x  A g ( x)   ánh xạ liên tục  f ( x), x  B 1.1.5 Định lý (Xem [1]) Cho X, Y, Z không gian tôpô Giả sử ánh xạ f0 , f1 : X  Y , f0 f1 g0 , g1 : Y  Z , g0 g1 Khi g0 f0 g1 f1 1.1.6 Định nghĩa (Xem [1]) Hai không gian tôpô X, Y gọi tương đương đồng luân (có kiểu đồng luân) tồn hai ánh xạ liên tục f : X  Y , g : Y  X cho fg 1Y ; gf 1X 1.1.7 Nhận xét 1) Quan hệ tương đương đồng luân không gian tôpô quan hệ tương đương 2) Các khơng gian đồng phơi với tương đương đồng luân 1.1.8 Định nghĩa (Xem [1]) Không gian tôpô X gọi co rút ánh xạ đồng X đồng luân với ánh xạ x0  X Khi ta cịn nói X co rút điểm x0  X 1.1.9 Ví dụ: X tập lồi 1X n , X không gian co rút điểm x0  X  x ( x0  X ) phép đồng luân: F : X  I  Y ( x, t ) (1  t ) x  tx 1.1.10 Định lý Không gian tơpơ X co rút tương đương đồng luân với không gian điểm Chứng minh Điều kiện cần: Giả sử X co rút được, tức 1X  x ( x0  X ) Xét ánh xạ f   x : X  x0 ; g : x0   X , g ( x0 )  x0 Khi đó: fg  1x  1x  ; gf   x 0 1X Suy X tương đương đồng luân với không gian điểm Điều kiện đủ: Giả sử X tương đương đồng luân với không gian điểm Y  a , có nghĩa tồn ánh xạ f : X  Y , g : Y  X cho fg 1Y ; gf 1X Đặt x0  g (a)  x : X  x0  ánh xạ Ta có: gf : X  X , gf ( x)  g (a)  x0 , x  X Do  x  gf 1X Vậy X co rút 1.2 Nhóm 1.2.1 Định nghĩa (Xem [2]) Cho X không gian tôpô, I  0,1 không gian đường thẳng thực R Một đường  X từ x0 đến x1 ánh xạ liên tục  :I  X cho  (0)  x0 ,  (1)  x1 Điểm x0 gọi điểm gốc, điểm x1 gọi điểm cuối đường  Nếu  (0)  (1)  x0  X  gọi đường đóng x0 1.2.2 Định nghĩa Cho  đường từ x0 đến x1 ,   đường từ x1 đến x2 ¸nh xạ liên tục    ' : I  X cho bởi:   (2t )    '(t )    '(2t  1)  nÕu  t  nÕu  t 1 gọi nối tiếp hai đường ,  ' Đường ngược  đường  1 từ x1 đến x0 cho  1 (t )   (1  t ) Chú ý đường    ' có điểm gốc    '(0)  (0)  x0 điểm cuối    '(1)   '(1)  x2 xo  (0)  (1) x2  '(0)  '(1) x2 Hình 1.2.3 Định nghĩa (Xem [1]) Cho hai đường ,  ' có điểm gốc x0 điểm cuối x1 khơng gian tơpơ X Ta nói  đồng luân với  ' ký hiệu   tồn ánh xạ liên tục F : I  I  X cho: F (0, t2 )   (0)   (0)  x0 , t2  I F (1, t2 )   (1)   (1)  x1 , t2  I F (t1 , 0)   (t1 ); F (t1 ,1)   (t1 ), t1  I 10 1.2.4 Nhận xét - Quan hệ đồng luân đường quan hệ tương đương - Nếu 1 đồng luân với 2 11 đồng luân với 2 1 - Giả sử 1 2 ; 1 2 đường cho 1  1 xác định Khi 2  2 xác định 1  1 2  2 Đặt     |   Tích nghịch đảo 1.2.5 Định nghĩa   định nghĩa sau:       ;   1   1  1.2.6 Định lý: Cho X không gian tôpô, x0  X , 1  X , x0  tập hợp lớp đồng luân đường đóng x0 Khi 1  X , x0  lập thành nhóm với phép tốn cho Chứng minh  Phần tử đơn vị  x0  vì:     x      x     x 0  phép đồng luân:   2t1  t2     ;  t1   t 1 F  t1 , t2      t2    t1   x0 ; Tương tự  x       x     x    0 Như     x    x        0  Phần tử đối       1  vì: 1      1     1     1  x phép đồng luân: 30 Xét ánh xạ h : E  K , a0   1  K , a0  , h      Theo mệnh đề 2.2.11, 2.2.12 h xác định h đồng cấu Ta cần chứng minh h song ánh Thật :    Giả sử    1 K , a0 Theo định lý 2.2.5 tồn thứ phân I’ I ánh xạ đơn hình  : I’  K xấp xỉ          Gọi t0 < t1 < < tk đỉnh I’,  đường liên kết với , tức:     t0    t1    t1    t2    tk 1    tk  Khi h         hay h toàn ánh  Để chứng minh h đơn ánh, ta phải chứng minh  đường E cho   a  a0 a0 Thật vậy: Theo định lý 2.2.5, tồn thứ phân I’ I ánh xạ đơn hình 0 , 1 : I   K cho 0 xấp xỉ đơn hình  1 xấp xỉ đơn hình C  a 0 1 Vì  a ánh xạ đơn hình, 1 xấp xỉ đơn hình  a suy 0 E 1   a (theo bổ đề 2.1.6 ) Để chứng minh  a0 a0 ta chứng minh: C E (i) Nếu  , : I   K ánh xạ đơn hình     với  ,  đường liên kết với   Thật vậy:     t0    t1    t1    t2    tk 1    tk      t0   t1    t1   t2    tk 1   tk  Suy ra:  1    t0   t1    t1   t2    tk 1   tk    tk   tk 1    t1  t0  Vì   nên   tk 1  ,  tk  ,  tk  ,  tk 1  đỉnh đơn hình thuộc K C E Mà   tk    tk   a0 nên   tk 1    tk    tk   tk 1    tk 1   tk 1  Suy ra: 31 E   1   t0    t1    t1    t2    tk 2    tk 1    tk 1   tk 1    tk 1   tk 1    t1   t0  E E   t0    t1    t1    t2    tk 2   tk 2    t1   t0  E   t0    t1    t1   t0  E   t0   t0   a0 a0 E    (ii) Nếu  : I  K ánh xạ đơn hình  : I’  K xấp xỉ đơn hình E  thứ phân I’ I   Thật vậy: Giả sử I  phức I  chứa đỉnh t0 , t1 , , tk I Khi theo định lý 2.1.7 ta có:  I   I     ti     ti  , i  0, k Mà  ánh xạ đơn hình nên   ti  ,  ti 1   đơn hình (S) K có chiều Với đỉnh u I  mà ti  u  ti 1   u  đỉnh (S) Vì  xấp xỉ đơn hình  nên   u    st  u    st   u    S   st   u       S   st   u      u  đỉnh (S) Do đó, ti  u1   ur 1  ti 1 đỉnh I    u1  , ,  ur 1  đỉnh đơn hình (S) K Hơn ta có: u0  ti    u0     ti     ti    S  ; ur  ti 1    ur    ti 1    ti 1    S  Vì   u0  ,   u1  , ,   ur  đỉnh đơn hình (S) K Ta có  ti ,ti1     u0   u1    u1   u2    ur 1   ur  E   u0   ur     ti   ti 1     ti    ti 1    ti ,ti1  E Vậy   Từ hai chứng minh ta có: E Theo (ii), 0 xấp xỉ đơn hình  nên     theo (i) C  E 0 1 nên 0 1  0  a0 a0  h đơn ánh Vậy h đẳng cấu hay E  K , a0  đẳng cấu với 1  K , a0  32 2.2.14 Ví dụ: Nếu K đơn hình a0 đỉnh K 1  K , a0  nhóm tầm thường Thật vậy, giả sử   E  K , a0  ,   a0a1 a1a2 ak a0 Do K đơn hình E nên  a0 a0 Suy E  K , a0    a0 ao   1  K , a0    a  2.2.15 Hệ Cho K phức đơn hình, K khung chiều K, a0  K0, i : K2  K ánh xạ bao hàm Khi i sinh đẳng cấu i* : E(K2, a0)  E(K, a0) Do đó, ánh xạ cảm sinh 1  i  : 1  K , a0   1  K , a0  đẳng cấu Chứng minh Một đường gấp khúc phức K xác định cặp đỉnh, cặp thuộc đơn hình Mặt khác, tính tương đương đường xác định đỉnh, đỉnh thuộc đơn hình Vì E(K, a0) phụ thuộc K2 Do ánh xạ i* : E  K , a0   E  K , a0  biến đường K thành nó, vừa đơn cấu, vừa tồn cấu nên i* đẳng cấu, suy E  K , a0  E  K , a0  Mặt khác, theo định lý 2.2.12 thì: E  K , a0  đẳng cấu với 1  K , a0  E  K , a0  đẳng cấu với  1  K , a0  , 1 K , a0  1  K , a0  hay 1  i  đẳng cấu 2.2.16 Định lý (Xem [7]) Mặt cầu S n đơn liên với n > 1, tức 1( S n , p) nhóm tầm thường với p  S n Chứng minh Gọi K n khung n chiều đơn hình n+1 chiều K Xét ánh xạ  : K n  n 1 33 Giả sử b   b1 , , bn1   n 1 tọa độ trọng tâm K Mỗi x   x1 , , xn1   K n , xác định   x     x   2   xi  bi    n 1  n 1 n 1 công thức:  x1  b1 , , xn1  bn1  Khi đó:   K n   S n  : K n  S n phép đồng phơi Vì S n đồng phơi với khung n chiều K n đơn hình n+1 chiều K Bây ta chứng minh 1  K n , a0  nhóm tầm thường Thật vậy, theo định lý 2.2.13, phần tử 1  K n , a0  có đại diện  đường nằm khung chiều K K Nếu n > tồn điểm p  K n , p  K Mà K n   p đồng phơi với n co rút Do   a hay 1  K n , a0  nhóm tầm thường, suy 1  S n , p  , p  S n nhóm tầm thường 2.3 Nhóm đồ thị 2.3.1 Định nghĩa (Xem [7]) - Đồ thị phức đơn hình có chiều bé - Một T đồ thị liên thông đường cho đơn hình chiều s  T T   s  khơng cịn liên thơng 2.3.2 Ví dụ: Hình 11 Đây 34 a3 a0 a4 a1 Hình 12 Đây đồ thị không 2.3.3 Định nghĩa Điểm đồ thị đỉnh cho đỉnh nhiều đơn hình chiều Ví dụ: Ở đồ thị trên, đỉnh , i  0,3 điểm 2.3.4 Định lý (Xem [7]) Mọi co rút Chứng minh Ta chứng minh định lý phương pháp quy nạp theo số đỉnh  Nếu T có đỉnh định lý thoả mãn  Giả sử định lý thỏa mãn với có n đỉnh  Gọi T có n+1 đỉnh gọi a0 điểm T Suy tồn đơn hình chiều s  T có đỉnh a0 Đặt L  T   s  , a0  , L phức đơn hình L  T   s   a0  L cây, t phức đơn hình chiều L, cho L   t  liên thơng T   t  liên thông (điều T cây) Cây L có n đỉnh nên co rút Hơn nữa, L T có kiểu đồng luân (Xét ánh xạ f : T  L x f(x) = x x  [L] đỉnh lại (s) x  (s)  {a0} gọi g : L  T phép bao hàm Thì: f g 1L , g f 1T ) Do T co rút 2.3.5 Hệ Nếu T a0 đỉnh T thì: 1  T , a0   E T , a0     35 2.3.6 Định nghĩa Cho K đồ thị, 0 số đỉnh K, 1 số đơn hình chiều K Số nguyên   K   0  1 gọi số đặc trưng Ơle K Nhận xét: Số đặc trưng Ơle số thứ phân K Thật vậy, thêm vào đỉnh K chia đơn hình chiều thành đơn hình chiều, 0 1 tăng thêm 2.3.7 Định lý Nếu T  T   Chứng minh Chứng minh định lý phương pháp quy nạp theo số đỉnh n T  Cho n =  0 = 1, 1 =   T    Giả sử định lý với có n đỉnh  Gọi T có n+1 đỉnh gọi a0 điểm T Suy tồn đơn hình chiều  s   T có đỉnh a0 Đặt L  T   s  , a0  , theo chứng minh định lý 2.3.4 L có n đỉnh Suy   L    0  L   1  L   Mà 0 T   0  L   1, 1 T   1  L   Do đó,  T   0 T   1 T   2.3.8 Định lý Cho K đồ thị liên thông đường, n số đơn hình mở chiều lớn bỏ mà khơng làm tính liên thơng K Khi n     K  Chứng minh  Nếu K n =  T   nên n     K   Nếu K không cây, gọi (s1) đơn hình mở chiều cho K   s1  liên thông Nếu K   s1    K   s1     0  K   1  K   1     K       K    n      K  36 Nếu K   s1  khơng cây, gọi (s2) đơn hình mở chiều cho K   s1    s2  liên thơng…Tiếp tục q trình trên, có hữu hạn đơn hình mở chiều K nên trình dừng lại, tức có số n cho: K   s1    s2     sn  T Khi   K    T   n   n hay n     K  2.3.9 Định nghĩa (Xem [7]) Cho tập S = {a1, a2, , an} ký hiệu a1-1, , an-1 e T tập tất “từ” thu cách xếp ký hiệu theo thứ tự hàng hữu hạn, lặp lại Phép tốn T xây dựng sau:   ,  T, tích . xác định phép ghép:  gắn vào điểm cuối  Chẳng hạn:    a1a2 a31a4  ;    a11a2 a3a4 a51     a1a2 a31a4 a11a2 a3a4 a51  1  Từ ngược từ  từ  xác định cách lấy ngược thứ tự xếp  thời điểm, thay a j a j , a j a j e e Chẳng hạn:    a11a2 a31a4 a51   1   a5a41a3a21a1   Một quan hệ tương đương từ T định nghĩa sau: ee e; a j a j e; a j 1a j e a je a j ; a j 1e a j 1; ea j a j ; ea j a j 1; j Hai từ tương đương từ thu từ từ cịn lại dãy phép tương đương  Tập hợp lớp tương đương từ lập thành nhóm với phép tốn  .      , đơn vị nhóm lớp tương đương e Nhóm gọi nhóm tự sinh n phần tử , ký hiệu Fn 37 2.3.10 Nhận xét Nếu Fn nhóm tự với phần tử sinh: a1, a2, , an G nhóm bất kỳ, ánh xạ h: {a1, a2, , an}  G mở rộng thành đồng cấu h : Fn  G xác định bởi:     h a  h a j11a j21 a jr1  h a j1 1 1 j2   .h a jr 1 2.3.11 Định lý (Xem [7]) Nếu K đồ thị liên thông đường, a0 đỉnh K 1  K , a0  Fn với n     K  Chứng minh Ta xây dựng đồng cấu: h: E(K, a0)  Fn h1: Fn  E(K, a0) cho hh1  1F ; h1h  1E K ,a  Khi E  K , a0  Fn , mà theo định lý 2.2.13 n E  K , a0  1  K , a0  nên 1  K , a0  Fn Xây dựng h: Gọi (s1), , (sn) ( n     K  ) đơn hình mở chiều K cho T  K   s1    s2     sn  (xem chứng minh định lý 2.3.8) Gọi Fn nhóm tự sinh  s  ,  s  , ,  s  n Với   j 1, 2, , n , đặt s j cạnh a j a j K, s j cạnh a ja j , aj aj’ đỉnh sj Khi đường  K có dạng:   1s j 2 s j k s j k 1 với i đường T k Đặt h     s j   s   s  1 1 j2 jk 1 Ta phải kiểm tra h xác định Do h   phụ thuộc vào lớp tương đương cạnh  nên ta cần chứng minh: 1 2 tương đương cạnh sơ cấp h 1   h 2  Giả sử 1   a1a2 a2a3  , 2   a1a3  ,   đường K, a1 , a2 , a3 đỉnh đơn hình K Do K đồ thị nên khơng có đơn hình chiều, xảy trường hợp: a1  a2  a3 ; a1  a2 ; a2  a3 ; a1  a3 38 Trong trường hợp đầu đơn hình  a1 , a2  ,  a2 , a3  đơn hình chiều, nên trường hợp đầu ta có h 1   h 2  Trường hợp 4: 1   a1a2 a2 a1  , 2   a1a1  Nếu  a1 , a2  khơng (sj) h 1   h 2  Nếu  a1 , a2  (sj) với j : 1   s j s j   h 1   h    s j   s j  h    h   eh    h   h    h  2   Vậy trường hợp ta ln có h 1   h 2   h xác định h đồng cấu nhóm Xây dựng h1: Do Fn nhóm tự do, ta định nghĩa h1 theo phần tử sinh (sj) = (aj, aj’) Gọi  j đường T từ a0 đến aj , j đường T từ a0 đến a j h1   s j   lớp tương đương cạnh đường    j s j  j h1  s j  xác định độc lập với  j (vì T nên liên thơng, theo định lý 2.3.4 đường từ a0 đến aj tương đương cạnh với  j ) Khi đó, h1 mở rộng đồng cấu từ Fn  E(K, a0) Vì với phần tử sinh  s j  Fn ta có: h.h1   s j    h  j s j  j    s j  nên h.h1 đồng Nếu   1s j  s j  k s j  k 1 đường K thì:  h1.h    h1 s j1  k   s   s  1   j1 s j1 j1 1 j2   1 jk 1 j2 s j2 j2    1 jk   j1 s j1 j1 j2 s j2  j2  jk s jk  jk Trong đó:   j s ji xuất s ji i j  i   j s ji xuất s ji i s jk  jk  1 39   j s ji xuất s ji i  j  i   j s ji xuất s ji i  Nhưng 1 ,  j đường T từ a0 đến điểm gốc s ji Do T liên thông nên 1 ,  j tương đương cạnh Tương tự  ,  j  j tương đương 1 E cạnh Tiếp tục trình nên ta h1.h    hay h1.h đồng 2.3.12 Các ví dụ: Ví dụ Nhóm biên tam giác đẳng cấu với nhóm tự F1 Gọi K phức đơn hình tạo biên tam giác, suy K đồ thị liên thông đường Ta có:   K      n     K   Vậy theo định lý 2.3.11, 1  K , a0  Fn  F1 Hình 13 (a0 đỉnh tam giác) Hơn nữa, K khung chiều đơn hình chiều nên S đồng phơi với K Vì 1  S  F1 Ví dụ Cho p1 , p2  p  L 1  L , p  , p1  p2 Đặt L    p1 , p2  Khi với F2 Thật vậy, ta xét K đồ thị hình 14 (p1, p2 khơng thuộc K) Khi đó, K L có kiểu đồng luân vì: a1 a3 a2  p1  p2 a4 a0 Hình 14 40   Hình 15 Ánh xạ L  K xác định phép chiếu hình 15 Ánh xạ K  L ánh xạ đồng K Suy 1  L, p  1  K , a0  Mà   K     1 nên n     K   Khi đó, theo định lý 2.3.11 1  K , a0  F2 hay 1  L, p  F2 Ví dụ Hình xuyến thu cách dán hai đơn hình chiều sau (Hình 16): - dán cạnh c, hình vng - dán tiếp cạnh a, hình trụ v b a c - dán cạnh b hình xuyến Gọi K phức đơn hình tạo xuyến v v K khung chiều K Khi đó, K đồ thị liên thông đường Và   K     2  n    2   Vậy, 1  K , a0  F3 a v b Hình 16 41 2.3.13 Hệ Nhóm phức đơn hình đẳng cấu với nhóm thương nhóm tự Chứng minh Gọi K phức đơn hình K khung chiều K Theo định nghĩa nhóm đường gấp khúc,    K   thuộc K Do ánh xạ: i : E  K , a0   E  K , a0  (a0 đỉnh K) tồn ánh Theo định lý 2.2.13 ta có: E  K , a0  1  K , a0  ; E  K , a0  1  K , a0  nên   i : 1 K , a0  1  K , a0  toàn ánh Do K đồ thị nên theo định lý 2.3.11 1  K , a0  Fn Vì vậy, i : Fn  1  K , a0  toàn ánh Gọi H  ker i , theo định lý đồng cấu thì: 1  K , a0  Fn H 2.3.14 Nhận xét H  ker i nhóm nhóm tự Fn sinh đường có dạng: 1 a1a2 a2 a3 a3a1  21 , 1 ,  đường T từ a0 tới a1  a1 , a2 , a3  đơn hình chiều K Chứng minh Giả sử    H   đường K có điểm điểm gốc a0 C      a0 a0    a0 a0 thỏa mãn i*     a0 a0       K Vì tính tương đương cạnh đường xác định đỉnh, đỉnh thuộc đơn hình Do theo chứng minh định lý 2.3.11  có dạng:   1 a1a2 a2 a3 a3a1  21 , 1 ,  đường T từ a0 tới a1  a1 , a2 , a3  đơn hình chiều K 42 2.3.15 Ví dụ: A K phức đơn hình chiều hình 16 Ta có  A, C  ,  A, D  ,  C, D  đơn hình mở bỏ để: K   A, C  ,  A, D ,  C, D T B Mỗi đường K có dạng: D   1s1 s2  k sk k 1 đó,  i đường T, C Hình 16 si  A, C  ,  A, D  ,  C, D  Vì đơn hình mở si K ln có đơn hình chứa đỉnh nên thay chúng tích đường T Do đó,  biểu diễn dạng tích đường T, T co rút điểm K nên  E     BB Suy ánh xạ: i : E K , B  E  K , B  có ker i  E K , B , 1  K , B    43 KẾT LUẬN Trong luận văn này, đạt kết sau: Trình bày số khái niệm tính chất quan hệ đồng luân Xây dựng khái niệm tính chất nhóm khơng gian tơpơ Trình bày cách có hệ thống khái niệm đơn hình, phức đơn hình, đưa ví dụ minh họa Trình bày khái niệm ánh xạ đơn hình, xấp xỉ đơn hình chứng minh chi tiết định lý xấp xỉ đơn hình, cụ thể định lý 2.1.5, 2.1.7, 2.1.8 Xây dựng khái niệm chứng minh chi tiết tính chất quan hệ tương mật tiếp, tương đương đương cạnh, cụ thể định lý 2.2.5, 2.2.13 Trình bày khái niệm tính chất đồ thị, cây, chứng minh chi tiết đưa ví dụ áp dụng định lý hệ nhóm đồ thị (Định lý 2.3.11, hệ 2.3.13, ví dụ 2.3.12, 2.3.15) Mơ tả hạt nhân ánh xạ i (nhận xét 2.3.14) Hướng nghiên cứu luận văn là: Tính nhóm đa diện, từ chứng minh hai đa diện khơng đồng phơi Tìm hiểu tích phức đơn hình 44 TÀI LIỆU THAM KHẢO Tiếng Việt: [1] Nguyễn Duy Bình, Bài giảng tơpơ đại số, Đại học Vinh, 2009 [2] Nguyễn Văn Đoành - Tạ Mân, Nhập môn tôpô đại số, NXB Đại học Sư Phạm, 2009 [3] Hoàng Tụy, Nguyễn Xuân My, Nguyễn Văn Khuê, Hà Huy Khoái, Mở đầu số lý thuyết đại tôpô đại số, NXB Đại học THCN, 1979 Tiếng Anh: [4] E.H Spanier, Algebraic Topology, McGraw-Hill, 1966 [5] A.Hatcher, Algebraic Topology, Cambridge University press, 2002 [6] S.R.Lay, Convex Sets and Their Applications, Wiley - Intersciece, 1982 [7] I.M.Singer and J.A.Thorpe, Lecture Notes on Elementary Topology and Geometry, Springer, 1967 ... hình nhóm chúng Luận văn chia làm hai chương sau: Chương Các kiến thức sở 1.1 Đồng luân 1.2 Nhóm 1.3 Phức đơn hình Chương Nhóm phức đơn hình 2.1 Ánh xạ đơn hình 2.2 Nhóm phức đơn hình 2.3 Nhóm. .. 1.3.8 Định nghĩa Phức đơn hình L gọi phức phức đơn hình K đơn hình thuộc L thuộc K 1.3.9 Định nghĩa Cho K phức đơn hình có chiều k, khung r chiều phức đơn hình K tập hợp đơn hình K có chiều khơng... K 19 CHƢƠNG NHĨM CƠ BẢN CỦA PHỨC ĐƠN HÌNH Trong chương này, chúng tơi trình bày kiến thức nhóm phức đơn hình nhóm đồ thị - trường hợp đặc biệt phức đơn hình 2.1 Ánh xạ đơn hình 2.1.1 Định nghĩa