Mô hình thời gian rời rạc nhiều chu kỳ trong thị trường chứng khoán

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: MÔ HÌNH THỜI GIAN RỜI RẠC NHIỀU CHU KỲ TRONG THỊ TRƯỜNG CHỨNG KHOÁN 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 Hiện nay, mơ hình hóa vấn đề thực tiễn đặt nhiều lĩnh vực khoa học kỹ thuật thường dẫn đến nghiên cứu tốn tối ưu khơng trơn (tức hàm mục tiêu khơng có đạo hàm) Điều thúc đẩy việc nghiên cứu tốn tối ưu khơng trơn, lĩnh vực quan tâm lớn có bước phát triển mạnh vài thập niên gần 387 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 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 KHƠNG GIAN CÁC HÀM KHẢ TÍCH Định lý Cho Ω ⊂ Rn tập mở Khi (Lp (Ω), ∥.∥Lp ) tách ≤ p < ∞ không tách p = ∞ Ta cần hai kết để chứng minh định lý ??: trước kết topo (Urysohn’s Lemma) sau quan hệ xấp xỉ không gian hàm liên tục Lp Định nghĩa Cho (X, τ ) không gian topo Khi C0c (X) := {f : X → R liên tục spt(f ) compact (X, d)} spt(f ) := Bao đóng{x ∈ X : f (x) ̸= 0} Bổ đề (Bổ đề Urysohn) Cho X compact địa phương không gian metric, cho K ⊂ X V ⊂ X , K compact V mở thỏa mãn K ⊂ V Khi đó, tồn hàm φ ∈ C0c (X) thỏa mãn ≤ φ ≤ 1, φ ≡ K spt(φ) ⊂ V Định lý (Xấp xỉ Lp hàm liên tục) Cho Ω ⊂ Rn tập mở Khi C0c (Ω) trù mật (Lp (Ω), ∥.∥Lp ), biết ≤ p < ∞ Chứng minh định lý ?? dựa hai kết tảng xấp xỉ hàm đo được, ta cần nhớ lại Định lý (Xấp xỉ hàm đơn giản) Cho (X, M) không gian đo cho f : X → [0, +∞] hàm đo Khi tồn dãy hàm đơn giản đo sh : X → [0, +∞], (h = 1, 2, ) thỏa mãn tính chất (i) ≤ s1 ≤ s2 ≤ ≤ sh ≤ ≤ f ; (ii) lim sh (x) = f (x), ∀x ∈ X h→∞ Z Đặc biệt, f ∈ L (X, µ), nghĩa f dµ < ∞, sh → f X L1 (X, µ), nghĩa Z ∥f − sh ∥L1 (X,µ) := |f − sh |dµ → X Định lý (Lusin - Dạng không gian metric compact địa phương) Cho µ độ đo Radon compact địa phương, không gian metric tách X Cho f : X → R hàm đo cho tồn tập Borel A ⊂ X với µ(A) < ∞, f (x) = ∀x ∈ X \A |f (x)| < ∞ µ− hầu khắp nơi x ∈ X Khi đó, với ϵ > 0, tồn g ∈ C0c (X) cho µ({x ∈ X : f (x) ̸= g(x)}) < ϵ Hơn nữa, g chọn cho supx∈X |g(x)| ≤ sup |f (x)| x∈X Chứng minh cho định lý Ta chia chứng minh định lý thành hai bước Bước 1: Ta chứng minh răng, ∀ϵ > 0, ∀f ∈ Lp (Ω) tồn hàm đơn giản đo s : Ω → R cho |{x ∈ Ω : s(x) ̸= 0} < ∞| (đặc biệt s ∈ Lp (Ω), ∀p ∈ [1, ∞]); (1) ∥f − s∥Lp < ϵ (2) Đầu tiên, giả sử f ≥ Ω Theo xấp xỉ hàm không âm đo phương pháp hàm đơn giản (Định lý ??), tồn dãy hàm đơn giản đo sh : Ω → [0, +∞], (h = 1, 2, ) cho ≤ s1 ≤ s2 ≤ ≤ sk ≤ ≤ f ; (3) ∀x ∈ Ω lim sh (x) = f (x) h→∞ (4) Từ (??) ta sh ∈ Lp (Ω) |s ∈ Ω : sh (x) ̸= 0| < ∞ ∀h, (5) ∥sh − f ∥ ≤ 2f Ω, ∀h (6) Theo (??) (??), ta cso thể áp dụng định lý hội theo Lebesgue, ≤ p < ∞, ta lim ∥sh − f ∥Lp = (7) h→∞ Cho ϵ > 0, từ (??), tồn h = h(ϵ) ∈ N cho ∥sh − f ∥Lp < ϵ Nếu ta định nghĩa s := sh , theo (??) (??) Trường hợp tổng quát f : Ω → R chứng minh tách f = + f − f − áp dụng (??) (??), tách thành f + f − Bước 2: Ta ∀ϵ > 0, ∀f ∈ Lp (Ω), ∃g ∈ C0c (Ω) cho ∥f −g∥Lp < ϵ ϵ Cho f hàm đơn giản đo thỏa mãn (??) (??) với ϵ ≡ ký hiệu A := {x ∈ Ω : s(x) ̸= 0} Giả sử ∥s∥∞ > 0, khơng s ≡ ∈ C0c (Ω) kết thúc chứng minh Áp dụng định lý Lusin cho hàm s, tồn hàm g ∈ C0c (Ω) thỏa mãn |Ac | = |{x ∈ Ω : s(x) ̸= g(x)}| < ϵp , 4p ∥s∥p∞ (8) với |g(x)| ≤ ∥x∥∞ x ∈ Ω (9) Chú ý ∥f − g∥Lp ≤ ∥f − s∥Lp + ∥s − g∥Lp < Bây ta đánh giá ∥s − g∥Lp Z Z ∥s − g∥pLp = |s − g|p dx = Ω ϵ + ∥s − g∥Lp |s − g|p dx ≤ 2p ∥s∥p∞ |Aϵ | < Aϵ Vì (??) (??) kết thúc chứng minh (10) ϵp 2p (11) Chứng minh định lý ?? Ta cần chứng minh (C0c (Ω), ∥.∥∞ ) tách (12) Thật vậy, ta giả sử rằng, từ (??), ta (Lp (Ω), ∥.∥∞ ) tách được, biết ≤ p < ∞ Đầu tiên, giả sử Ω bị chặn Cho D ⊂ (C0c (Ω), ∥.∥∞ ) trù mật đếm được, ta chứng minh D trù mật (Lp (Ω), ∥.∥Lp ) với ≤ p < ∞ (13) Từ định lý ??, ∀f ∈ Lp (Ω), ∀ϵ > 0, ∃g ∈ C0c (Ω) cho ϵ ∥f − g∥Lp < (14) D trù mật, tồn e g ∈ D cho ∥g − e g ∥∞ < ϵ 2|Ω|1/p Nhớ lại Bài tập ∥f ∥Lp ≤ |Ω|1/p ∥f ∥∞ , ∀f ∈ L∞ (Ω), biết |Ω| < ∞ Điều nghĩa ϵ ∥g − g∥Lp ≤ |Ω1/p |∥g − g∥∞ < (15) Do gợi ý (??) (??) ám (??) Bây giả sử Ω không bị chặn Theo kết biết topo, tồn dãy (Ωh )h tập mở bị chặn cho Ωh ⊂ Ωh ⊂ Ωh+1 Ω= ∪∞ h=1 Ωh Hơn nữa, ý C0c (Ω) = ∪∞ h=1 Cc (Ωh ) (16) Theo (??) tồn tập Dh ⊂ (C0c (Ω), ∥.∥∞ ) trù mật đếm Cho D := ∪∞ h=1 Dh 59 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 20 Một vài tính chất đại số ∆U -vành Mệnh đề 50 Cho R vành 2-nguyên thủy Nếu vành đa thức R[x] ∆U -vành, R ∆U -vành Chứng minh R vành 2-nguyên thủy, theo Mệnh đề 8, ∆(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 đề 51 Cho R vành m ∈ N (1) R ∆U -vành R[x]/xm R[x] ∆U -vành 60 (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 đề 44 (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]]) Vì R ∼ = R[[x]]/(x) nên (2) suy từ Mệnh đề 44 (5) Bổ đề Cho R, S vành i : R → S, ϵ : S → R đồng cấu vành thỏa mãn ϵi = idR Khi đó, khẳng định sau (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)) nên ϵ(U (S)) = U (R) 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) (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) Thật vậy, với y ∈ ϵ−1 (U (R)), ta lấy ϵ(y) ∈ U (R) = 1+∆(R), R ∆U -vành Suy y −1 = 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 Cho vành R nhóm G, ta ký hiệu vành nhóm X R G RG Một phần tử tùy ý α ∈ RG có dạng α = rg g rg ∈ R g∈G 61 Giả sử R vành M vị nhóm, RM gọi vành vị nhóm định nghĩa giống vành nhóm Mệnh đề 52 Cho R vành, M vị nhóm RM vành vị nhóm Nếu RM ∆U -vành R ∆U -vành Chứng minh Ta xét quan hệ bao hàm ι : R → RM (ι(r) = re với e phần tử đơn vị vị nhóm ! M ) ϵ : RM → R đồng cấu mở rộng X X rm m = rm ([?] Mệnh đề II.3.1) Khi ta đủ xác định ϵ m∈M m∈M điều kiện để áp dụng Bổ đề 11 (2) Ta có kết quả, vành đa thức R[X] ∆U -vành R ∆U -vành Với vành đa thức vành giao hoán, ta kết tốt Ta biết R vành giao hốn có đơn vị f = a0 + a1 x + · · · + an xn ∈ R[x] f khả nghịch R[x] a0 khả nghịch R a1 , a2 , , an phần tử lũy linh trong R Từ nhận xét ta có mệnh đề sau Mệnh đề 53 Cho R vành giao hốn có đơn vị Vành đa thức R[x] R ∆U R ∆U 21 Độ giao hoán tương đối nhóm Ta bắt đầu định nghĩa độ giao hốn nhóm Định nghĩa 19 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 hoán tương đối số nhóm 62 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 r r2 r3 rs rs r2 s r3 s s 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 63 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 64 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 hoán tương đối ta có kết sau Mệnh đề 54 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 Kết sau cho ta cơng thức tính độ giao hốn tương đối nhóm chuẩn tắc nhóm nhờ số lớp liên hợp Mệnh đề 55 Cho G nhóm H nhóm chuẩn tắc G Khi Pr(H, G) = k |H| k số lớp liên hợp G nằm H Chứng minh Với x ∈ G bất kỳ, ký hiệu lớp liên hợp x G O(x) Khi ta có |O(x)| = |G : CG (x)| 65 Gọi x1 , x2 , , xk phần tử đại diện lớp liên hợp G nằm H Vì H ◁ G với x ∈ H ta có O(x) ⊂ H Do đó, theo Mệnh đề ??, ta có k X X |CG (x)| = |O(xi )||CG (xi )| Pr(H, G) = |H||G| |H||G| = |H||G| x∈H k X i=1 i=1 k X k |G : CG (xi )||CG (xi )| = |G| = |H||G| |H| i=1 Vậy ta có điều phải chứng minh Ta cần bổ đề sau phép chứng minh kết so sánh độ giao hoán tương đối nhóm nhóm với độ giao hốn nhóm nhóm Bổ đề Cho H nhóm G Khi với phần tử x ∈ G |H : CH (x)| ⩽ |G : CG (x)| Hơn nữa, dấu đẳng thức xảy G = HCG (x) Chứng minh Lấy x ∈ G Khi đó, theo Mệnh đề ??, ta có |H||CG (x)| = |HCG (x)| ⩽ |G| |H ∩ CG (x)| Do |H| |G| ⩽ |H ∩ CG (x)| |CG (x)| Mà H ∩ CG (x) = {a ∈ H | a ∈ CG (x)} = CH (x), từ suy |H| |G| ⩽ |CG (x)| |CH (x)| Do đó, theo Định lý Lagrange ta có |H : CH (x)| ⩽ |G : CG (x)| Từ lập luận ta thấy dấu đẳng thức xảy G = HCG (x) Vậy ta có điều phải chứng minh 66 Mệnh đề sau cho ta đánh giá độ giao hoán tương đối nhóm nhóm nhờ độ giao hốn nhóm nhóm Mệnh đề 56 Cho H nhóm nhóm G Khi Pr(G) ⩽ Pr(H, G) ⩽ Pr(H) Chứng minh Theo Mệnh đề ?? ta có X Pr(H, G) = |H||G| |CG (x)| = x∈H X |CG (x)| |H| |G| x∈H Theo Bổ đề ?? ta có |CG (x)| |C (x)| ⩽ H với x ∈ H |G| |H| Từ suy Pr(H, G) ⩽ X |CH (x)| X = |CH (x)| = Pr(H) |H| |H| |H|2 x∈H x∈H Theo Mệnh đề ?? ta có Pr(H, G) = X X |CH (y)| |CH (y)| = |H||G| |G| |H| y∈G y∈G Theo Bổ đề ?? ta có |CH (y)| |C (y)| ⩾ G với y ∈ G |H| |G| Từ suy Pr(H, G) ⩾ X |CG (y)| X = |CG (y)| = Pr(G) |G| |G| |G| y∈G y∈G Vậy ta có điều phải chứng minh Mệnh đề sau cho ta điều kiện cần đủ để xảy đẳng thức Mệnh đề 57 Cho H nhóm nhóm G Khi 67 (i) Pr(H, G) = Pr(H) G = HCG (x) với x ∈ H (ii) Pr(H, G) = Pr(G) G = HCG (x) với x ∈ G Chứng minh (i) Từ phép chứng minh Mệnh đề ?? ta thấy Pr(H, G) = Pr(H) |CG (x)| |CH (x)| = với x ∈ H |H| |G| Theo Bổ đề ??, điều xảy G = HCG (x) với x ∈ H Vậy ta có điều phải chứng minh (ii) Lập luận hoàn toàn tương tự ta có điều phải chứng minh Từ Mệnh đề ?? ta có hệ sau Hệ Cho H nhóm nhóm G Nếu Pr(H, G) = Pr(G) Pr(H) = Pr(G) Mệnh đề sau cho ta điều kiện đủ để không xảy đẳng thức Mệnh đề ?? Mệnh đề 58 Cho H nhóm nhóm G Nếu H khơng chuẩn tắc G Pr(G) < Pr(H, G) < Pr(H) Chứng minh Giả sử H không chuẩn tắc G Trước tiên ta chứng minh tồn x ∈ H cho G ̸= HCG (x) Thật vậy, giả sử trái lại G = HCG (x) với x ∈ H Lấy g ∈ G x ∈ H Khi g −1 ∈ G = HCG (x) Giả sử g −1 = với h ∈ H, a ∈ CG (x) Khi ta có g −1 xg = (ha)x(ha)−1 = haxa−1 h−1 = hxaa−1 h−1 = hxh−1 ∈ H Điều chứng tỏ H ◁ G, trái với giả thiết Vậy ta có điều phải chứng minh Do đó, theo Bổ đề ?? ta có Pr(H, G) ̸= Pr(H) Pr(H, G) ̸= Pr(G) Kết hợp điều với Mệnh đề ?? ta có bất đẳng thức cần chứng minh 68 22 KHÔNG GIAN CÁC HÀM LIÊN TỤC Nhận xét Định lý Arzelà - Ascoli khơng cịn C0 (A) A ⊂ Rn khơng compact Ví dụ lấy C0b (R) khơng gian hàm liên tục bị chặn R, nghĩa   0 Cb (R) := f ∈ C (R) : sup |f | < ∞ R Khi dễ thấy (C0b (R), ∥.∥∞ ) khơng gian Banach Giả sử f : R → R hàm định nghĩa ( − |x| x ≤ f (x) = x > Giả sử h : R → R, (h = 1, 2, ) định nghĩa fh (x) := f (x + h) giả sử F := {fh : h ∈ N} Khi dễ thấy họ hàm F ⊂ C0b (R) bị chặn liên tục Tuy nhiên F không compact (C0b (R), ∥.∥∞ ) Thật vậy, ý ∃f (x) := lim fh (x) = 0, ∀x ∈ R ∥fh − f ∥∞ = 1, ∀h h→∞ Điều có nghĩa dãy hội tụ (fh )h (C0b (R), ∥.∥∞ ) không chấp nhận Tính tách (C0b (R), ∥.∥∞ ) Định nghĩa 20 Giả sử (X, τ ) không gian topo Khi (X, τ ) gọi thỏa mãn tiên đề hai tính đếm có sở đếm cho topo τ Định lý 20 Giả sử (X, d) không gian metric Khi (i) (X, d) tách thỏa tiên đề thứ hai tính đếm (ii) Mỗi không gian (X, d) tách (X, d) tách 69 (iii) Giả sử (Y, ϱ) không gian metric khác T : (X, d) → (Y, ϱ) đồng cấu Khi (X, d) tách (Y, ϱ) tách Nhận xét Phải nhấn mạnh mục quan trọng giải tích cho mục xấp xỉ Nghĩ số hợp lý chứng minh định lý Ascoli Cuối phải nhớ lại tiêu chuẩn để kiểm tra không gian topo không gian tách Mệnh đề 59 Giả sử (X, τ ) không gian topo Giả sử tồn họ {Ui : i ∈ I} thỏa mãn (i) Ui tập mở với i ∈ I ; (ii) Ui ∪ Uj = ∅ i ̸= j (iii) I không đêm Khi (X, τ ) khơng tách Bài tập Giả sử l∞ := {x ∈ RN : sup |x(n)| < ∞} n∈N trang bị chuẩn ∥x∥l∞ := sup |x(n)| n∈N Hãy (l∞ , ∥.∥l∞ ) không gian Banach không tách Gợi ý: Giả sử I = 2N := {x : N → {0, 1}} ⊂ l∞ Ux = Bl∞  x,  n := y ∈ l ∞ : ∥y − x∥l∞ < o x ∈ I Khi ta xét họ {Ux : x ∈ I} sử dụng mệnh đề ?? Định lý 21 Giả sử K ⊂ Rn tập compact Khi (C0 (K), ∥.∥∞ ) tách 70 Chúng ta chứng minh cho trường hợp n = 1, K = [a, b] Trước ta cần phải nêu kết xấp xỉ quan trọng tốn giải tích Định lý 22 (Định lý xấp xỉ Weierstrass) Giả sử f ∈ C([a, b]) Khi tồn dãy hàm đa thức ph : R → R, (h = 1, 2, ) với hệ số thực, nghĩa ph ∈ R[x], thỏa mãn ph → f [a, b] Nhận xét Bởi đa thức hàm đơn giản nhất, máy tính trực tiếp đánh giá đa thức Định lý có ý nghĩa lý thuyết thực tiễn Đặc biệt nội suy đa thức Chứng minh định lý ?? Chúng ta cần kết n = K = [a, b] Giả sử D tập hợp hàm đa thức với hệ số hữu tỷ, nghĩa là, D := Q[x] Ta biết D đếm Chứng minh D trù mật C0 ([a, b]), ∥.∥∞ ) tức ∀f ∈ C0 ([a, b]), ∀ϵ > 0, ∃q ∈ D cho ∥f − q∥∞ ≤ ϵ Từ định lý xấp xỉ Weierstrass, với ϵ > 0, tồn p ∈ R[x], nghĩa là, p(x) = αm xm + · · · + α1 x1 + α0 , với αi ∈ R, i = 0, 1, , m thỏa mãn ∥f − p∥∞ < ϵ (25) Định nghĩa q(x) := βm xm + · · · + β1 x1 + β0 với βi ∈ Q ϵ |αi − βi | < Pm i=0 c i , i = 0, 1, , m, c := max{|a|, |b|} Khi |p(x) − q(x)| ≤ m X i=0 ϵ |αi − βi ||x|i ≤ , ∀x ∈ [a, b] Do đó, từ (??) (??) ta ∥f − q∥∞ ≤ ∥f − p∥∞ + ∥p − q∥∞ ≤ ϵ ϵ + = ϵ 2 (26) 71 23 Nhóm quaternion suy rộng Mệnh đề 60 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 đề 27 ta có 2n 2n = (2n, k) k |Rk | = Do  2n r