Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 116 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
116
Dung lượng
600,65 KB
Nội dung
BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: MỘT VÀI TÍNH CHẤT ĐỊNH TÍNH CỦA BAO HÀM THỨC VI PHÂ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 Lý thuyết wavelet áp dụng nhiều lĩnh vực xử lý thông tin, khai triển wavelet xem cơng cụ hiệu để xây dựng thuật toán nén luồng liệu lớn Luồng liệu dãy tín hiệu số rời rạc, xử lý dãy tín hiệu này, ta hay xem chúng giá trị hàm thực xử lý chúng thơng qua hàm số Việc xấp xỉ n điểm đường cong B-splines (basic splines) biết đến từ lâu (khoảng kỷ thứ 19, nhà Toán học Nikolai Lobachevski nghĩ ra) Phương trình đường cong tổ hợp tuyến tính đa thức có bậc khơng vượt q n 484 2 ĐỊNH LÝ ROLLE Cơ sở định lý Rolle dựa hai định lý Weierstrass Fermat Định lý Weierstrass khẳng định hàm số f liên tục đoạn [a, b] bị chặn tồn giá trị lớn nhất, giá trị nhỏ đoạn Định lý Fermat điểm cực trị hàm khẳng định hàm f khả vi khoảng (a, b) đạt cực trị địa phương (cực đại địa phương cực tiểu địa phương) thuộc khoảng giá trị đạo hàm điểm cực trị địa phương không Định lý (Định lý Rolle) Giả sử cho hàm số f liên tục [a, b], khả vi khoảng (a, b) f (a) = f (b) Khi tồn c ∈ (a, b) cho f ′ (c) = Chứng minh Vì f liên tục đoạn [a, b] Theo định lý Weierstrass hàm f phải tồn giá trị lớn giá trị nhỏ đoạn [a, b], nghĩa tồn x1 , x2 ∈ (a, b) cho f (x1 ) = f (x) = m, f (x2 ) = max f (x) = M [a,b] [a,b] Có hai khả xảy ra: 1) Nếu m = M Khi f (x) = const đoạn [a, b] Nên f ′ (c) = với c ∈ (a, b) 2) Nếu m < M Theo giả thiết ta có f (a) = f (b) nên hai điểm x1 , x2 phải thuộc khoảng (a, b) Khơng tính tổng quát ta giả sử x1 ∈ (a, b) Theo định lý Fermat đạo hàm điểm khơng Định lý chứng minh xong Ý nghĩa hình học định lý Rolle Cho C đường cong trơn với hai đầu mút A, B có "độ cao" (trong hệ trục tọa độ Descartes) C tồn điểm mà tiếp tuyến C điểm song song với AB(hay song song với trục hồnh f (a) = f (b)) Hệ Nếu hàm số f (x) có đạo hàm khoảng (a, b) phương trình f (x) = có n nghiệm phân biệt thuộc khoảng (a, b) phương trình f ′ (x) = có n − nghiệm phân biệt thuộc khoảng (a, b) (Phương trình f (k) (x) = có n − k nghiệm phân biệt thuộc khoảng (a, b) với (k = 1, 2, , n)) Chứng minh Giả sử phương trình f (x) = có n nghiệm phân biệt thuộc khoảng (a, b) thứ tự x1 < x2 < < xn Khi ta áp dụng định lý Rolle cho n − đoạn [x1 , x2 ], [x2 , x3 ], , [xn−1 , xn ] phương trình f ′ (x) = có n − nghiệm thuộc n − khoảng (x1 , x2 ), (x2 , x3 ), , (xn−1 , xn ) Gọi n − nghiệm ξ1 , ξ2 , , ξn−1 ta có: f (ξ1 ) = f (ξ2 ) = = f (ξn−1 ) = Tiếp tục áp dụng định lý Rolle cho n−2 khoảng (ξ1 , ξ2 ), (ξ2 , ξ3 ), , (ξn−2 , ξn−1 ) phương trình f ′′ (x) = có n−2 nghiệm phân biệt khoảng (a, b) Tiếp tục trình sau k bước phương trình f (k) (x) = có n − k nghiệm phân biệt thuộc khoảng (a, b) Hệ Giả sử hàm số f (x) liên tục đoạn [a, b] có đạo hàm khoảng (a, b) Khi phương trình f ′ (x) = có khơng q n − nghiệm phân biệt khoảng (a, b) phương trình f (x) = có khơng q n nghiệm phân biệt khoảng Chứng minh Giả sử phương trình f (x) = có nhiều n nghiệm phân biệt khoảng (a, b), chẳng hạn n + nghiệm Khi theo hệ phương trình f ′ (x) = có n nghiệm thuộc khoảng (a, b) Điều trái với giả thiết phương trình f ′ (x) = có khơng n − nghiệm Ta có điều phải chứng minh Xấp xỉ tích chập Lp Ta thấy rằng, cho f ∈ Lp (Ω) với ≤ p < ∞, tồn (fh )h ⊂ C0c (Ω) cho fh → f Lp (Ω) Ta chứng minh tính xấp xỉ này, tìm kiếm xấp xỉ theo hàm quy Chính xác Câu hỏi: (i) Có tồn (fh )h ⊂ C1c cho fh → f Lp (Ω)? (ii) Có thể xây dựng cách rõ ràng xấp xỉ thứ h hàm fh cho f ∈ Lp (Ω)? Câu trả lời cho câu hỏi thứ hai có ý nghĩa xấp xỉ số Định nghĩa (Friedrichs’ mollifiers) Một dãy mollifiers dãy hàm ϱh : Rn → R, (h = 1, 2, ) cho, với h, ϱ ∈ C∞ (Rn ); (M o1) spt(ϱh ) ⊂ B(0, 1/h); Z ϱh dx = 1; (M o2) (M o3) Rn ϱh (x) ≥ 0, ∀x ∈ Rn (M o4) Ví dụ mollifiers: Khá đơn giản để xây dựng dãy mollifiers, hàm không biến ϱ : Rn → R thỏa mãn n ϱ ∈ C∞ c (R ), spt(ϱ) ⊂ B(0, 1), ϱ ≥ Ví dụ, cho ϱ(x) := exp |x| − |x| < |x| ≥ n Khi dễ thấy ϱ ∈ C∞ c (R ) Hơn nữa, ta có dãy mollifiers định nghĩa ϱh (x) := c hn ϱ(hx), x ∈ Rn , h ∈ N −1 Z c := ϱdx Rn Chú ý: Nếu A, B ⊂ Rn , A ± B ký hiệu tập A ± B := {a ± b : a ∈ A, b ∈ B} Bài tập Chứng minh (i) Nếu A compact B đóng, A + B đóng; (ii) A B compact A + B Mệnh đề (Định nghĩa tính chất mollifiers đầu tiên) Cho f ∈ L1loc (Rn ) (ϱh )h dãy mollifiers Định nghĩa, cho h ∈ N x ∈ Rn , Z fh (x) := (ϱ ∗ f )(x) := ϱh (x − y)f (y)dy, ∀x ∈ Rn Rn Khi (i) Hàm fh : Rn → R is well defined; (ii) fh (x) = (ϱh ∗ f )(x) = (f ∗ ϱh )(x) với x ∈ Rn h ∈ N; (iii) fh (x) ∈ C0 (Rn ) với h Hàm fh gọi mollifiers thứ h f Chứng minh Để đơn giản, ta ký hiệu ϱh ≡ ϱ (i) Theo (Mo2) (Mo4), spt(ϱ) ⊂ B(0, 1/h) Khi Z Z |f (y)ϱ(x − y)|dy |f (y)ϱ(x − y)|dy = Rn B(x,1/h) Z ≤ sup ϱ Rn |f (y)|dy < ∞ B(x,1/h) Do đó, ta thay đổi x ∈ Rn , hàm gx (y) := ϱ(x − y)f (y), y ∈ Rn khả tích Rn , xác định tích phân Z Z R∋ gx (y)dy = ϱ(x − y)f (y)dy = (ϱ ∗ f )f (x), ∀x ∈ Rn Rn Rn (ii) cách thay đổi biến Z (f ∗ ϱ)(x) = f (x − y)ϱ(y)dy Rn (z=x=y) Z f (z)ϱ(x − z)dz = (ϱ ∗ f )(x) = Rn (iii) Cho x ∈ Rn xr → x, ta chứng minh (ϱ ∗ f )(xr ) → (ϱ ∗ f )(x) (1) Chú ý Z (ϱ ∗ f )(xr ) − (ϱ ∗ f )(x) = (ϱ(xr − y) − ϱ(x − y))f (y)dy, ∀r ∈ N (2) Rn Từ dãy (xr )r bị chặn Rn , tồn tập compact K ⊂ Rn thỏa mãn B(xr , 1/h) = xr − B(0, 1/h) ⊂ K, B(x, 1/h) ∈ K, ∀r ∈ N Đặc biệt ϱ(xr − y) − ϱ(x − y) = 0, ∀y ∈ / K, ∀r ∈ N (3) Bởi vì, ϱ ∈ Lip(Rn ), theo (??), tồn L > thỏa |ϱ(xr − y) − ϱ(x − y)| ≤ LχK (y)|xr − x|, ∀y ∈ Rn , ∀r ∈ N Vì ta |ϱ(xr − y)ϱ(x − y)||f (y)| ≤ LχK (y)|f (y)||xr − x|, ∀y ∈ Rn , ∀r ∈ N (4) Từ (??), (??) định lý tính hội tụ bị trội, theo (??) Nhận xét Ký hiệu ∗ tích chập hai hàm không gian Rn Lưu ý, kết mệnh đề 52 giữ f ∈ L1loc (Rn ) ϱ ≡ ϱh ∈ C0 (Rn ) thỏa (Mo2) Trên thực tế, xác định tích chập hai hàm g ∈ Lp (Rn ) với ≤ p ≤ ∞ f ∈ L1 (Rn ) Z (g ∗ f )(x) := g(x − y)f (y)dy Rn giữ (g ∗ f ) ∈ Lp (Rn ) ∥g ∗ f ∥Lp (Rn ) ≤ ∥g∥Lp (Rn ) ∥f ∥L1 (Rn ) Định lý (Friedrichs - Sobolev, Xấp xỉ theo tích chập Lp ) Cho f ∈ L1loc (Rn ) (ϱh )h dãy mollifiers Khi (i) f ∗ ϱh ∈ C ∞ (Rn ) với h ∈ N (ii) ∥f ∗ϱ∥Lp (Rn ) ≤ ∥f ∥Lp (Rn ) với h ∈ N, f ∈ Lp (Rn ) với p ∈ [1, ∞] (iii) spt(f ∗ ϱ) ⊂ spte (f ) + B(0, 1/h) với h ∈ N (iv) Nếu f ∈ Lp (Rn ) với ≤ p ≤ ∞, f ∗ ϱh ∈ C ∞ (Rn ) ∩ Lp (Rn ) với h ∈ N, f ∗ ϱh → f h → ∞, Lp (Rn ), biết ≤ p < ∞ Kết cho ta hai kết quan trọng Định lý (Bổ đề tính tốn biến) Cho Ω ⊂ Rn tập mở cho f ∈ L1loc (Ω) Giả sử Z f φdx = 0, ∀φ ∈ Cc∞ (Ω) (∗) Ω Khi f = hầu khắp nơi Ω Chứng minh Chứng minh điều kiện đủ Z |f |dx = với tập compact K ∈ Ω (5) K Thật vậy, theo (??), suy f = hầu khắp nơi K, với tập compact K ∈ Ω Ta có kết luận Ta chứng minh (??) Cho tập compact K ∈ Ω, định nghĩa g : Rn → R f (x) x ∈ K, f (x) ̸= g(x) := |f (x)| ngược lại Khi g ∈ L1 (Rn ) spte (g) ⊆ K ⊂ Ω Cho gh := g ∗ ϱh Theo định lý ?? (iii), tồn h = h(K) ∈ N cho spt(g ∗ ϱh ) ⊆ spte (g) + B(0, 1/h) ⊆ K + B(0, 1/h) ⊂ Ω với h > h Do đó, theo định lý ?? (i), (ii), gh ∈ C∞ h > h |gh (x)| ≤ ∥g∥L∞ (Rn ) = 1, ∀x ∈ Rn , ∀h ∈ N (6) c Từ (∗) ta Z f gh dx = 0, ∀h ≤ h Ω Mặt khác, từ định lý ?? (iv) (11), ta giả sử, dãy tăng, gh → g hầu khắp nơi Rn Do đó, Z Z Z f gh dx → = 0= Ω |f |dx f g dx = Ω K Định lý (Xấp xỉ theo hàm C∞ Lp ) Cho Ω ⊂ Rn tập mở p Khi C∞ c (Ω) trù mật L (Ω), ∥.∥Lp , biết ≤ p < ∞ Chứng minh Cho f ∈ Lp (Ω), định nghĩa fe : Rn → R ( f (x) x ∈ Ω fe(x) := x ∈ Rn \ Ω Chú ý fe ∈ Lp (Rn ) Cho (Ωh )h dãy tăng tập mở bị chặn cho Ω = ∪∞ h=1 Ωh , Ωh ⊂ Ωh ⊂ Ωh+1 , ∀h, định nghĩa gh (x) := χΩh (x)fe(x) fh,r (x) := (ϱr ∗ gh )(x) x ∈ Rn , h, r ∈ N Theo định lý ?? (iii) suy spt(fh,r ) ⊂ B(0, 1/r) + Ωh ⊂ Ω (7) Hơn nữa, cho h ∈ N, tồn rh = r(h) ∈ N cho rh ≥ h B(0, 1/rh ) + Ωh ⊂ Ω Định nghĩa fh (x) := (ϱrh ∗ gh )(x), x ∈ Rn , h ∈ N, (8) CH (y)N N |CN (y)| S∈G/N y∈S Áp dụng Bổ đề 16 từ suy X X X X |CH/N (S)| |CN (y)| |H||G| Pr(H, G) ⩽ |CH/N (yN )||CN (y)| = S∈G/N y∈S = X S∈G/N |CH/N (S)| S∈G/N X X |CS (x)| = x∈N |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 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)| S∈G/N x∈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ổ đề 16 ta có CH (y)N = CH/N (yN ) với y ∈ G N 94 Theo lập luận ta có |H||G| Pr(H, G) = X |CH/N (S)| X |S ∩ CG (x)| x∈N S∈G/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 đề 52 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) 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∈N1 ×H1 |CN ×H (x)| = X x1 ∈N1 |CN (x1 )| X x2 ∈H1 |CH (x2 )| 95 Áp dụng Mệnh đề ta có Pr(N1 × H1 , N × H) = |N1 × H1 ||N × H| X |CN ×H (x)| x∈N1 ×H1 = X X |CN (x1 )| |CH (x2 )| |N1 ||H1 ||N ||H| = |N1 ||N | x1 ∈N1 X |CN (x1 )| x1 ∈N1 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ệ 38 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 đề 53 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 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) 96 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 X |CG\A (x)| + x∈Aα |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α |) = |A| + |Aα | |Aα | = + 2|A| 2|A| Vậy ta có điều phải chứng minh 26 Các đặc trưng ∆U -vành Ta biết + J(R) ⊆ U (R) Vành R gọi U J -vành U (R) ⊆ + J(R), nghĩa + J(R) = U (R) Lưu ý R U J -vành ∆(R) = J(R) 26.1 Các tính chất tổng qt ∆U -vành Bổ đề 17 Cho R vành tùy ý, ta có 97 (1) ∆(R) vành R (2) ∆(R) iđêan R ∆(R) = J(R) (3) Với r ∈ ∆(R) u ∈ U (R), ur, ru ∈ ∆(R) Y Y Y (4) Nếu R = Ri tích vành Ri , ∆( Ri ) = ∆(Ri ) i∈I i∈I i∈I (5) Nếu R vành nửa địa phương, ∆(R) = J(R) (6) ∆(R[x]/(xn )) = ∆(R)[x]/(xn ) (7) ∆(R[[x]]) = ∆(R)[[x]] Vành R gọi ∆U -vành + ∆(R) = U (R) Mệnh đề 54 R ∆U -vành U (R) + U (R) ⊆ ∆(R) (khi U (R) + U (R) = ∆(R)) Chứng minh Giả sử R ∆U -vành, Lấy u, v ∈ U (R), ta có + u ∈ ∆(R), − v ∈ ∆(R), u + v = (1 + u) − (1 − v) ∈ ∆(R) Các tính chất ∆U -vành Mệnh đề 55 Cho R ∆U -vành Khi (1) ∈ ∆(R); (2) Nếu R division ring, R ∼ = F2 ; (3) Nếu x2 ∈ ∆(R) x ∈ ∆(R); (4) R Dedekind finite; (5) Cho I ⊆ J(R) iđêan R Khi R ∆U -vành R/I ∆U -vành; Y (6) Vành Ri ∆U vành Ri ∆U , với i ∈ I i∈I (7) Nếu T vành R thỏa mãn U (T ) = U (R) ∩ T , T ∆U -vành Cụ thể, điều áp dụng cho Z = Z(R) tâm R Chứng minh (1) Hiển nhiên 98 (2) (3) Giả sử x2 ∈ ∆(R) Khi (1+x)(1−x) = (1−x)(1+x) = 1−x2 ∈ U (R) tức 1+x ∈ U (R) Vì R ∆U -vành, 1+x ∈ 1+∆(R), x ∈ ∆(R) (4) Giả sử a, b ∈ R với ab = Khi − ba lũy đẳng R, [b(1 − ba)2 ] = = [(1 − ba)a]2 ∈ ∆(R) Từ (3), ta có b(1 − ba) ∈ ∆(R) (1 − ba)a ∈ ∆(R) Suy − ba = (1 − ba)2 = [(1 − ba)a][b(1 − ba)] ∈ ∆ Từ đó, ba ∈ U (R) ba = (5) Nếu I ⊆ J(R) ideal, ∆(R/I) = ∆(R)/I Giả sử R ∆U vành Khi u + I ∈ + ∆(R)/I = + ∆(R/I) Do R/I ∆(U )vành Ngược lại, giả sử R/I ∆U -vành Lấy u ∈ U (R) tùy ý Khi u + I ∈ + ∆(R)/I Ta kiểm tra u ∈ + ∆(R) Do đó, R ∆U -vành (6) Hiển nhiên (7) Giả thiết U (T ) = U (T ) ∩ T nghĩa ∆(R) ∩ T ⊆ ∆(T ) Bây U (R) = + ∆(R) cho + ∆(T ) ⊆ U (T ) = U (R) ∩ T = (1 + ∆(R)) ∩ T = + (∆(R) ∩ T ) ⊆ + ∆(T ) Định lý 55 Mn (R) ∆U -vành n = R ∆U -vành Chứng minh (⇐:) Hiển nhiên (⇒:) Giả sử Mn (R) ∆U -vành n > Đầu tiên ta chứng 0 − a 0 0 minh R division Lấy a ∈ R, a ̸= 0, ta có X = 0 Mn (R) X = Do Mn (R) ∆U -vành, ta lấy X ∈ ∆(Mn (R)) Lấy U = ∈ 99 0 0 0 0 ∈ Mn (R) Khi In − U X = 0 a 0 0 khả nghịch Mn (R), hay a ∈ U (R) Do đó, R division ∼ Tiếp theo, ta chứng minh R = F2 Lấy a ∈ R, a ̸= a ̸= Lấy a 0 0 a 0 0 X= ∈ Mn (R) Khi X khả nghịch Vì Mn (R) 0 a 0 0 0 1 0 0 1−a 0 − a ∆U -vành nên ta có In − X = ∈ ∆(Mn (R)) 0 − a Vì − a khả nghịch nên In − X khả nghịch, mâu thuẫn Do R∼ = F2 1 X1 Cuối cùng, ta n = Lấy X1 = X = ∈ 0 In−2 Mn (R) Khi X khả nghịch Mn (R) Bởi giả thuyết, ta có X2 In − X ∈ ∆(Mn (R)) Mặt khác, ta có In − X = In−2 X2 = Suy In − X khả nghịch, mâu thuẫn Do đó, n = 1 R ∼ = M1 (R) ∆U -vành Mệnh đề 56 Giả sử R ∆U -vành e phần tử lũy đẳng R Khi eRe ∆U -vành Chứng minh Lấy u ∈ U (eRe) Khi u + − e ∈ U (R) Vì R ∆U -vành 100 nên ta có u − e ∈ ∆(R) Ta chứng minh u − e ∈ ∆(eRe) Lấy tùy ý v khả nghịch eRe Rõ ràng v + − e ∈ U (R) Vì u − e ∈ ∆(R) nên u−e+v+1−e ∈ U (R) theo định nghĩa ∆, đặt u−e+v+1−e = t ∈ U (R) Ta kiểm tra et = te = ete = u − e + v , ete ∈ U (eRe) Suy u − e + U (eRe) ⊆ U (eRe), u − e ∈ ∆(eRe) Vì vậy, u ∈ e + ∆(eRe) hay eRe ∆U -vành Định lý 56 Cho M (R, R) song môđun Vành R ∆U -vành T (R, M ) ∆U -vành u m Chứng minh (:⇒) Lấy u¯ = ∈ U (T (R, M )) = T (U (R), M ), u u ∈ U (R) m ∈ M Ta u¯ − ∈ ∆(T (R, M )) Rõ ràng, u ∈ U (R) u = + a ∈ + ∆(R) với a thuộc ∆(R) Suy a ¯= 0 + a m a ∈ T (∆(R), M ) = ∆(T (R, M )) Vì T (R, M ) ∆U -vành (⇐:) Điều ngược lại dễ thấy Hệ 39 Giả sử M là(R, S) song mơđun Khi vành ma trận R M ∆U -vành R S các tam giác dạng S ∆U -vành Hệ 40 R ∆U -vành vành ma trận tam giác Tn (R) ∆U -vành, n ≥ 26.2 Một vài tính chất đại số ∆U -vành Nhớ lại rằng, vành R gọi vành 2-primal nguyên tố N (R) Mệnh đề 57 Cho R vành 2-primal Nếu vành đa thức R[x] ∆U vành, R ∆U -vành Chứng minh R vành 2-primal, theo [10, Mệnh đề 19], ∆(R[x]) = ∆(R) + J(R[x]) Mặt khác ta có J(R[x]) = I[x] với I iđêan lũy 101 linh R Bây giờ, ta giả sử R[x] ∆U -vành Khi U (R) ⊆ U (R[x]) = + ∆(R[x]) = + ∆(R) + I[x], điều có nghĩa U (R) ⊆ + ∆(R) + I = + ∆(R) ⊆ U (R), I iđêan lũy linh (nên I ⊆ ∆(R)) Do U (R) = + ∆(R), hay R ∆U -vành Mệnh đề 58 Cho R vành m ∈ N (1) R ∆U -vành R[x]/xm R[x] ∆U -vành (2) R ∆U -vành vành chuỗi lũy thừa R[[x]] ∆U -vành Chứng minh (1) Điều suy từ Mệnh đề 2.4(5), từ xR[x]/xm R[x] ⊆ J(R[x]/xm R[x]) (R[x]/xm R[x])/(xR[x]/xm R[x]) ∼ = R (2) Ta xét (x) = xR[[x]] iđêan R[[x]] Khi (x) ⊆ J(R[[x]]), R ∼ = R[[x]]/(x), kết suy từ Mệnh đề 2.4(5) Bổ đề 18 Cho R, S vành i : R → S, ϵ : S → R đồng cấu thỏa ϵi = idR (1) ϵ(∆(S)) ⊆ ∆(R) (2) Nếu S ∆U -vành, R ∆U -vành (3) Nếu R ∆U -vành ker ϵ ⊆ ∆(S), S ∆U -vành Chứng minh (1) Dễ thấy, ϵ(U (S)) ⊆ U (R) U (R) = ϵi(U (R)) ⊆ ϵ(U (S)) Lấy a ∈ ∆(S) Rõ ràng, a + U (S) ⊆ U (S), ϵ(a) + ϵ(U (S)) ⊆ ϵ(U (S)) ϵ(a) + U (R) ⊆ U (R) Điều có nghĩa ϵ(a) ∈ ∆(R) Do đó, ϵ(∆(S)) ⊆ ∆(R) (2) Cho S ∆U -vành Khi U (S) = + ∆(S), theo (1) U (R) = ϵ(U (S)) = + ∆(S) ⊆ + ∆(R) Do U (R) = + ∆((R) (3) Giả sử R ∆U -vành Ta phải ϵ−1 (U (R)) ⊆ + ∆(S), điều có nghĩa U (S) = + ∆(S) Với y ∈ ϵ−1 (U (R)), ta lấy ϵ(y) ∈ U (R) = + ∆(R), R ∆U -vành Suy y − = i(x) + v , v tùy ý thuộc ker(ϵ) x ∈ ∆(R) Lấy tùy ý u khả nghịch thuộc S Lưu ý x + U (R) ⊆ U (R) Ta có ϵ(i(x) + u) = x + ϵ(u) ∈ x + ϵ(U (S)) = 102 x + U (R) ⊆ U (R) = ϵ(U (S)) i(x) + u = u′ + a u′ ∈ U (S) a ∈ ker(ϵ) Suy y − + u = u′ + a + v ∈ U (S) + ker(ϵ) ⊆ U (S) + ∆(S) theo giả thuyết Từ U (S) + ∆(S) ⊆ U (S) với vành có đơn vị S , ta có y − + u ∈ U (S) với u ∈ U (S) Điều có nghĩa y − ∈ ∆(S) hay y ∈ + ∆(S) Ta có điều phải chứng minh Mệnh đề 59 Cho R vành, M monoid RM monoid ring Nếu RM ∆U -vành, R ∆U -vành Mệnh đề 60 Cho R vành giao hốn có đơn gị Vành đa thức R[x] R ∆U R ∆U 26.3 Tính chất ∆U lớp vành Mệnh đề 61 Các điều kiện sau tương đương vành R (1) R ∆U -vành (2) Tất clean elements R ∆-clean Định lý 57 Cho R vành, điều kiện sau tương đương (1) R clean ∆U -vành; (2) Với a ∈ R, ta có a − a2 ∈ ∆(R) a − e ∈ ∆(R) e lũy đẳng, e ∈ R; (3) R ∆-clean ∆U -vành; (4) R vành ∆-clean Bổ đề 19 Nếu R vành unit-regular ∆(R) = Định lý 58 Cho R vành, điều sau tương đương (1) R regular ∆U -vành (2) R strongly regular ∆U -vành (3) R unit-regular ∆U -vành (4) R có identity x2 = x (R vành Boolean) Định lý 59 Cho R vành, điều sau tương đương