Nguyên lí ánh xạ co trong không gian đều

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: NGUYÊN LÍ ÁNH XẠ CO TRONG KHƠNG GIAN ĐỀU LUẬN VĂN THẠC SĨ Năm: BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC Chuyên ngành: : Mã số: : LUẬN VĂN THẠC SĨ Người hướng dẫn TS 1 PHẦN MỞ ĐẦU Khái niệm sở quy P.S Alexandroff đưa vào năm 1960 Năm 1962, A.V Arhangel’skii chứng minh không gian X ảnh compact mở không gian mêtric X có sở quy theo điểm Sau đó, S Lin đưa khái niệm ánh xạ 1-phủ dãy vào năm 1996 Trong [4], Shou Lin chứng minh kết T1-khơng gian quy rằng, khơng gian X có mạng -mạnh gồm cs -phủ đếm X có mạng -mạnh gồm cs-phủ hữu hạn, X khơng gian đối xứng có sở yếu đếm 776 2 Mở rộng Dorroh mở rộng ∆U -vành Mệnh đề Cho R vành Khi đó, điều kiện sau tương đương (1) R ∆U -vành (2) ∆(R) = U◦ (R) (3) Ánh xạ ε : (∆(R), ◦) → (U (R), ) cho ε(x) = − x đẳng cấu nhóm Chứng minh (1) ⇒ (2) Giả sử R ∆U -vành Mỗi x ∈ ∆(R), ta có − x ∈ U (R), x = − (1 − x) ∈ U◦ (R) Suy ∆(R) ⊆ U◦ (R) Ngược lại, y ∈ U◦ (R) − y ∈ U (R) = + ∆(R) Suy y ∈ ∆(R) hay ∆(R) = U◦ (R) (2) ⇒ (3) Hiển nhiên (3) ⇒ (1) Giả sử ánh xạ ε : (∆(R), ◦) → (U (R), ) cho ε(x) = − x đẳng cấu nhóm Khi u ∈ U (R), tồn x ∈ ∆(R) thỏa mãn u = ε(x) = − x Điều nghĩa U (R) ⊆ + ∆(R) hay U (R) = + ∆(R) Nếu R vành, mở rộng Dorroh vành có đơn vị Z ⊕ R, với phép toán cộng cộng theo thành phần phép nhân cho (n1 , r1 )(n2 , r2 ) = (n1 n2 , r1 r2 + n1 r2 + n2 r1 ) Chú ý Cho R vành có đơn vị Khi (1) u ∈ U (R) − u ∈ U◦ (R) (2) (1, u − 1) ∈ U (Z ⊕ R) với u ∈ U (R) (3) (1, −x)(1, −y) = (1, −x◦y) (−1, x)(−1, y) = (1, −x◦y) với x, y ∈ R Định lý Cho R vành có đơn vị Khi điều kiện sau tương đương (1) Mở rộng Dorroh Z ⊕ R ∆U -vành; (2) R ∆U -vành Chứng minh (1) ⇒ (2) Lấy u ∈ U (R) Khi − u ∈ U◦ (R) Tồn v ∈ R thỏa mãn (1 − u) ◦ v = = v ◦ (1 − u) Khi ta có (1, u−1)(1, −v) = (1, −(1−u))(1, −v) = (1, −(1−u)◦v) = (1, 0) = (1, −v)(1, u−1) Điều nghĩa (1, u − 1) ∈ U (Z ⊕ R) Vì Z ⊕ R ∆U -vành, (1, u − 1) ∈ + ∆(Z ⊕ R) (0, u − 1) ∈ ∆(Z ⊕ R) Tiếp theo, ta U (R) = + ∆(R) Thật vậy, t ∈ U (R), ta có + t ∈ U◦ (R), (1 + t) ◦ s = = s ◦ (1 + t) với s ∈ R Khi (−1, + t)(−1, s) = (1, −(1 + t) ◦ s) = (1, 0) = (−1, s)(−1, + t) Do (−1, + t) ∈ U (Z ⊕ R) Theo định nghĩa ∆, ta có (0, u − 1) + (−1, + t) ∈ U (Z ⊕ R) (−1, u + t) ∈ U (Z ⊕ R) Đặt x = u + t Khi đó, (−1, x) ∈ U (Z ⊕ R) (1, −x) ∈ U (Z ⊕ R) Suy tồn (1, −y) ∈ Z ⊕ R thỏa mãn (1, −x)(1, −y) = (1, 0) = (1, −y)(1, −x) Ta có x ◦ y = = y ◦ x nên x ∈ U◦ (R) Vì − x ∈ U (R) nên x − = u + t − ∈ U (R) Suy u + t − = (u − 1) + t ∈ U (R) với t ∈ U (R) Điều nghĩa u − ∈ ∆(R), u ∈ + ∆(R) (2) ⇒ (1) Giả sử R ∆U -vành Ta mở rộng Dorroh Z ⊕ R ∆U -vành, nghĩa U (Z ⊕ R) = + ∆(Z ⊕ R) Lấy ω ∈ U (Z ⊕ R) Khi đó, ω có dạng ω = (1, a) ω = (−1, b) với a, b ∈ R Trường hợp ω = (1, a) ∈ U (Z ⊕ R): Lấy x = −a, tồn (1, −y) Z ⊕ R thỏa mãn (1, −x)(1, −y) = (1, 0) = (1, −y)(1, −x) Điều có nghĩa x◦y = = y ◦x x ∈ U◦ (R), 1+a = 1−x ∈ U (R) Từ R ∆U -vành, 1+a ∈ 1+∆(R) Vì a ∈ ∆(R) a+U (R) ⊆ U (R) Tiếp theo ta chứng minh (1, a) ∈ + ∆(Z ⊕ R), nghĩa ta chứng minh (0, a) + U (Z ⊕ R) ⊆ U (Z ⊕ R) Với α ∈ U (Z ⊕ R), α có dạng (1, u) (−1, v) với u, v ∈ R Nếu α = (1, u), từ chứng minh ω ta có + u ∈ U (R) Từ a + U (R) ⊆ U (R), ta lấy a + + u ∈ U (R), −(a + u) ∈ U◦ (R) Lấy b ∈ R với (−(a + u)) ◦ b = = b ◦ (−(a + u)) Đặt c = −(a + u) Khi c ◦ b = b ◦ c (1, a + u)(1, −b) = (1, −c)(1, −b) = (1, −b ◦ c) = (1, 0) = (1, −b)(1, a + u) Ta suy (1, a + u) ∈ U (Z ⊕ R) Hơn nữa, ta có (0, a) + α = (1, a + u) ∈ U (Z ⊕ R), nghĩa (0, a) + U (Z ⊕ R) ⊆ U (Z ⊕ R) Nếu α = (−1, v) ∈ U (Z⊕R), (−1, v)(−1, d) = (1, 0) = (−1, d)(−1, v) với d ∈ R Ta suy v◦d = = d◦v = v ∈ U◦ (R), 1−v ∈ U (R) Khi đó, v − ∈ U (R) Từ a + U (R) ⊆ U (R), ta có a + v − ∈ U (R) − (a + v) ∈ U (R) Do đó, a + v ∈ U◦ (R) Nghĩa tồn e ∈ R thỏa mãn (a + v) ◦ e = = e ◦ (a + v), (−1, a + v)(−1, e) = (1, −(a + v) ◦ e) = = (−1, e)(−1, a+v) Điều có nghĩa (−1, a+v) ∈ U (Z ⊕R) Hơn nữa, ta có (0, a) + α = (−1, a + v) ∈ U (Z ⊕ R) Do đó, (0, a) + U (Z ⊕ R) ⊆ U (Z ⊕ R) Trường hợp ω = (−1, a) ∈ U (Z ⊕ R): Tương tự Trường hợp Cho C vành vành D, tập hợp R[D, C] := {(d1 , , dn , c, c ) : di ∈ D, c ∈ C, n ≥ 1}, với phép cộng phép nhân định nghĩa theo thành phần gọi vành mở rộng đuôi ký hiệu R[D, C] Mệnh đề R[D, C] ∆U -vành D C ∆U -vành Chứng minh (:⇒) Đầu tiên ta chứng minh D ∆U -vành Lấy u tùy ý thuộc U (D) Khi u¯ = (u, 1, 1, 1, ) ∈ U (R[D, C]) Theo giả thuyết, u¯ ∈ + ∆(R[D, C]), (u − 1, 0, 0, 0, ) + U (R[D, C]) ⊆ U (R[D, C]) Do đó, với v ∈ U (D), (u − + v, 1, 1, 1, ) = (u − 1, 0, 0, 0, ) + (v, 1, 1, 1, ) ∈ U (R[D, C]) Vì u − + v ∈ U (D), nghĩa u − ∈ ∆(D) u ∈ + ∆(D) Để C ∆U -vành, ta lấy v ∈ U (C) thỏa mãn v¯ = (1, , 1, v, v, ) ∈ U (R[D, C]) chứng minh (⇐:) Giả sử D C ∆U -vành Lấy u¯ = (u1 , u2 , , un , v, v, ) ∈ U (R[D, C]), ui ∈ U (D) với ≤ i ≤ n v ∈ U (C) ⊆ U (D) Ta u¯ ∈ ∆(R[D, C]) u¯ − + U (R[D, C]) ⊆ U (R[D, C]) Thật vậy, tất a¯ ∈ (a1 , a2 , , am , b, b, ) ∈ U (R[D, C]) ∈ U (D), ≤ i ≤ m b ∈ U (C) ⊆ U (D) Lấy k = max{m, n} Khi đó, ta có u1 , u2 , , un ∈ U (D), v ∈ U (C) ⊆ U (D) ta suy u1 − + U (D), u2 − + U (D), , un − + U (D) ⊆ U (D), v − + U (D) ⊆ U (D) v − + U (C) ⊆ U (C) Ta có u¯ − = (u1 − 1, u2 − 1, , un − 1, un+1 − 1, , uk − 1, v − 1, v − 1, ), với uj = v j ≥ k , a ¯ = (a1 , a2 , , am , am+1 , , ak , b, b, ), với al = b với l ≥ m Khi ta có u¯ − + a ¯ = (u1 − + a1 , u2 − + a2 , , uk − + ak , v − + b, v − + b, ) Lưu ý ui − + ∈ U (D) với ≤ i ≤ k v − + b ∈ U (C) Ta suy u¯ − + a ¯ ∈ R[U (D), U (C)] = U (R[C, D]) Vì u¯ − ∈ ∆(R[D, C]) u¯ ∈ + ∆(R[D, C]), hay R[D, C] ∆U -vành Độ giao hốn tương đối nhóm Ta bắt đầu định nghĩa độ giao hoán nhóm Định nghĩa Cho G nhóm H nhóm G Ký hiệu C = {(h, g) ∈ H × G | hg = gh} Độ giao hốn tương đối nhóm H G, ký hiệu Pr(H, G), định nghĩa sau Pr(H, G) = |C| |H||G| Từ Định nghĩa ?? ta thấy Pr(G, G) = Pr(G), Pr(G) độ giao hốn nhóm G định nghĩa Định nghĩa 13 Sau số ví dụ độ giao hốn tương đối số nhóm Ví dụ Xét nhóm nhị diện D3 cho phần tử sinh hệ thức xác định sau D3 = ⟨r, s | r3 = s2 = 1, s−1 rs = r−1 ⟩ Khi D3 = {1, r, r2 , s, rs, r2 s} phép nhân phần tử D3 cho bảng sau • 1 r r2 s rs r2 s r r2 s rs r2 s r r r2 r2 r2 r rs r2 s s r s s rs s s rs r2 s r r2 r2 s r2 s s rs r r2 r rs rs r2 s s r2 Bằng cách đếm trực tiếp theo Định nghĩa ?? ta có bảng sau Các nhóm H = {1} H = ⟨r⟩ H = ⟨s⟩ H = ⟨rs⟩ H = ⟨r2 s⟩ H = D3 |C| 12 8 18 Pr(H, D3 ) 3 3 Ví dụ Xét nhóm nhị diện D4 cho phần tử sinh hệ thức xác định sau D4 = ⟨r, s | r4 = s2 = 1, s−1 rs = r−1 ⟩ Khi D4 = {1, r, r2 , r3 , s, rs, r2 s, r3 s} phép nhân phần tử D4 cho bảng sau • 1 r r2 r3 s rs r2 s r3 s r r2 r3 s rs r2 s r3 s r r r2 r3 r2 r2 r3 r3 r3 1 r r2 s r3 s s rs r r2 rs r2 s r3 s s r s s rs r2 s s s rs r2 s r3 s r r2 r3 rs rs r2 s r3 s s r3 r r2 r2 s r2 s r3 s s rs r2 r3 r3 s r3 s s rs r2 s r r2 r3 r Bằng cách đếm trực tiếp theo Định nghĩa ?? ta có bảng sau Các nhóm H = {1} H = ⟨r⟩ H = ⟨r2 , s⟩ H = ⟨r2 , rs⟩ H = ⟨s⟩ |C| 24 24 24 12 Pr(H, D4 ) 4 4 Các nhóm H = ⟨rs⟩ H = ⟨r2 s⟩ H = ⟨r3 s⟩ H = ⟨r2 ⟩ H = D4 |C| 12 12 12 16 40 Pr(H, D4 ) 4 Ví dụ Xét nhóm quaternion Q8 cho phần tử sinh hệ thức xác định sau Q8 = ⟨r, s | r4 = 1, s2 = r2 , s−1 rs = r−1 ⟩ Khi Q8 = {1, r, r2 , r3 , s, rs, r2 s, r3 s} phép nhân phần tử Q8 cho bảng sau • 1 r r2 r3 s rs r2 s r3 s r r2 r3 s rs s2 s r3 s r r r2 r3 r2 r2 r3 r3 r3 1 r r2 s r3 s s rs r r2 rs r2 s r3 s s r s s rs r2 s s s rs r2 s r3 s r2 r3 rs rs r2 s r3 s s r r2 r3 r r2 s r2 s r3 s s rs r r2 r3 r3 s r3 s s rs r2 s r3 r r2 Bằng cách đếm trực tiếp theo Định nghĩa ?? ta có bảng sau Các nhóm H = {1} H = ⟨r⟩ H = ⟨r2 ⟩ H = ⟨s⟩ H = ⟨rs⟩ H = Q8 |C| 24 16 24 24 40 Pr(H, Q8 ) 4 Từ định nghĩa độ giao hốn tương đối ta có kết sau Mệnh đề Cho G nhóm H nhóm G Khi X X Pr(H, G) = |H||G| |CG (x)| = x∈H |H||G| |CH (y)| y∈G Chứng minh Ký hiệu C = {(x, y) ∈ H × G | xy = yx} Với x ∈ H số cặp phần tử (x, y) ∈ C |CG (x)| CG (x) tâm hóa x G Với y ∈ G số cặp phần tử (x, y) ∈ C |CH (y)| CH (y) tâm hóa y H Cho nên ta có X X |C| = |CG (x)| = x∈H |CH (y)| y∈G Từ suy cơng thức cần chứng minh Kết sau cho ta công thức tính độ giao hốn tương đối nhóm chuẩn tắc nhóm nhờ số lớp liên hợp Mệnh đề Cho G nhóm H nhóm chuẩn tắc G Khi Pr(H, G) = k |H| k số lớp liên hợp G nằm H Chứng minh Với x ∈ G bất kỳ, ký hiệu lớp liên hợp x G O(x) Khi ta có |O(x)| = |G : CG (x)| N |CN (y)| S∈G/N y∈S Áp dụng Bổ đề ?? từ suy X X X X |H||G| Pr(H, G) ⩽ |CH/N (yN )||CN (y)| = |CH/N (S)| |CN (y)| S∈G/N y∈S = X S∈G/N |CH/N (S)| S∈G/N X x∈N |CS (x)| = X |CH/N (S)| S∈G/N y∈S X |S ∩ CG (x)| x∈N Nếu S ∩ CG (x) ̸= ∅ tồn x0 ∈ S ∩ CG (x) S = N x0 Khi ta có S ∩ CG (x) = N x0 ∩ CG (x)x0 = (N ∩ CG (x))x0 = CN (x)x0 45 Từ suy |S ∩ CG (x)| = |CN (x)x0 | = |CN (x)| Nếu S ∩ CG (x) = ∅ rõ ràng = |S ∩ CG (x)| < |CN (x)| Do trường hợp ta có |S ∩ CG (x)| ⩽ |CN (x)| Từ suy X X X X |H||G| Pr(H, G) ⩽ |CH/N (S)| |S ∩ CG (x)| ⩽ |CH/N (S)| |CN (x)| x∈N S∈G/N S∈G/N x∈N = |H/N ||G/N | Pr(H/N, G/N )|N | Pr(N ) = |H||G| Pr(H/N, G/N ) Pr(N ) Do Pr(H, G) ⩽ Pr(H/N, G/N ) Pr(N ) Cuối cùng, giả sử N ∩ [H, G] = Ta chứng minh xảy dấu đẳng thức Khi đó, theo Bổ đề ?? ta có CH (y)N = CH/N (yN ) với y ∈ G N Theo lập luận ta có |H||G| Pr(H, G) = X |CH/N (S)| S∈G/N X |S ∩ CG (x)| x∈N Vì N ◁ G [N, G] ⩽ N Do từ giả thiết suy [N, G] = N ∩ [N, G] ⩽ N ∩ [H, G] = 1, hay N ⩽ Z(G) Từ suy CG (x) ∩ S = G ∩ S ̸= ∅ với x ∈ N với S ∈ G/N Do |S ∩ CG (x)| = |CN (x)| với x ∈ N Từ suy xảy dấu đẳng thức Trong trường hợp đặc biệt, tích trực tiếp ta có kết sau Mệnh đề 16 Cho N H hai nhóm, N1 H1 tương ứng nhóm N H Khi Pr(N1 × H1 , N × H) = Pr(N1 , N ) Pr(H1 , H) 46 Chứng minh Giả sử x = (x1 , x2 ) ∈ N1 × H1 Khi CN ×H (x) = {(a1 , a2 ) ∈ N × H | (x1 , x2 )(a1 , a2 ) = (a1 , a2 )(x1 , x2 )} = {(a1 , a2 ) ∈ N × H | (x1 a1 , x2 a2 ) = (a1 x1 , a2 x2 )} Do |CN ×H (x)| = |CN (x1 )||CH (x2 )| Từ suy X X |CN ×H (x)| = x∈N1 ×H1 X |CN (x1 )| x1 ∈N1 |CH (x2 )| x2 ∈H1 Áp dụng Mệnh đề ?? ta có Pr(N1 × H1 , N × H) = |N1 × H1 ||N × H| = |N1 ||H1 ||N ||H| = |N1 ||N | X X |CN ×H (x)| x∈N1 ×H1 X |CN (x1 )| x1 ∈N1 |CN (x1 )| x1 ∈N1 X |CH (x2 )| x2 ∈H1 X |CH (x2 )| |H1 ||H| x2 ∈H1 = Pr(N1 , N ) Pr(H1 , H) Vây ta có điều phải chứng minh Đặc biệt, ta có kết sau Hệ 17 Cho H N hai nhóm Khi Pr(H, N × H) = Pr(H) Đối với tích nửa trực tiếp vấn đề tính độ giao hốn tương đối trở nên phức tạp nhiều Trong phần lại mục ta trường hợp đặc biệt Mệnh đề sau cho ta cơng thức tính độ giao hốn tương đối nhóm abel với tích nửa trực tiếp nhóm xiclíc cấp Mệnh đề 17 Cho A nhóm giao hốn, α tự đẳng cấu A cho α2 = idA C2 = ⟨u⟩ nhóm xiclíc cấp với u phần 47 tử sinh Ký hiệu G = θ C2 tích nửa trực tiếp A nhóm xiclíc C2 = ⟨u⟩ với tác động θ : C2 → Aut(A) cho cơng thức θ(u) = α Khi Pr(A, G) = |Aα | + 2|A| Aα = {a ∈ A | α(a) = a} Chứng minh Giả sử x = (x1 , 1) ∈ A Khi ta có CG (x) = CA (x) ∪ CG\A (x) Vì A nhóm giao hốn nên CA (x) = A Ta có CG\A (x) = {(a, u) ∈ G \ A | (x1 , 1)(a, u) = (a, u)(x1 , 1)} = {(a, u) ∈ G \ A | (x1 a, u) = (aθ(u)(x1 ), u)} = {(a, u) ∈ G \ A | (ax1 , u) = (aα(x1 ), u)} Ta xét hai trường hợp x1 sau Trường hợp 1: x1 ∈ Aα Khi aα(x1 ) = ax1 với a ∈ A Do |CG\A | = |A| Trường hợp 2: x1 ∈ A \ Aα Khi aα(x1 ) ̸= ax1 với a ∈ A Do CG\A = ∅, |CG\A | = Từ suy X X X X |CG (x)| = x∈A (|CA (x)| + |CG\A (x)|) = x∈A |CA (x)| + x∈A = |A|2 + X |CG\A (x)| + x∈Aα X |CG\A (x)| x∈A |CG\A (x)| x∈A\Aα = |A| + |A||Aα | + = |A|(|A| + |Aα |) Theo Mệnh đề ?? ta có Pr(A, G) = X |CG (x)| |A||G| x∈A = |A| |C2 | |A|(|A| + |Aα |) = Vậy ta có điều phải chứng minh |A| + |Aα | |Aα | = + 2|A| 2|A| 48 13 Các vành nhóm Ánh xạ ε : RG → R cho ε( X g rg g) = X rg ánh xạ mở rộng g Iđêan ∇(RG) = ker(ε) gọi iđêan mở rộng Định lý 20 Cho G nhóm hữu hạn với cấp + 2n R ∆U -vành Khi RG ∆U -vành iđêan mở rộng ∇(RG) ∆U -vành Chứng minh Đặt ∇ = ∇(RG) Giả sử G nhóm hữu hạn có cấp 1+2n R ∆U -vành Theo Mệnh đề 48, ta có ∈ ∆(R), 1+2n ∈ U (R) Khi RG có biểu diễn RG = ∇⊕H với H ∼ = R theo [4] Đặt ∇ = eRG H = (1 − e)RG Rõ ràng e phần tử tâm RG Nếu RG ∆U -vành, ∇ = eRG ∆U -vành theo Mệnh đề 49 Ngược lại, giả sử ∇ = eRG ∆U -vành Vì H ∼ = R nên H ∆U -vành Theo Bổ đề 12, RG ∆U -vành Một nhóm gọi hữu hạn địa phương nhóm sinh hữu hạn phần tử hữu hạn Bổ đề Nếu G 2-nhóm hữu hạn địa phương R ∆U -vành với ∆(R) lũy linh, ∇(RG) ⊆ ∆(RG) Chứng minh Giả sử G 2-nhóm hữu hạn địa phương R ∆U -vành ¯ Suy Khi R¯ := R/J(R) ∆U -vành Từ ∆(R) lũy linh, ∈ N (R) ¯ ⊆ N (RG) ¯ ¯ ∇(RG) theo [4, Hệ quả, trang 682] Do đó, ∇(RG) iđêan lũy ¯ linh chứa J(RG) Ta kiểm tra J(R)G ⊆ J(RG), J((R/J(R))G) ∼ = J(RG/J(R)G) = J(RG)/J(R)G Do ∇(RG) ⊆ J(RG) ⊆ ∆(RG) Định lý 21 Cho R ∆U -vành G 2-nhóm hữu hạn địa phương Nếu ∆(R) lũy linh, RG ∆U -vành Chứng minh Lấy u ∈ U (RG) Khi ε(u) = + ε(u − 1) ∈ U (R) theo Bổ đề 16 (1) áp dụng cho ánh xạ mở rộng ε i Vì R ∆U -vành nên tồn j ∈ ∆(R) thỏa mãn ε(u) = + j Theo Bổ đề 16 (1) ta có ε(u − + j) = hay u − + j ∈ ∇(RG) ⊆ ∆(RG) Do u ∈ − j + ∆(RG) suy u ∈ + ∆(RG) 49 Hệ 18 Cho R vành hoàn chỉnh phải trái G 2-nhóm hữu hạn địa phương Khi đó, R ∆U -vành RG ∆U -vành 14 Không gian hàm khả vi liên tục C1 (Ω) Định nghĩa 12 Cho Ω ⊂ Rn tập mở (i) Cho f : Ω → R i = 1, , n, ta nói f liên tục khả vi cấp ∂f = Di f ∈ C0 (Ω)) có tồn g ∈ C0 (Ω) thỏa mãn ∂xi ∂f ∂f g= = Di f Ω, = Di f hiểu lớp đạo hàm ∂xi ∂xi riêng thứ i f i Ω (∃ (i)  C (Ω) :=  ∂f ∈ C0 (Ω), ∀i = 1, , n f ∈ C (Ω) : ∃ ∂xi (iii) Cho f C1 (Ω) Ta biểu thị ∥f ∥C1 = ∥f ∥C1 ,Ω = X ∥Dα f ∥∞,Ω |α|≤1 ∥.∥C1 gọi chuẩn C1 Định lý 22 Cho Ω ⊂ Rn tập mở, bị chặn Khi (C1 (Ω), ∥.∥C1 ) khơng gian Banach vô hạn chiều, không không gian Hilbert Chứng minh Ta xét trường hợp n = Ω = (a, b) Đầu tiên ta phải đầy đủ không không gian Hilbert Xét ánh xạ tuyến tính T : (C1 (Ω), ∥.∥C1 ) → (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ), T (f ) := (f, f ′ ) (20) ∥f, g∥C0 (Ω)×C0 (Ω) := ∥f ∥∞ + ∥g∥∞ (f, g) ∈ C0 (Ω) × C0 (Ω) Chú ý T đẳng cự, nghĩa ∥T (f )∥C0 (Ω)×C0 (Ω) = ∥f ∥C1 ∀f ∈ C1 (Ω) 50 Đặc biệt, ta định nghĩa M := T (C1 (Ω)), ánh xạ T : (C1 (Ω), ∥.∥C1 ) → (M, ∥.∥C0 (Ω)×C0 (Ω) ) đẳng cự Bài tập Cho (E, ∥.∥E ) (F, ∥.∥F ) khơng gian Banach Cho E × F với chuẩn ∥(x, y)∥F = ∥x∥E + ∥y∥F Khi (E × F, ∥(x, y)∥F ) khơng gian Banach Do đó, ta phải M đóng (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ), để hoàn thành chứng minh Giả sử ((fh , fh′ ))h ⊂ M dãy mà lim ∥(fh − f, fh′ − g)∥C0 (Ω)×C0 (Ω) = h→∞ (21) với (f, g) ∈ C0 (Ω) × C0 (Ω chứng minh ∃f ′ = g [a, b] (22) Theo (??), ta fh → f fh′ → g [a, b] hội tụ theo điểm Theo định lý tích phân cổ điển Z x fh′ (t)dt fh (x) − fh (a) = ∀x ∈ [a, b], ∀h, a ta lấy qua giới hạn, h → ∞, đồng thức trước theo (??) Bài tập Chỉ (C1 (Ω), ∥.∥C1 ) không gian Banach, X ∥Dα u∥∞ ∥u∥C1 := |α|≤1 51 Ω ⊂ Rn tập mở bị chặn C1 (Ω) khơng gian vector vơ hạn chiều chứa tập hợp đa thức C1 (Ω) không khơng gian Hilbert Tính compact (C1 (Ω), ∥.∥C1 ) Định lý 23 Cho F ⊂ C1 (Ω) Fi := {Di f : f ∈ F}, i = 1, , n Khi F compact (C1 (Ω), ∥.∥C1 ) F Fi , với i = 1, , , n (i) Bị chặn (C0 (Ω), ∥.∥C0 ); (ii) đóng (C0 (Ω), ∥.∥C0 ); (iii) liên tục Ω Chứng minh Ta xét trường hợp n = Ω = (a, b) Sự cần thiết: Chỉ rằng, F compact (C1 (Ω), ∥.∥C1 ), (i), (ii) (iii) Cho T : (C1 (Ω), ∥.∥C1 ) → (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ) ánh xạ định nghĩa (??) Trong chứng minh định lý ?? ta tồn T −1 : (M, ∥.∥C0 (Ω)×C0 (Ω) ) → (C1 (Ω), ∥.∥C1 ) liên tục Do F compact (C1 (Ω), ∥.∥C1 ) tương đương với T (F) compact (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ) Giờ ta quan sát, xác biểu thị πi : C0 (Ω) × C0 (Ω) → C0 (Ω), (i = 1, 2) phép chiếu không gian tọa độ, nghĩa πi (f1 , f2 ) = fi (f1 , f2 ) ∈ C0 (Ω) × C0 (Ω), πi liên tục Từ F compact (C1 (Ω), ∥.∥C1 ), T (F) compact (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ) Điều có nghĩa π1 (T (F)) = F π2 (T (F)) = F ′ compact (C0 (Ω), ∥.∥C0 ) Theo định lý Arzelà - Ascoli ta (i), (ii), (iii) Tính đầy đủ: Chứng minh 52 Bài tập F compact (C1 (Ω), ∥.∥C1 ), cho trước (i), (ii) (iii) Nhận xét 12 Cho F = BC1 ([a,b]) := {f ∈ C1 ([a, b]) : ∥f ∥C1 = ∥f ∥∞ + ∥f ′ ∥∞ ≤ 1} Khi F khơng compact (C1 ([a, b]), ∥.∥C1 ) theo định lý Riesz’s (nhớ C1 ([a, b]) không gian vô hạn chiều) Nhưng F compact tương đối (C0 ([a, b]), ∥.∥∞ ), nghĩa là, ∀(fh )h ⊂ F tồn (fhk )k f ∈ C0 ([a, b]) thỏa mãn lim ∥fhk − f ∥∞ = k→∞ Tính tách (C1 (Ω), ∥.∥C1 ) Định lý 24 (C1 (Ω), ∥.∥C1 ) tách Chứng minh Cho T : (C1 (Ω), ∥.∥C1 ) → (M, ∥.∥C0 (Ω)×C0 (Ω) ) ánh xạ định nghĩa (??) Vì T đồng phơi tính tách được bảo tồn qua phép đồng phôi, ta cần không gian (M, ∥.∥C0 (Ω)×C0 (Ω) ) khơng gian metric (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ) tách Điều tính tách (C0 (Ω), ∥.∥∞ ) (Định lý ??), tập ?? từ tính chất tách qua giới hạn đến không gian (Xem định lý ?? (ii)) 15 Các vành nhóm Ánh xạ ε : RG → R cho ε( X g rg g) = X rg ánh xạ mở rộng g Iđêan ∇(RG) = ker(ε) gọi iđêan mở rộng Định lý 25 Cho G nhóm hữu hạn với cấp + 2n R ∆U -vành Khi RG ∆U -vành iđêan mở rộng ∇(RG) ∆U -vành 53 Chứng minh Đặt ∇ = ∇(RG) Giả sử G nhóm hữu hạn có cấp 1+2n R ∆U -vành Theo Mệnh đề 48, ta có ∈ ∆(R), 1+2n ∈ U (R) Khi RG có biểu diễn RG = ∇⊕H với H ∼ = R theo [4] Đặt ∇ = eRG H = (1 − e)RG Rõ ràng e phần tử tâm RG Nếu RG ∆U -vành, ∇ = eRG ∆U -vành theo Mệnh đề 49 Ngược lại, giả sử ∇ = eRG ∆U -vành Vì H ∼ = R nên H ∆U -vành Theo Bổ đề 12, RG ∆U -vành Một nhóm gọi hữu hạn địa phương nhóm sinh hữu hạn phần tử hữu hạn Bổ đề Nếu G 2-nhóm hữu hạn địa phương R ∆U -vành với ∆(R) lũy linh, ∇(RG) ⊆ ∆(RG) Chứng minh Giả sử G 2-nhóm hữu hạn địa phương R ∆U -vành ¯ Suy Khi R¯ := R/J(R) ∆U -vành Từ ∆(R) lũy linh, ∈ N (R) ¯ ⊆ N (RG) ¯ ¯ ∇(RG) theo [4, Hệ quả, trang 682] Do đó, ∇(RG) iđêan lũy ¯ Ta kiểm tra J(R)G ⊆ J(RG), linh chứa J(RG) J((R/J(R))G) ∼ = J(RG/J(R)G) = J(RG)/J(R)G Do ∇(RG) ⊆ J(RG) ⊆ ∆(RG) Định lý 26 Cho R ∆U -vành G 2-nhóm hữu hạn địa phương Nếu ∆(R) lũy linh, RG ∆U -vành Chứng minh Lấy u ∈ U (RG) Khi ε(u) = + ε(u − 1) ∈ U (R) theo Bổ đề 16 (1) áp dụng cho ánh xạ mở rộng ε i Vì R ∆U -vành nên tồn j ∈ ∆(R) thỏa mãn ε(u) = + j Theo Bổ đề 16 (1) ta có ε(u − + j) = hay u − + j ∈ ∇(RG) ⊆ ∆(RG) Do u ∈ − j + ∆(RG) suy u ∈ + ∆(RG) Hệ 19 Cho R vành hoàn chỉnh phải trái G 2-nhóm hữu hạn địa phương Khi đó, R ∆U -vành RG ∆U -vành 54 16 Định lý tồn cho hệ thống tuyến tính Định lý 27 (Định lý tồn cho hệ thống tuyến tính) Cho I đoạn thực giả sử A ∈ C(I, Mn (F)), B ∈ C(I, F n ) Cho τ ∈ I, ξ ∈ F n tồn giải pháp X (IV P) đoạn I Chứng minh Cho t ∈ I , giả sử J = [c; d] đoạn bị chặn I cho τ, π ∈ J , Bởi định lý 7.3 tồn hàm Xj khác biệt đoạn [a, b] cho XJt (s) = A(s)XJ (s) + B(s), XJ (τ ) = ξ, s∈J Định nghĩa X(t) = Xj(t) Nếu ta chọn J1 = [c1 , c2 ] ⊂ I cho τ, t ∈ J1 , J1 ∩ J đoạn bị chặn chứa τ, t kết áp dụng cho đoạn cho thấy XJ1 (s) = XJ (s), s ∈ J1 ∩ J Đặc biệt, XJ1 (t) = XJ (t) Để định nghĩa X(t) khơng phụ thuộc vào J chọn Vì X có tính khả vi [a, b] thỏa mãn X ′ (t) = A(t)X(t) + B(t), X(τ ) = ξ, t∈I Nó giải pháp (IV P) đoạn I Nó nhất, Y mơt giải pháp I t thuộc I có đoạn nhỏ J chứa τ, t kết cho J ngụ ý X(t) = Y (t) Trước tiếp tục phát triển lý thuyết, xem xét ví dụ khác Xét tốn với n = : x′ = 3t2 x, x(0) = 1, t∈R Phương trình tích phân tương ứng Z t 3s2 x(s)ds = (T x)(t), x(t) = + t ∈ R Nếu x0 (t) = 1, Z xm+1 (t) = + t 3s2 xm (s)ds, m = 0, 1,