Tài liệu Luận văn thạc sĩ toán học đa thức và hệ số hilbert trên vành địa phương noether

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM —————————— NGUYỄN SỸ ĐÔNG ĐA THỨC VÀ HỆ SỐ HILBERT TRÊN VÀNH ĐỊA PHƯƠNG NOETHER LUẬN VĂN THẠC SĨ KHOA HỌC Chuyên ngành: ĐẠI SỐ VÀ LÝ THUYẾT SỐ Mã số: 60.46.05 Người hướng dẫn khoa học: GS. NGUYỄN TỰ CƯỜN THÁI NGUYÊN - NĂM 2015 Công trình được hoàn thành tại Trường Đại học Sư phạm - Đại học Thái Nguyên 08/04/2015 Người hướng dẫn khoa học: GS-TSKH. NGUYỄN TỰ CƯỜNG Phản biện 1: ........................................................ ...................................................................... Phản biện 2: ........................................................ ...................................................................... Luận văn sẽ được bảo vệ trước hội đồng chấm luận văn họp tại: Trường Đại học Sư phạm - Đại học Thái Nguyên Có thể tìm hiểu tại Thư viện Đại học Thái Nguyên Mục lục Lời cảm ơn 2 Mở đầu 1 2 3 Kiến thức chuẩn bị 5 1.1 Vành, môđun Artin và Noether . . . . . . . . . . . . . . . . 5 1.2 Vành và môđun phân bậc . . . . . . . . . . . . . . . . . . . 9 1.3 Định lý Artin-Rees 13 ...................... Đa thức và hệ số Hilbert trên vành địa phương Noether 16 2.1 Đa thức Hilbert . . . . . . . . . . . . . . . . . . . . . . . . 16 2.2 Chiều của môđun . . . . . . . . . . . . . . . . . . . . . . . 21 2.3 Chiều của vành địa phương . . . . . . . . . . . . . . . . . . 2.4 Hệ tham số và số bội . . . . . . . . . . . . . . . . . . . . . 31 Kết luận 38 Tài liệu tham khảo39 1 25 Lời cảm ơn Luận văn này được hoàn thành với một phần nỗ lực của bản thân và sự hướng dẫn của GS. Nguyễn Tự Cường, Viện Toán học. Tôi xin tỏ lòng biết ơn chân thành tới thầy hướng dẫn. Với tinh thần làm việc nghiêm túc, thầy đã tận tình giúp tôi có được phương pháp nghiên cứu khoa học đúng đắn, hiệu quả trong suốt quá trình xây dựng đề cương cũng như hoàn thành luận văn. Tôi cũng xin bày tỏ lòng cảm ơn sâu sắc tới các thầy cô giáo của trường Đại học Thái Nguyên, Viện Toán học, những người đã tận tình giảng dạy và khích lệ, động viên tôi vượt qua những khó khăn trong học tập. Tôi xin cảm ơn Ban lãnh đạo trường Đại học Sư phạm - Đại học Thái Nguyên, khoa Sau đại học, sở GD - ĐT Lạng Sơn và trường THPT Chi Lăng đã tạo mọi điều kiện thuận lợi, giúp đỡ tôi trong suốt thời gian tôi học tập. Cuối cùng, tôi xin trân thành cảm ơn gia đình, người thân, bạn bè đã giúp đỡ tôi cả về vật chất và tinh thần để tôi có thể hoàn thành bản luận văn cũng như khóa học của mình. 2 Mở đầu Cho A là một vành Artin, R = A[x1,...,xm] là vành đa thức m biến với hệ số trong A. Khi đó R là một vành phân bậc. Nếu M = ⊕ Mn là một Rn≥0 môđun phân bậc hữu hạn sinh thì Mn là một A-môđun và `A(Mn) < +∞. Hơn nữa, với n đủ lớn thì `A(Mn) là một đa thức với hệ số hữu tỉ. Kết quả này là nội dung của Định lí đa thức Hilbert. Đa thức Hilbert đóng một vai trò quan trọng trong Đại số giao hoán và Hình học đại số; nó cho phép chúng ta nghiên cứu độ lớn, cấu trúc của môđun M thông qua những đại lượng số cụ thể như bậc của đa thức, hệ số của đa thức,.... Từ khi Định lí đa thức Hilbert được chứng minh đã có nhiều nhóm nghiên cứu về vấn đề này. Đa thức Hilbert trở thành một công cụ được nhiều nhà nghiên cứu Đại số giao hoán và Hình học đại số quan tâm. Với lí do đó, dưới sự hướng dẫn của GS. Nguyễn Tự Cường, tác giả luận văn chọn đề tài "Đa thức và hệ số Hilbert trên vành địa phương Noether" làm đề tài cho luận văn tốt nghiệp Thạc sĩ toán học của mình. Nội dung chính của luận văn là trình bày Định lí đa thức Hilbert trên vành địa phương Noether cùng với một số tính chất của nó về bậc đa thức, hệ số cao nhất của đa thức (thông qua số bội). Ngoài phần mở đầu và kết luận, luận văn được chia làm hai chương. Chương 1. Kiến thức cơ sở. Chương này trình bày về vành và môđun Noether, Artin; vành và môđun phân bậc; Định lí Artin-Rees. Đây là những kiến thức cơ sở cho các chứng minh trong Chương 2, chương chính của luận văn. 3 Chương 2. Đa thức và hệ số Hilbert trên vành địa phương Noether. Chương này trình bày về Định lí đa thức Hilbert; chiều của môđun và vành địa phương; hệ tham số và số bội. Nội dung của chương là hệ thống một số kết quả quan trọng về đa thức Hilbert trên vành địa phương Noether. Các nội dung được trình bày trong luận văn dựa trên bài giảng của GS. Nguyễn Tự Cường và tham khảo thêm trong hai cuốn sách Commutative Algebra và Commutative Ring Theory của tác giả H.Matsumura. Bên cạnh đó, tác giả luận văn có chứng minh chi tiết một số vấn đề được trình bày vắn tắt trong các tài liệu trên. Một số ví dụ và bài tập minh họa cũng được tác giả luận văn đưa vào để làm sáng tỏ cho những nội dung được trình bày. Với mong muốn hệ thống lại một số nội dung quan trọng về đa thức Hilbert, tác giả luận văn đã dành nhiều thời gian nghiên cứu những kết quả này. Tuy nhiên, do năng lực bản thân còn hạn chế, thời gian nghiên cứu chưa nhiều nên khó tránh khỏi những thiếu sót trong luận văn. Tác giả rất mong nhận được sự chỉ bảo của các thầy cô giáo và ý kiến góp ý của các bạn học viên cùng độc giả quan tâm để luận văn được hoàn thiện hơn. Thái Nguyên, tháng 08 năm 2011 Tác giả NGUYỄN SỸ ĐÔNG 4 Chương 1 Kiến thức chuẩn bị Trong toàn bộ luận văn này ta luôn xét các vành là giao hoán có đơn vị. 1.1 Vành, môđun Artin và Noether Định nghĩa 1.1.1. Cho R là một vành, M là R- môđun. i) M được gọi là R-môđun Noether nếu với mọi dãy tăng các R- môđun con của M: M1 ⊆ M2 ⊆ ... ⊆ Mn ⊆ ... đều dừng, nghĩa là ∃n0 ∈ N sao cho Mi = Mi+1,∀i ≥ n0. ii) M được gọi là R-môđun Artin nếu với mọi dãy giảm các R- môđun con của M: M1 ⊇ M2 ⊇ ... ⊇ Mn ⊇ ... đều dừng, nghĩa là ∃n0 ∈ N sao cho Mi = Mi+1,∀i ≥ n0. Nếu xét vành R như môđun trên chính nó thì R được gọi là vành Noether (Artin) khi R là R-môđun Noether (Artin). Khi đó, tập các môđun con của Rmôđun R trùng với tập các iđêan của vành R. Định lý 1.1.2. Cho R là một vành. Khi đó M là R-môđun Noether khi và chỉ khi mọi R-môđun con của M là hữu hạn sinh. 5 Chứng minh. (=⇒): Lấy N là môđun con bất kỳ của M. Đặt môđun con hữu hạn sinh của M chứa trong N. Ta thấy P là tập tất cả các R- P P P 6= φ vì 0 ∈ , và mọi xích tăng các phần tử của đều có chặn trên (do M là Noether) nên P P có phần tử tối đại là N0. Suy ra N0 ∈ và N0 là hữu hạn sinh. Nếu N0 6= N thì ∃x ∈ N\N0, do đó R-môđun N1 = N0+(x) là hữa hạn sinh và N ⊇ N1 ⊃ N0, mâu thuẫn. Vậy N0 = N. (⇐=): Giả sử P là tập khác φ các môđun con của R-môđun M. Lấy một P xích tăng tùy ý trong , chẳng hạn M1 ⊆ M2 ⊆ ... ⊆ Mn ⊆ ... (*). Đặt . Khi đó, N là môđun con của M suy ra N là hữu hạn sinh, sinh bởi các phần tử x1,...,xk,xi ∈ N,∀i = 1,k. Suy ra tồn tại n0 sao cho x1,...,xk ∈ Mn0, do đó N ⊆ Mn0 và Mt = Mn0,∀t ≥ n0, từ đó suy ra (*) dừng. Vậy M là Rmôđun Noether. Định lý 1.1.3. (Định lý cơ sở Hilbert) Cho R là vành Noether. Khi đó vành đa thức n biến R[x1,...,xn] cũng là vành Noether. Chứng minh. Vì R[x1,...,xn] = R[x1,...,xn−1][xn] nên ta chỉ cần chứng minh cho vành R[x] là vành Noether. Lấy tùy ý một iđêan I của R[x]. Ta chứng minh I là hữu hạn sinh. Đặt J = {a ∈ R|∃f(x) ∈ I,f(x) có hệ số cao nhất là a}. Suy ra J là iđêan của R. Vì R là vành Noether nên J là hữu hạn sinh, sinh bởi {a1,...,an}. Với mỗi ai ∈{a1,...,an} tồn tại fi(x) ∈ I sao cho fi(x) = aixni + hi(x), với deghi(x) < ni,∀i = 1,n. Đặt I0 = (f1(x),...,fn(x)) là iđêan của R[x] và r = Max{ni|i = 1,n}. Xét Rmôđun con M = R +xR +...+xrR của R[x]. Khi đó M là hữu hạn sinh và có một 6 tập sinh là {1,x,...,xr}, suy ra M là R-môđun Noether (do R là Noether, M là hữu hạn sinh trên R) .Ta sẽ chứng minh I = I0 + M ∩ I. Hiển nhiên ta có I0 + M ∩ I ⊆ I . Mặt khác, lấy f(x) ∈ I, giả sử f(x) = axh + g(x), với degg(x) < h. Khi đó a ∈ J = (a1,...,an), suy ra a = b1a1+,...,+bnan,bi ∈ R,∀i = 1,n. Nếu deg . Xét hiệu Sau hữu hạn bước như trên ta được đa thức h(x) có deg h(x) < r hoặc h(x) = 0 sao cho f(x) = f(x) + h(x),f(x) ∈ I1 ⊆ I. Từ h(x) ∈ M và h(x) ∈ I suy ra h(x) ∈ M∩I . Vậy I = I0+M∩I và I là hữu hạn sinh, do đó R[x] là vành Noether. Từ đó suy ra R[x1,...,xn] là vành Noether. Định nghĩa 1.1.4. Cho R là một vành. Một R-môđun M được gọi là có độ dài hữu hạn nếu M có ít nhất một dãy hợp thành. Khi đó độ dài của M, kí hiệu là `(M), chính là độ dài của một dãy hợp thành nào đó của M. Hệ quả 1.1.5. Giả sử N là một môđun con của một R-môđun M. Khi đó M có độ dài hữu hạn khi và chỉ khi N và M/N là những R-môđun có độ dài hữu hạn. Hơn nữa, trong trường hợp này ta có 1 ,n − k − 1 là những môđun đơn. Từ chứng minh trên suy ra `(M) = `(N) + `(M/N). 7 `(M) = `(N) + `(M/N). Chứng minh. (=⇒): Khi N = 0 hoặc N = M thì hiển nhiên kết luận của hệ quả là đúng. Giả sử M là môđun có độ dài hữu hạn và 0 ⊂ N ⊂ M là một xích của M, xích này có thể làm mịn thành một dãy hợp thành của M A : 0 = A0 ⊂ A1 ⊂ ... ⊂ Ak = N ⊂ Ak+1 ⊂ ... ⊂ An = M. Khi đó xích 0 = A0 ⊂ A1 ⊂ ... ⊂ Ak = N là một dãy hợp thành của N, suy ra N có độ dài hữu hạn. Vậy 0 = Ak/N ⊂ Ak+1/N ⊂ ...An/N = M/N (*) là dãy hợp thành của M/N do (Ak+i+1/N)/(Ak+i/N) ∼= Ak+i+1/Ak+i,∀i = (⇐=): Giả sử 0 = A0 ⊆ A1 ⊆ ... ⊆ Ak = N và lần lượt là hai dãy hợp thành của N và M/N. Gọi π : M ,→ M/N là phép chiếu chính tắc và đặt . Rõ ràng khi đó ta có là môđun đơn nên từ đẳng cấu (Bj+1/N)/(Bj/N) ∼= Bj+1/Bj suy ra Bj+1/Bj,j = 1,l là những môđun đơn. Vậy xích là một dãy hợp thành có độ dài hữu hạn và `(M) = `(N) + `(M/N). Từ hệ quả trên ta có kết quả sau. Hệ quả 1.1.6. Cho T: 8 f1 f2 f n−1 0 −−→ M1 −−→ M1 −−→ ... −−→ Mn −−→ 0 là một dãy khớp các R-môđun có độ dài hữu hạn Mi. Khi đó . Chứng minh. Theo Hệ quả 1.1.5 ta có `(Mi) = `(Kerfi) + `(Mi/Kerfi),∀i = 1,n − 1 Mặt khác, ta biết rằng Mi/Kerfi ∼= Imfi, do đó `(Mi) = `(Kerfi) + `(Imfi),∀i = 1,n − 1. Suy ra . Do T là dãy khớp nên ta có Imfi = Kerfi+1,∀i = 1,n − 2. Vậy . Vì f1 là đơn ánh, fn−1 là toàn ánh nên Kerf1 = 0 và Imfn−1 = Mn. Thay vào (*) ta có . 1.2 Vành và môđun phân bậc Định nghĩa 1.2.1. Cho R là một vành. 9 i) R gọi là vành phân bậc nếu R có phân tích , trong đó Rn là các nhóm abel với phép cộng (tức là (Rn,+) là các nhóm con của (R,+)) và thỏa mãn tính chất RiRj ⊆ Ri+j,∀i,j = 0,n. Một phần tử x ∈ R sao cho x ∈ Ri được gọi là phần tử thuần nhất bậc i, Ri được gọi là thành phần bậc i của R. ii) Một môđun M trên vành phân bậc được gọi là R− môđun , trong đó Mn là các môđun con của phân bậc nếu M có phân tích M và RiMj ⊆ Mi+j,∀i,j = 0,n. Một phần tử x ∈ M sao cho x ∈ Mi được gọi là phần tử thuần nhất bậc i, Mi được gọi là thành phần bậc i của M. iii) Cho M là R-môđun phân bậc, N là môđun con của M. N được gọi là môđun con phân bậc của M nếu . Ta cũng gọi N là môđun con thuần nhất của M. Nếu R là vành phân bậc thì R cũng là R-môđun phân bậc. Khi đó I là một iđêan con phân bậc của R nếu I là một iđêan của R thỏa mãn còn được gọi là iđêan thuần nhất. Mệnh đề 1.2.2. Cho N là môđun con của môđun phân bậc M trên vành phân bậc R. Khi đó, N là môđun con phân bậc khi và chỉ khi ∀x ∈ N thì các phần tử thuần nhất của x cũng thuộc N. Chứng minh. (=⇒): Giả sử N là môđun con thuần nhất của M, khi đó (*). Lấy tùy ý x ∈ N, từ (*) suy ra x = xi + ... + xi+s, xi0 ∈ (N ∩ Mi0),∀i0 = i,i + s. Vậy xi0 ∈ N,∀i0 = i,i + s. (⇐=): Giả sử ∀x ∈ N đều có tính chất, nếu x = xi +...+xi+s với xj ∈ 10 Mj,∀j = i,i + s thì . Ta chứng minh N thuần nhất, tức là chứng minh N = ⊕ (N ∩ Mj). Thật vậy, ta có . j=0 Ngược lại lấy x ∈ N thì x ∈ M suy ra x = xi + ... + xi+s,xj ∈ Mj,∀j = i,i + s. Theo trên xj ∈ N, do đó xj ∈ N ∩Mj. Vậy hay . Ví dụ 1.2.3. . (1) Một vành R là vành phân bậc với phân bậc tầm thường , R0 = R,Rn = 0,∀n > 0. (2) thường Một R−môđun M luôn là R−môđun phân bậc với phân bậc tầm là vành phân bậc tầm thường). (3) phân bậc (4) Xét vành đa thức R = k[x1,..,xn], k là một trường. Khi đó R có , với R0 = k, Rn là tập các đa thức thuần nhất bậc n của R. Cho I là một iđêan của R. Khi đó i) R(I) = ⊕ In là vành phân bậc (vì ImIn ⊆ Im+n). Vành R(I) được n≥0 gọi là vành Rees của R đối bậc với I. là vành phân bậc (vì (Im/Im+1)/(In/In+1) ⊆ Im+n/Im+n+1). Vành phân bậc GR(I) được gọi là vành phân bậc liên kết của R đối với I. (5) Cho M là R-môđun. Khi đó i) RM(I) = ⊕ InM là một môđun phân bậc và được gọi là môđun n≥0 Rees. 11 là một môđun phân bậc và được gọi là môđun phân bậc liên kết của M đối với I. Định lý 1.2.4. Cho R = ⊕ Rn là một vành phân bậc. Khi đó, các mệnh n≥0 đề sau là tương đương: i) R là vành Noether. ii) R0 là vành Noether và tồn tại a1,...,an là các phần tử thuần nhất của R sao cho R = R0[a1,...,an] = {f(a1,...,an)|f ∈ R0[x1,...,xn]}. là iđêan thuần nhất của R. Chứng minh. (i =⇒ ii): Ký hiệu Vì R là Noether nên R+ hữu hạn sinh suy ra tồn tại a1,...,an ∈ R sao cho R+ = (a1,...,an). Mặt khác, R+ là các iđêan thuần nhất nên ta có thể giả thiết được là ai thuần nhất có bậc là ni > 0. Đặt R0 là vành con của R sinh bởi a1,...,an trên R0, R0 = R0[a1,...,an], ta sẽ chứng minh Rn ⊆ R0, ∀n ≥ 0 (*) bằng quy nạp. Nếu n = 0 thì hiển nhiên (*) đúng. Giả sử Ri ⊆ R0, với x ∈ Rn+1 ⊆ R+, ta có x = . Ta chứng minh Rn+1 ⊆ R0. Lấy P aibi, trong đó bi ∈ Rn+1−ni,∀i = 1,n. i=1 Mà ni > 0,∀i nên n + 1 − ni ≤ n,∀i = 1,n. Theo giả thiết quy nạp thì bi ∈ R0,∀i = 1,n do đó Rn+1 ⊆ R0, suy ra (*) đúng. Hơn nữa R0 ∼= R/R+. Vậy R0 là Noether. (ii =⇒ i): Từ điều kiện ii) suy ra R có dạng R = R0[a1,...,an],ai ∈ R, 12 ∀i = 1,n. Khi đó tồn tại toàn cấu vành 13 14 Nếu X, Y là hai không gian tôpô, ta có các kí hiệu sau C(X,Y ) = {f : X → Y |f là hàm liên tục đơn trị }; là u.s.c với giá trị lồi, compact}; là u.s.c, xấp xỉ được, với giá trị compact }. Kí hiệu Γf,ΓT là đồ thị của hai ánh xạ f và T. Ta có bổ đề sau: Bổ đề 2.1.5. Cho tập con compact X của không gian vectơ tôpô E, tập con Y của không gian vectơ tôpô F và tập con đóng Γ của X ×Y . Khi đó, các khẳng định sau là tương đương: (1) Γf ∩ Γ 6= ∅, với mọi f ∈ C (X,Y ); (2) ΓT ∩ Γ 6= ∅, với mọi T ∈ Ac (X,Y ). Định nghĩa 2.1.6. Với mỗi tập con hữu hạn A của X, Bao lồi của A được gọi là một polytope của X, kí hiệu là ∆. Định nghĩa 2.1.7. Cho C là tập con khác rỗng của không gian vectơ tôpô E và F : C → 2E. Khi đó F được gọi là Φ - nén (Φ - condensing) nếu với bất kì A ⊆ C mà Φ(A) ≤ Φ(F(A)) thì A là compact, tức là Φ(A) = 0. Nhận xét. Mọi ánh xạ compact là Φ - nén. Mệnh đề 2.1.8. Cho X là tập con lồi của một không gian tuyến tính, Y, Z là hai không gian tôpô. Khi đó: i) T ∈ KKM(X,Y ) nếu và chỉ nếu T |∆ ∈ KKM (∆,Y ) với mọi polytope ∆ trong X; ii) Nếu T ∈ KKM(X,Y ) và f ∈ C(Y,Z) thì fT ∈ KKM(X,Z); 15 iii) Nếu Y là không gian chuẩn tắc, X là một không gian lồi, ∆ là một polytope trong X và T : X → 2Y là một ánh xạ đa trị sao cho, với mỗi f ∈ C(Y,∆), fT có điểm bất động trong ∆ thì T ∈ KKM(∆,Y ). Chứng minh. i) Nếu T ∈ KKM(X,Y ), ta phải chứng minh T |∆ ∈ KKM (∆,Y ) với mọi polytope ∆ trong X. Thật vậy, gọi F là một ánh xạ KKM tổng quát đối với T |∆. Khi đó,với mọi tập con A hữu hạn trong ∆ thì T(coA) ⊂ F(A). Do ∆ bất kì trong X nên ta suy ra F là ánh xạ KKM tổng quát đối với T, mà T ∈ KKM(X,Y ) nên có tính chất giao hữu hạn. Suy ra có tính chất giao hữu hạn. Vậy T |∆ ∈ KKM (∆,Y ) với mọi polytope ∆ trong X. Ngược lại, nếu T |∆ ∈ KKM (∆,Y ) với mọi polytope ∆ trong X thì ta phải chứng minh T ∈ KKM(X,Y ). Thật vậy, giả sử F là một ánh xạ KKM tổng quát đối với T. Ta sẽ chứng minh có tính chất giao hữu hạn. Lấy A là tập hữu hạn trong X. Xét ∆ = coA. Khi đó, ∆ là một polytope trong X. Vì F là ánh xạ KKM tổng quat đối với T nên hiển nhiên nó cũng là ánh xạ KKM tổng quát đối với T |∆. Do T |∆ ∈ KKM (∆,Y ) nên có tính chất giao hữu hạn. Bởi A là tập con hữu hạn của ∆ nên Vậy . có tính chất giao hữu hạn hay T ∈ KKM(X,Y ). ii) Cho S : X → 2Z là một ánh xạ KKM tổng quát đối với fT sao cho Sx đóng với mỗi x ∈ X. Vì S là ánh xạ KKM tổng quát đối với fT, nên với bất kì tập con hữu hạn {x1,x2,...,xn} của X, ta có: n S fT (co{x1,x2,...,xn}) ⊂ Sxi . i=1 Vậy, ta suy ra: . 16 Do đó, f−1S là ánh xạ KKM tổng quát đối với T. Với mỗi x ∈ X, Sx là tập đóng và f liên tục nên f−1Sx là tập đóng. Vì T ∈ KKM(X,Y ) nên họ có tính chất giao hữu hạn, suy ra họ {Sx : x ∈ X} cũng có tính chất giao hữu hạn. Vậy, fT ∈ KKM(X,Z). iii) Giả sử F : ∆ → 2Y là ánh xạ KKM tổng quát đối với T sao cho Fx là đóng với mỗi x ∈ ∆. Nếu họ {Fx : x ∈ ∆} không có tính chất giao hữu hạn thì tồn tại tập con hữu hạn {x1,x2,...,xn}∈h∆i sao cho: n Khi đó , với F cxi = Y \Fxi,i = 1,n. Do Y là chuẩn tắc nên tồn tại phân hoạch đơn vị tương ứng với . Ánh xạ f : Y → ∆ xác định bởi: . Vì X là không gian lồi và các αi liên tục nên f ∈ C(Y,∆). Bởi giả thiết fT có điểm bất động trong nên tồn tại x ∈ ∆ sao cho x ∈ fT(x). Do đó, tồn tại z ∈ T(x) để x = f (z) = P αi (z)xi. Đặt . Nếu i ∈ I (z) thì αi (z) > 0, vì vậy z ∈/ Fxi. Suy ra z¯ ∈/ S Fxi. i∈I(¯z) Do nên và , . Từ đây, ta có: T (co{xi : i ∈ I (¯z)}) ⊆6 S Fxi, i∈I(¯z) mâu thuẫn với giả thiết F là ánh xạ KKM tổng quát đối với T. Vậy, T ∈ KKM (∆,Y ). 17