Các mở rộng vành

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: CÁC MỞ RỘNG VÀNH DROFF 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 Bất đẳng thức chuyên đề phức tạp có ứng dụng phong phú tốn học Nó liên quan đến nhiều lĩnh vực khác như: Giải tích, lượng giác, hình học Đã có nhiều nhà tốn học nghiên cứu bất đẳng thức như: Cauchy, Jensen, Holder Trong đặc biệt Minkowski bất đẳng thức ứng dụng rộng rãi toán cao cấp sơ cấp Với mong muốn tìm hiểu cách có hệ thống bất đẳng thức Minkowski chọn đề tài “CÁC DẠNG MỎ RỘNG CỦA BẤT ĐẲNG THỨC MINKOWSKI VÀ ỨNG DỤNG” Từ lý nên đề tài tập trung nghiên cứu bất đẳng thức Minkowski số dạng mở rộng bất đẳng thức Minkowski 236 2 So sánh không gian vector hữu hạn chiều không gian vector vô hạn chiều Chúng ta nhắc lại sơ qua điểm khác không gian vector hữu hạn chiều không gian vector vô hạn chiều từ cách nhìn đại số topo Định nghĩa (i) Cho E F hai không gian vector Ta nói E F đẳng cấu tuyến tính tồn ánh xạ T : E → F ánh xạ tuyến tính − từ E vào F (ii) Cho (E, ∥.∥E ) (F, ∥.∥F ) Ta nói (E, ∥.∥E ) (F, ∥.∥F ) đẳng cấu topo tồn ánh xạ liên tục T : E → F ánh xạ tuyến tính − với ánh xạ ngược liên tục T −1 : F → E (ii) Cho (E, ∥.∥E ) (F, ∥.∥F ) Ta nói (E, ∥.∥E ) (F, ∥.∥F ) đẳng cấu metric tồn ánh xạ T : E → F ánh xạ tuyến tính − từ E vào F với ∥T (x)∥F = ∥x∥E với x ∈ E Ta nhớ lại khái niệm không gian đối ngẫu không gian vector định chuẩn Định nghĩa Cho (E, ∥.∥) không gian vector định chuẩn Không gian đối ngẫu E ′ E khơng gian tuyến tính định nghĩa bởi: E ′ := {f : E → R : f tuyến tính liên tục} E ′ trang bị chuẩn ∥f ∥E ′ := |f (x)| < +∞ x∈E\{0} ∥x∥ sup Định lý (E ′ , ∥.∥E ′ ) không gian Banach Chứng minh Ta chứng minh dãy Cauchy E ′ hội tụ Giả sử {fn } dãy Cauchy E ′ , tức ∥fm − fn ∥E ′ → m, n → ∞, với x ∈ E ta có |fm (x) − fn (x)| = |(fm − fn )(x)| tính tuyến tính, hay |fm (x) − fn (x)| ≤ ∥fm − fn ∥E ′ ∥x∥E → m, n → ∞, {fn } dãy Cauchy E ′ Ta suy fn (x) dãy Cauchy R, fn (x) hội tụ, nghĩa tồn f (x) cho f (x) = lim fn (x) n→∞ Ta cần chứng minh f (x) tuyến tính liên tục Tính tuyến tính hiển nhiên, ta cần chứng minh tính liên tục, hay ta chứng minh f (x) bị chặn |f (x)| = lim |fn (x)| ≤ lim ∥fn ∥E ′ ∥x∥E , n→∞ n→∞ Vì fn ∈ E ′ nên fn tuyến tinh bị chặn, tức tồn M > cho ∥fn ∥ ≤ M , từ ta suy |f (x)| ≤ lim M ∥x∥E = M ∥x∥E n→∞ Ta có điều phải chứng minh Lưu ý: Nếu f ∈ E ′ x ∈ E ta viết ⟨f, x⟩E ′ ×E thay cho f (x) ta gọi ⟨., ⟩E ′ ×E tích vơ hướng khơng gian đối ngẫu E, E ′ Ký hiệu chung không gian đối ngẫu thực E không gian Hilbert Một số kiến thức nhóm Một nhóm (G, ·) tập hợp G ̸= ∅ trang bị phép tốn hai ngơi · thỏa mãn điều kiện sau đây: (i) a · (b · c) = (a · b) · c với a, b, c ∈ G, (ii) Tồn phần tử e ∈ G cho a · e = a = e · a với a ∈ G, (iii) Với a ∈ G tồn phần tử a′ ∈ G cho a · a′ = a′ · a = e Để đơn giản, ta ký hiệu ab thay cho a · b Phần tử e xác định (ii) nhất, gọi phần tử đơn vị nhóm G, thường ký hiệu Với a ∈ G, phần tử a′ xác định (iii) nhất, gọi phần tử nghịch đảo a, ký hiệu a−1 Một nhóm G gọi giao hoán (hay abel ) ab = ba với a, b ∈ G Nếu nhóm G có hữu hạn phần tử ta gọi G nhóm hữu hạn, gọi số phần tử G cấp nhóm G, ký hiệu |G| Cho G nhóm, H tập G Ta gọi H nhóm G, ký hiệu H ⩽ G, điều kiện sau thỏa mãn: (i) Phép toán G hạn chế lên H cảm sinh phép toán H , (ii) H nhóm với phép tốn cảm sinh Cho G nhóm, H tập G ta ký hiệu ⟨S⟩ nhóm bé G chứa S , gọi S tập sinh ⟨S⟩ Đặc biệt, nhóm có tập sinh gồm phần tử gọi nhóm xiclíc Mệnh đề (Định lý Lagrange) Cho G nhóm hữu hạn, H nhóm G Khi |H| ước |G| Với G nhóm hữu hạn, H ⩽ G, ta ký hiệu |G : H| = |G| : |H|, gọi số nhóm H G Mệnh đề Cho G nhóm, A, B hai nhóm hữu hạn G Ký hiệu AB = {ab | a ∈ A, b ∈ B} Khi |AB| = |A||B| |A ∩ B| Cho G nhóm, a phần tử G Với u phần tử G, liên hợp u a, ký hiệu ua , định nghĩa ua = a−1 ua Với H nhóm G, ta gọi H nhóm chuẩn tắc G, ký hiệu H ◁ G, ∈ H với a ∈ G, h ∈ H Cho N nhóm chuẩn tắc G Ký hiệu G/N = {aN | a ∈ G} Khi G/N nhóm với phép tốn xác định sau Với a, b ∈ G (aN )(bN ) = abN Nhóm G/N gọi nhóm thương G N Với S tập G, tâm hóa S G, ký hiệu CG (S), định nghĩa CG (S) = {a ∈ G | ua = u với u ∈ S} Trong trường hợp S = {x}, ta dùng ký hiệu CG (x) thay cho CG (S) Tâm nhóm G, ký hiệu Z(G), định nghĩa Z(G) = CG (G) Mệnh đề Cho G nhóm khơng giao hốn Khi đó, nhóm thương G/Z(G) khơng nhóm xiclíc Cho G nhóm Với x y hai phần tử G, giao hoán tử x y , ký hiệu [x, y], định nghĩa [x, y] = x−1 y −1 xy Nhóm giao hốn tử G, ký hiệu G′ , định nghĩa nhóm sinh tập tất giao hoán tử {[x, y] | x, y ∈ G} Cho hai nhóm G H Một ánh xạ f : G → H gọi đồng cấu nhóm với a, b ∈ G f (ab) = f (a)f (b) Nếu đồng cấu f đơn ánh (tương ứng, tốn ánh, song ánh) ta gọi f đơn cấu (tương ứng, toàn cấu, đẳng cấu) Ta ký hiệu Aut(G) nhóm tất tự đẳng cấu G Cho N H hai nhóm bất kỳ, cho θ : H → Aut(N ) đồng cấu nhóm Khi đó, tập hợp G = {(x, h) | x ∈ N, h ∈ H} nhóm với phép tốn xác định sau Với (x1 , h1 ), (x2 , h2 ) ∈ G, (x1 , h1 )(x2 , h2 ) = (x1 θ(h1 )(x2 ), h1 h2 ) Nhóm G xác định gọi tích nửa trực tiếp N H ứng với tác động θ, ký hiệu G = N ×θ H Trong trường hợp đặc biệt θ đồng cấu tầm thường tích nửa trực tiếp tích trực tiếp Sau số kiến thức p-nhóm nhóm abel hữu hạn Cho p số nguyên tố Một nhóm G gọi p-nhóm |G| môt lũy thừa p Ta thấy nhóm con, nhóm thương p-nhóm p-nhóm Mệnh đề Cho p số nguyên tố Khi (i) Mọi nhóm có cấp p nhóm xiclíc (ii) Mọi nhóm có cấp p2 nhóm abel Mệnh đề Mọi nhóm abel hữu hạn G biểu diễn cách thành tích trực tiếp nhóm xiclíc G∼ = Cn1 × Cn2 × · · · × Cnk ni ⩾ 2, i = 1, 2, k , n1 | n2 | · · · | nk Sau số kiến thức nhóm đối xứng nhóm thay phiên Cho X tập hợp Một song ánh từ tập X đến gọi phép tập X Ký hiệu S(X) tập tất phép tập X Khi S(X) nhóm với phép toán hợp thành ánh xạ Ta gọi S(X) nhóm đối xứng tập X Ta dùng ký hiệu Sn để nhóm đối xứng tập X = {1, 2, , n} gọi Sn nhóm đối xứng bậc n Định lý Mọi phép π ∈ Sn với n ⩾ phân tích thành tích xích rời Phân tích khơng kể đến thứ tự nhân tử Cho π ∈ Sn với n ⩾ Khi đó, theo Định lý ??, ta có phân tích π thành tích xích rời π = (a11 a12 · · · a1k1 )(a21 a22 · · · a2k2 ) · · · (as1 as2 · · · asks ) ta giả thiết k1 ⩾ k2 ⩾ · · · ⩾ ks Ta gọi (k1 , k2 , , ks ) kiểu phép π Mệnh đề Hai phép nhóm đối xứng Sn với n ⩾ liên hợp với chúng có kiểu Cho σ ∈ Sn với n ⩾ Ta nói cặp (σ(i), σ(j)) nghịch σ i < j σ(i) > σ(j) Dấu phép σ, ký hiệu sign(σ), xác định cơng thức sign(σ) = (−1)t t số nghịch σ Nếu sign(σ) = ta gọi σ phép chẵn, sign(σ) = −1 ta gọi σ phép lẻ Mệnh đề Cho σ, τ ∈ Sn với n ⩾ Khi (i) sign(στ ) = sign(σ)sign(τ ) (ii) Nếu σ xích độ dài k sign(σ) = (−1)k+1 Với n ⩾ ta ký hiệu An tập phép chẵn bậc n Khi An nhóm chuẩn tắc số Sn Ta gọi An nhóm thay phiên bậc n Cuối mục kết độ giao hốn nhóm Định nghĩa Cho G nhóm Ký hiệu C = {(x, y) ∈ G × G | xy = yx} Độ giao hốn G, ký hiệu Pr(G), định nghĩa sau Pr(G) = |C| |G|2 Mệnh đề Nếu G nhóm khơng giao hốn Pr(G) ⩽ Nhóm đối xứng Trong mục chúng tơi tính tốn độ giao hốn tương đối nhóm thay phiên An nhóm đối xứng Sn Định nghĩa Cho n số nguyên dương Một phân hoạch n dãy không tăng số nguyên dương (k1 , k2 , , ks ) cho k1 + k2 + · · · + ks = n Từ Mệnh đề 55 ta có kết sau Mệnh đề Với n ⩾ Pr(An , Sn ) = 2c(n) n! c(n) số lớp liên hợp Sn nằm An Để tính c(n) ta cần kết sau Mệnh đề 10 Cho n số nguyên, n ⩾ 2, (k1 , k2 , , ks ) phân hoạch n Giả sử π ∈ Sn có kiểu (k1 , k2 , , ks ) Khi π ∈ An s + k X ki số chẵn i=1 Chứng minh Vì phép π có kiểu (k1 , k2 , , ks ) cho nên, theo Mệnh đề 22, ta có s P (ki +1) sign(π) = (−1)i=1 s+ = (−1) s P i=1 ki Từ suy điều phải chứng minh Trong ví dụ sau chúng tơi tính tốn giá trị Pr(An , Sn ) với ⩽ n ⩽ cách áp dụng Mệnh đề ?? Với n ⩾ 2, ta liệt kê tất phân hoạch n ứng với kiểu phép An Từ ta đếm c(n) tính Pr(An , Sn ) Ví dụ (i) Với n = ta có phân hoạch (1, 1) Do c(2) = Cho nên Pr(A2 , S2 ) = 2c(2) = 2! (ii) Với n = ta có phân hoạch (3), (1, 1, 1) Do c(3) = Cho nên Pr(A3 , S3 ) = 2c(3) = 3! (iii) Với n = ta có phân hoạch (3, 1), (2, 2), (1, 1, 1, 1) Do c(4) = Cho nên Pr(A4 , S4 ) = 2c(4) = 4! (iv) Với n = ta có phân hoạch (5), (3, 1, 1), (2, 2, 1), (1, 1, 1, 1, 1) N |CN (y)| S∈G/N y∈S Áp dụng Bổ đề 13 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∈N |CS (x)| = X |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)| 30 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)| x∈N S∈G/N S∈G/N x∈N = |H/N ||G/N | Pr(H/N, G/N )|N |2 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ổ đề 13 ta có CH (y)N = CH/N (yN ) với y ∈ G N Theo lập luận ta có |H||G| Pr(H, G) = X |CH/N (S)| S∈G/N X |S ∩ CG (x)| x∈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 đề 17 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) 31 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 |CN ×H (x)| = x∈N1 ×H1 X |CN (x1 )| x1 ∈N1 |CH (x2 )| x2 ∈H1 Áp dụng Mệnh đề 54 ta có Pr(N1 × H1 , N × H) = |N1 × H1 ||N × H| = |N1 ||H1 ||N ||H| = |N1 ||N | X X |CN ×H (x)| x∈N1 ×H1 X |CN (x1 )| x1 ∈N1 |CN (x1 )| x1 ∈N1 X |CH (x2 )| 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ệ 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 hoá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 đề 18 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 32 tử sinh Ký hiệu G = A×θ 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) 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 |CG\A (x)| + x∈Aα X |CG\A (x)| x∈A |CG\A (x)| x∈A\Aα = |A| + |A||Aα | + = |A|(|A| + |Aα |) Theo Mệnh đề 54 ta có Pr(A, G) = X |CG (x)| |A||G| x∈A = |A| |C2 | |A|(|A| + |Aα |) = Vậy ta có điều phải chứng minh |A| + |Aα | |Aα | = + 2|A| 2|A| 33 10 Không gian hàm liên tục C0 (Ω) Định nghĩa (i) Cho tập A ⊂ Rn , C0 (A) := {f : A → R, f liên tục x ∈ A} (ii) Cho K ⊂ Rn tập compact cho f ∈ C0 (K) Ta ký hiệu ∥f ∥∞ số thực không âm xác định ∥f ∥∞ = ∥f ∥∞,K = sup |f (x)| x∈K ∥.∥∞ gọi chuẩn (hay chuẩn vô cùng) Định lý Cho Ω ⊂ Rn tập mở bị chặn Khi (C0 (Ω), ∥.∥∞ ) không gian Banach vô hạn chiều Chứng minh Ta giới hạn n = Ω = (a, b) ta phải chứng minh (C0 (Ω), ∥.∥∞ ) không gian định chuẩn vơ hạn chiều R Ta chứng minh không gian Banach Nghĩa phải dãy Cauchy (fh )h ⊂ (C0 (Ω), ∥.∥∞ ) hội tụ (tại phần tử thuộc không gian) Giả sử (fh )h dãy Cauchy, theo định nghĩa ta có, ∀ϵ > 0, ∃k ∈ N cho ∥fh − fk ∥∞ = sup |fh (x) − fk (x)| < ϵ ∀h, k ≥ k x∈Ω Điều có nghĩa ∀ϵ > 0, ∃k ∈ N cho |fh (x) − fk (x)| < ϵ ∀h, k ≥ k, ∀x ∈ Ω (5) Từ (37), (fh (x))h ⊂ R dãy Cauchy Do dó: ∃f (x) := lim fh (x), h→∞ ∀x ∈ Ω (6) Từ (38), lấy qua giới hạn (37), cho k → ∞ ta ∀ϵ > 0, ∃k ∈ N cho |fh (x) − f (x)| ≤ ϵ ∀h ≥ k, x ∈ Ω, theo định nghĩa fh → f Ω Do dó f ∈ C0 (Ω) 34 Tính compact (C0 (Ω), ∥.∥∞ ) Bây tìm hiểu đặc trưng tập compact (C0 (Ω), ∥.∥∞ ) Đầu tiên ta nhớ lại số khái niệm kết quan trọng liên quan đến chủ đề compact không gian metric Định nghĩa Cho (X, d) không gian metric ký hiệu B(x, r) hình cầu mở X , tâm x bán kính r > với x ∈ X (i) Điểm x0 ∈ X gọi điểm giới hạn tập A ⊂ X A ∩ (B(x0 , r)\{x0 }) ̸= ∅, ∀r > (ii) Tập A ⊂ X gọi bị chặn tồn R0 > cho d(x, y) ≤ R0 với x, y ∈ A (iii) Tập A ∩ X gọi bị chặn hoàn toàn với ϵ > 0, A phủ họ hữu hạn hình cầu B(x1 , ϵ), B(x2 , ϵ), , B(xN , ϵ), nghĩa A ⊂ ∪N i=1 B(xi , ϵ) (iv) Họ A ⊂ X gọi compact dãy dãy A có dãy hội tụ điểm thuộc A (v) Tập A ⊂ X gọi có tính chất Bolzano-Weierstrass (BW) tập vơ hạn A có điểm giới hạn thuộc A Nhận xét Dễ thấy tập bị chặn hoàn toàn tập bị chặn, điều ngược lại không không gian topo (X, τ ) tập hợp compact tập hợp compact dãy có tính chất (BW) Các tính chất khơng cịn giữ trường hợp tổng quát Định lý 10 (Các tiên đề chuẩn tập compact không gian metric) Nếu A tập khơng gian metric (X, d), ta có điều sau tương đương: (i) A compact; (ii) A compact dãy; (iii) (A, d) đầy đủ bị chặn hồn tồn; 35 (iv) A có tính chất BW Nhận xét Nếu (X, d) đầy đủ, A ⊆ X đóng (A, d) đầy đủ Hệ Cho A ⊂ Rn Khi đó: A compact ⇔ A đóng bị chặn Định lý 11 (Riesz) Cho (E, ∥.∥) không gian định chuẩn ta ký hiệu BE := {x ∈ E : ∥x∥ ≤ 1} Khi BE compact dimR E < ∞ Nhận xét Định lý 19 cho tập A bị chặn không gian định chuẩn vô hạn chiều (E, ∥.∥) khơng thiết phải bị chặn hồn tồn Ví dụ A = BE Định nghĩa 10 Cho A ⊂ Rn Một họ tập F ⊂ C0 (A) gọi tựa liên tục với ϵ > 0, ∃δ(ϵ) > cho f ∈ F, |f (x) − f (y)| < ϵ với x, y ∈ A thỏa |x − y| < δ Ta thêm tiên đề chuẩn tập compact (C0 (K), ∥.∥∞ ) K ⊂ Rn compact Định lý 12 (Arzelà - Ascoli) Cho K ⊂ Rn compact giả sử F ⊂ C0 (K) Khi F compact (C0 (K), ∥.∥∞ ) F là: (i) đóng (C0 (K), ∥.∥∞ ); (ii) bị chặn (C0 (K), ∥.∥∞ ); (iii) liên tục Hệ Cho K ⊂ Rn compact cho F ⊂ C0 (K) Giả sử F bị chặn liên tục Khi F compact (C0 (K), ∥.∥∞ ) Cụ thể hệ cho ta kết đặc biệt sau Hệ Cho fh : [a, b] → R, (h = 1, 2, ) dãy hàm liên tục Giả sử rằng: (i) ∃M > cho |f (x) ≤ M, ∀x ∈ [a, b], ∀h 36 (ii) (fh )h liên tục đều, nghĩa là, ∀ϵ > 0, ∃δ(ϵ) > cho |fh (x) − fh (y)| < ϵ, ∀x, y ∈ [a, b] với |x − y| < δ, ∀h Khi ta có dãy (fhk )k hàm f ∈ C0 ([a, b]) thỏa mãn fhk → f [a, b] Định lý 13 Giả sử M > số cho trước F = {f ∈ C1 ([a, b]) : ∥.∥C1 ≤ M } Khi F tập compact tương đối (C0 ([a, b]), ∥.∥∞ ); Chứng minh định lý 20 Tính đầy đủ: Giả sử có (i), (ii) (iii) ta F compact Theo tính chất tập compact định lý 18 ta F compact dãy Vì dãy (fh )h ∈ F có dãy (fhk )k hội tụ hàm f ∈ F , nghĩa là, ∥fhk − f ∥∞ → k → ∞ Nhớ K compact tách Giả sử D := {xi : i ∈ N} đếm trù mật K F bị chặn nghĩa tồn M1 > thỏa mãn ∥f − g∥∞ ≤ M1 , ∀f, g ∈ F Cụ thể ta thay f0 ∈ F , đó: ∥f0 − fh ∥∞ ≤ M1 , ∀h ∈ N Hơn ∥fh ∥∞ = ∥(fh − f0 ) + f0 ∥∞ ≤ ∥fh − f0 ∥∞ + ∥f0 ∥∞ ≤ M1 + ∥f0 ∥∞ := M2 Do ta có số M2 > thỏa mãn |fh (x)| ≤ M2 , ∀x ∈ K, ∀h Bây ta xây dựng dãy hội tụ theo trình chéo Cantor Bước 1: (fh (x1 ))h dãy số thực [−M2 , M2 ] Suy dãy có dãy (fh(1) (x1 ))h hội tụ R; 37 Bước 2: Xét dãy (fh(1) (x2 ))h ⊂ [−M2 , M2 ] Do dãy (fh(2) (x2 ))h hội tụ Chú ý dãy (fh(2) (x1 ))h hội tụ có dãy (fh(1) (x1 ))h hội tụ Tiếp tục trình ta Bước k: Một dãy (fh(k) )h (fh(k−1) )h thỏa mãn (fhk (xj ))h hội tụ với j = 1, k Ta có tình sau đây: Định nghĩa: gk := fkk : K → R Lưu ý rằng, i = 1, 2, , dãy (gk )k≥i dãy (fki )k≥i Cụ thể, dãy (gk )k dãy (fh )h theo cách xây dựng ∀x ∈ D (7) (gk )k hội tụ (C0 (K), ∥.∥∞ ) (8) (gk (x))k hội tụ R Tiếp tục trình ta Sử dụng giả thiết F liên tục đều, tức ∀ϵ > 0, ∃δ(ϵ) > : x, y ∈ K |x − y| < δ ⇒ |f (x) − f (y)| < ϵ, ∀f ∈ F (9) Với ϵ > thay đổi tùy ý, δ thay đổi Bởi K bị chặn hồn tồn, σ > có họ hữu hạn hình cầu B(x1 , σ), , B(xN , σ) Rn thỏa mãn N = N (σ), xi ∈ K với i = 1, , N n [ K⊂ B(xi , σ) i=1 Do tính trù mật D K , tồn yi ∈ D ∩ B(xi , σ) với i = 1, , N Cụ thể n \ K⊂ B(yi , 2σ) i=1 Vì ta chọn σ = δ/2 Khi tồn N = N (σ) = N (δ) = N (ϵ) D′ := {y1 , , yn } ⊂ D thỏa mãn K⊂ N [ i=1 B(yi , δ) (10) 38 Từ (39) dãy (gk (y1 ))k , , (gk (yN ))k , ¯ hội tụ, có số nguyên k¯ = k(ϵ) với |gk (yi ) − gr (yi )|, ϵ ¯ ∀i = 1, , N ∀k, r > k, Theo (42) (41) ∀x ∈ K, ∃yi ∈ D′ thỏa |x − yi | < δ ⇒ |gk (x) − gk (yi )| < ϵ, ∀k ∈ N Từ ta có |gk (x)−gr (x)| ≤ |gk (x)−gk (yi )|+|gk (yi )−gr (yi )|+|gr (yi )−gr (x)| ≤ ϵ+ϵ+ϵ = 3ϵ ∀x ∈ K ¯ với k, r ≥ k¯ Điều có nghĩa ϵ > tồn k¯ = k(ϵ) thỏa ∥gk − gr ∥∞ ≤ 3ϵ ¯ ∀k, r > k Nghĩa (gk )k dãy Cauchy (C0 (K), ∥.∥∞ ) Từ (C0 (K), ∥.∥∞ ) đầy đủ F đóng, suy tồn f ∈ F thỏa mãn lim ∥gk − f ∥∞ = k→∞ Từ (gk )k dãy dãy (fh )h , phải F compact dãy Sự cần thiết: Cần rằng, F compact (C0 (K), ∥.∥∞ ) ta có (i), (ii) (iii) Giả sử F compact không gian metric (C0 (K), ∥.∥∞ ), đó, theo tính chất tập compact khơng gian metric, F đóng bị chặn hồn tồn bị chặn Chỉ F liên tục đều, nghĩa ta phải chứng minh (41) Theo phản chứng, giả sử ∃ϵ0 > : ∀ > 0, ∃fδ ∈ F, xδ , yδ ∈ K với |xδ −yδ | < δ |fδ (xδ )−fδ (yδ )| ≥ ϵ0 Chọn δ = 1/h ký hiệu fh := f1/h , xh := x1/h yh := y1/h Khi ta xây dựng ba dãy (fh )h ⊂ F, (xh )h , (yh )h ⊂ K |xh − yh | < 1/h, |fh (xh ) − f (yh )| ≥ ϵ > 0, ∀h (11) Từ F K compact, tồn ba dãy (fh )h ⊂ F, (xh )h , (yh )h ⊂ K thỏa mãn lim xh = lim yh = z ∈ K fh → f ∈ F K h→∞ h→∞ 39 Khi tồn lim fh (xh lim fh (yh ) = f (z) h→∞ h→∞ Lấy qua giới hạn (43) ta có mâu thuẫn Do đó, ta có điều phải chứng minh 11 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)| Lip(f ) = Lip(f, A) := sup : x, y ∈ A, x ̸= y |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 đề 19 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 đề 50 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 (Ω)