Tích phân choquet và định lí choque

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: TÍCH PHÂN CHOQUET VÀ ĐỊNH LÍ CHOQUET 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 Giải tích lồi nhánh nhỏ giải tích đại, nghiên cứu tập lồi hàm lồi với vấn đề liên quan Giải tích lồi có vai trị quan trọng nhiều lĩnh vực khác toán học ứng dụng, đặc biệt tối ưu hoá, bất đẳng thức biến phân, tốn cân Có thể nói, Giải tích lồi sở lý thuyết quan trọng lĩnh vực tối ưu hoá số lĩnh vực khác Ngồi vai trị quan trọng tốn ứng dụng trên, Giải tích lồi sở để để phát triển nhánh toán học lý thuyết khác Giải tích phức đặc biệt lý thuyết vị lý thuyết đa vị 684 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)∥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 (4), 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 (5) 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 (3) Trong chứng minh định lý 16 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 (3) 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ý 33), tập từ tính chất tách qua giới hạn đến không gian (Xem định lý 32 (ii)) Độ 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 ?? 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 rs rs r2 s r3 s s r3 r r2 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 69 25.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 đề 29 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 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 đề 30 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ổ đề 10 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) 70 (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)) = 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 đề 31 Cho R vành, M monoid RM monoid ring Nếu RM ∆U -vành, R ∆U -vành Mệnh đề 32 Cho R vành giao hốn có đơn gị Vành đa thức R[x] R ∆U R ∆U 25.3 Tính chất ∆U lớp vành Mệnh đề 33 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ý 31 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 71 Bổ đề 11 Nếu R vành unit-regular ∆(R) = Định lý 32 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ý 33 Cho R vành, điều sau tương đương (1) R semiregular ∆U -vành (2) R exchange ∆U -vành (3) R/J(R) vành Boolean Hệ 10 Cho R ∆U -vành, điều sau tương đương (1) R semiregular ring (2) R exchange ring (3) R clean ring 26 ĐỊNH LÝ LAGRANGE Định lý 34 (Định lý Lagrange) Giả sử hàm số f liên tục đoạn [a, b], khả vi khoảng (a, b) Khi tồn c ∈ (a, b) cho: f ′ (c) = f (b) − f (a) b−a Chứng minh Xét hàm số   f (b) − f (a) g(x) = f (x) − (x − a) + f (a) b−a Do hàm số f (x) x − a liên tục đoạn [a, b], khả vi khoảng (a, b) nên hàm số g(x) liên tục đoạn [a, b] khả vi khoảng 72 (a, b) Mặt khác g(a) = g(b) = Theo định lý Rolle, tồn c ∈ (a, b) cho g ′ (c) = Nhưng ta có g ′ (x) = f ′ (x) − f (b) − f (a) b−a Suy f ′ (c) = f (b) − f (a) b−a Ta có điều phải chứng minh Ý nghĩa hình học định lý Lagrange Cho C đường cong trơn với hai đầu mút A, B Khi C tồn điểm mà tiếp tuyến C điểm song song với AB Nhận xét Thơng qua cách chứng minh định lý Lagrange hệ định lý Rolle Tuy nhiên định lý Rolle lại trường hợp riêng định lý Lagrange giá trị hai đầu mút (tức f (a) = f (b)) Sau ta trình bày cơng thức Lagrange dạng khác Giả sử ξ ∈ (a, b) Đặt θ = ξ−a Khi đó: b−a ξ = a + θ(b − a) 0