Bài toán cân bằng nash trong không gian có thứ tự

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: BÀI TỐN CÂN BẰNG NASH TRONG KHƠNG GIAN CĨ THỨ 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 Hàng đợi phần sống hàng ngày Chúng ta phải đứng chờ quầy thu tiền siêu thị, chờ để mua vé xem phim, mua vé xe, vé tàu, rút tiền trạm ATM, lấy thức uống quán cà phê, đứng chờ mua xăng trạm xăng, chờ xử lý phòng cấp cứu, máy bay chờ cất cánh, hạ cánh, tàu thuỷ chờ bốc, dỡ hàng hố cảng Trong mơ hình phục vụ trên, khách hàng phải dùng chung tài nguyên, phải chờ để phục vụ bị từ chối phục vụ Trong tình huống, thời gian chờ điều mà không muốn 448 2 Độ 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ổ đề 13, 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 đề 57 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 đề 57 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 đề 57 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 n Trường hợp 2b: i Khi đó, theo Mệnh đề 48 ta có X X n |CDn (ril )| = CDn (r ) + |CDn (ril )| 1⩽l⩽ ni −1 1⩽l⩽ ni −1 n l̸= 2i = |Dn | + X n i  − |R1 | = 2n + n n i  −2 = n2 , i 4n n |CDn (ril+j s)| = U n2 ,il+j = i 0⩽l⩽ ni −1 i Từ suy X |CDn (x)| = 2n + x∈Ui,j Áp dụng Mệnh đề 57 ta có X Pr(Ui,j , Dn) = |Ui,j ||Dn | n2 4n n(n + 2i + 4) + = i i i |CDn (x)| = x∈Ui,j Vậy ta có điều phải chứng minh n(n + 2i + 4) n + 2i + = 2n i 4n 2n i 43 Trong ví dụ sau ta tính lại độ giao hốn tương đối nhóm nhóm nhị diện D3 D4 cách áp dụng Mệnh đề 24 Ví dụ (i) Với n = 3, xét nhóm nhị diện D3 (cho Ví dụ 8) Các nhóm D3 R1 = ⟨r⟩, R3 = {1}; T0 = ⟨s⟩, T1 = ⟨rs⟩, T2 = ⟨r2 s⟩; D3 Khi 3+3 3+1 = , Pr(R3 , D3 ) = = 1; 2·3 2·3 3+1 = ; Pr(T0 , D3 ) = Pr(T1 , D3 ) = Pr(T2 , D3 ) = 2·3 Pr(D3 , D3 ) = Pr(D3 ) = (ii) Với n = 4, xét nhóm nhị diện D4 (cho Ví dụ 9) Các nhóm D4 Pr(R1 , D3 ) = R1 = ⟨r⟩, R2 = ⟨r2 ⟩, R4 = {1}; T0 = ⟨s⟩, T1 = ⟨rs⟩, T2 = ⟨r2 s⟩, T3 = ⟨r3 s⟩; U2,0 = ⟨r2 , s⟩, U2,1 = ⟨r2 , rs⟩; D4 Khi 4+2·1 4+2·2 4+4 = , Pr(R2 , D4 ) = = 1, Pr(R4 , D4 ) = = 1; 2·4 2·4 2·4 4+2 = ; Pr(T0 , D4 ) = Pr(T1 , D4 ) = Pr(T2 , D4 ) = Pr(T3 , D4 ) = 2·4 4+2·2+4 Pr(U2,0 , D4 ) = Pr(U2,1 , D4 ) = = ; Pr(D4 , D4 ) = Pr(D4 ) = 4·4 Pr(R1 , D4 ) = 17 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 44 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 11 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ý 16 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 (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 10 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 45 Mệnh đề 21 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 đề 46 Định lý 17 Giả sử K ⊂ Rn tập compact Khi (C0 (K), ∥.∥∞ ) tách 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ý 18 (Đị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] 46 Nhận xét 11 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ý 34 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∥∞ < ϵ (6) Đị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] (7) Do đó, từ (23) (24) ta ∥f − q∥∞ ≤ ∥f − p∥∞ + ∥p − q∥∞ ≤ 18 ϵ ϵ + = ϵ 2 Định lý tồn cho hệ thống tuyến tính Định lý 19 (Định lý tồn cho hệ thống tuyến tính) Cho I đoạn thực giả sử A ∈ C(I, Mn (F)), B ∈ C(I, F n ) Cho τ ∈ I, ξ ∈ F n tồn giải pháp X (IV P) đoạn I 47 Chứng minh Cho t ∈ I , giả sử J = [c; d] đoạn bị chặn I cho τ, π ∈ J , Bởi định lý 7.3 tồn hàm Xj khác biệt đoạn [a, b] cho XJt (s) = A(s)XJ (s) + B(s), XJ (τ ) = ξ, s∈J Định nghĩa X(t) = Xj(t) Nếu ta chọn J1 = [c1 , c2 ] ⊂ I cho τ, t ∈ J1 , J1 ∩ J đoạn bị chặn chứa τ, t kết áp dụng cho đoạn cho thấy XJ1 (s) = XJ (s), s ∈ J1 ∩ J Đặc biệt, XJ1 (t) = XJ (t) Để định nghĩa X(t) không phụ thuộc vào J chọn Vì X có tính khả vi [a, b] thỏa mãn X ′ (t) = A(t)X(t) + B(t), X(τ ) = ξ, t∈I Nó giải pháp (IV P) đoạn I Nó nhất, Y mơt giải pháp I t thuộc I có đoạn nhỏ J chứa τ, t kết cho J ngụ ý X(t) = Y (t) Trước tiếp tục phát triển lý thuyết, xem xét ví dụ khác Xét toán với n = : x′ = 3t2 x, x(0) = 1, t∈R Phương trình tích phân tương ứng Z t 3s2 x(s)ds = (T x)(t), x(t) = + t ∈ R Nếu x0 (t) = 1, t Z 3s2 xm (s)ds, xm+1 (t) = + m = 0, 1, Do Z x1 (t) = + t 3s2 ds = + t3 , t Z 3s2 [1 + s3 ]ds = + t3 + t6 /2, x2 (t) = +