1. Trang chủ
  2. » Luận Văn - Báo Cáo

Phương trình vi tích phân phi tuyến loại hypebolic

93 1 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Nội dung

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: PHƯƠNG TRÌNH VI TÍCH PHÂN PHI TUYẾN LOẠI HYPEBOLIC 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 MỞ ĐẦU Nhiều hệ thống thực tế điện, nước, mạng lưới truyền thơng, thường mơ hình hóa hệ phương trình vi phân Việc nghiên cứu lý thuyết định tính hệ động lực đem lại nhiều ứng dụng Trong lý thuyết điều khiển, quan sát trạng thái hệ động lực phản ánh dáng điệu hệ thống vật lý, thiết kế dựa thơng tin đo đầu vào đầu hệ thống để cung cấp ước lượng cho trạng thái bên hệ động lực Yêu cầu việc thiết kế quan sát ước lượng trạng thái quan sát phải hội tụ tới giá trị thực tế trạng thái hệ thống Tiếp theo đưa điều kiện để tồn quan sát trạng thái 474 Không gian hàm khả vi liên tục C1 (Ω) Định nghĩa 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 = Di f Ω, = Di f hiểu lớp đạo hàm g= ∂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ý 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 ′ ) (1) ∥f, g∥C0 (Ω)×C0 (Ω) := ∥f ∥∞ + ∥g∥∞ (f, g) ∈ C0 (Ω) × C0 (Ω) Chú ý T đẳng cự, nghĩa ∥T (f )∥C0 (Ω)×C0 (Ω) = ∥f ∥C1 ∀f ∈ C1 (Ω) Đặ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)∥E×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→∞ (2) với (f, g) ∈ C0 (Ω) × C0 (Ω chứng minh ∃f ′ = g [a, b] (3) 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 Ω ⊂ 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ý 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 Bài tập F compact (C1 (Ω), ∥.∥C1 ), cho trước (i), (ii) (iii) Nhận xét 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ý (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)) 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 ϱdx c := 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 = Rn |f (y)ϱ(x − y)|dy 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 ϱ(x − y)f (y)dy = (ϱ ∗ f )f (x), ∀x ∈ Rn gx (y)dy = R∋ Rn Rn (ii) cách thay đổi biến Z f (x − y)ϱ(y)dy (f ∗ ϱ)(x) = 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) (4) Chú ý Z (ϱ ∗ f )(xr ) − (ϱ ∗ f )(x) = (ϱ(xr − y) − ϱ(x − y))f (y)dy, ∀r ∈ N Rn (5) 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 (6) Bởi vì, ϱ ∈ Lip(Rn ), theo (23), 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 (7) Từ (22), (23) định lý tính hội tụ bị trội, theo (21) Nhận xét Ký hiệu ∗ tích chập hai hàm khơng gian Rn Lưu ý, kết mệnh đề 50 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(x − y)f (y)dy (g ∗ f )(x) := 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 51 (3) Lấy r, s ∈ ∆(R) Khi −r + s + U (R) ⊆ −r + U (R) = −r − U (R) ⊆ U (R), hay ∆(R) nhóm với phép cộng R Hơn rs = r(s + 1) − r ∈ ∆(R) r(s + 1) ∈ ∆(R) theo (2) (4) Rõ ràng J(R) ⊆ ∆(R) Ta giả sử ∆(R) iđêan R r ∈ R Khi rx + ∈ U (R), với x thuộc ∆(R) suy ∆(R) ⊆ J(R) hay ∆(R) = J(R) Chiều ngược Y Y lại hiển nhiên Y Y Y (5) Lấy ri ∈ ∆( Ri ) Khi ri + U ( Ri ) ⊆ U ( Ri ) Vì Y U( i∈IY Ri ) = i∈I U (Ri )) ⊆ i∈I U (Ri ) nên i∈I Y Y ri + i∈I Yi∈I i∈I Y i∈I i∈I U (Ri ) ⊆ U (Ri ) hay U (Ri ), suy ri +U (Ri ) ⊆ U (Ri ), ∀i ∈ I nên i∈I i∈IY Y i∈I ri ∈ (ri + Yi∈I ∆(Ri ) i∈I Chiều ngược lại tương tự Cho e phần tử lũy đẳng vành R Khi phần tử − 2e khả nghịch R Từ Bổ đề ?? (2) ta suy hệ sau Hệ Cho R vành (1) ∆(R) đóng với phép nhân phần tử lũy linh; (2) Nếu ∈ U (R), ∆(R) đóng với phép nhân phần tử lũy đẳng Định lý 23 Cho R vành có đơn vị T vành R sinh U (R) Khi (1) ∆(R) = J(T ) ∆(S) = ∆(R), với S vành tùy ý R thỏa mãn T ⊆ S ; (2) ∆(R) Jacobson lớn chứa R đóng với phép nhân phần tử khả nghịch R Chứng minh (1) T vành sinh U (R) nên phần tử T viết thành tổng hữu hạn phần tử khả nghịch R Do đó, theo Bổ đề ?? (2) suy ∆(T ) iđêan T Theo Bổ đề ?? (4) suy ∆(T ) = J(T ) Hơn ∆(T ) = ∆(R) nên ∆(R) = J(T ) Nếu r ∈ ∆(R), r + U (R) ⊆ U (R) Điều có nghĩa r biểu diễn thành tổng hai phần tử khả nghịch Do r ∈ T , suy ∆(R) ⊆ T 52 Giả sử S vành R thỏa mãn T ⊆ S Khi U (S) = U (R), ∆(S) = {r ∈ S | r + U (S) ⊆ U (S)} = {r ∈ S | r + U (R) ⊆ U (R)} = S ∩ ∆(R) = ∆(R), ∆(R) ⊆ T ⊆ S (2) Theo (1), ∆(R) Jacobson R theo Bổ đề ?? (2) ∆(R) đóng với phép nhân phần tử khả nghịch trái phải R Bây giờ, ta giả sử S Jacobson chứa R đóng với phép nhân phần tử khả nghịch Ta phải S ⊆ ∆(R) Thật vậy, s ∈ S u ∈ U (R), su ∈ S = J(S) Do su tựa khả nghịch S nên + su ∈ U (R) Theo Bổ đề ?? (1) s ∈ ∆(R) hay S ⊆ ∆(R) Từ đặt trưng ∆(R) Định lý ?? (2) ta có hệ sau Hệ 10 Giả sử R vành mà phần tử biểu diễn thành tổng phần tử khả nghịch Khi ∆(R) = J(R) Định lý cổ điển Amitsur nói Jacobson F -đại số R trường F lũy linh, với điều kiện dimF R < |F | Áp dụng Định lý ?? (1) ta thu hệ sau Hệ 11 Giả sử R vành đại số trường F Nếu dimF R < |F |, ∆(R) vành lũy linh Cho R vành khơng thiết phải có đơn vị S vành R, ta ký hiệu Sˆ vành R sinh S ∪ {1} Mệnh đề 43 Giả sử R vành có đơn vị Khi (1) Cho S vành R thỏa mãn U (S) = U (R) ∩ S Khi ∆(R) ∩ S ⊆ ∆(S); [ = U (R) ∩ ∆(R) [; (2) U (∆(R)) (3) Cho I iđêan R thỏa mãn I ⊆ J(R) Khi ∆(R/I) = ∆(R)/I Chứng minh (1) suy từ định nghĩa ∆ (2) Nếu r ∈ ∆(R), v = + r ∈ U (R) v −1 = − rv −1 ∈ [ ∩ U (R), −rv −1 ∈ ∆(R), Bổ đề ?? ∆(R) [ ∩ U (R), r ∈ ∆(R) k ∈ Z Ta Lấy u = r + k · ∈ ∆(R) ¯ −1 = (u − k)u ¯ −1 = k¯ = k · ∈ U (R) Ta có u − k¯ = r ∈ ∆(R), − ku 53 ¯ −1 = − (1 − ku ¯ −1 ) ∈ U (R), suy ru−1 ∈ ∆(R) theo Bổ đề ?? (2) Khi ku k¯ ∈ U (R) Vì ∆(R) đóng với phép nhân phần tử khả nghịch nên ta áp dụng phần chứng minh v = uk¯−1 = + rk¯−1 [ , nghĩa u−1 k¯ = s + ¯l, với s ∈ ∆(R) l ∈ Z Suy u−1 k¯ = v −1 ∈ ∆(R) [ , U (R) ∩ ∆(R) [ ⊆ U (∆(R)) [ sk¯−1 ∈ ∆(R), u−1 = sk¯−1 + k¯−1 ¯l ∈ ∆(R) [ ⊆ U (R) ∩ ∆(R) [ dễ thấy Chiều ngược lại U (∆(R)) ¯ = (3) Ta ký hiệu ¯ phép chiếu từ R lên R/I Lưu ý, I ⊆ J(R), U (R) U (R) ¯ u ∈ U (R) Khi r¯ + u¯ ∈ U (R) ¯ có phần tử Lấy r¯ ∈ ∆(R) v ∈ U (R) j ∈ I thỏa mãn r + u = v + j Hơn v + j ∈ U (R), ¯ = U (R) nên chiều ngược lại ¯ = ∆(R) Vì U (R) I ⊆ J(R) Suy ∆(R) dễ thấy Áp dụng mệnh đề ta có hệ sau [ = ∆(R), nghĩa ∆ Hệ 12 Cho R vành có đơn vị, ∆(∆(R)) tốn tử đóng [ , ∆(R) ⊆ T Chứng minh ∆(R) Jacobson T = ∆(R) Vì ∆(R) chứa tất phần tử lũy linh nên T /∆(R) đẳng cấu với Z Zn := Z/nZ, với n > nhân tử bình phương Theo Mệnh đề ?? (3) Hệ ?? ta có ∆(T )/∆(R) = ∆(T /∆(R)) = J(T /∆(R)) = hay ∆(T ) = ∆(R) Từ Mệnh đề ?? (1), áp dụng cho S = Z(R) tâm R, ta có hệ sau Hệ 13 ∆(R) ∩ Z(R) ⊆ ∆(Z(R)) Ký hiệu ( R[[x]] = {a0 + a1 x + a2 x2 + · · · |ai ∈ R} = ∞ X ) xi |ai ∈ R i=0 Mỗi phần tử f ∈ R[[x]], f = ∞ X xi với x0 = gọi chuỗi lũy i=0 thừa hình thức biến x với hệ tử thuộc R Ta định nghĩa phép cộng 54 phép nhân, lấy f, g ∈ R[[x]], f = ∞ X i x , g = ∞ X i=0 i=0 nghĩa f = g = bi với i = 0, 1, ! i ∞ ∞ X X X (ai + bi )xi , f g = f +g = i=0 ai−j bj i=0 bi xi Ta định xi j=0 Với phép tốn R[[x]] vành giao hốn có đơn vị Cho vành R, ký hiệu Tn (R) tập tất ma trận tam giác cấp n vành R, Jn (R) iđêan Tn (R) bao gồm tất ma trận tam giác cấp n thực Dn (R) vành ma trận đường chéo cấp n Từ Mệnh đề ?? (3) ta suy trực tiếp hệ sau Hệ 14 Cho R vành tùy ý Khi đó, khẳng định sau (1) ∆(Tn (R)) = Dn (∆(R)) + Jn (R); (2) ∆(R[x]/(xn )) = ∆(R)[x]/(xn ); (3) ∆(R[[x]]) = ∆(R)[[x]] Hệ 15 Cho R vành Khi đó, ∆(R) = J(R) ∆(R/J(R)) = Một vành R có hạng ổn định a, x, b ∈ R thỏa mãn ax + b = 1, tồn y ∈ R cho a + by khả nghịch R Định lý sau vài lớp vành mà ∆(R) = J(R) Định lý 24 ∆(R) = J(R) R thỏa mãn điều kiện sau (1) R/J(R) đẳng cấu với tích vành ma trận thể (2) R vành nửa địa phương (3) R vành clean thỏa mãn ∈ U (R) (4) R U J -vành, nghĩa U (R) = + J(R) (5) R có hạng ổn định (6) R = F G nhóm đại số trường F 55 Chứng minh (1) Giả sử R đẳng cấu với tích vành ma trận thể Theo Hệ ?? ta cần ∆(R/J(R)) = Để làm điều này, ta giả sử J(R) = 0, nghĩa R tích vành ma trận thể Nếu R vành ma trận Mn (S), với S vành chứa đơn vị n ≥ Theo Định lý ??, phần tử R tổng ba phần tử khả nghịch, theo Hệ ?? ∆(R) = J(R) = Khi S thể rõ ràng ∆(S) = Do (1) suy trực tiếp từ Bổ đề ?? (5) (2) Là trường hợp đặc biệt (1) (3) Giả sử R vành clean  thỏa mãn ∈U (R) Nếu e ∈ R lũy đẳng 1 − (1 − 2e) tổng hai phần tử khả 2 nghịch Điều có nghĩa phần tử R tổng ba phần tử khả nghịch Theo Hệ ?? ta suy ∆(R) = J(R) (4) Giả sử U (R) = 1+U (R) Giả sử R U J -vành Khi đó, r ∈ ∆(R) ta có r + U (R) ⊆ U (R), nghĩa r + + J(R) ⊆ + J(R) Suy r ∈ J(R) ∆(R) = J(R) (5) Giả sử R có hạng ổn định Lấy r ∈ ∆(R), ta r ∈ J(R) Với s ∈ R ta có Rr +R(1−rs) = R Vì R có hạng ổn định nên tồn x ∈ R cho r + x(1 − sr) ∈ U (R), suy x(1 − sr) ∈ r + U (R) ⊆ U (R), (1 − sr) khả nghịch hay r ∈ J(R) (6) Giả sử R = F G nhóm đại số trường F Khi đó, phần tử R tổng phần tử khả nghịch Theo Hệ ?? ta suy ∆(R) = J(R) − 2e ∈ U (R) e = Ta biết vành nửa địa phương có hạng ổn định 1, điều kiện (2) (5) tương đương Bổ đề Giả sử G nhóm nhóm R phép tốn cộng Khi G đóng với phép nhân phần tử khả nghịch đóng với phép nhân phần tử tựa khả nghịch R Chứng minh Lấy r ∈ R G nhóm cộng, rG ⊆ G (1 − r)G ⊆ G Định lý 25 Giả sử R vành có đơn vị G nhóm phép cộng R Khi điều kiện sau tương đương (1) G = ∆(R); 56 (2) G Jacobson lớn đóng với phép nhân phần tử tựa khả nghịch R; (3) G nhóm lớn R phép cộng bao gồm phần tử tựa khả nghịch đóng với phép nhân phần tử tựa khả nghịch R Chứng minh Theo Định lý ?? (2) Bổ đề ?? ∆(R) Jacobson R đóng với phép nhân phần tử tựa khả nghịch Giả sử G nhóm cộng bao gồm phần tử tựa khả nghịch đóng với phép nhân phần tử tựa khả nghịch R Cụ thể, G Jacobson không chứa đơn vị R, theo Bổ đề ??, G đóng với phép nhân phần tử khả nghịch R Do theo Định lý ?? (2) ta G ⊆ ∆(R) 18 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 đề 44 Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ Khi (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 đề 45 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 (1) = Dn , CDn (ri ) = R1 , CDn (rj s) = Tj 57 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 đề 46 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 đề 47 Cho nhóm quaternion suy rộng Q4n với n ⩾ Khi 2n , d = (2n, k), với ⩽ k ⩽ 2n; d 4n (ii) Ui,j nhóm quaternion suy rộng cấp , d = (n, i), d với ⩽ i ⩽ 2n, ⩽ j ⩽ 2n − (i) Rk nhóm xiclíc cấp Mệnh đề 48 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 đề 49 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 − 58 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 đề 50 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 d = (2n , i) Mệnh đề 51 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 đề 52 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 59 19 Các cận cho độ giao hốn tương đối nhóm Mệnh đề sau cho ta cận cận cho độ giao hốn tương đối nhóm nhóm Mệnh đề 53 Cho H nhóm G, p ước nguyên tố nhỏ |G| Khi |Z(G) ∩ H| + |H| |Z(G) ∩ H| p(|H| − |Z(G) ∩ H|) + ⩽ Pr(H, G) ⩽ |H| |H||G| 2|H| Chứng minh Đặt K = Z(G) ∩ H Khi theo Mệnh đề ?? ta có X X X |H||G| Pr(H, G) = |CG (x)| = x∈H |CG (x)| + x∈K = |K||G| + X |CG (x)| x∈H\K |CG (x)| x∈H\K Rõ ràng x ∈ H \ K {1} ⊊ CG (x) ⊊ G p ⩽ |CG (x)| ⩽ Do p(|H| − |K|) ⩽ X |CG (x)| ⩽ (|H| − |K|) x∈H\K |G| |G| Cho nên |K||G| + p(|H| − |K|) ⩽ |H||G| X |CG (x)| ⩽ |K||G| + (|H| − |K|) x∈H\K |G| Từ suy |K| p(|H| − |K|) |K| |H| − |K| + ⩽ Pr(H, G) ⩽ + , |H| |H||G| |H| 2|H| ta có cơng thức cần chứng minh Rõ ràng độ giao hoán tương đối nhóm nhóm giao hốn Kết sau cho ta cận cho độ giao hốn tương đối nhóm một nhóm khơng giao hốn 60 Mệnh đề 54 Cho G nhóm khơng giao hốn H nhóm G Khi (i) Nếu H ⊆ Z(G) Pr(H, G) = Hơn nữa, H nhóm khơng giao hốn Pr(H, G) ⩽ (ii) Nếu H ⊈ Z(G) Pr(H, G) ⩽ Chứng minh X (i) Vì H ⊆ Z(G) nên |CG (x)| = |H||G| Do x∈H Pr(H, G) = 1 X |CG (x)| = |H||G| = |H||G| |H||G| x∈H (ii) Giả sử H ⊈ Z(G) Khi dó Z(G) ∩ H ⊊ H , Cho nên |Z(G) ∩ H| ⩽ |H| Áp dụng Định lý ?? ta |H| + |H| |Z(G) ∩ H| + |H| Pr(H, G) ⩽ ⩽ = |H| |H| Giả sử H khơng nhóm giao hốn Khi theo Mệnh đề ?? ta có Pr(H) ⩽ Do đó, theo Định lý ?? ta có Pr(H, G) ⩽ Pr(H) ⩽ Vậy ta có điều phải chứng minh Kết sau mô tả cấu trúc nhóm trường hợp đạt đươc cận Mệnh đề ?? Mệnh đề 55 Cho H nhóm nhóm G Khi đó: H/(Z(G) ∩ H) ∼ = Z2 ; (ii) Nếu Pr(H, G) = H khơng giao hốn H/(Z(G)∩H) ∼ = Z2 × Z2 (i) Nếu Pr(H, G) = 61 Chứng minh (i) Giả sử Pr(H, G) = Khi đó, theo Định Lý ?? ta có |Z(G) ∩ H| + |H| |Z(G) ∩ H| = Pr(H, G) ⩽ = + 2|H| 2|H| Từ suy |H| ⩽ |Z(G) ∩ H| |H| = |H| = |Z(G) ∩ H|, từ suy H ⊆ Z(G) Khi |Z(G) ∩ H| theo Mệnh đề ?? (i) ta có Pr(H, G) = Điều mâu thuẫn với giả |H| thiết Do = 2, H/(Z(G) ∩ H) ∼ = Z2 , ta có điều |Z(G) ∩ H| Nếu phải chứng minh (ii) Giả sử Pr(H, G) = Bằng cách lập luận tượng tự ta suy |H| ⩽ |Z(G) ∩ H| Vì Z(G) ∩ H ⩽ Z(H) nên H/Z(H) ⩽ H/(Z(G) ∩ H) Vì H khơng giao hốn nên H/Z(H) khơng nhóm xiclíc Do H/(Z(G) ∩ H) khơng nhóm xiclíc Từ suy |H| ⩾ |Z(G) ∩ H| Điều chứng tỏ |H| = 4, |Z(G) ∩ H| H/(Z(G) ∩ H) ∼ = Z2 × Z2 20 ĐẠ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 62 đạ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 toán lấy phần bù) ∀A, B ∈ A∗ , A ∪ B ∈ A∗ (Đóng kín với phép toán hợp) Định nghĩa 10 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 tố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 11 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 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 đề 56 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 [ ∗ Hay A1 , A2, , An ∈ A ⇒ Ai ∈ 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∗ 63 Định lý 26 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∗ 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 21 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ị 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 64 (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 đề 57 ([?], Mệnh đề 1.3) Cho R U J -vành Khi (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); 65 (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 đề 58 ([?], 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ý 27 ([?], Đị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ệ 16 ([?], Hệ 1.7) Cho R vành Khi đó, điều kiện sau tương đương (i) R vành rút gọn; (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)

Ngày đăng: 03/07/2023, 08:49

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w