Tính cộng hưởng và không cộng hưởng của bài toán biên kỳ dị

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: TÍNH CỘNG HƯỞNG VÀ KHƠNG CỘNG HƯỞNG CỦA BÀI TỐN BIÊN KỲ DỊ 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 Năm 1931, K Borsuk S Ulam đưa khái niệm tích đối xứng không gian topo quan tâm nghiên cứu mối liên hệ tính chất topo có X có tích đối xứng cấp n (xem [1]) Hơn nữa, tác giả cịn chứng minh rằng, tích đối xứng cấp n thu từ khơng gian thương tích Cartesian Xn Trong năm gần đây, tích đối xứng cấp n thu hút nhiều người nghiên cứu topo đại cương giới quan tâm, tác giả quan tâm theo nhiều hướng nghiên cứu khác thu nhiều kết thú vị 113 2 KHÔNG GIAN CÁC HÀM LIÊN TỤC Nhận xét Định lý Arzelà - Ascoli khơng cịn C0 (A) A ⊂ Rn khơng compact Ví dụ lấy C0b (R) không gian hàm liên tục bị chặn R, nghĩa   0 Cb (R) := f ∈ C (R) : sup |f | < ∞ R Khi dễ thấy (C0b (R), ∥.∥∞ ) không gian Banach Giả sử f : R → R hàm định nghĩa ( − |x| x ≤ f (x) = x > Giả sử h : R → R, (h = 1, 2, ) định nghĩa fh (x) := f (x + h) giả sử F := {fh : h ∈ N} Khi dễ thấy họ hàm F ⊂ C0b (R) bị chặn liên tục Tuy nhiên F không compact (C0b (R), ∥.∥∞ ) Thật vậy, ý ∃f (x) := lim fh (x) = 0, ∀x ∈ R ∥fh − f ∥∞ = 1, ∀h h→∞ Điều có nghĩa dãy hội tụ (fh )h (C0b (R), ∥.∥∞ ) khơng chấp nhận Tính tách (C0b (R), ∥.∥∞ ) Định nghĩa Giả sử (X, τ ) khơng gian topo Khi (X, τ ) gọi thỏa mãn tiên đề hai tính đếm có sở đếm cho topo τ Định lý Giả sử (X, d) khơng gian metric Khi (i) (X, d) tách thỏa tiên đề thứ hai tính đếm (ii) Mỗi khơng gian (X, d) tách (X, d) tách (iii) Giả sử (Y, ϱ) không gian metric khác T : (X, d) → (Y, ϱ) đồng cấu Khi (X, d) tách (Y, ϱ) tách Nhận xét Phải nhấn mạnh mục quan trọng giải tích cho mục xấp xỉ Nghĩ số hợp lý chứng minh định lý Ascoli Cuối phải nhớ lại tiêu chuẩn để kiểm tra không gian topo không gian tách Mệnh đề Giả sử (X, τ ) không gian topo Giả sử tồn họ {Ui : i ∈ I} thỏa mãn (i) Ui tập mở với i ∈ I ; (ii) Ui ∪ Uj = ∅ i ̸= j (iii) I khơng đêm Khi (X, τ ) không tách Bài tập Giả sử l∞ := {x ∈ RN : sup |x(n)| < ∞} n∈N trang bị chuẩn ∥x∥l∞ := sup |x(n)| n∈N Hãy (l∞ , ∥.∥l∞ ) không gian Banach không tách Gợi ý: Giả sử I = 2N := {x : N → {0, 1}} ⊂ l∞ Ux = Bl∞  x,  n := y ∈ l ∞ : ∥y − x∥l∞ < o x ∈ I Khi ta xét họ {Ux : x ∈ I} sử dụng mệnh đề 13 Định lý Giả sử K ⊂ Rn tập compact Khi (C0 (K), ∥.∥∞ ) tách Chúng ta chứng minh cho trường hợp n = 1, K = [a, b] Trước ta cần phải nêu kết xấp xỉ quan trọng tốn giải tích Định lý (Định lý xấp xỉ Weierstrass) Giả sử f ∈ C([a, b]) Khi tồn dãy hàm đa thức ph : R → R, (h = 1, 2, ) với hệ số thực, nghĩa ph ∈ R[x], thỏa mãn ph → f [a, b] Nhận xét Bởi đa thức hàm đơn giản nhất, máy tính trực tiếp đánh giá đa thức Định lý có ý nghĩa lý thuyết thực tiễn Đặc biệt nội suy đa thức Chứng minh định lý 20 Chúng ta cần kết n = K = [a, b] Giả sử D tập hợp hàm đa thức với hệ số hữu tỷ, nghĩa là, D := Q[x] Ta biết D đếm Chứng minh D trù mật C0 ([a, b]), ∥.∥∞ ) tức ∀f ∈ C0 ([a, b]), ∀ϵ > 0, ∃q ∈ D cho ∥f − q∥∞ ≤ ϵ Từ định lý xấp xỉ Weierstrass, với ϵ > 0, tồn p ∈ R[x], nghĩa là, p(x) = αm xm + · · · + α1 x1 + α0 , với αi ∈ R, i = 0, 1, , m thỏa mãn ∥f − p∥∞ < ϵ (1) Định nghĩa q(x) := βm xm + · · · + β1 x1 + β0 với βi ∈ Q ϵ |αi − βi | < Pm i=0 c i , i = 0, 1, , m, c := max{|a|, |b|} Khi |p(x) − q(x)| ≤ m X i=0 ϵ |αi − βi ||x|i ≤ , ∀x ∈ [a, b] Do đó, từ (22) (23) ta ∥f − q∥∞ ≤ ∥f − p∥∞ + ∥p − q∥∞ ≤ ϵ ϵ + = ϵ 2 (2) Tính chất ∆U lớp vành Một phần tử r ∈ R gọi ∆-clean r biểu diễn thành r = e + t e phần lũy đẳng R t ∈ ∆(R) Vành R gọi ∆-clean phần tử R ∆-clean Chú ý, phẩn tử ∆-clean clean Mệnh đề Các điều kiện sau tương đương vành R (1) R ∆U -vành; (2) Tất phần tử clean R ∆-clean Chứng minh (1) ⇒ (2) Giả sử R ∆U -vành Lấy r ∈ R clean, r = e + u Vì R ∆U -vành, ta có u = + a với a ∈ ∆(R) Lưu ý − 2e ∈ U (R) = + ∆(R), 2e ∈ ∆(R) Khi 2e + a ∈ ∆(R) r = e + + a = (1 − e) + (2e + a) biểu diễn ∆-clean r (2) ⇒ (1) Lấy u ∈ U (R) Khi u clean nên theo giả thiết u ∆-clean Giả sử u = e + a biểu diễn ∆-clean u với a ∈ ∆(R) e lũy đẳng Ta có = eu−1 + au−1 suy eu−1 = − au−1 khả nghịch R Vì e = Điều nghĩa u = + a ∈ + ∆(R) U (R) = + ∆(R) Định lý Cho R vành, điều kiện sau tương đương (1) R clean ∆U -vành; (2) Nếu a ∈ R thỏa mãn a − a2 ∈ ∆(R), tồn tử phẩn tử lũy đẳng e ∈ R cho a − e ∈ ∆(R); (3) R ∆-clean ∆U -vành; (4) R vành ∆-clean Chứng minh (1) ⇔ (3) ⇔ (4) suy từ Mệnh đề ?? (1) ⇒ (2) Giả sử R clean ∆U -vành Khi đó, a ∈ R a − e ∈ ∆(R), với e lũy linh Tiếp theo ta chứng minh a − a2 ∈ ∆(R) Theo Mệnh đề ??, giả sử a = e + j biểu diễn ∆-clean a Khi a − a2 = (j − j ) − (ej + je) Chú ý j − j ∈ ∆(R) 2e ∈ ∆(R) Bây ta chứng minh ej + je ∈ ∆(R) Thậy vậy, ta có [ej(1 − e)]2 = = [(1 − e)je]2 theo Mệnh đề ?? ta ej − eje = ej(1 − e) ∈ ∆(R) je − eje = (1 − e)je ∈ ∆(R) Suy je − ej ∈ ∆(R) Vì ej + je = 2ej + (je − ej) ∈ ∆(R) (2) ⇒ (3) suy từ định nghĩa Rõ ràng Hệ 17 suy từ Định lý ?? Nghĩa vành đơn vị thỏa mãn tính chất ∆(R) = Cho vành R, phần tử a ∈ R gọi phần tử quy mạnh tồn x ∈ R thỏa mãn a = a2 x Một vành mà phần tử phần tử quy mạnh gọi vành quy mạnh Định lý Cho R vành Khi đó, điều kiện sau tương đương (1) R ∆U -vành quy; (2) R ∆U -vành quy mạnh; (3) R ∆U -vành quy đơn vị; (4) R thỏa mãn tính chất x2 = x với x ∈ R (R vành Boolean) Chứng minh (1) ⇒ (2) Từ R quy, iđêan phải khác khơng chứa phần tử lũy đẳng khác không Ta R vành rút gọn R aben (nghĩa là, phần tử lũy đẳng R tâm) Giả sử R vành rút gọn, tồn phần tử khác khơng a ∈ R thỏa mãn a2 = Theo Định lý 35, có phần tử lũy đẳng e ∈ RaR thỏa mãn eRe ∼ = M2 (T ), T vành khơng tầm thường Theo Mệnh đề ?? M2 (T ) ∆U -vành, điều mâu thuẫn Định lý ?? (2) ⇒ (3) Hiển nhiên (3) ⇒ (4) Cho x ∈ R Khi x = ue u ∈ U (R) e = e ∈ R Do R ∆U -vành, nên có u = hay y x = e, x lũy đẳng Chúng ta kết luận R vành Boolean (4) ⇒ (1) Hiển nhiên Một vành R gọi nửa quy R/J(R) quy phần tử lũy đẳng nâng lên modulo J(R) Vành R gọi vành biến đổi phần tử a ∈ R, tồn e2 = e ∈ aR thỏa mãn − e ∈ (1 − a)R Hồn tồn tương tự, có kết sau: Định lý Cho R vành Khi đó, điều kiện sau tương đương (1) R ∆U -vành nửa quy; (2) R ∆U -vành biến đổi; (3) R/J(R) vành Boolean Hệ Cho R ∆U -vành Khi đó, điều kiện sau tương đương (1) R vành nửa quy; (2) R vành biến đổi; (3) R vành clean Độ giao hoán tương đối nhóm Ta bắt đầu định nghĩa độ giao hố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 ?? 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 25 Khi Af tập mở f = hầu khắp nơi Af Tập đóng spte (f ) := Rn \ Af (ES) gọi support cần thiết f Rn Nhận xét (i) Từ định nghĩa (ES), suy ra, f1 = f2 hầu khắp nơi Rn , spte (f1 ) = spte (f2 ) (ii) Định nghĩa (S) (ES) giống hàm liên tục Chính xác Bài tập Nếu f : Rn → R liên tục, Rn \ Af = {x ∈ Rn : f (x) ̸= 0} Chứng minh mệnh đề Hiển nhiên Af tập mở Ta chứng minh f (x) = hầu khắp nơi x ∈ Af (21) Từ Rn không gian metric tách được, thỏa mãn tiên đề thứ hai tính đếm (Định lý 19) Do tồn họ đếm tập mở U = {Ui : i ∈ N} thỏa mãn với tập mở Rn hợp phần tử đếm U Với ω ∈ Af , giả sử ω = ∪i∈Jω Ui cho số phù hợp Jω ⊂ N cho J := ∪ω∈Af Jω Do Af = ∪i∈J Ui Từ f = hầu khắp nơi Ui với i ∈ J , theo (19) Một số kết liên quan Trong toàn luận văn, ký hiệu J(R) Jacobson vành R U (R) tập hợp tất phần tử khả nghịch vành R có đơn vị 26 Trong [?], tác giả định nghĩa vành R gọi U J -vành + J(R) = U (R) Cho S vành, khơng thiết phải có đơn vị, vị nhóm S◦ = (S, ◦) S tập hợp S với phép tốn ◦:S×S →S (x, y) 7→ x ◦ y = x + y − xy Mặt khác, S vành có đơn vị, S◦ đẳng cấu với vị nhóm (S, ) R với đẳng cấu ◦ : (S, ◦) → (S, ) x 7→ − x Cụ thể, y ∈ S khả nghịch vị nhóm S◦ (được gọi phần tử tựa khả nghịch hay phần tử tựa quy) − y phần tử khả nghịch vành S nhóm phần tử khả nghịch U (S) S đẳng cấu với nhóm U◦ (S) phần tử tựa khả nghịch S Phần tử nghịch đảo y S◦ gọi tựa nghịch đảo y Ta biết I = J(S) iđêan lớn S thỏa mãn U◦ (I) = I Bổ đề ([?], Bổ đề 1.1) Các điều kiện sau tương đương vành R cho: (1) U (R) = + J(R), hay R U J -vành; (2) U (R/J(R)) = {1}; (3) C(R) iđêan R (khi C(R) = J(R)), với C(R) tập phần tử tựa quy R; (4) rb − cr ∈ J(R), r ∈ R b, c ∈ C(R); (5) ru − vr ∈ J(R), u, v ∈ U (R) r ∈ R; (6) U (R) + U (R) ⊆ J(R) (khi U (R) + U (R) = J(R)) Một vành gọi hữu hạn Dedekind ab = ba = với a, b hai phần tử vành Mệnh đề ([?], Mệnh đề 1.3) Cho R U J -vành Khi 27 (1) ∈ J(R); (2) Nếu R thể, R ∼ = F2 ; (3) R rút gọn (khơng có phần tử lũy linh khác khơng) R giao hốn; (4) Nếu x, y ∈ R thỏa mãn xy ∈ J(R) yx ∈ J(R) xRy, yRx ⊆ J(R); (5) Giả sử I ⊆ J(R) iđêan R Khi R U J -vành R/I U J -vành; (6) R hữu hạn Dedekind; Y (7) Vành Ri U J -vành vành Ri U J -vành với i∈I i ∈ I Một vành R gọi nửa địa phương vành thương R/J(R) tổng trực tiếp iđêan phải cực tiểu Mệnh đề 10 ([?], Mệnh đề 1.4) Vành nửa địa phương R U J -vành R/J(R) ≃ F2 × × F2 Cho R vành có đơn vị Ta ký hiệu Mn (R) vành ma trận cấp n × n R Định lý 12 ([?], Định lý 3) Cho R vành tùy ý, có đơn vị n > Khi đó, phần tử Mn (R) tổng ba phần tử khả nghịch Mn (R) Cho R vành có đơn vị, phần tử a ∈ R gọi clean a có biểu diễn a = e + u e phần tử lũy đẳng R, u phần tử khả nghịch R Ta ký hiệu Cl(R) tập tất phần tử clean vành R Một vành R gọi clean R = Cl(R) Hệ ([?], Hệ 1.7) Cho R vành Khi đó, điều kiện sau tương đương (i) R vành rút gọn; 28 (ii) U (R[x]) = U (R); (iii) Cl(R[x]) = Cl(R) Cho R vành M song môđun vành R Một mở rộng tầm thường R M T (R, M ) = {(r, m) : r ∈ R m ∈ M }, với phép cộng theo thành phần phép nhân định nghĩa (r, m)(s, n) = (rs, rn + ms) Mệnh đề 11 ([?], Mệnh đề 4.9 (2)) Cho R vành M song môđun R Gọi T (R, M ) mở rộng tầm thường Khi tập phần tử khả nghịch T (R, M ) U (T (R, M )) = T (U (R), M ) Một vành R gọi I -vành iđêan phải lũy linh khác khơng chứa phần tử lũy đẳng khác không Một hệ n2 phần tử {eij } vành R gọi hệ ma trận khả nghịch ( j ̸= j ′ eij ej ′ k = ejk j = j ′ Định lý 13 ([?], Định lý 2.1) Cho R I -vành Nếu a phần tử lũy linh cấp n (nghĩa an = 0, an−1 ̸= 0) an−1 ∈ / J(R) iđêan (a) sinh a chứa hệ n ma trận khả nghịch Cấu trúc nhóm số nhóm hữu hạn Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ Ký hiệu Rk , Tl , Ui,j nhóm Dn có dạng sau Rk = ⟨rk ⟩, Tl = ⟨rl s⟩, Ui,j = ⟨ri , rj s⟩ với ⩽ k ⩽ n, ⩽ l ⩽ n − 1, ⩽ i ⩽ n − 1, ⩽ j ⩽ n − Sau số tính chất nhóm nhị diện, xem [?] Mệnh đề 12 Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ Khi 29 (i) Rk nhóm xiclíc cấp n , d = (n, k), với ⩽ k ⩽ n; d (ii) Tl nhóm xiclíc cấp với ⩽ l ⩽ n − 1; (iii) Ui,j nhóm nhị diện cấp 2n , d = (n, i), với i|n, ⩽ i ⩽ n− d ⩽ j ⩽ n − Mệnh đề 13 Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ Khi (i) Nếu n lẻ CDn (ri ) = R1 , CDn (1) = Dn , CDn (rj s) = Tj với ⩽ i ⩽ n − 1, ⩽ j ⩽ n − 1; (ii) Nếu n chẵn CDn (1) = Dn , CDn (rm ) = Dn , CDn (ri ) = R1 , CDn (rj s) = Um,j n với m = , ⩽ i ⩽ n − 1, i ̸= m, ⩽ j ⩽ n − Mệnh đề 14 Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ 3, H nhóm nhóm Dn Khi H nhóm sau Rk = ⟨rk ⟩, Tl = ⟨rl s⟩, Ui,j = ⟨ri , rj s⟩ với k|n, ⩽ k ⩽ n, ⩽ l ⩽ n − 1, i|n, ⩽ i ⩽ n − 1, ⩽ j ⩽ i − Cho nhóm quaternion suy rộng Q4n = ⟨r, s | r2n = 1, s2 = rn , s−1 rs = r−1 ⟩ với n ⩾ Ký hiệu Rk , Ui,j nhóm Q4n có dạng sau Rk = ⟨rk ⟩, Ui,j = ⟨ri , rj s⟩ với ⩽ k ⩽ 2n, ⩽ i ⩽ 2n, ⩽ j ⩽ 2n − Sau số tính chất nhóm quaternion suy rộng, xem [?] Mệnh đề 15 Cho nhóm quaternion suy rộng Q4n với n ⩾ Khi 30 2n , d = (2n, k), với ⩽ k ⩽ 2n; d 4n , d = (n, i), (ii) Ui,j nhóm quaternion suy rộng cấp d với ⩽ i ⩽ 2n, ⩽ j ⩽ 2n − (i) Rk nhóm xiclíc cấp Mệnh đề 16 Cho nhóm Quaternion suy rộng Q4n với n ⩾ Khi CQ4n (1) = CQ4n (rn ) = Q4n , CQ4n (ri ) = R1 , CQ4n (rj s) = Un,j với ⩽ i ⩽ 2n − 1, i ̸= n, ⩽ j ⩽ 2n − Mệnh đề 17 Cho nhóm quaternion suy rộng Q4n với n ⩾ 2, H nhóm Q4n Khi H nhóm sau Rk = ⟨rk ⟩, Ui,j = ⟨ri , rj s⟩ với k|2n, ⩽ k ⩽ 2n, ⩽ i ⩽ n, i|n, ⩽ j ⩽ i − Cho nhóm giả nhị diện n n−1 SD2n = ⟨r, s | r2 = s2 = 1, s−1 rs = r2 −1 ⟩ với n ⩾ Ký hiệu Rk , Tl , Ui,j nhóm nhóm giả nhị diện SD2n có dạng sau Rk = ⟨rk ⟩, Tl = ⟨rl s⟩, Ui,j = ⟨ri , rj s⟩ với ⩽ k ⩽ 2n , ⩽ l ⩽ 2n − 1, ⩽ i ⩽ 2n − 1, ⩽ j ⩽ 2n − Sau số tính chất nhóm giả nhị diện, xem [?] Mệnh đề 18 Cho nhóm giả nhị diện SD2n với n ⩾ Khi (i) Rk nhóm xiclíc cấp 2n d = (2n , k), với ⩽ k ⩽ 2n ; d (ii) Tl nhóm xiclíc cấp l chẵn, cấp l lẻ với ⩽ l ⩽ 2n − 1; (iii) Ui,j nhóm giả nhị diện i lẻ với ⩽ i ⩽ 2n − 1, ⩽ j ⩽ 2n − 1; Ui,j nhóm nhị diện i chẵn j chẵn, nhóm quaternion tổng quát i chẵn j lẻ với ⩽ i ⩽ 2n − 1, i ̸= 2n−1 , ⩽ j ⩽ 2n − 1; Với i = 2n−1 , Ui,j nhóm xiclíc cấp j lẻ, Ui,j ∼ = C2 × C2 j chẵn 2n+1 Trong tất trường hợp nhóm Ui,j có cấp d n d = (2 , i) 31 Mệnh đề 19 Cho nhóm giả nhị diện SD2n với n ⩾ Khi CSD2n (1) = CSD2n (r2 n−1 ) = SD2n , CSD2n (ri ) = R1 , CSD2n (rj s) = U2n−1 ,j với ⩽ i ⩽ 2n − 1, i ̸= 2n−1 , ⩽ j ⩽ 2n − Mệnh đề 20 Cho nhóm giả nhị diện SD2n với n ⩾ 3, H nhóm SD2n Khi nhóm H SD2n nhóm sau (i) Rk = ⟨rk ⟩ với ⩽ k ⩽ 2n ; (ii) Tl = ⟨rl s⟩ với ⩽ l ⩽ 2n − l chẵn, ⩽ l ⩽ 2n−1 − l lẻ; (iii) Ui,j với ⩽ i ⩽ 2n−2 , i|2n , ⩽ j ⩽ i−1, U2n−1 ,j với ⩽ j ⩽ 2n−1 − 1, j chẵn Nhóm đối xứng Trong mục chúng tơi tính tốn độ giao hốn tương đối nhóm thay phiên An nhóm đối xứng Sn Định nghĩa Cho n số nguyên dương Một phân hoạch n dãy không tăng số nguyên dương (k1 , k2 , , ks ) cho k1 + k2 + · · · + ks = n Từ Mệnh đề ?? ta có kết sau Mệnh đề 21 Với n ⩾ Pr(An , Sn ) = 2c(n) n! c(n) số lớp liên hợp Sn nằm An Để tính c(n) ta cần kết sau Mệnh đề 22 Cho n số nguyên, n ⩾ 2, (k1 , k2 , , ks ) phân hoạch n Giả sử π ∈ Sn có kiểu (k1 , k2 , , ks ) Khi π ∈ An s + k X i=1 ki số chẵn 32 Chứng minh Vì phép π có kiểu (k1 , k2 , , ks ) cho nên, theo Mệnh đề ??, ta có s P (ki +1) sign(π) = (−1)i=1 s+ = (−1) s P i=1 ki Từ suy điều phải chứng minh Trong ví dụ sau chúng tơi tính tốn giá trị Pr(An , Sn ) với ⩽ n ⩽ cách áp dụng Mệnh đề 15 Với n ⩾ 2, ta liệt kê tất phân hoạch n ứng với kiểu phép An Từ ta đếm c(n) tính Pr(An , Sn ) Ví dụ (i) Với n = ta có phân hoạch (1, 1) Do c(2) = Cho nên Pr(A2 , S2 ) = 2c(2) = 2! (ii) Với n = ta có phân hoạch (3), (1, 1, 1) Do c(3) = Cho nên Pr(A3 , S3 ) = 2c(3) = 3! (iii) Với n = ta có phân hoạch (3, 1), (2, 2), (1, 1, 1, 1) Do c(4) = Cho nên Pr(A4 , S4 ) = 2c(4) = 4! (iv) Với n = ta có phân hoạch (5), (3, 1, 1), (2, 2, 1), (1, 1, 1, 1, 1) Do c(5) = Cho nên Pr(A5 , S5 ) = 2c(5) = 5! 15 (v) Với n = ta có phân hoạch (5, 1), (4, 2), (3, 3), (3, 1, 1, 1), (2, 2, 1, 1), (1, 1, 1, 1, 1, 1) 33 Do c(6) = Cho nên Pr(A6 , S6 ) = 2c(6) = 6! 60 (vi) Với n = ta có phân hoạch (7), (5, 1, 1), (4, 2, 1), (3, 3, 1), (3, 2, 2), (3, 1, 1, 1, 1), (2, 2, 1, 1, 1), (1, 1, 1, 1, 1, 1, 1) Do c(7) = Cho nên Pr(A7 , S7 ) = 2c(7) = 7! 315 ĐẠI SỐ VÀ SIGMA ĐẠI SỐ Định nghĩa Cho tập X tùy ý khác rỗng Ta gọi P (X) tập hợp tất tập X Gọi A∗ họ tập X A∗ gọi đại số tập X A∗ thỏa ba tiên đề sau: X ∈ A∗ ∀A ∈ A∗ ⇒ Ac ∈ A∗ (Đóng kín với phép tốn lấy phần bù) ∀A, B ∈ A∗ , A ∪ B ∈ A∗ (Đóng kín với phép tốn hợp) Định nghĩa Cho tập X tùy ý khác rỗng Ta gọi P (X) tập hợp tất tập X Gọi A∗ họ tập X A∗ gọi σ - đại số tập X A∗ thỏa mãn ba tiên đề sau: X ∈ A∗ ∀A ∈ A∗ ⇒ Ac ∈ A∗ (Đóng[kín với phép toán lấy phần bù) ∀A1 , A2 , , An , ∈ A∗ ⇒ Ai ∈ A∗ i≥1 Dựa vào hai định nghĩa ta có nhận xét Nhận xét 10 Khái niệm "đại số tập tập X " khái niệm "σ - đại số tập X " gần với Điều thể qua giống hai tiên đề Sự khác biệt hai 34 khái niệm tiên đề số Đối với "đại số tập X hợp "HỮU HẠN" phần tử thuộc A∗ phần tử thuộc A∗ Còn "σ - đại số tập X " hợp "VÔ HẠN" phần tử A∗ phần tử thuộc A∗ Mệnh đề 23 Cho X tập tùy ý khác rỗng Gọi A∗ "đại số tập X " Khi đó: ∅ ∈ A∗ Hợp hữu hạn phần tử thuộc A∗ phần tử thuộc A∗ n [ ∗ Ai ∈ A∗ Hay A1 , A2, , An ∈ A ⇒ i=1 Giao hữu hạn phần tử thuộc A∗ phần tử thuộc A∗ (Đóng kín với phép tốn giao) n \ ∗ Hay A1 , A2, , An ∈ A ⇒ Ai ∈ A∗ i=1 Đóng kín với phép tốn hiệu nghĩa là: ∀A, B ∈ A∗ ⇒ A\B ∈ A∗ Đóng kín với phép tốn lấy hiệu đối xứng nghĩa là: ∀A, B ∈ A∗ ⇒ A△B ∈ A∗ Định lý 14 Cho tập X khác rỗng Giả sử X có phép tốn α Phép tốn α gọi đóng kín với tập X ta lấy hai phần tử thuộc X , thao tác qua phép toán ta phần tử phần tử thuộc X Để dễ hiểu ta lấy ví dụ đơn giản Trên tập N có phép tốn cộng thơng thường Ta lấy hai phần tử thuộc N (lấy hai số tự nhiên) Dễ thấy cộng hai số tự nhiên số tự nhiên số tự nhiên thuộc N Như ta nói N đóng kín với phép cộng Trong trường hợp tổng qt tập X Tiếp theo ta chứng minh ý mệnh đề Chứng minh: Vì X ∈ A∗ (Tiên đề 1) nên X c = ∅ ∈ A∗ (Tiên đề 2) Ta quy nạp dựa theo tiên đề có điều phải chứng minh ∀A, B ∈ A∗ ta có Ac , B c ∈ A∗ Khi (Ac ∪ B c ) ∈ A∗ ⇒ [(Ac ∪ B c )]c ∈ A∗ hay A ∩ B ∈ A∗ 35 Từ ta quy nạp lên giao hữu hạn phần tử có điều phải chứng minh Chưa chứng minh Chưa chứng minh 10 ĐỊNH LÍ FUBINI Định lý 15 (G.Fubini - L.Tonelli) Cho F : R2n → [0, ∞] hàm đo (đối với M2n ) Khi (i) Hàm Rn ∋ y 7→ F (x, y) đo (đối với Mn ) với Ln hầu khắp nơi x ∈ Rn (ii) Hàm Z n R ∋ x 7→ F (x, y)dy Rn đo (đối với Mn ) (ii) F (x, y)dy dx F (x, y)dxdy = R2n Rn  Z Z Z Rn F (x, y)dx dy =  Z Z Rn Rn Bổ đề Cho f ∈ C0 (Rn ) Khi ϱ ∗ f → f tập compact Rn Chứng minh Cho K ⊂ Rn tập compact cho K ′ := K + B(0, 1) Theo tính liên tục f tập compact K ′ , ∀ϵ > tồn < δ = δ(ϵ, K ′ ) < thỏa mãn |f (x − y) − f (x)| ≤ ϵ, ∀x ∈ K, ∀y ∈ B(0, δ) (22) 36 Mặt khác, h ∈ N thỏa 1/h < δ x ∈ K , theo (??), Z