Phương trình sóng phi tuyến tính chứa số hạng nhớt phi tuyến

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: PHƯƠNG TRÌNH SĨNG PHI TUYẾN TÍNH CHỨA SỐ HẠNG NHỚT PHI TUYẾN 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 2002, Y Ikeda, C Liu Y Tanaka đưa khái niệm mạng -mạnh xét tính chất ảnh thương không gian metric nhờ mạng -mạnh Bằng cách sử dụng mạng -mạnh, tác giả thu nhiều đặc trưng ảnh thương không gian mêtric (xem [4]), đặt toán sau Bài toán ([6], Question 3.2.12) Nếu X không gian đối xứng với cs -mạng đếm được, X có mạng -mạnh gồm cs -phủ hữu hạn hay không? Bài tốn 2([5], Question 2) Nếu X khơng gian đối xứng với cs-mạng -hữu hạn theo điểm, X có cs-mạng -hữu hạn theo điểm mạnh hay không? 663 2 Mở rộng tốn tử ∆ cho vành khơng có đơn vị Bây ta thay đổi định nghĩa ∆ để làm việc vành khơng chứa đơn vị Cụ thể, xét tập ∆◦ (R) = {r ∈ R|r + U◦ (R) ⊆ U◦ (R)} Khi R vành có đơn vị ∆◦ (R) = ∆(R) Với vành R bất kỳ, khơng thiết phải có đơn vị Ta ký hiệu R1 vành bao gồm R đơn vị Z Khi đó, U◦ (Z) = Ta dễ dàng kiểm tra bổ đề sau Bổ đề Cho R vành, không thiết phải có đơn vị, ta có ∆◦ (R) = ∆◦ (R1 ) = ∆(R1 ) Bổ đề rằng, ta mở rộng định nghĩa ∆ cho tất vành, khơng thiết phải có đơn vị khẳng định Định lý 39 tương đương với vành tùy ý Hơn nữa, điều kiện tương đương đúng, ∆(∆(R)) = ∆(R) Ta biết kết cổ điển Jacobsson J(R) vành J(eRe) = eJ(R)e, với e lũy đẳng R Ta dấu khơng cịn trường hợp tổng quát ∆(R) Tuy nhiên quan hệ bao hàm e∆(R)e ⊆ ∆(eRe) giữ với giả thiết e∆(R)e ⊆ ∆(R) Trong Hệ 17 ta thêm vào giả thiết ∈ U (R) Cho R vành có đơn vị Phần tử a ∈ R gọi quy (tương ứng, quy đơn vị) R a = aua với u ∈ R (tương ứng, u ∈ U (R)) Nếu phần tử vành R quy (tương ứng, quy đơn vị) R gọi vành quy (tương ứng, vành quy đơn vị) Mệnh đề Cho R vành bất kỳ, ta có (1) Cho e2 = e thỏa mãn e∆(R)e ⊆ ∆(R) Khi e∆(R)e ⊆ ∆(eRe) (2) ∆(R) không chứa phần tử lũy đẳng khác không (3) ∆(R) khơng chứa phần tử quy đơn vị khác không Chứng minh (1) Nếu y ∈ U (eRe), y1 = y + (1 − e) ∈ U (R) thỏa mãn y = ey1 e Ta lấy r ∈ e∆(R)e ⊆ ∆(R) ta phần tử khả nghịch y ∈ U (eRe) ta có e − yr ∈ U (eRe) Như trên, lấy y1 = y+1−e ∈ U (R) Từ r ∈ e∆(R)e ⊆ ∆(R), ta 1−y1 r ∈ U (R) Do tồn phần tử b ∈ R thỏa mãn b(1 − y1 r) = e = eb(1 − y1 r)e = eb(e − y1 re)e = eb(e − (y + − e)re) = eb(e − yre) + eb(1 − e)re = ebe(e − yre), dấu cuối r ∈ eRe Điều cho thấy e − yre = e − yr phần tử khả nghịch trái eRe Từ − y1 r ∈ U (R) ta có (1 − y1 r)b = = (1 − (y + − e)r)b = (1 − yr)b Nhân hai vế với e ta e = e(1 − yr)be = (e − yr)be = (e − yr)ebe Điều có nghĩa ebe phần tử khả nghịch phải trái e − yr (2) Nếu e2 = e ∈ ∆(R), − e = e + (1 − 2e) ∈ U (R), − 2e khả nghịch, e = (3) Nếu a ∈ ∆(R) phần tử quy đơn vị, tồn phần tử khả nghịch u ∈ U (R) thỏa mãn au lũy đẳng Theo điều kiện (2) ta suy a phải khơng Hệ Cho R vành quy đơn vị, ∆(R) = Hệ Giả sử ∈ U (R) Khi e∆(R)e ⊆ ∆(eRe) với e phần tử lũy đẳng R Dưới số ví dụ mà ∆(R) ̸= J(R) Ví dụ (1) Ở Định lý 39, ta nhận thấy A vành vành R thỏa mãn U (R) = U (A), J(A) ⊆ ∆(R) Cụ thể chọn A miền giao hoán với J(A) ̸= R = A[x], ta = J(R) ⊂ J(A) ⊆ ∆(R) (xem [?], Bài tập 4.24) (2) ([?], Ví dụ 2.5) Cho R = F2 < x, y > / < x2 > Khi J(R) = U (R) = + F2 x + xRx Cụ thể, F2 x + xRx chứa ∆(R) J(R) = (3) Cho S vành tùy ý thỏa mãn J(S) = ∆(S) ̸= cho R = M2 (S) Khi đó, theo Định lý 38 (1), ∆(R) = J(R) = 0, đó, e = e11 ∈ R, e∆(R)e = eJ(R)e = J(eRe) = ∆(eRe) ≃ ∆(S) ̸= Điều quan hệ bao hàm e∆(R)e ⊆ ∆(eRe) Mệnh đề ?? nghiêm ngặt trường hợp tổng quát (4) Cho A miền giao hoán với J(A) ̸= S = A[x] Khi đó, theo (1), ̸= J(A) ⊆ ∆(S) rõ ràng J(S) = R = M2 (S), A miền giao hốn địa phương Theo Định lý 38, ∆(R) = J(R) = Lưu ý, tâm Z = Z(R) R = M2 (S) đẳng cấu với S U (Z) = U (R) ∩ Z Do đó, = ∆(R) ∩ Z ⊆ ∆(Z) ≃ J(A) ̸= Do đó, quan hệ bao hàm Hệ 21 nghiêm ngặt J(R) = = J(Z(R)) Một vành R gọi 2-nguyên thủy tập phần tử lũy linh N (R) trùng với nguyên tố B(R), tức R/B(R) vành rút gọn Mệnh đề Giả sử R vành 2-nguyên thủy Khi ∆(R[x]) = ∆(R) + J(R[x]) Chứng minh Trước tiên ta giả sử R vành rút gọn Khi theo Hệ 25 ta có U (R[x]) = U (R) Do đó, theo định nghĩa ∆(R[x]), ta có ∆(R) ⊆ ∆(R[x]) Lấy a + a0 ∈ ∆(R[x]) a ∈ R[x]x a0 ∈ R Khi đó, u ∈ U (R), a + a0 + u ∈ U (R) Ta có a0 + u ∈ U (R) a = ∆(R) = ∆(R[x]) Bây ta giả sử R vành 2-nguyên thủy Rõ ràng B(R[x]) = B(R)[x] ⊆ J(R[x]) R vành 2-nguyên thủy R/B(R) vành rút gọn J(R[x]) = B(R[x]) = B(R)[x] Áp dụng phần đầu chứng minh cho R/B(R) Mệnh đề 36 (2) ta có ∆(R) + B(R)[x] = ∆(R/B(R)[x]) = ∆(R[x]/J(R[x])) = ∆(R[x])/J(R[x]) Ta có điều cần chứng minh 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ý 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 đề ??, 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 đề ?? Ngược lại, giả sử ∇ = eRG ∆U -vành Vì H ∼ = R nên H ∆U -vành Theo Bổ đề 11, 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ý 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ổ đề ?? (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ổ đề ?? (1) ta có ε(u − + j) = hay u − + j ∈ ∇(RG) ⊆ ∆(RG) Do u ∈ − j + ∆(RG) suy u ∈ + ∆(RG) Hệ 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 ĐỊNH LÍ FUBINI Định lý (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) Z Z Z F (x, y)dxdy = R2n dx  F (x, y)dy Rn Rn Z Z = dy Rn  F (x, y)dx 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, δ) Mặt khác, h ∈ N thỏa 1/h < δ x ∈ K , theo (5), Z 42 Do  Ui,j = li r ,r li+j  2n −1 s 0⩽l⩽ i Khi đó, theo Mệnh đề ??, ta có X X |CSD2n (rli )| + |CSD2n (x)| = 0⩽l⩽ 2i −1 0⩽l⩽ 2i −1 = |CSD2n (1)| + |CSD2n (r2 n−1 |CSD2n (rli+j s)| n n x∈Ui,j X )| + X |CSD2n (rli )| + n 1⩽l⩽ 2i −1 l̸=  = |SD | + |SD | + 2n = n+1 +2 2n n+1  + 2n X |CSD2n (rli+j s)| n 0⩽l⩽ 2i −1 2n−1 i 2n − |R1 | + |U2n−1 ,li+j | i i  2n 2n+1 (2n−1 + i + 2) 2n − 2n + = i i i  Do đó, theo Mệnh đề ?? ta có Pr(Ui,j , SD2n ) = = X 1 2n+1 (2n−1 + i + 2) |CSD2n (x)| = n+1 |Ui,j ||SD2n | i x∈Ui,j 2n+1 i 2n+1 (2n−1 + i + 2) 2n−1 + i + i+2 = = + n+1 n+1 2(n+1) i 2 i Vậy ta có điều phải chứng minh Trong ví dụ sau ta tính độ giao hốn tương đối nhóm nhóm giả nhị diện SD8 SD16 cách áp dụng Mệnh đề 46 Ví dụ (i) Với n = 3, xét nhóm giả nhị diện SD8 = ⟨r, s | r8 = s2 = 1, s−1 rs = r3 ⟩ Các nhóm SD8 R1 = ⟨r⟩, R2 = ⟨r2 ⟩, R4 = ⟨r4 ⟩, R8 = {1}; T0 = ⟨s⟩, T1 = ⟨rs⟩, T2 = ⟨r2 s⟩ T3 = ⟨r3 s⟩, T4 = ⟨r4 s⟩, T6 = ⟨r6 s⟩; U2,0 = ⟨r2 , s⟩, U2,1 = ⟨r2 , rs⟩, U4,0 = ⟨r4 , s⟩, U4,2 = ⟨r4 , r2 s⟩; SD8 43 Khi 1 + = , Pr(R2 , SD8 ) = + = , 8 4 Pr(R4 , SD8 ) = + = 1, Pr(R8 , SD8 ) = 1; Pr(R1 , SD8 ) = Pr(T0 , SD8 ) = Pr(T1 , SD8 ) = Pr(T2 , SD8 ) = Pr(T3 , SD8 ) 1 = Pr(T4 , SD8 ) = Pr(T6 , SD8 ) = + = ; 8 2+2 Pr(U2,0 , SD8 ) = Pr(U2,1 , SD8 ) = + = , 16 1 Pr(U4,0 , SD8 ) = Pr(U4,2 , SD8 ) = + = ; 8 Pr(SD8 , SD8 ) = 16 (ii) Với n = 4, xét nhóm giả nhị diện SD16 = ⟨r, s | r1 = s2 = 1, s−1 rs = r7 ⟩ Các nhóm SD16 R1 = ⟨r⟩, R2 = ⟨r2 ⟩, R4 = ⟨r4 ⟩, R8 = ⟨r8 ⟩, R16 = {1}; T0 = ⟨s⟩, T1 = ⟨rs⟩, T2 = ⟨r2 s⟩, T3 = ⟨r3 s⟩, T4 = ⟨r4 s⟩, T5 = ⟨r5 s⟩, T6 = ⟨r6 s⟩, T7 = ⟨r7 s⟩, T8 = ⟨r8 s⟩, T10 = ⟨r10 s⟩, T12 = ⟨r12 s⟩, T14 = ⟨r14 s⟩; U2,0 = ⟨r2 , s⟩, U2,1 = ⟨r2 , rs⟩, U4,0 = ⟨r4 , s⟩, U4,2 = ⟨r4 , r2 s⟩, U4,3 = ⟨r4 , r3 s⟩, U8,0 = ⟨r8 , s⟩, U8,2 = ⟨r8 , r2 s⟩, U8,4 = ⟨r8 , r4 s⟩; SD16 Khi + = , Pr(R2 , SD16 ) = + = , 16 16 16 1 P r(R4 , SD16 ) = + = = Pr(R8 , SD16 ) = + = 1, Pr(R16 , SD16 ) = 16 2 16 Pr(R1 , SD16 ) = Pr(T0 , SD16 ) = Pr(T1 , SD16 ) = Pr(T2 , SD16 ) = Pr(T3 , SD16 ) = Pr(T4 , SD16 ) = Pr(T5 , SD16 ) = Pr(T6 , SD16 ) = Pr(T7 , SD16 ) = Pr(T8 , SD16 ) 1 = Pr(T10 , SD16 ) = Pr(T12 , SD16 ) = Pr(T14 , SD16 ) = + = ; 16 16 2+1 11 Pr(U2,0 , SD16 ) = Pr(U2,1 , SD16 ) = + = , 32 32 44 4+2 Pr(U4,0 , SD16 ) = Pr(U4,1 , SD16 ) = Pr(U4,2 , SD16 ) = Pr(U4,3 , SD16 ) = + = , 32 16 1 Pr(U8,0 , SD16 ) = Pr(U8,2 , SD16 ) = Pr(U8,4 , SD16 ) = Pr(U8,6 , SD16 ) = + = ; 16 16 11 Pr(SD16 , SD16 ) = Pr(SD16 ) = 32 14 Mở rộng Dorroh mở rộng ∆U -vành Mệnh đề 28 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 45 Đị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) 46 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 đề 29 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) 47 Để 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 15 ĐỊNH LÍ FUBINI Định lý 10 (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 48 (ii) Hàm Rn ∋ x 7→ Z F (x, y)dy Rn đo (đối với Mn ) (ii) Z Z Z F (x, y)dxdy = R2n dx  F (x, y)dy Rn Z Z = dy Rn Rn  F (x, y)dx 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, δ) (15) Mặt khác, h ∈ N thỏa 1/h < δ x ∈ K , theo (5), Z |(f ∗ ϱh )(x) − f (x)| =