Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 85 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
85
Dung lượng
515,87 KB
Nội dung
BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: ĐỊNH GIÁ QUYỀN CHỌN TRONG TỐN HỌC TÀI CHÍNH 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 Hàm biến đổi chậm trường hợp riêng hàm phân quy có nhiều ứng dụng xác xuất thống kê Một ứng dụng lý thuyết giá trị cực trị Sự liên hệ chúng đề cập nhà toán học Feller (1971), Sidney (1987), Bingham et al (1989), De Haan Ferreira (2006), Hơn nữa, việc nghiên cứu nhớ dài (hay phụ thuộc tầm xa) trình ngẫu nhiên thơng qua mơ hình hố hàm biến đổi chậm lĩnh vực quan trọng xác suất thống kê Ngồi chúng cịn có ứng dụng định thuỷ học, tài hay mơ hình viễn thơng 349 2 Độ giao hốn tương đối mở rộng nhóm Trong mục ta nghiên cứu độ giao hoán tương đối mở rộng nhóm Mệnh đề Cho H1 H2 hai nhóm G cho H1 ⩽ H2 Khi Pr(H1 , H2 ) ⩾ Pr(H1 , G) ⩾ Pr(H2 , G) Chứng minh Theo Bổ đề ??, với x ∈ G ta có |H1 : CH1 (x)| ⩽ |H2 : CH2 (x)| ⩽ |G : CG (x)| Từ suy |C (x)| |C (x)| |CH1 (x)| ⩾ H2 ⩾ G với x ∈ G |H1 | |H2 | |G| Theo Mệnh đề ?? ta có Pr(H1 , H2 ) = X X |CH2 (x)| |CH2 (x)| = |H1 ||H2 | |H1 | |H2 | x∈H1 ⩾ x∈H1 X X |CG (x)| = |CG (x)| = Pr(H1 , G) |H1 | |G| |H1 ||G| x∈H1 x∈H1 Theo Mệnh đề ?? ta có X Pr(H1 , G) = ⩾ |H1 ||G| |CH1 (y)| = y∈G X |CH2 (y)| |G| y∈G |H2 | X |CH1 (y)| |G| |H1 | y∈G = X |CH2 (y)| = Pr(H2 , G) |H2 ||G| y∈H2 Vậy ta có điều phải chứng minh Mệnh đề Cho H N nhóm nhóm G cho N ⩽ H N ◁ G Khi Pr(H, G) ⩽ Pr(H/N, G/N ) Pr(N ) Hơn nữa, dấu đẳng thức xảy N ∩ [H, G] = Để chứng minh Mệnh đề ?? ta cần bổ đề sau Bổ đề Cho H N nhóm nhóm G cho N ⩽ H N ◁ G Khi CH (x)N ⩽ CH/N (xN ) N với x ∈ G Hơn nữa, đẳng thức xảy N ∩ [H, G] = Chứng minh Lấy x ∈ G Giả sử y ∈ CH (x) Khi yN ∈ CH (x)N , N ta có xN yN = (xy)N = (yx)N = yN xN Do yN ∈ CH/N (xN ) Từ suy CH (x)N ⩽ CH/N (xN ) N Giả sử N ∩ [H, G] = Ta chứng minh xảy dấu đẳng thức Thật vậy, lấy x ∈ G Giả sử yN ∈ CH/N (xN ) với y ∈ H Khi xN yN = yN xN , (xy)N = (yx)N Từ suy y −1 x−1 yx = (xy)−1 (yx) ∈ N Điều chứng tỏ y −1 x−1 yx ∈ N ∩[H, G] Do theo giả thiết, ta có y −1 x−1 yx = hay xy = yx Từ suy y ∈ CH (x) Do yN ∈ CH (x)N N Điều chứng tỏ CH/N (xN ) ⩽ CH (x)N N Vậy ta có điều phải chứng minh Bây ta chứng minh Mệnh đề ?? Chứng minh Từ Mệnh đề ?? ta có X X X |CH (y)| |H||G| Pr(H, G) = |CH (y)| = y∈G = X X S∈G/N y∈S = S∈G/N y∈S |CN (y)| X X |CH (y)N | |CH (y)| |CN (y)| = |CN (y)| |N ∩ CH (y)| |N | X X CH (y)N ϱ(x − y)f (y)dy ≤ ∥f ∥L∞ (Rn ) n R = ∥f ∥L∞ (Rn ) , ϱ(x − y)dy Rn ∀x ∈ Rn Do đó, ta có điều phải chứng minh (iii) Đặt ϱh ≡ ϱ cố định x ∈ R Khi đó, từ ϱ(x − y)f (y) = hầu khắp nơi, y ∈ / x − B(0, 1/h) ∩ spte (f ), Z Z (ϱ ∗ f )(x) := ϱ(x − y)f (y)dy = Rn ϱ(x − y)f (y)dy (x−B(0,1/h))∩spte (f ) Chú ý x − B(0, 1/h) ∩ spte (f ) ̸= ⇔ x ∈ B(0, 1/h) + spte (f ), 16 (ϱ ∗ f )(x) = với x ∈ / B(0, 1/h) + spte (f ), từ ϱ ∗ f liên tục, spt(ϱ ∗ f ) ⊂ B(0, 1/h) + spte (f ) (iv) Từ (i) (ii), ϱh ∗ f ∈ C∞ (Rn ) ∩ Lp (Rn ) với p ∈ [1, ∞] Ta lim ∥ϱh ∗ f − f ∥Lp (Rn ) = ≤ p < ∞ (8) h→∞ C0c (Rn ) Từ trù mật (Lp (Rn ), ∥.∥Lp ), với ≤ p < ∞, với ϵ > tồn f1 ∈ C0c (Rn ) cho ∥f − f1 ∥Lp ()Rn 0, 17 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 đề Một vành 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) 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 đề 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 đề 29 ta dễ dàng suy ∈ ∆(R) (2) Nếu R thể ∆(R) = Vì R U J -vành nên ta suy ∼ R = F2 18 (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 = (5) Nếu I ⊆ J(R) iđêan, ∆(R/I) = ∆(R)/I theo Mệnh đề 12 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ý 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 Mn (R) ∆U -vành, ta lấy X ∈ ∆(Mn (R)) Lấy phần tử khả nghịch 19 0 0 0 ∈ Mn (R) Khi In −U X = 0 a 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 ̸= a ̸= Lấy a 0 0 a 0 0 X= ∈ Mn (R) Khi X khả nghịch Vì Mn (R) 0 a 0 U = 0 0 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 đề 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 20 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 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 : r ∈ R m ∈ M Mở rộng tầm thường T (R, M ) đẳng cấu với vành R M Hơn nữa, kiểm tra vành ma trận × R T (R, R) ∼ = R[x]/(x ) Theo Mệnh đề 19, 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 ) Morita context gồm thành phần A M N B A, B vành, B NA song môđun, tồn tích context M ×N → A A M N × M → B với (ω, z) = ωz (z, ω) = zω , thỏa mãn vành A MB 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 [?] 21 Định lý Cho M (R, R) song môđun Vành R ∆U -vành T (R, M ) ∆U -vành u m ∈ U (T (R, M )) = T (U (R), M ), Chứng minh (:⇒) Lấy u¯ = 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ệ 4.Giả sửM (R, S) song mơđun Khi vành ma trận tam giác dạng R M S ∆U -vành R S ∆U -vành Hệ R ∆U -vành vành ma trận tam giác Tn (R) ∆U -vành, n ≥ Các khái niệm Định nghĩa Cho tập hợp R khác rỗng, R ta trang bị hai phép toán mà ta gọi phép cộng phép nhân thỏa mãn: R nhóm Abel với phép tốn cộng, R nửa nhóm với phép tốn nhân phép toán nhân phân phối với phép toán cộng, nghĩa x(y + z) = xy + xz, (x + y)z = zx + yz với x, y, z ∈ R Phần tử trung hòa phép cộng ký hiệu (thường gọi phần tử không) Phần tử đơn vị phép nhân có ký hiệu Nếu vành có nhiều phần tử có đơn vị ̸= Định nghĩa Tập A vành R gọi vành R A vành hai phép toán cộng nhân R (bao gồm tính đóng hai phép toán A) 22 Định nghĩa Ideal trái (phải) vành R vành A thỏa mãn điều kiện ∈ A(ar ∈ A), a ∈ A, r ∈ R Vành I R vừa ideal trái, vừa ideal phải gọi ideal vành R Cho I ideal vành R, ta ký hiệu R/I =: {r + I|r ∈ R} gọi tập thương R theo I Trên tập thương R/I ta xây dựng hai phép toán (x + I) + (y + I) = (x + y) + I, (x + I)(y + I) = (xy) + I với x, y ∈ R Định nghĩa 10 Tập thương R/I với hai phép toán xác định lập thành vành gọi vành thương R theo I 9.0.1 Định lý đồng cấu vành Định nghĩa 11 Cho R, R′ hai vành Ánh xạ f : R → R′ gọi đồng cấu vành f bảo tồn hai phép tốn cộng nhân R, nghĩa f (x + y) = f (x) + f (y), f (xy) = f (x)f (x), với x, y ∈ R 9.0.2 Một số kết liên quan 10 Không gian hàm Lipschitz Lip(Ω) Định nghĩa 12 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) 23 (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 đề 10 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 đề 12 suy f ∈ Lip(A), với A ⊂ Rn , 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 (Ω) Mệnh đề 11 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 24 Ví dụ: Cho Ω = {(x, y) ∈ R : y < ( f (x, y) := p |x|, x2 + y < 1} y β y > 0 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 x 1/β √ Từ 1/2 < 1/β , ta chọn (x, y) ∈ Ω thỏa mãn 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 Định lý (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 13 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ý (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 25 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(Ω) (12) 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| (13) ∥fh − fk ∥∞ + Lip(fh − fk ) = ∥fh − fk ∥Lip ≤ ϵ ∀k > h > h, x, y, z ∈ Ω với y ̸= z Theo (10) (11), suy tồn L > thỏa mãn Lip(fh ) ≤ L ∀h, (14) theo (11), (fh )h dãy Cauchy (C0 (Ω), ∥.∥∞ ) Khi đó, tồn f ∈ C0 (Ω) thỏa mãn fh → f Ω Theo (12), ta Lip(f ) ≤ L, f ∈ Ω Lấy qua giới hạn (11), k → ∞, ϵ > 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ệ Bao hàm C1 (Ω) ⊂ Lip(Ω) ánh xạ song Lipszhitz, nghĩa ∥f ∥C1 ≤ ∥f ∥Lip ≤ L∥f ∥C1 L ∀f ∈ C1 (Ω), 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 ) 26 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ý 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ý 39) Chứng minh (i) F bị chặn (C0 (Ω), ∥.∥∞ ): hiển nhiên theo định nghĩa (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 (Ω) 27 Tính tách (Lip(Ω), ∥.∥Lip ) Định lý 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β ) ≥ α ̸= β (15) 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 (13) ta được, α ̸= β Lip(fα − fβ , Ω) ≥ Lip(uα − uβ , (a1 , b1 )) ≥ Vì vậy, họ Uα := {f ∈ Lip(Ω) : ∥f − fα ∥Lip < 1} Ta điều cần chứng minh ∀α ∈ I