Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 91 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
91
Dung lượng
536,3 KB
Nội dung
BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: NEVANLINNA CHO HÌNH VÀNH KHUYÊN VÀ VẤN ĐỀ DUY NHẤT 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 Luận văn trình bày hai chương: Chương I: Chúng tơi trình bày kiến thức sở bao gồm khái niệm, số định lý Chương II: Là phần luận văn Trong chương chúng tơi trình bày tốn (I) Đầu tiên chúng tơi khảo sát tồn nghiệm khoảng t n, sau khoảng vô hạn [0, +) Cuối khảo sát phụ thuộc liên tục nghiệm tồn (I) f 299 2 Nhóm quaternion suy rộng Mệnh đề Cho nhóm quaternion suy rộng Q4n = ⟨r, s | r2n = 1, s2 = rn = 1, s−1 rs = r−1 ⟩ với n ⩾ H nhóm Q4n Khi (i) Nếu H = Rk với k|2n, ⩽ k ⩽ 2n Pr(H, Q4n ) = n+k k | n, 2n 2n + k k ∤ n 4n (ii) Nếu H = Ui,j với i|n, ⩽ i ⩽ n, ⩽ j ⩽ i − Pr(H, Q4n ) = n+i+2 4n Chứng minh (i) Giả sử H = Rk với k|2n, ⩽ k ⩽ 2n Theo Mệnh đề 52 ta có 2n 2n = (2n, k) k |Rk | = Do 2n r ⩽ i ⩽ −1 k k Rk = ⟨r ⟩ = ik Ta xét hai trường hợp k sau Trường hợp 1: k | n Khi đó, theo Mệnh đề 53 ta có X X |CQ4n (x)| = |CQ4n (1)| + |CQ4n (rn )| + |CQ4n (rik) | 1⩽i⩽ 2n −1 k x∈Rk i̸= nk = 4n + 4n + = 8n + 2n k Do đó, theo Mệnh đề 40, ta có X Pr(Rk , Q4n ) = |Rk ||Q4n | x∈Rk 2n k − |R1 | − 2n = |CQ4n (x)| = 4n(n + k) k 4n(n + k) n+k = 2n k 2n 4n k Trường hợp 2: k ∤ n Khi đó, theo Mệnh đề 53, ta có X X |CQ4n (rik )| |CQ4n (x)| = |CQ4n (1)| + −1 1⩽i⩽ 2n k x∈Rk = 4n + 2n k − |R1 | = 4n + 2n k − 2n = 2n(2n + k) k Từ suy Pr(Rn , Q4n ) = X 2n(2n + k) 2n + k · |CQ4n (x)| = = 2n |Rk ||Q4n | k 4n 4n x∈Rk k (ii) Giả sử H = Ui,j với i|n, ⩽ i ⩽ n, ⩽ j ⩽ i − Theo Mệnh đề 52 ta có |Ui,j | = Đặt k = 4n 4n = (n, i) i 2n Khi i |Ui,j | = 4n = 2k i Do Ui,j = {rli , rli+j s | ⩽ l ⩽ k − 1} Từ suy X X |CQ4n (x)| = x∈Ui,j |CQ4n (rli )| + 0⩽l⩽k−1 = |CQ4n (1)| + |CQ4n (rn )| + X |CQ4n (rli+j s)| 0⩽l⩽k−1 X |CQ4n (rli )| + 1⩽l⩽k−1 l̸= k2 X |CQ4n (rli+j s)| 0⩽l⩽k−1 = |Q4n | + |Q4n | + (k − 2)|R1 | + k|Un,j | 4n(n + i + 2) = 4n + 4n + (k − 2)2n + 4k = i Do đó, theo Mệnh đề 40 Pr(Ui,j , Q4n ) = X 1 4n(n + i + 2) n+i+2 · |CQ4n (x)| = = 4n |Ui,j ||Q4n | i 4n 4n x∈Ui,j i Trong ví dụ sau ta tính lại độ giao hốn tương đối nhóm nhóm quaternion Q8 , tính độ giao hốn tương đối nhóm nhóm Q12 cách áp dụng Mệnh đề ?? Ví dụ (i) Với n = 2, xét nhóm quaternion Q8 (cho Ví dụ 8) Các nhóm Q8 R1 = ⟨r⟩, R2 = ⟨r2 ⟩, R4 = {1}; U2,0 = ⟨r2 , s⟩, U2,1 = ⟨r2 , rs⟩; Q8 Khi Pr(R1 , Q8 ) = 2+2 2·2+4 2+1 = , Pr(R2 , Q8 ) = = 1, Pr(R4 , Q8 ) = = 1; 2·2 2·2 4·2 Pr(U2,0 , Q8 ) = Pr(U2,1 , Q8 ) = 2+2+2 = ; Pr(Q8 , Q8 ) = Pr(Q8 ) = 4·2 (ii) Với n = 3, xét nhóm quaternion Q12 = {1, r, r2 , r3 , r4 , r5 , s, rs, r2 s, r3 s, r4 s, r5 s} Các nhóm Q12 R1 = ⟨r⟩, R2 = ⟨r2 ⟩, R3 = ⟨r3 ⟩, R6 = {1}; U3,0 = ⟨r3 , s⟩, U3,1 = ⟨r3 , rs⟩, U3,2 = ⟨r3 , r2 s⟩; Q12 Khi Pr(R1 , Q12 ) = 3+1 2·3+2 = , Pr(R2 , Q12 ) = = , 2·3 4·3 3+3 2·3+6 = 1, Pr(R6 , Q12 ) = = 1; 2·3 4·3 3+3+2 Pr(U3,0 , Q12 ) = Pr(U3,1 , Q12 ) = Pr(U3,2 , Q12 ) = = ; 4·3 Pr(Q12 , Q12 ) = Pr(Q12 ) = Pr(R3 , Q12 ) = 67 (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ý 19, ∆(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ệ 18 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 đề 37 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ệ ?? 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 đề 30 (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 25 Các tính chất tổng quát ∆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) Một vành R gọi ∆U -vành + ∆(R) = U (R) Mệnh đề 38 Một vành R ∆U -vành U (R)+U (R) ⊆ ∆(R) (khi U (R) + U (R) = ∆(R)) 68 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) hay U (R) + U (R) ⊆ ∆(R) Ngược lại, giả sử U (R) + U (R) ⊆ ∆(R), suy U (R) + U (R) = ∆(R) (vì ∆(R) ⊂ U (R) + U (R)) hay + ∆(R) = U (R) Vậy R ∆U -vành Mệnh đề sau trình bày số tính chất ∆U -vành Mệnh đề 39 Cho R ∆U -vành Khi (1) ∈ ∆(R); (2) Nếu R thể, R ∼ = F2 ; (3) Nếu x2 ∈ ∆(R) x ∈ ∆(R) (do N (R) ⊆ ∆(R)); (4) R hữu hạn Dedekind; (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ể áp dụng cho Z = Z(R) tâm R Chứng minh (1) Từ Mệnh đề 74 ta dễ dàng suy ∈ ∆(R) (2) Nếu R thể ∆(R) = Vì R U J -vành nên ta suy R∼ = F2 (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 nên 1+x ∈ 1+∆(R), x ∈ ∆(R) (4) Giả sử a, b ∈ R với ab = Khi phần tử − 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)] ∈ ∆(R) Từ đó, ba ∈ U (R) ba = 69 (5) Nếu I ⊆ J(R) iđêan, ∆(R/I) = ∆(R)/I theo Mệnh đề 30 Giả sử R ∆U -vành Khi đó, u + I ∈ U (R/I), ta có u ∈ U (R) u ∈ + ∆(R) Suy 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) Từ giả thiết U (T ) = U (R) ∩ T suy ∆(R) ∩ T ⊆ ∆(T ) Bây U (R) = + ∆(R) cho + ∆(T ) ⊆ U (T ) = U (R) ∩ T = (1 + ∆(R)) ∩ T = + (∆(R) ∩ T ) ⊆ + ∆(T ) suy + ∆(T ) ⊆ U (T ) hay T ∆U -vành Định lý 33 Vành ma trận 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 minh R thể, tức phần tử khác không khả nghịch Lấy bất 0 − a 0 0 kỳ a ∈ R, a = ̸ 0, ta có X = ∈ Mn (R) X = 0 Do M n (R) ∆U -vành,ta lấy X ∈ ∆(Mn (R)) Lấy phần tử 0 1 0 0 0 0 U = ∈ Mn (R) Khi In −U X = 0 0 0 khả nghịch Mn (R), hay a ∈ U (R) Do đó, R thể Tiếp theo, ta chứng minh R ∼ = F2 Lấy a ∈ R, a ̸= khả nghịch 0 0 0 a a ̸= Lấy 70 a 0 X= 0 a 0 0 ∈ Mn (R) Khi X khả nghịch Vì Mn (R) 0 a 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 đề 40 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 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 Cho R vành M song môđun vành R Một mở rộng 71 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) r m r Mở rộng tầm thường T (R, M ) đẳng cấu với vành : r ∈ R m ∈ M R M Hơn nữa, kiểm tra vành ma trận × R ∼ T (R, R) = R[x]/(x ) Theo Mệnh đề ??, có tập phần tử khả nghịch mở rộng tầm thường T (R, M ) T (U (R), M ), ∆(T (R, M )) = T (∆(R), M ) A M Morita context gồm thành phần A, B vành, N B M ×N → A A MB B NA song môđun, tồn tích context A M N × M → B với (ω, z) = ωz (z, ω) = zω , thỏa mãn vành N B kết hợp với phép toán trên ma trận A M Morita context gọi tầm thường tích context N B tầm thường, nghĩa M N = N M = (xem [?], trang 1993) Ta có A M N B A M N B ∼ = T (A × B, M ⊕ N ) Morita context tầm thường theo [?] Định lý 34 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) 72 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ệ 32 Giả sử M là(R, S) song mơđun Khi vành ma trận R M tam giác dạng ∆U -vành R S S ∆U -vành Hệ 33 R ∆U -vành vành ma trận tam giác Tn (R) ∆U -vành, n ≥ 26 ĐẠ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 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 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 73 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 đề 41 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 toá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 toán lấy hiệu đối xứng nghĩa là: ∀A, B ∈ A∗ ⇒ A△B ∈ A∗ Định lý 35 Cho tập X khác rỗng Giả sử X có phép toán α Phép toá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∗ 74 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 27 Không gian hàm Lipschitz Lip(Ω) Định nghĩa 11 Cho A ⊂ Rn (i) Hàm f : A ⊂ Rn → R gọi "Lipschitz" tồn số L>0 thỏa |f (x) − f (y)| ≤ L|x − y|, ∀x, y ∈ A Tập hợp hàm Lipschitz f : A ⊂ Rn → R ký hiệu Lip(A) (ii) Cho f ∈ Lip(A) Một số không âm |f (x) − f (y)| : x, y ∈ A, x ̸= y Lip(f ) = Lip(f, A) := sup |x − y| gọi số Lipschitz f Nhận xét Định nghĩa hàm Lipschitz khái niệm metric Thật vậy, (X, d) (Y, ϱ) không gian metric, ánh xạ f : X → Y gọi Lipschitz có số L > thỏa mãn ϱ(f (x), f (y)) ≤ Ld(x, y), ∀x, y ∈ X Mệnh đề 42 Cho A ⊂ Rn f ∈ Lip(A) (i) f liên tục A; (ii) tồn f¯ : A → R với f |A = f Lip(f ) = Lip(f ) Nhận xét Từ mệnh đề 30 suy f ∈ Lip(A), với A ⊂ Rn , ln có nghĩa hàm f : A → R ngược lại Hơn nữa, ánh xạ mở rộng E : Lip(A) → Lip(A), E(f ) := f song ánh Theo kết này, ta hiểu Lip(A) = Lip(A) Lưu ý tính chất mở rộng khơng cịn không gian C1 (Ω) 75 Mệnh đề 43 Cho Ω ⊂ Rn tập lồi bị chặn Khi C1 (Ω) ⊂ Lip(Ω) Chứng minh Cho f ∈ C1 (Ω) Theo định lý giá trị trung bình ∀x, y ∈ Ω, ∃z ∈ xy := {tx + (1 − t)y : ≤ t ≤ 1} ⊂ Ω thỏa mãn f (x) − f (y) = (∇f (z), x − y)Rn Nghĩa |f (x) − f (y)| = |(∇f (z), x − y)Rn | ≤ sup(|∇f |)|x − y| = L|x − y|, ∀x, y ∈ Ω Ω Nhận xét (i) không Ω khơng lồi p Ví dụ: Cho Ω = {(x, y) ∈ R : y < |x|, x2 + y < 1} ( y β y > f (x, y) := y ≤ với 1, β < Khi f ∈ C1 \ Lip(Ω) Thật vậy, dễ thấy f ∈ C1 Ta chứng minh f ∈ / Lip(Ω) Theo phản chứng, giả sử f ∈ Lip(Ω) Khi tồn L > thỏa mãn, với (x, y) ∈ Ω với x > 0, y > 0, x 1/β |f (x, y) − f (−x, y)| = 2y β ≤ 2Lx ⇔ y ≤ L Từ 1/2 < 1/β , ta chọn (x, y) ∈ Ω thỏa mãn x 1/β √ x>y> , L điều mấu thuẫn với bất đẳng thức trước (ii) Quan hệ bao hàm chặt Ví dụ: Cho Ω = (−1, 1) f (x) = |x| Khi f ∈ Lip(Ω) \ C1 (Ω) Mặc dù không gian hàm Lipschitz Lip(Ω) rộng hàm khả vi liên tục C1 (Ω), chúng có chung tính chất quan trọng, tính khả vi, chứng minh trường hợp chiều 76 Định lý 36 (Rademacher) Cho Ω ∈ Rn tập mở cho f ∈ Lip(Ω) Khi f khả vi x, Ln hầu khắp nơi, x ∈ Ω, nghĩa bỏ tập có độ đo không N ⊂ Ω, với x ∈ Ω \ N tồn hàm tuyến tính varphi : Rn → R thỏa mãn f (y) − f (x) − φ(y − x) = y→x y−x lim Đặc biệt, với x ∈ Ω \ N tồn ∇f (x) Định nghĩa 12 Cho Ω ⊂ Rn tập mở bị chặn, cho f ∈ Lip(Ω) Ta biểu thị ∥f ∥Lip = ∥f ∥Lip,Ω := ∥f ∥∞,Ω + Lip(f, Ω) ∥.∥Lip gọi chuẩn Lip Định lý 37 (Lip(Ω), ∥.∥Lip ) không gian Banach vô hạn chiều không không gian Hilbert, biết Ω ∈ Rn tập mở bị chặn Chứng minh Dễ thấy (Lip(Ω), ∥.∥Lip ) khơng gian tuyến tính định chuẩn, ý Lip(f + g) ≤ Lip(f ) + Lip(g) ∀f, g ∈ Lip(Ω) (21) Ta phải tính đầy đủ Cho (fh )h dãy Cauchy (Lip(Ω), ∥.∥Lip ), nghĩa với ϵ > tồn h = h(ϵ) ∈ N thỏa mãn |fh (x) − fk (y)| + |fh (x) − fk (y) − fh (z) + fk (z)| ≤ |y − z| (22) ∥fh − fk ∥∞ + Lip(fh − fk ) = ∥fh − fk ∥Lip ≤ ϵ ∀k > h > h, x, y, z ∈ Ω với y ̸= z Theo (??) (??), suy tồn L > thỏa mãn Lip(fh ) ≤ L ∀h, (23) theo (??), (fh )h dãy Cauchy (C0 (Ω), ∥.∥∞ ) Khi đó, tồn f ∈ C0 (Ω) thỏa mãn fh → f Ω Theo (??), ta Lip(f ) ≤ L, f ∈ Ω Lấy qua giới hạn (??), k → ∞, 77 ϵ > tồn h = h(ϵ) ∈ N cho |fh (x) − f (x)| + fh (y) − f (y) − fh (z) + f (z) ≤ϵ y−z ∀h > h, x, y, z ∈ Ω, y ̸= z Điều có nghĩa lim ∥fh − f ∥Lip = h→∞ Từ tập hợp hàm đa thức chứa Lip(Ω), Lip(Ω) vô hạn chiều Cuối cùng, ta cần phải chứng minh khơng phải khơng gian Hilbert, lập luận tương tự trường hợp trước, cách sử dụng đẳng thức hình bình hành Theo hệ mệnh đề ?? ta kết sau Hệ 34 Bao hàm C1 (Ω) ⊂ Lip(Ω) ánh xạ song Lipszhitz, nghĩa ∥f ∥C1 ≤ ∥f ∥Lip ≤ L∥f ∥C1 ∀f ∈ C1 (Ω), L nghiêm ngặt, biết Ω ⊂ Rn tập lồi, mở bị chặn Đặc biệt, C1 (Ω) khơng gian đóng (Lip(Ω), ∥.∥Lip ) Chứng minh Ta chứng minh khẳng định trường hợp n = Ω = (a, b) Theo mệnh đề ?? nhận xét ?? (ii), ta cần quan hệ bao hàm phép đẳng cự Điều suy Bài tập Nếu f ∈ C1 ([a, b]) ∥f ∥Lip = ∥f ∥C1 Tính compact Lip(Ω) Định lý 38 Cho Ω ⊂ Rn tập mở bị chặn, giả sử F = BLip(Ω) := {f ∈ Lip(Ω) : ∥f ∥Lip ≤ 1} Khi BLip(Ω) compact (Lip(Ω), ∥.∥∞ ) Chứng minh Ta cần F compact (C0 (Ω), ∥.∥∞ ) Áp dụng định lý Arzelà - Ascoli (Định lý 36) Chứng minh (i) F bị chặn (C0 (Ω), ∥.∥∞ ): hiển nhiên theo định nghĩa 78 (ii) F đóng (C0 (Ω), ∥.∥∞ ): nghĩa là, (fh )h ⊂ F với ∥fh − f ∥∞ , f ∈ F Thật fh ∈ FLef trightarrow|fh (x)|+ |fh (y) − fh (z)| ≤1 y−z ∀h, x, y, z ∈ Ω với y ̸= z Lấy qua giới hạn, h → ∞, ta |f (x)| + |f (y) − f (z)| ≤1 y−z ∀x, y, z ∈ Ω với y ̸= z từ f ∈ F (iii) F liên tục Ω Thật vậy, đủ để nhận thấy rằng, theo định nghĩa |f (y) − f (z)| ≤ |y − z| ∀y, z ∈ Ω, f ∈ F Ta có điều phải chứng minh Nhận xét Chú ý BC1 (Ω) := {f ∈ C1 (Ω) : ∥f ∥C1 ≤ 1} không compact (C1 (Ω), ∥.∥∞ ) Đây đặc trưng tốt có Lip(Ω) khơng có C1 (Ω) Tính tách (Lip(Ω), ∥.∥Lip ) Định lý 39 Cho Ω ⊂ Rn tập mở bị chặn Khi (Lip(Ω), ∥.∥Lip ) khơng tách Chứng minh Ta cần tồn họ tách rời không đếm {Uα : α ∈ I} tập mở (Lip(Ω), ∥.∥Lip ) (Mệnh đề ??) Ta chia chứng minh thành hai bước Bước 1: Giả sử n = Ω = (a, b) ta chứng minh kết luận Cho {uα : α ∈ (a, b)} ⊂ (Lip(a, b)) họ hàm uα (x) := |x − α| x ∈ (a, b), α ∈ I := (a, b) Ta chứng minh ∥uα − uβ ∥Lip ≥ Lip(uα − uβ ) ≥ α ̸= β (24) 79 Thật |uα (x) − uβ (x) − uα (y) + uβ (y)| Lip(uα − uβ ) = sup : x, y ∈ (a, b), x ̸= y |x − y| |uα (α) − uβ (α) − uα (β) + uβ (β)| |α − β| =2 = |α − β| |α − β| ≥ Vì họ Uα := {f ∈ Lip((a, b)) : ∥f − uα ∥Lip < ∀α ∈ I} Ta điều mong muốn Bước 2: Giả sử Ω tập mở bị chặn Từ Ω mở, tồn hình cầu mở (a1 , b1 ) × · · · × (an , bn ) ⊂ Ω Cho {fα : α ∈ (a1 , b1 )} ⊂ Lip(Ω) họ hàm định nghĩa fα (x) := uα (x1 ) x = (x1 , x2 , , xn ) ∈ Ω, α ∈ I := (a1 , b1 ), uα hàm biến theo định nghĩa bước Theo (??) ta được, α ̸= β Lip(fα − fβ , Ω) ≥ Lip(uα − uβ , (a1 , b1 )) ≥ Vì vậy, họ Uα := {f ∈ Lip(Ω) : ∥f − fα ∥Lip < 1} ∀α ∈ I Ta điều cần chứng minh Ta xem xét lớp Lip(Ω) hàm liên tục Lipschitz f : Ω → R mà định nghĩa thỏa mãn ước lượng |f (x) − f (y)| < C|x − y| ∀x, y ∈ Ω (L) Với C > Giống hàm thỏa mãn (L), hàm thỏa mãn tính chất (H) quan trọng, hàm thỏa mãn tính chất (H) gọi hàm thỏa mãn điều kiện Holder với số mũ α |f (x) − f (y)| ≤ C|x − y|α với số C, α > ∀x, y ∈ Ω (H) 80 Bài tập Cho Ω ⊂ Rn tập mở liên thông giả sử (H) với C > α > Khi f ≡ const Do điều kiện Holder khơng cịn ý nghĩa cho hàm với số mũ lớn tập mở liên thông Định nghĩa 13 Cho A ⊂ Rn , hàm f : A → R gọi liên tục Holder với mũ α > thỏa mãn (H) với sô C > 28 Vô hạn chiều Định nghĩa 14 (i) Không gian vector thực E gọi vơ hạn chiều khơng hữu hạn chiều ta viết dimR E = ∞ (ii) Nếu dimR E = ∞, hệ B ⊂ E gọi sở (đại số Hamel) E hệ vector độc lập tuyến tính (nghĩa tập hữu hạn độc lập tuyến tính) B tập lớn tất tập chứa vector độc lập tuyến tính E Điều chứng minh theo nguyên lý cực đại Hausdorff, với khơng gian vector vơ hạn chiều E có sở B phần tử thuộc E biểu diễn (hữu hạn) theo tổ hợp tuyến tính phần tử thuộc B Khi dimR E = ∞, (E, ∥.∥E ) (E ′ , ∥.∥E ′ ) không thiết đẳng cấu topo Tuy nhiên, ta chứng minh vài tính chất topo (E ′ , ∥.∥E ′ ) tính tách giữ (E, ∥.∥E ) Định lý 40 (E, ∥.∥E ) tách (E ′ , ∥.∥E ′ ) tách Trước chứng minh định lý ta cần sử dụng điều kiện trù mật cho không gian định chuẩn, hệ định lý Hahn-Banach thứ hai hình học Mệnh đề 44 (Điều kiện trù mật không gian con) Cho (E, ∥.∥E ) không gian định chuẩn Giả sử M ⊂ E không gian không trù mật (E, ∥.∥E ) lấy x0 ∈ E \ M Khi tồn f ∈ E ′ cho ⟨f, x⟩E ′ ×E = 0, ∀x ∈ M ⟨f, x0 ⟩E ′ ×E = 81 Chứng minh Từ định lý Hahn-Banach thứ hai hình học, tồn g ∈ E ′ cho siêu phẳng H := {x ∈ E : ⟨g, x⟩E ′ ×E = α}, tách tập M {x0 } cách nghiêm ngặt, tức ⟨g, x⟩E ′ ×E < α < ⟨g, x0 ⟩E ′ ×E ∀x ∈ M (25) Từ M không gian con, theo (4), suy λ ⟨g, x⟩E ′ ×E < α, ∀λ ∈ R, ⟨g, x⟩E ′ ×E = 0, ∀x ∈ M (26) Do đó, ta xác định hàm f ∈ E ′ f := g, ⟨g, x0 ⟩E ′ ×E ta có điều phải chứng minh Chứng minh Định lý 29 Cho D := {fh : h ∈ N} ⊂ (E ′ , ∥.∥E ′ ), trù mật Với h có phần tử xh ∈ E với ∥xh ∥ = 1 |fh (x)| ≥ ∥fh ∥E ′ Cho e := spanQ {xh : h ∈ N} D := spanR {xh : h ∈ N}, D tức là, tập tất tổ hợp tuyến tính phần tử {xh : e đếm được, D không gian h ∈ N} với hệ số thực Khi D E theo cách xây dựng ˜ ⊂ (D, ∥.∥) trù mật D Để đưa kết luận chứng minh, ta cần phải D ⊂ (D, ∥.∥) trù mật