Frame trong không gian hữu hạn chiều và ứng dụng

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: FRAME TRONG KHÔNG GIAN HỮU HẠN CHIỀU VÀ ỨNG DỤNG 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 Mục đích luận văn nghiên cứu tồn tại, tính xấp xỉ nghiệm toán biên nhiều điểm cho hệ phương trình vi phân thường Nội dung luận văn gồm ba chương: Chương chúng tơi trình bày kết tổng quát tồn tại, xấp xỉ nghiệm toán biên tổng quát cho hệ phương trình vi phân tuyến tính Trong chương nhờ khái niệm ma trận Oplia phương pháp đánh giá tiệm cận đưa số điều kiện đủ cho tồn tại, xấp xỉ nghiệm toán biên tổng quát cho hệ phương trình vi phân phi tuyến tính Trên sở kiến thức chuẩn bị từ chương chương 2, chương nhận điều kiện cần đủ điều kiện đủ cho tồn nghiệm toán biên nhiều điểm Sau phương pháp đánh giá tiệm cận chúng tơi có dấu hiệu cụ thể cho vấn đề xấp xỉ nghiệm toán 256 Khơng gian hàm p-khả tích Lp (Ω) Ta nhớ lại khơng gian hàm p-khả tích độ đo Lebesgue n chiều Định nghĩa Cho A ⊂ Rn tập đo Lebesgue p ∈ [1, ∞], Lp (A) := {f : A → R : f đo Lebesgue ∥f ∥Lp < +∞} ∥f ∥Lp Z 1/p   p |f (x)| dx = ∥f ∥Lp (A) := A   ≤ p ≤ ∞ inf{M > : |f (x)| ≤ M, x ∈ A} p = ∞ Số ∥f ∥Lp gọi chuẩn Lp f A Định lý (Fisher - Riesz) (Lp (A), ∥.∥Lp ) không gian Banach ≤ p ≤ ∞ Hơn L2 (A) không gian Hilbert với tích vơ hướng Z (f, g)L2 := f g dx f, g ∈ L2 (A) A Theo kết định lý Riesz - Fisher ta thu kết hữu ích Định lý Cho Ω ⊂ Rn tập mở, (fh )h ⊂ Lp (Ω) f ∈ Lp (Ω) với ≤ p ≤ ∞ Giả sử lim ∥fh − f ∥Lp (Ω) = h→∞ Khi đó, tồn dãy (fhk )k hàm g ∈ Lp (Ω) thỏa mãn (i) fhk (x) → f (x) hầu khắp nơi x ∈ Ω (ii) |fhk (x)| ≤ g(x) hầu khắp nơi x ∈ Ω, ∀k Nhận xét Nó khơng giữ ý nghĩa (MC) ⇒ fh (x) → f (x) hầu khắp nơi x ∈ Ω Nhận xét Chú ý C0 ⊂ Lp (Ω) với p ∈ [1, ∞], với Ω ⊂ Rn tập mở bị chặn, khơng quan hệ bao hàm khơng giữ giữ quan hệ bao hàm C0c (Ω) ⊂ Lp (Ω) với p ∈ [1, ∞] tập mở Ω, C0c (Ω) := {f ∈ C0 (Ω) : spt(f ) compact chứa Ω} spt(f ) := Bao đóng{x ∈ Ω : f (x) ̸= 0} Hơn nhớ lại C0 (Ω, ∥.∥L2 ) khơng gian tuyến tính định chuẩn, khơng phải khơng gian Banach Tính compact (Lp (Ω), ∥.∥Lp ) Trong mục thảo luận kết compact không gian Lp Chúng ta nêu kết không chứng minh Cho f : Rn → R v ∈ Rn , ta định nghĩa τv f : Rn → R hàm v -dịch chuyển f định nghĩa (τv f )(x) := f (x + v) Định lý (M.Riesz - Fréchét - Kolmogorov) Cho F tập bị chặn (Lp (Rn ), ∥.∥Lp ) với ≤ p < ∞ Giả sử lim ∥τv f − f ∥Lp = v→0 với f ∈ F , nghĩa ∀ϵ > 0, ∃δ(ϵ) > : ∥τv f − f ∥Lp < ϵ, ∀v ∈ Rn với |v| < δ, ∀f ∈ F (N EF ) Khi F|Ω := {f |Ω : f ∈ F} compact tương đối (Lp (Ω), ∥.∥Lp ), nghĩa bao đóng compact (Lp (Ω), ∥.∥Lp ), với tập mở Ω ⊂ Rn với độ đo Lebesgue hữu hạn Từ định lý ?? ta suy điều kiện compact (Lp (Ω), ∥.∥Lp ) Nếu f : Ω → R, ta ký hiệu fe : Rn → R hàm định nghĩa ( f (x) x ∈ Ω fe(x) := x ∈ /Ω Hệ Cho Ω ⊂ Rn tập mở với độ đo hữu hạn, cho F ⊂ Lp (Ω) cho Fe := {fe : f ∈ F} Giả sử (i) F bị chặn (Lp (Ω), ∥.∥Lp ) với ≤ p < ∞; (ii) lim ∥τv f − f ∥Lp = với f ∈ F , nghĩa Fe thỏa mãn (ENF ) v→0 Khi F compact tương đối (Lp (Ω), ∥.∥Lp ) Chứng minh Từ định lý ??, Fe tập compact tương đối Lưu ý Fe compact dãy tương đối (Lp (Rn ), ∥.∥Lp ) F compact dãy tương đối (Lp (Ω), ∥.∥Lp ) Do đặc tính tập compact khơng gian metric (Định lý 2) có điều phải chứng minh Cuối cùng, nhớ lại đặc tính compact (Lp (Rn ), ∥.∥Lp ) Định lý Cho F ⊂ Lp (Rn ) với ≤ p < ∞ Khi F compact tương đối (Lp (Rn ), ∥.∥Lp ) (i) F bị chặn (Lp (Rn ), ∥.∥Lp ); (ii) với ϵ > 0, tồn rϵ > thỏa mãn ∥f ∥Lp (Rn \B(0,rϵ )) < ϵ ∀f ∈ F; (iii) lim ∥τv f − f ∥Lp = f ∈ F v→∞ Nhận xét (i) Giả thiết (ENF ) cần thiết định lý ?? Thật vậy, xét họ F := {fh : h ∈ N} fh : R → R định nghĩa   ≤ x ≤ h fh (x) := h 0 ngược lại Ω := (0, 1) Khi dễ thấy ∥f ∥L1 R = với h ∈ N F|Ω không compact tương đối (L1 (Ω), ∥.∥L1 ), khơng có dãy (fh )h hội tụ L1 (Ω) Mặt khác, v > 0, với h > 1/v Z Z v ∥τv fh − fh ∥L1 (R) ≥ fh (x + v) dx = −∞ fh (x) = Do đó, (ENF ) khơng cịn cho F (ii) Nếu Ω khơng có độ đo hữu hạn, kết định lý ?? khơng cịn Thật vậy, xét họ F := {fh : h ∈ N} fh : R → R định nghĩa fh (x) := f (x + h) f ∈ Lip(R) với spt(f ) = [−a, a], a > 0, f khơng triệt tiêu Khi ∥f ∥L1 (R) = ∥f ∥L1 (R) > ∀h (1) Hơn F thỏa mãn (ENF ), |τv f − f (x)| = |f (x + v)f (x)| ≤ L|v|X [−a−1,a+1] (x) ∀x ∈ R, v ∈ [−1, 1] ∥τc fh − fh ∥L1 (R) = ∥τv f − f ∥L1 (R) ∀h L := Lip(f ) Cho Ω := R quan sát F = F|Ω không compact tương đối (L1 (R), ∥.∥L1 ) Ngược lại mâu thuẫn nảy sinh (??), từ fh (x) → với x ∈ R Tính tách (Lp (Ω), ∥.∥Lp ) Nhận xét Cho Ω ⊂ tập bị chặn, quan hệ bao hàm C0 (Ω) ⊂ L∞ (Ω) chặt Hơn nữa, với f ∈ C0 (Ω) ∥f ∥∞,Ω = ∥f ∥L∞ (Ω) (∗) Thật ∥f ∥L∞ (Ω) := inf{M > : |f (x)| ≤ M, x ∈ Ω} ≤ sup |f (x)| := ∥f ∥∞,Ω x∈Ω Để chứng minh bất đẳng thức ngược lại, ta quan sát, N ⊂ Ω tập không đáng kể với mối quan hệ đến L, Ω \ N ⊇ Ω Vì thế, theo tính liên tục f , tồn M > cho |f (x)| < M, x ∈ Ω ⇒ |f (x)| ≤ M ∀x ∈ Ω Đặc biệt, từ (∗), C0 (Ω) hóa đóng (L∞ (Ω), ∥.∥L∞ (Ω) ) Không gian đối ngẫu Lp (Ω) Định lý (Định lý biểu diễn Riesz) Cho ≤ p < ∞ ký hiệu   p < p < ∞ ′ p := p − (số mũ của) p ∞ p = ′ Khi ánh xạ T : Lp (Ω) → (Lp (Ω))′ , định nghĩa Z uf dx, ∀f ∈ Lp (Ω), ⟨T (u), f ⟩(Lp (Ω))×Lp (Ω) := Ω đẳng cấu metric có đặc trưng xác định ′ Lp (Ω) ≡ (Lp (Ω))′ ≤ p < ∞ Chứng minh Ta chia chứng minh thành ba bước Bước 1: Ta chứng minh T phép đẳng cự, nghĩa ′ ∥T (u)∥(Lp (Ω))′ = ∥u∥Lp′ (Ω) , ∀u ∈ Lp (Ω) (2) Theo bất đẳng thức Holder, suy bất đẳng thức ′ ∥T (u)∥(Lp (Ω))′ ≤ ∥u∥Lp′ (Ω) , ∀u ∈ Lp (Ω) (3) Ta bất thức ngược lại Đầu tiên, giả sử < p < ∞, điều có nghĩa < p′ < ∞ Nếu ∥u∥Lp′ (Ω) = 0, đó, u = hầu khắp nơi Ω bất đẳng thức rõ ràng Giả sử < ∥u∥Lp′ (Ω) < ∞, ta cần giả sử < |u(x)| < ∞ hầu khắp nơi x ∈ Ω Định nghĩa ′ fu (x) := |u(x)|p −2 u(x) hầu khắp nơi x ∈ Ω Quan sát fn ∈ Lp (Ω), từ ′ 1/p−1 |fu (x)|p = |u(x)|p hầu khắp nơi x ∈ Ω ⇒ ∥fu ∥Lp (Ω) = ∥u∥Lp′ (Ω) Vì Z ⟨T (u), fu ⟩(Lp (Ω))×Lp (Ω) = Ω ′ ′ u|u|p −2 udx = ∥u∥pLp′ (Ω) (4) Từ (??) (??), suy ′ ∥u∥pLp′ (Ω) = ⟨T (u), fu ⟩(Lp (Ω))′ ×Lp (Ω) ≤ ∥T (u)∥(Lp (Ω))′ ∥fu ∥Lp (Ω) 1/p−1 = ∥T (u)∥(Lp (Ω))′ ∥u∥Lp′ (Ω) Điều có nghĩa ∥T (u)∥(Lp (Ω))′ ≥ ∥u∥Lp′ (Ω) ′ ∀u ∈ Lp (Ω) (5) Vì (??) (??) cho ta (??) Cuối cùng, cho trường hợp p = 1, p′ = ∞, giả sử < M < ∥u(x)∥L∞ (Ω) Khi tập hợp EM := {x ∈ Ω : |u(x)| > M } ∈ M |EM | > Từ không gian đo (Ω, Mn ∩ Ω, Ln ) σ−hữu hạn, tồn tập F ∈ Mn ∩ Ω cho < |EM ∩ F | < ∞ Tập hợp fu (x) := sign(u(x))χEM ∩F (x) hầu khắp nơi x ∈ Ω |EM ∩ F | Khi Z ∥fu ∥L1 (Ω) = |fu (x)|dx = Ω ⟨T (u), fu ⟩(L1 (Ω))′ ×L1 (Ω) = |EM ∩ F | Z |u|dx ≥ M, ∀M ∈ (0, ∥u∥L∞ (Ω) ) (43b) EM ∩F Từ (??) (43b), suy M ≤ ⟨T (u), fu ⟩(L1 (Ω))′ ×L1 (Ω) ≤ ∥T (u)∥(L1 (Ω))′ ∥fu ∥L1 (Ω) = ∥T (u)∥(L1 (Ω))′ , ∀M ∈ (0, ∥u∥L∞ (Ω) ), Từ ∥T (u)∥(L1 (Ω))′ ≥ ∥u∥L∞ (Ω) , ∀u ∈ L∞ (Ω) (24b) Từ (??) (44b), đồng (??) p = Bước 2: Đầu tiên giả sử |Ω| < ∞ ta chứng minh T toàn ánh, ′ nghĩa ∀ϕ ∈ (Lp (Ω))′ , ∃u ∈ Lp (Ω) cho T (u) = ϕ ⇔ ⟨T (u), f ⟩(Lp (Ω))′ ×Lp (Ω) = ϕ(f ), ∀f ∈ Lp (Ω) Bởi |Ω| < ∞, χE ∈ Lp (Ω) với E ∈ M := Mn ∩ Ω, p ∈ [1, ∞) Định nghĩa tập hợp hàm ν : M → R ν(E) := ϕ(χE ), E ∈ M Chỉ ν σ -hữu hạn, độ đo có dấu; (6) ν ≪ Ln M (7) Thật |ν(E)| < ∞ với E ∈ M, ν σ -hữu hạn Giả sử (Eh )h ⊂ M dãy rời nhau, ta chưng minh ν(∪∞ h=1 Eh ) = ∞ X ν(Eh ) Tập hợp E := ∪∞ h=1 Eh Với số nguyên m h=1 12 • p = biết µ σ -hữu hạn Cách xác định sai trường hợp khác Support hàm Lp Ta biết rằng, cho hàm f : Rn R, support f tập hợp spt(f ) := Bao đóng{x ∈ Rn : f (x) ̸= 0} = {x ∈ Ω : f (x) ̸= 0} (S) Định nghĩa khơng cịn phù hợp cho hàm f ∈ Lp (Rn ) Thật vậy, ta muốn khái niệm thỏa mãn tính chất sau f1 = f2 hầu khắp nơi Rn ⇒ spt(f1 ) = spt(f2 ), trừ số phần không đáng kể Nhưng trường hợp khơng Thật Ví dụ: Cho f1 := χQ : R → R f2 ≡ Khi đó, rõ ràng f1 = f2 hầu khắp nơi R spt(f1 ) = Q = R spt(f2 ) = ∅ Mệnh đề (Support thiết yếu cùa hàm) Cho f : Rn → R Ký hiệu Af := {ω ⊂ Rn : ω tập mở f = hầu khắp nơi ω} cho Af := ∪ω∈Af ω Khi Af tập mở f = hầu khắp nơi Af Tập đóng spte (f ) := Rn \ Af (ES) gọi support cần thiết f Rn Nhận xét (i) Từ định nghĩa (ES), suy ra, f1 = f2 hầu khắp nơi Rn , spte (f1 ) = spte (f2 ) (ii) Định nghĩa (S) (ES) giống hàm liên tục Chính xác 13 Bài tập Nếu f : Rn → R liên tục, Rn \ Af = {x ∈ Rn : f (x) ̸= 0} Chứng minh mệnh đề ?? Hiển nhiên Af tập mở Ta chứng minh f (x) = hầu khắp nơi x ∈ Af (19) Từ Rn không gian metric tách được, thỏa mãn tiên đề thứ hai tính đếm (Định lý ??) Do tồn họ đếm tập mở U = {Ui : i ∈ N} thỏa mãn với tập mở Rn hợp phần tử đếm U Với ω ∈ Af , giả sử ω = ∪i∈Jω Ui cho số phù hợp Jω ⊂ N cho J := ∪ω∈Af Jω Do Af = ∪i∈J Ui Từ f = hầu khắp nơi Ui với i ∈ J , theo (??) 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 14 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 15 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 Các vành nhóm Ánh xạ ε : RG → R cho ε( X g rg g) = X rg ánh xạ mở rộng g Iđêan ∇(RG) = ker(ε) gọi iđêan mở rộng Định lý Cho G nhóm hữu hạn với cấp + 2n R ∆U -vành Khi RG ∆U -vành iđêan mở rộng ∇(RG) ∆U -vành Chứng minh Đặt ∇ = ∇(RG) Giả sử G nhóm hữu hạn có cấp 1+2n R ∆U -vành Theo Mệnh đề ??, ta có ∈ ∆(R), 1+2n ∈ U (R) Khi RG có biểu diễn RG = ∇⊕H với H ∼ = R theo [4] Đặt ∇ = eRG H = (1 − e)RG Rõ ràng e phần tử tâm RG Nếu RG ∆U -vành, ∇ = eRG ∆U -vành theo Mệnh đề ?? Ngược lại, giả sử ∇ = eRG ∆U -vành Vì H ∼ = R nên H ∆U -vành Theo Bổ đề 13, RG ∆U -vành Một nhóm gọi hữu hạn địa phương nhóm sinh hữu hạn phần tử hữu hạn Bổ đề Nếu G 2-nhóm hữu hạn địa phương R ∆U -vành với ∆(R) lũy linh, ∇(RG) ⊆ ∆(RG) Chứng minh Giả sử G 2-nhóm hữu hạn địa phương R ∆U -vành ¯ Suy Khi R¯ := R/J(R) ∆U -vành Từ ∆(R) lũy linh, ∈ N (R) ¯ ⊆ N (RG) ¯ ¯ ∇(RG) theo [4, Hệ quả, trang 682] Do đó, ∇(RG) iđêan lũy ¯ Ta kiểm tra J(R)G ⊆ J(RG), linh chứa J(RG) J((R/J(R))G) ∼ = J(RG/J(R)G) = J(RG)/J(R)G Do ∇(RG) ⊆ J(RG) ⊆ ∆(RG) Định lý Cho R ∆U -vành G 2-nhóm hữu hạn địa phương Nếu ∆(R) lũy linh, RG ∆U -vành 16 Chứng minh Lấy u ∈ U (RG) Khi ε(u) = + ε(u − 1) ∈ U (R) theo Bổ đề ?? (1) áp dụng cho ánh xạ mở rộng ε i Vì R ∆U -vành nên tồn j ∈ ∆(R) thỏa mãn ε(u) = + j Theo Bổ đề ?? (1) ta có ε(u − + j) = hay u − + j ∈ ∇(RG) ⊆ ∆(RG) Do u ∈ − j + ∆(RG) suy u ∈ + ∆(RG) Hệ Cho R vành hoàn chỉnh phải trái G 2-nhóm hữu hạn địa phương Khi đó, R ∆U -vành RG ∆U -vành 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 đề 56 ta có |Rk | = Do k Rk = ⟨r ⟩ = 2n 2n = (2n, k) k  2n r ⩽ i ⩽ −1 k  ik 17 Ta xét hai trường hợp k sau Trường hợp 1: k | n Khi đó, theo Mệnh đề 57 ta có X X |CQ4n (x)| = |CQ4n (1)| + |CQ4n (rn )| + |CQ4n (rik) | −1 1⩽i⩽ 2n k x∈Rk i̸= nk  2n = 4n + 4n + = 8n +  2n k Do đó, theo Mệnh đề 43, ta có X Pr(Rk , Q4n ) = |Rk ||Q4n | k  − |R1 |  − 2n = |CQ4n (x)| = x∈Rk 4n(n + k) k n+k 4n(n + k) = 2n k 2n 4n k Trường hợp 2: k ∤ n Khi đó, theo Mệnh đề 57, ta có X X |CQ4n (rik )| |CQ4n (x)| = |CQ4n (1)| + 1⩽i⩽ 2n −1 k x∈Rk = 4n +  2n k  − |R1 | = 4n +  2n k  − 2n = 2n(2n + k) k Từ suy Pr(Rn , Q4n ) = X 1 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 đề 56 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} 18 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 X |CQ4n (rli )| + 1⩽l⩽k−1 l̸= k2 |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 đề 43 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ụ 12) 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+1 2+2 2·2+4 = , 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} 19 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 ) = 2·3+2 3+1 = , 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 ) = ĐẠ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 toá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 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 20 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 đề 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 tố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 tốn lấy hiệu đối xứng nghĩa là: ∀A, B ∈ A∗ ⇒ A△B ∈ A∗ Định lý Cho tập X khác rỗng Giả sử X có phép tốn α Phép tố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∗ 21 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 Độ giao hoán tương đối mở rộng nhóm Trong mục ta nghiên cứu độ giao hố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ổ đề 8, với x ∈ G ta có |H1 : CH1 (x)| ⩽ |H2 : CH2 (x)| ⩽ |G : CG (x)| Từ suy |CH1 (x)| |C (x)| |C (x)| ⩾ H2 ⩾ G với x ∈ G |H1 | |H2 | |G| Theo Mệnh đề 43 ta có Pr(H1 , H2 ) = X 1 X |CH2 (x)| |CH2 (x)| = |H1 ||H2 | |H1 | |H2 | x∈H1 ⩾ x∈H1 X 1 X |CG (x)| = |CG (x)| = Pr(H1 , G) |H1 | |G| |H1 ||G| x∈H1 x∈H1 Theo Mệnh đề 43 ta có X Pr(H1 , G) = ⩾ |H1 ||G| |CH1 (y)| = y∈G X |CH2 (y)| |G| y∈G |H2 | Vậy ta có điều phải chứng minh X |CH1 (y)| |G| |H1 | y∈G = X |CH2 (y)| = Pr(H2 , G) |H2 ||G| y∈H2 22 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 ∈ Điều chứng tỏ CH/N (xN ) ⩽ Vậy ta có điều phải chứng minh Bây ta chứng minh Mệnh đề CH (x)N N CH (x)N N