1. Trang chủ
  2. » Luận Văn - Báo Cáo

Luận văn thạc sĩ khoa học toán học giả thuyết erdos szekeres và một số bài toán liên quan

105 388 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 105
Dung lượng 5,49 MB

Nội dung

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM NGUYỄN TIẾN THỊNH GIẢ THUYẾT ERDOS¨ SZEKERES - VÀ MỘT SỐ BÀI TOÁN LIÊN QUAN LUẬN VĂN THẠC SỸ KHOA HỌC TOÁN HỌC Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Thái Nguyên - 2015 ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM NGUYỄN TIẾN THỊNH GIẢ THUYẾT ERDOS¨ SZEKERES - VÀ MỘT SỐ BÀI TOÁN LIÊN QUAN LUẬN VĂN THẠC SỸ KHOA HỌC TOÁN HỌC Chuyên ngành : Toán giải tích Mã số: 60.46.01 Người hướng dẫn khoa học: PGS.TS. Tạ Duy Phượng Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Thái Nguyên - 2015 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Mục lục Chương 1. Giả thuyết Erdos-Szekeres¨ và một số bài toán mở rộng . . . . . . . . . . 4 1.1.Tổng quan về giả thuyết Erdos¨ – Szekeres . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.1.1. Lịch sử của bài toán Erdos-Szekeres¨. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.1.2. Bài toán Erdos-Szekeres¨ cho trường hợp các điểm ở vị trí bất kì . . . . . . . . . . . . ..... 9 1. 2.Lời giải Bài toán ES(n) cho trường hợp n=3,4,5 với tập điểm ở vị trí bất kỳ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.2.1. Lời giải Bài toán ES(n) cho trường hợp n=3 với tập điểm ở vị trí bất kỳ . . . . . . . . 14 1.2.2. Lời giải Bài toán ES(n) cho trường hợp n=4 với tập điểm ở vị trí bất kỳ . . . . . . . . 15 1.2.3. Lời giải Bài toán ES(n) cho trường hợp n=5 với tập điểm ở vị trí bất kỳ . . . . . . . . 17 Chương 2. Bài toán Erdos¨ về sự tồn tại đa giác lồi rỗng . . . . . . . . . . . . . . . . . . . 25 2. 1.Lịch sử Bài toán Erdos¨ về đa giác lồi rỗng. . . . . . . . . . . . . . . . . . . . . . . . . . 25 2.1.1. Đa giác lồi rỗng . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 2.1.2. Đa giác lồi rỗng suy rộng . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 2. 2.Lời giải bài toán H(n) cho trường hợp n=3,4,5 với tập điểm ở vị trí bất kỳ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 ...... 2.2.1. Chứng minh công thức H(n) cho trường hợp n=3 với tập điểm ở vị trí bất kỳ . . . 2.2.2. Chứng minh công thức H(n) cho trường hợp n=4 với tập điểm ở vị trí bất kỳ . . . 2.2.3. Chứng minh công thức H(n) cho trường hợp n=5 với tập điểm ở vị trí bất kỳ . . . 32 32 35 Chương 3. Chứng minh giả thuyết Erdos-Szekeres¨ với trường hợp n=6 trong một số trường hợp riêng. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 3. 1.Giả thuyết Erdos-Szekeres¨ 55 với trường hợp n=6. . . . . . . . . . . . . . . . . . . . 3.2.Chứng minh giả thuyết Erdos-Szekeres¨ với trường hợp n=6 trong một số trường hợp riêng. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 Kết luận. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 Tài liệu tham khảo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 MỞ ĐẦU Giả thuyết Erdos-Szekeres¨ được đề cập đến từ rất sớm (vào năm 1935) , xuất phát từ bài toán của Esther Klein với phát biểu rất ngắn gọn: • Giả thuyết Erdos-Szekeres¨ : Mọi tập hợp trên mặt phẳng gồm không ít hơn 2n−2+1 điểm ở vị trí tổng quát (không có ba điểm nào thẳng hàng) đều chứa n điểm là đỉnh của đa giác lồi. • Bất chấp sự đơn giản trong phát biểu, sau ba phần tư thế kỉ, giả thuyết Erdos-Szekeres¨ mới được chứng minh cho các trường hợp n = 3, 4 , 5. Gần đây (năm 2006) trường hợp n = 6 mới được chứng minh nhờ máy tính. Sau 75 năm, rất nhiều kết quả mới đã làm phong phú thêm giả thuyết Erdos-Szekeres.¨ • Luận văn Giả thuyết Erdos-Szekeres¨ và một số bài toán liên quan có mục đích trình bày chứng minh một số kết quả đã biết trong bài toán (giả thuyết) Erdos-Szekeres¨ cho hai bài toán mở rộng. Bài toán thứ nhất là mở rộng của bài toán Erdos-Szekeres¨ khi bỏ điều kiện các điểm ở vị trí tổng quát (không có ba điểm nào thẳng hàng), tức là các điểm ở vị trí bất kì. Bài toán thứ hai là bài toán Erdos¨ về sự tồn tại đa giác lồi rỗng trong tập hợp các điểm bất kì trên mặt phẳng. • Luận văn gồm ba Chương. • Chương 1: Trình bày tổng quan về giả thuyết Erdos-Szekeres.¨ Các kiến thức sử dụng trong luận văn. Chứng minh công thức ES(n) = 2n−2+1 với n = 3,4,5 với tập điểm ở vị trí bất kỳ trong mặt phẳng. • Chương 2: Chứng minh công thức tính H(n) với n = 3,4,5 với tập điểm ở vị trí bất kỳ trong mặt phẳng. • Chương 3: Trình bày lại một cách tóm lược công trình của Knut Dehnhardt, Heiko Harboth và Zsolt Lángi [9] đã chứng minh cho giả thuyết Erdos-Szekeres¨ với trường hợp n = 6 trong một số trường hợp riêng mà không sử dụng máy tính. Luận văn được hoàn thành dưới sự hướng dẫn của PGS TS Tạ Duy Phượng. Tác giả xin bày tỏ lòng kính trọng và biết ơn thầy hướng dẫn đã tận tình giúp đỡ tác giả trong suốt quá trình tập dượt nghiên cứu và viết luận văn. Tác giả xin trân trọng cảm ơn các thầy cô giáo trường Đại học sư phạm thuộc Đại học Thái Nguyên và các thầy cô giáo Viện Toán học Việt Nam đã tận tâm giảng dạy và giúp đỡ tác giả hoàn thành khóa học. Đồng thời tác giả xin chân thành cảm ơn Trường Cao đẳng Công nghiệp Nam Định, nơi tác giả đang công tác, các đồng nghiệp, gia đình và bạn bè đã động viên, giúp đỡ và tạo điều kiện về mọi mặt trong quá trình tác giả học tập. Thái Nguyên, tháng 03 năm 2015 Chương 1 Giả thuyết Erdos-Szekeres¨ toán mở rộng và một số bài Trong chương này chúng tôi phát biểu giả thuyết Erdos-Szekeres¨ cho trường hợp các điểm ở vị trí tổng quát và một mở rộng của bài toán Erdos-¨ Szekeres cho trường hợp các điểm ở vị trí bất kì, đồng thời cũng trình bày chứng minh công thức Erdos-Szekeres¨ trong trường hợp n = 3,4,5 với tập hợp điểm trên mặt phẳng ở vị trí bất kỳ. 1.1. Tổng quan về giả thuyết Erdos¨ – Szekeres 1.1.1. Lịch sử của bài toán Erdos-Szekeres¨ Năm 1933, Esther Klein đã phát biểu và chứng minh bài toán sau đây. Bài toán 1.1: Với năm điểm cho trước trong mặt phẳng ở vị trí tổng quát (không có ba điểm nào thẳng hàng), bao giờ ta cũng tìm được bốn điểm là đỉnh của một tứ giác lồi. Dưới đây là chứng minh của Klein. Xét đa giác lồi lớn nhất chứa tất cả năm điểm ở vị trí tổng quát. Chỉ có ba khả năng khác nhau sau đây xảy ra: Hình 1.1: Tập năm điểm ở vị trí tổng quát luôn tồn tại 4 điểm là đỉnh của một tứ giác lồi. Trường hợp thứ nhất (xem hình1.1-loại 1): Bao lồi của năm điểm là một ngũ giác. Khi ấy mọi bộ bốn điểm từ năm điểm ấy đều tạo thành tứ giác lồi (điểm còn lại nằm ngoài tứ giác lồi đó). Vậy ta có tứ giác lồi không chứa điểm nào bên trong. Erdos¨ gọi các tứ giác này là tứ giác lồi rỗng. Trường hợp thứ hai (xem hình 1.1-loại 2): Bao lồi là tứ giác ABCD chứa một điểm E ở bên trong (tứ giác lồi ABCD chứa duy nhất một điểm E ở bên trong được gọi là tứ giác lồi gần rỗng). Kẻ đường chéo AC của tứ giác thì do ba điểm bất kì trong năm điểm đã cho không thẳng hàng nên điểm E phải thuộc tam giác ABC hoặc tam giác ACD. Trong hình 1.1- loại 2 thì điểm E nằm ở bên trong tam giác ABC (bên ngoài tam giác ACD). Khi ấy AECD là tứ giác lồi rỗng. Như vậy, trong trường hợp này ta có một tứ giác lồi rỗng AECD và một tứ giác lồi gần rỗng ABCD. Trường hợp cuối cùng (xem hình 1.1-loại 3): Bao lồi là tam giác ABC, hai điểm D và E còn lại nằm bên trong tam giác. Do không có ba điểm nào thẳng hàng nên đường thẳng đi qua hai điểm D và E sẽ chia mặt phẳng chứa tam giác thành hai phần sao cho một nửa mặt phẳng phải chứa hai đỉnh của tam giác. Hai đỉnh này cùng với hai điểm thuộc phần trong tam giác tạo thành một tứ giác lồi rỗng. Từ quan sát trên, E. Klein đã đề nghị một bài toán tổng quát sau đây. Bài toán 1.2 : Với mỗi số tự nhiên n ≥ 3, hãy xác định số nguyên dương N(n) nhỏ nhất sao cho mọi tập có tối thiểu N(n) điểm trên mặt phẳng ở vị trí tổng quát chứa n điểm tạo thành một đa giác lồi n đỉnh. Bài toán 1.2 được phát biểu trong [15] và sau này được gọi là Bài toán Erdos-Szekeres.¨ Trong [15], Bài toán 1.2 đã được tách ra thành hai bài toán: Bài toán 1.2a : Tồn tại hay không tồn tại số N(n). Bài toán 1.2b : Nếu số N(n) tồn tại thì hãy xác định N(n) như một hàm của n, tức là tìm số điểm N(n) nhỏ nhất mà từ đó có thể chọn ra được n điểm tạo thành đa giác lồi n đỉnh. Trong [15], đã trình bày chứng minh sự tồn tại số N(n) bằng hai cách hoàn toàn khác nhau: • Cách thứ nhất: Do Szekeres chứng minh không lâu sau khi E. Klein phát biểu bài toán, dựa trên định lí Ramsey (Szekeres và các thành viên khác trong nhóm sinh viên Budapest lúc đó không ai biết định lí Ramsey, nhưng để giải bài toán của Klein đưa ra, Szekeres đã phát hiện lại và sử dụng định lí này), từ đó ta có bất đẳng thức N(n) ≤ R4(n,5), trong đó R4(n,5) là số Ramsey. Tuy nhiên, đánh giá này là quá lớn so với thực tế. Thí dụ, với n = 5 thì N(5) ≤ 210000, quá xa so với thực tế N(5) = 9 . • Cách thứ hai: Do Erdos¨ chứng minh nhờ kết hợp hình học với lí thuyết tổ hợp và kết quả ta được một đánh giá tốt hơn N vào năm 1935 (xem chi tiết hơn trong [15]). Sau 63 năm Chung và Graham (xem [8]) đã chứng minh được N . Ngay sau đó Kleitman và Pachter (xem [10]) đã chứng minh được N Cũng trong năm đó (1998) Tóth và Valtr (xem [19]) đã chứng minh được N . Sau đó 7 năm (2005) Tóth và Valtr (xem [20]) đã chứng minh được N . Như vậy đánh giá tốt nhất hiện nay là của Tóth và Valtr, tuy nhiên với n = 6 thì C74+1 = 36 còn cách khá xa so với chứng minh của Szekeres và Peters năm 2006 là N(6) = 17, xem [18]. Theo [11], năm (1960-1961) P. Erdos¨ and G. Szekeres đã xây dựng được trường hợp tổng quát cho tập hợp chứa 2n−2 điểm ở vị trí tổng quát ( không có ba điểm bất kỳ nào thẳng hàng) không chứa n-giác lồi. Do đó cận dưới của N(n) là không thể giảm được. Như vậy ta có: Vậy với n = 5, ta xét bài toán sau: Bài toán 1.3 : Với chín điểm cho trước ở vị trí tổng quát trong mặt phẳng (tức là không có ba điểm nào thẳng hàng) bao giờ ta cũng tìm được năm điểm tạo thành một ngũ giác lồi. Bài toán này lần đầu tiên được Đoàn Hữu Dũng giải và đăng trên tạp chí Toán học và Tuổi trẻ năm 1967, xem[1]. Trên các tài liệu nước ngoài, công thức N(5) = 9 lần đầu tiên được Kalbfleisch, Kalbfleisch và Stanton chứng minh năm 1970. Tuy nhiên, cách chứng minh trên là khá cồng kềnh, do đó công thức N(5) = 9 đã được Bonnice [7] năm 1974 và Lovász năm 1979 chứng minh theo cách đơn giản hơn. Cách chứng minh của Bonnice về cơ bản trùng với cách chứng minh của Đoàn Hữu Dũng. Như vậy, với n = 5 công thức N(5) = 9 đã được chứng minh ngắn gọn bởi Đoàn Hữu Dũng vào năm 1967 [1] và Bonnice vào năm 1974 [7]. Dựa trên các đẳng thức N(3) = 3 và N(4) = 5 Erdos¨ và Szekeres đưa ra giả thuyết sau đây: Giả thuyết Erdos-Szekeres¨ (1935): Mọi tập hợp trên mặt phẳng gồm không ít hơn 2n−2+1 điểm ở vị trí tổng quát (không có ba điểm nào thẳng hàng) đều chứa n điểm là đỉnh của n giác lồi. Bất chấp sự đơn giản trong phát biểu, sau ba phần tư thế kỉ, giả thuyết Erdos¨ - Szekeres chỉ mới được chứng minh cho các trường hợp n = 3,4,5. Trường hợp n = 6 mới được Szekeres và Peters chứng minh năm 2006 nhờ máy tính (xem [18]) và Knut Dehnhardt, Heiko Harborth, and Zsolt Lángi, V.A.Koshelev chứng minh cho một số trường hợp riêng (không dùng máy tính) năm 2009. Giả thuyết Erdos¨ - Szekeres có liên quan chặt chẽ với các lĩnh vực khác của toán-tin học (lí thuyết Ramsey, lí thuyết đồ thị, hình học tổ hợp,...). Giả thuyết Erdos¨ - Szekeres cũng được gọi là Bài toán Erdos¨ - Szekeres. 1.1.2. Bài toán Erdos-Szekeres¨ cho trường hợp các điểm ở vị trí bất kì Trong giả thuyết Erdos-Szekeres,¨ cũng như trong nhiều bài toán khác của hình học tổ hợp, thường có một điều kiện duy nhất đặt lên tập hữu hạn các điểm. Đó là điều kiện các điểm ở vị trí tổng quát (in general position), tức là không có ba điểm nào thẳng hàng. Điều kiện này không phù hợp với thực tế và dễ bị vi phạm, nhất là khi các tập có số điểm lớn (thí dụ, số các điểm là chân các con chip gắn trên một bảng điện tử của các máy móc hiện đại, hoặc số các ngôi sao trên bản đồ thiên văn,...). Các tập có số điểm lớn và giả thiết sự tồn tại các điểm thẳng hàng nhiều khi là cần thiết và có lợi. Vì vậy, trong những năm gần đây, một số tác giả (xem [6]) đã xét bài toán Erdos-Szekeres¨ cho trường hợp các điểm ở vị trí bất kì. Hiển nhiên, khi bỏ điều kiện các điểm ở vị trí tổng quát (giả thiết các điểm có thể thẳng hàng), thì không thể có đa giác lồi theo nghĩa thông thường (thí dụ, ba điểm thẳng hàng không thể tạo thành tam giác theo nghĩa thông thường). Vì vậy, việc đầu tiên là phải mở rộng khái niệm đa giác lồi. Định nghĩa 1.1.1 (Đa giác lồi suy rộng). Cho một tập Ω gồm hữu hạn điểm trên mặt phẳng (ở vị trí bất kì). Ta ký hiệu convΩ là bao lồi của tập Ω. Ta nói Ω là đa giác lồi suy rộng nếu mọi điểm của Ω đều nằm trên biên của tập convΩ. Chú ý: Nếu có bốn điểm thẳng hàng thì ta chỉ coi ba điểm liên tiếp là tam giác suy rộng, còn bốn điểm liên tiếp là tứ giác suy rộng. Định nghĩa 1.1.2 (Điểm góc, điểm cạnh). Điểm v ∈ convΩ được gọi là điểm góc của tập convΩ nếu conv(Ω\{v}) 6= convΩ. Ngược lại thì v được gọi là điểm cạnh của Ω. Nếu convΩ là đa giác lồi suy rộng thì ta cũng vẫn gọi các điểm của Ω là đỉnh (suy rộng) của đa giác lồi suy rộng convΩ. Số đỉnh của đa giác lồi suy rộng bằng số phần tử của Ω, mặc dù số đỉnh thật sự (số điểm góc) có thể ít hơn. Đỉnh của đa giác lồi suy rộng bắt buộc phải nằm trên cạnh, (trên biên) của tập convΩ, nhưng không nhất thiết phải là điểm góc của convΩ. Ta gọi các điểm góc của convΩ là đỉnh-góc, còn các đỉnh không phải là các điểm góc của convΩ là đỉnh-cạnh. Khi tất cả các đỉnh của đa giác là đỉnh-góc thì ta nói đa giác đó là đa giác chính qui. Đa giác chính qui là đa giác theo nghĩa thông thường. Bài toán ES(n): Với số n cho trước, tồn tại hay không số ES(n) sao cho mọi tập có tối thiểu ES(n) điểm trên mặt phẳng ở vị trí bất kì đều chứa n điểm là đỉnh của một n - giác lồi suy rộng? 1.2. Lời giải Bài toán ES(n) cho trường hợp n= 3,4,5 với tập điểm ở vị trí bất kỳ Dưới đây chúng tôi trình bày lời giải Bài toán ES(n) cho các trường hợp n = 3,4,5. Để thuận tiện, ta qui ước kí hiệu ∂Ω là tập Ω\int{convΩ}. Định nghĩa 1.2.1 (Cấu hình). Cho Ω là một tập hợp n điểm trên mặt phẳng ở vị trí bất kỳ (với n ≥ 3,) ta ký hiệu |Ω| là lực lượng của tập Ω. Ta gọi tập: Ω1 = Ω\∂Ω. Ω2 = Ω\{∂Ω∪∂Ω1}. ... Ωk = Ω\{∂Ω∪∂Ω1∪..∪∂Ωk−1,k ≥ 1}. Khi đó nếu |∂Ω| = i0;|∂Ω1| = i1;...;|∂Ωk| = ik thì ta nói là tập Ω có cấu hình (i0,i1,...,ik). Định nghĩa 1.2.2 (Cấu hình con). Cho Ω là một tập hợp n điểm trên mặt phẳng ở vị trí bất kỳ với n≥3. Ta nói cấu hình (v0,v1,...,vk) chứa cấu hình con (s0,s1,...,sk) nếu với mọi i = 0,...,k thì ta luôn có: vi ≥ si, ∀ k ≥ 0. Định nghĩa 1.2.3 (Cấu hình con chuẩn tắc). Cho Ω là một tập hợp n điểm trên mặt phẳng ở vị trí bất kỳ với n ≥ 3 và P là tập con của Ω. Giả sử tập P có cấu hình (p0,p1,...,pk). Ta nói cấu hình (v0,v1,...,vk) của Ω chứa cấu hình con chuẩn tắc (p0,p1,...,pk) nếu : (i), (p0,p1,...,pk) là cấu hình con của (v0,v1,...,vk). (ii), ∀j = 0,...,k−1, ta giả sử tập ∂Ωj có các đỉnh là V1,V2,...,Vq với q ≥ 3. Khi đó nếu ta bỏ đi m đỉnh bất kỳ của tập ∂Ωj (q−m ≥ 3), ta giả sử các đỉnh còn lại là V1,V2,...,Vq−m thì . Trong đó quy ta quy ước ∂Ω0 = ∂Ω. Hiển nhiên một cấu hình con chuẩn tắc là cấu hình con, điều ngược lại nói chung không đúng. Ta xét thí dụ sau( xem hình 1.2): Hình 1.2: Cấu hình (5,3,1) chứa mọi cấu hình con chuẩn tắc (4 , 3,1). Mệnh đề 1. Cho Ω là tập hợp các điểm trên mặt phẳng ở vị trí bất kỳ, |Ω|≥ 8. Nếu Ω chứa cấu hình con chuẩn tắc (4,3,1), thì luôn có năm điểm thuộc Ω là đỉnh của ngũ giác lồi suy rộng. Chứng minh. Ta có |∂Ω|≥ 4. Gọi V1,V2,...,Vk là các đỉnh của ∂Ω với k ≥ 4. Ta gọi B,C,D là các đỉnh của ∂Ω1 và gọi A là điểm thuộc int{convΩ1}, xem hình1.3. Các tia AB, AC,AD chia mặt phẳng thành 3 miền: Hình 1.3: Cấu hình (4,3,1) luôn chứa ngũ giác lồi suy rộng Miền (I) được giới hạn bởi các tia AB và AC. Miền (II) được giới hạn bởi các tia AC và AD. Miền (III) được giới hạn bởi các tia AD và AB. Như thế bao giờ cũng tồn tại một miền có chứa không ít hơn hai đỉnh của ∂Ω, ta giả sử là miền (I) với hai đỉnh là V1 và V1. Khi đó hai đỉnh V1 , V2 cùng với C,A,B tạo thành ngũ giác lồi suy rộng, xem hình 1.4. Mệnh đề 2. Cho Ω là tập hợp điểm trên mặt phẳng ở vị trí bất kỳ, |Ω|≥ 8. Nếu Ω chứa cấu hình con chuẩn tắc (3,3,2) thì luôn có năm điểm thuộc Ω là đỉnh của ngũ giác lồi suy rộng. Chứng minh. Ta có |∂Ω|≥ 3, gọi V1,V2,...,Vk là các đỉnh của ∂Ω với k ≥ 3. Ta gọi D,E,F là các đỉnh của ∂Ω1, gọi A và B là điểm thuộc                                ˚ ˚    −∗  ˚  ∈ → ⊂−∗ ˚    ∈ ˚     ∈−∗∗   ≥−≤− ∈⊂          −∗  ˚  →∗ ∈∗˚   ∗˚     ∈  −−−≤−−    ∈∗−∗  ∼    ˚   ˚  ˚∗ ∗ ˚  ∈ −−≥∀∈  ≡→∗ ∗ ˚   ∅⊂  ˚ ˚ ˚ ∈∗−≤→   ∗ ≡→   −≤∀∈→    ˚ ˚˚   →∗˚    ˚     ∈∗˚ ˚   ∈∗˚ ∗  ∗  − −−−  −≤− −≥−     ≥   −− −−−− ≥− ˚ ˚   ∗˚ ∈−− −∗−−∗−  ≤−−  ˚    ˚   ˚   ˚→   −−≥∀∈ ˚ −∀∈∈ → −−≥∀∈ ∈   ≤−≤−∗−∀∈ ˚− −→ −∗−≥∀∈ −∗−∗≥−∗−∗−∗ −∗≤−∗∀∈        →∗     ˚       ≡    →   ∃≥∀∈≥ ∀∈˚  ˚  ≥≤⇒−     Hình 1.4: Cấu hình (4,3,1) luôn chứa ngũ giác lồi suy rộng int{convΩ1}, xem hình1.5. Các tia AD, AE,BD, BF và đoạn AB chia mặt phẳng thành 3 miền: Hình 1.5: Cấu hình (3,3,2) luôn chứa ngũ giác lồi suy rộng Miền (I) được giới hạn bởi các tia BD và BF. Miền (II) được giới hạn bởi các tia AD và AE. Miền (III) được giới hạn bởi tia AE đoạn AB và tia BF. (i), Nếu miền (III) chứa ít nhất một đỉnh của ∂Ω thì đỉnh này kết hợp với A,B,F,E lập thành ngũ giác lồi suy rộng. Xem hình 1.6. (ii), Ngược lại, một trong hai miền (I) hoặc miền (II) phải chứa không ít hơn hai đỉnh của ∂Ω ( ta giả sử là miền (I)). Do đó hai đỉnh này kết Hình 1.6: Cấu hình (3,3,2) với một đỉnh của ∂Ω thuộc miền ( III ) hợp với B,D,F lập thành ngũ giác lồi suy rộng. Xem hình 1.7. Hình 1.7: Cấu hình (3,3,2) với đúng hai đỉnh của ∂Ω thuộc miền ( I ) 1.2.1. Lời giải Bài toán ES(n) cho trường hợp n=3 với tập điểm ở vị trí bất kỳ Công thức ES(3) = 3: Mọi tập có tối thiểu ba điểm cho trước trên mặt phẳng ở vị trí bất kì (các điểm có thể thẳng hàng) bao giờ ta cũng tìm được ba điểm là đỉnh của một tam giác suy rộng. Chứng minh. Khi có ba điểm (n = 3) thì chỉ có thể xảy ra một trong hai khả năng: • Khả năng thứ nhất: Ba điểm không thẳng hàng. Khi ấy ba điểm tạo thành tam giác chính qui (xem hình 1.8-loại 1) . • Khả năng thứ hai: Ba điểm thẳng hàng. Khi ấy convΩ là một đoạn thẳng nên phần trong của nó bằng rỗng và ba điểm đều nằm trên biên của tập convΩ . Do đó chúng tạo thành một tam giác suy rộng ( xem hình 1.8-loại 2). Hình 1.8: Tập ba điểm luôn có tam giác lồi rỗng suy rộng Vậy ES(3) = 3. 1.2.2. Lời giải Bài toán ES(n) cho trường hợp n=4 với tập điểm ở vị trí bất kỳ Công thức ES(4) = 5: Mọi tập có tối thiểu năm điểm cho trước trên mặt phẳng ở vị trí bất kì (các điểm có thể thẳng hàng) bao giờ ta cũng tìm được bốn điểm là đỉnh của một tứ giác lồi suy rộng. Chứng minh. Ta có tập Ω có năm điểm (năm phần tử , |Ω| = 5 ) thì chỉ có thể xảy ra một trong hai khả năng: • Khả năng thứ nhất: |∂Ω|≥ 4, ta gọi các đỉnh của ∂Ω là V1,V2,..,Vk với k ≥ 4 . Khi đó bốn đỉnh liên tiếp của ∂Ω lập thành một tứ giác lồi suy rộng (xem hình 1.9 và 1.10 ) . Hình 1.9: Tập năm điểm có cấu hình (5) hoặc (4 , 1) Hình 1.10: Tập năm điểm có cấu hình (5) hoặc (4 , 1) • Khả năng thứ hai: |∂Ω| = 3, ta gọi các đỉnh của ∂Ω là V1,V2,V3, các điểm thuộc int{convΩ} là A và B . Khi đó tia AB chia mặt phẳng thành hai miền. Do đó phải có một miền chứa đúng hai đỉnh của ∂Ω ( kể cả đỉnh thuộc tia AB), hai đỉnh này kết hợp với AB lập thành tứ giác lồi rỗng suy rộng ( xem hình 1.11). Hình 1.11: Tập năm điểm có cấu hình (3 , 2) Mặt khác: Ta có thể chỉ ra bốn điểm không tạo thành tứ giác lồi ( tạo thành tứ giác lõm, xem hình 1.12). Vậy ES(4) = 5. Hình 1.12: Tập bốn điểm không có tứ giác lồi suy rộng 1.2.3. Lời giải Bài toán ES(n) cho trường hợp n=5 với tập điểm ở vị trí bất kỳ Công thức ES(5) = 9: Mọi tập có tối thiểu chín điểm cho trước trên mặt phẳng ở vị trí bất kì (các điểm có thể thẳng hàng) bao giờ ta cũng tìm được năm điểm là đỉnh của một ngũ giác lồi suy rộng. Ta sử dụng phương pháp xét bao lồi của tập Ω theo chiều giảm dần về số đỉnh của ∂Ω. Chứng minh. Ta có tập Ω có chín điểm (chín phần tử , |Ω| = 9 ) thì chỉ có thể xảy ra một trong ba khả năng: Khả năng thứ 1. |∂Ω|≥ 5, ta gọi các đỉnh của ∂Ω là V1,V2,..,Vk với k ≥ 5 . Khi đó năm đỉnh liên tiếp của ∂Ω lập thành một ngũ giác lồi suy rộng (ta không quan tâm đến các điểm thuộc int{convΩ}) xem hình 1.13. Hình 1.13: Tập có chín điểm chứa ngũ giác lồi suy rộng Khả năng thứ 2. |∂Ω| = 4, ta gọi các đỉnh của ∂Ω là V1,V2,..,V4. Khi đó ta cần xét các cấu hình sau:(4,5); (4,4,1); (4,3,2) : 1. Cấu hình (4,5): Ta có |∂Ω| = 4 và |∂Ω1| = 5. Gọi A,B,C,D,E là các đỉnh thuộc ∂Ω1. Khi ấy các điểm A,B,C,D,E là đỉnh của ngũ giác lồi suy rộng cần tìm. Xem hình 1.14 và 1.15. Hình 1.14: Tập có cấu hình (4 , 5) Hình 1.15: Tập có cấu hình (4 , 5) 2. Cấu hình (4,4,1): Ta có |∂Ω| = 4 và |∂Ω1| = 4. Gọi B,C,D,E là các đỉnh thuộc ∂Ω1 và A là đỉnh thuộc int{convΩ1}. Ta chia tứ giác B,C,D,E thành hai tam giác bởi một đường chéo (giả sử là BD, tương ứng AC.) (i), Điểm A thuộc trong phần trong của tam giác BCD hoặc tam giác BDE. Khi đó ta có cấu hình(4,4,1) chứa cấu hình con chuẩn tắc (4,3,1). Vậy theo mệnh đề 1 Ω chứa các điểm là đỉnh của ngũ giác lồi suy rộng. Xem hình 1.16 Hình 1.16: Tập có cấu hình (4,4,1) chứa năm điểm là đỉnh của ngũ giác lồi suy rộng (ii), Điểm A nằm trên đường chéo của tứ giác BCDE (thẳng hàng với hai đỉnh của ∂Ω1 - ta giả sử là B và D). Khi đó đường thẳng chứa B,A,D chia mặt phẳng thành hai miền và sẽ có một miền chứa ít nhất hai đỉnh của ∂Ω. Hai đỉnh này kết hợp với B,A,D lập thành ngũ giác lồi suy rộng. Xem hình 1.17. Hình 1.17: Tập có cấu hình (4,4,1) có chứa ngũ giác lồi suy rộng 3. Cấu hình (4,3,2): Ta có |∂Ω| = 4 và |∂Ω1| = 3. Gọi C,D,E là các đỉnh thuộc ∂Ω1, A và B là các đỉnh thuộc int{convΩ1}. Như vậy cấu hình (4,3,2) chứa cấu hình con chuẩn tắc (4,3,1) bằng cách bớt đi một điểm thuộc int{convΩ1}. Theo mệnh đề 1 cấu hình này cho ta ngũ giác lồi suy rộng. Xem hình 1.18. Hình 1.18: Tập có cấu hình (4 ,3, 2) Khả năng thứ 3. Khả năng thứ ba: |∂Ω| = 3. Gọi các đỉnh của ∂Ω là V1,V2,V3. Khi đó ta cần xét các cấu hình sau: (3,6); (3,5,1); (3,4,2) và (3,3,3) : 1. Cấu hình (3,6) và (3,5,1): Ta có |∂Ω1|≥ 5, do đó năm đỉnh liên tiếp trên ∂Ω1 lập thành ngũ giác lồi suy rộng. Xem hình 1.19 và 1.20. Hình 1.19: Tập có cấu hình (3,6) và (3 ,5, 1) Hình 1.20: Tập có cấu hình (3,6) và (3 ,5, 1) 2. Cấu hình (3,4,2): Ta có |∂Ω| = 3. Gọi các đỉnh của ∂Ω là V1,V2,V3, |∂Ω1| = 4 gọi các đỉnh của ∂Ω1 là C,D,E,F, A và B là các điểm thuộc int{convΩ1}. Khi đó ta chia mặt phẳng thành bốn miền, xem hình 1.21. Miền (I) được giới hạn bởi các tia BC và BF. Miền (II) được giới hạn bởi tia BC đoạn AB và tia AD. Miền (III) được giới hạn bởi các tia AD và AE. Miền (IV) được giới hạn bởi tia AE đoạn AB và tia BF. Hình 1.21: Tập có cấu hình (3,4,2) chia mặt phẳng thành bốn miền • (i), Nếu miền (II) hoặc miền (IV) có chứa một đỉnh của ∂Ω ( giả sử là miền (II)). Khi đó đỉnh này kết hợp với A,B,C,D để lập thành ngũ giác lồi suy rộng. Xem hình 1.22 Hình 1.22: Tập có cấu hình (3,4,2) mà miền (II) có chứa một đỉnh của ∂Ω • (ii), Ngược lại thì miền (I) hoặc (III) phải chứa đúng hai đỉnh của ∂Ω (giả sử là miền (III)). Khi đó hai đỉnh này kết hợp với A,D,E để lập thành ngũ giác lồi suy rộng. Xem hình 1.23 Hình 1.23: Tập có cấu hình (3,4,2) mà miền (III) có chứa đúng hai đỉnh của ∂Ω 3. Cấu hình (3,3,3) Ta có |∂Ω| = 3. Gọi các đỉnh của ∂Ω là V1,V2,V3, |∂Ω1|=3, gọi các đỉnh của ∂Ω1 là D,E,F, các điểm thuộc int{convΩ1} là A, B và C. Khi đó ta có cấu hình (3,3,3) chứa cấu hình con chuẩn tăc (3,3,2) bằng cách bỏ đi một trong ba điểm thuộc int{convΩ1}, theo mệnh đề 2 cấu hình này cho ta ngũ giác lồi suy rộng. Mặt khác: Ta có thể chỉ ra tập tám điểm không tạo thành ngũ giác lồi, xem hình 1.24. Vậy ES(5) = 9 hay mọi tập có tối thiểu chín điểm ở vị trí bất kì trong mặt phẳng luôn có năm điểm là đỉnh của ngũ giác lồi suy rộng. Hình 1.24: Tập tám điểm không có ngũ giác lồi Như vậy ta đã chứng minh được các công thức ES(3) = 3, ES(4) = 5, ES(5) = 9. Vậy ta đã chứng minh được giả thuyết Erdos-Szekeres¨ cho các trường hợp n = 3,4,5 với tập điểm ở vị trí bất kỳ. Khi tập hợp điểm ở vị trí tổng quát trong mặt phẳng (không có ba điểm bất kỳ nào thẳng hàng) sẽ là một trường hợp riêng của bài toán ta đã xét. Chương 2 Bài toán Erdos¨ về sự tồn tại đa giác lồi rỗng Chương này chúng tôi trình bày Bài toán Erdos¨ về sự tồn tại đa giác lồi rỗng. Đặc biệt là chứng minh bài toán H(5) =10 với tập hợp điểm trên mặt phẳng ở vị trí bất kỳ. 2.1. Lịch sử Bài toán Erdos¨ về đa giác lồi rỗng Năm 1978 Erdos¨ đã đặt một bài toán mới liên quan tới giả thuyết Erdos-Szekeres,¨ đó là Bài toán về đa giác lồi rỗng (xem [15]). Trước hết chúng ta định nghĩa đa giác lồi rỗng. 2.1.1. Đa giác lồi rỗng Định nghĩa 2.1.1 (Đa giác lồi rỗng). Cho S là tập hợp các điểm ở vị trí tổng quát trong mặt phẳng (không có ba điểm nào thẳng hàng) với |S| = k,k ≥ 3. Đa giác P căng bởi các điểm của Q trong S với số phần tử của |Q| = n,n ≤ k được gọi là đa giác lồi rỗng n đỉnh ( n-lỗ) trong S nếu nó không chứa các điểm khác của S thuộc phần trong của nó. Ở đây|S| và |Q| là kí hiệu số phần tử của tập S và Q. Kí hiệu H(n) là số nguyên dương nhỏ nhất sao cho mọi tập S các điểm ở vị trí tổng quát với |S|≥ H(n) chứa đa giác rỗng n đỉnh. Bài toán Erdos¨ về đa giác lồi rỗng (1978) Cho n là một số tự nhiên bất kì, n ≥ 3. Hãy xác định số nguyên dương nhỏ nhất H(n), nếu nó tồn tại, sao cho mọi tập S có tối thiểu H(n) điểm ở vị trí tổng quát trên mặt phẳng, chứa n điểm là đỉnh của một đa giác lồi rỗng. Dễ dàng thấy rằng H(3) = 3; H(4) = 5 (xem hình 1.1.) Sử dụng cách tiếp cận hình học trực tiếp, Harborth (1978) đã chứng minh rằng H(5) = 10, tức là từ mười điểm ở vị trí tổng quát có thể chọn ra được năm điểm tạo thành ngũ giác lồi rỗng. Từ hình 2.1 cho thấy, tập chín điểm ở vị trí tổng quát không chứa năm điểm nào tạo thành ngũ giác lồi rỗng (tồn tại hai ngũ giác lồi, nhưng cả hai đều không rỗng). Hình 2.1: Tập 9 điểm ở vị trí tổng quát không tồn tại ngũ giác lồi rỗng có cấu hình (3 , 5,1). Tuy nhiên, với n ≥ 7 bất kì, Horton (1983) [12] đã xây dựng ví dụ tập với n điểm ở vị trí tổng quát không chứa 7- giác lồi rỗng nào. Do đó, H(n) = ∞ với mọi số tự nhiên n ≥ 7. Như vậy, bài toán về đa giác lồi rỗng của Erdos¨ đã có câu trả lời cho n ≤ 5 và n ≥ 7. Có rất nhiều cố gắng để chứng minh hay bác bỏ sự tồn tại của H(6). Năm 2003, bằng máy tính, Overmars [17] đã tìm ra 29 điểm ở vị trí tổng quát không chứa lục giác lồi rỗng. Như vậy, nếu H(6) tồn tại thì H(6) ≥ 30. Năm 2007 Koselev [13] đã đưa ra định lý sau đây: Định lý 2.1.2 (Koselev). Mọi tập với tối thiểu 463 điểm ở vị trí tổng quát trên mặt phẳng đều chứa sáu điểm tạo thành lục giác lồi rỗng. Vậy đánh giá tốt nhất hiện nay là 30 ≤ H(6) ≤ 463. Trong chương này chúng tôi phát biểu bài toán Erdos¨ mở rộng về sự tồn tại của đa giác lồi rỗng suy rộng, nghĩa là các điểm có thể ở vị trí bất kỳ. Do đó trước tiên ta cần mở rộng định nghĩa về đa giác lồi rỗng. 2.1.2. Đa giác lồi rỗng suy rộng Định nghĩa 2.1.3 (Đa giác lồi rỗng suy rộng ). Cho S là tập hợp các điểm ở vị trí bất kì trong mặt phẳng với |S| = k,k ≥ 3, và P là đa giác rỗng n đỉnh ( n-lỗ, với k ≥ n ≥ 3) trong convS. Nếu mọi điểm của P đều nằm trên biên của tập convP thì P được gọi là đa giác lồi rỗng suy rộng. Ta xét thí dụ sau đây: Thí dụ: Nếu tập Ω gồm năm điểm A,B,C,D,E với điểm E nằm trên cạnh AB thì convΩ là tứ giác lồi ABCD, còn conv(Ω\{A}) là tứ giác lồi BCDE nên conv(Ω\{A}) 6= convΩ, vậy A là điểm góc của tập convΩ. Nhưng conv(Ω\{E}) cũng chính là tứ giác lồi ABCD nên conv(Ω\{E})= convΩ, vậy E không phải là điểm góc của tập convΩ (xem 2.2). Hình 2.2: Năm điểm tạo thành đa giác lồi rỗng suy rộng Bài toán H(n): Cho n là một số tự nhiên bất kì, n ≥ 3. Hãy xác định số nguyên dương nhỏ nhất H(n), nếu nó tồn tại, sao cho mọi tập S có tối thiểu H(n) điểm trên mặt phẳng ở vị trí bất kỳ đều chứa n điểm là đỉnh của một đa giác lồi rỗng suy rộng? 2.2. Lời giải bài toán H(n) cho trường hợp n=3,4,5 với tập điểm ở vị trí bất kỳ Trong phần này ta sẽ chứng minh công thức H(n) của bài toán Erdos¨ về sự tồn tại của đa giác lồi rỗng suy rộng với tập điểm ở vị trí bất kỳ. Ta vẫn sẽ sử dụng phương pháp bao lồi theo chiều giảm dần về số điểm của ∂Ω-bao lồi ngoài cùng lớn nhất của tập hợp điểm, như trong Chương 1. Định nghĩa 2.2.1 (Cấu hình dạng (m,a1,...,ak) ). Cho Ω là một tập hợp n điểm trên mặt phẳng ở vị trí bất kỳ với n ≥ 3. Ta nói tập Ω có cấu hình dạng (m,a1,...,ak) nếu ai = const,∀i = 1,...,k và m ≥ 3 : k (i) ∑ ai = n−m, với m ≥ 3 và n ≥ m i=1 (ii) |∂Ω| = m; |∂Ωi| = ai, ∀i = 1,k. Một cấu hình dạng (m,a1,...,ak) với m ≥ 4 chưa chắc đã chứa cấu hình con chuẩn tắc dạng (m−1,a1,...,ak). Mệnh đề 3. Cho Ω là tập hợp các điểm trên mặt phẳng ở vị trí bất kỳ trong mặt phẳng, |Ω|≥ 8. Nếu Ω có cấu hình dạng (m,3,1) với m ≥ 4, thì luôn có năm điểm thuộc Ω lập thành ngũ giác lồi rỗng suy rộng. Chứng minh. (i) Với m≥4 và nếu Ω chứa cấu hình con chuẩn tắc (4,3,1) thì theo chứng minh mệnh đề 1 cấu hình (m,3,1) chứa ngũ giác lồi suy rộng rỗng. xem hình 1.3. (ii) Ngược lại nếu Ω không chứa cấu hình con chuẩn tắc (4,3,1) thì theo chứng minh mệnh đề 1. Ta có một miền có nhiều hơn hai đỉnh của ∂Ω, ta giả sử là miền (I) có chứa k đỉnh V1,V2,...,Vk của ∂Ω với m−1 ≥ k ≥ 2. Khi đó ta có k+3 giác lồi rỗng ABV1,V2,...,VkC, từ k+3 đỉnh đó ta lấy ra năm đỉnh liên tiếp ta được ngũ giác lồi suy rộng rỗng. Xem hình 2.3. Hình 2.3: Cấu hình (m,3,1) với m ≥ 4 có ngũ giác lồi rỗng suy rộng. Mệnh đề 4. Cho Ω là tập hợp các điểm trên mặt phẳng ở vị trí bất kỳ trong mặt phẳng, |Ω|≥ 8. Nếu Ω có cấu hình dạng (m,3,2) với m ≥ 3, thì luôn có năm điểm thuộc Ω lập thành ngũ giác lồi rỗng suy rộng. Chứng minh. (i) Với m ≥ 3 nếu Ω chứa cấu hình con chuẩn tắc (3,3,2) thì theo chứng minh mệnh đề 2 cấu hình (m,3,2) chứa ngũ giác lồi suy rộng rỗng. Xem hình 1.5. (ii) Ngược lại nếu Ω không chứa cấu hình con chuẩn tắc (3,3,2) thì theo chứng minh mệnh đề 2. Khi đó ta có hoặc là miền (I) hoặc (II) có nhiều hơn hai đỉnh của ∂Ω, hoặc là miền (III) có nhiều hơn một đỉnh của ∂Ω. Ta giả sử là miền (III) có chứa k đỉnhV1,V2,...,Vk của ∂Ω với m−1 ≥ k ≥ 1. Khi đó ta có k+4 giác lồi rỗng ABEV1,V2,...,VkF, từ k+4 đỉnh đó lấy ra năm đỉnh liên tiếp ta được ngũ giác lồi suy rộng rỗng. Xem hình 2.4. Hình 2.4: Cấu hình (m,3,2) với m ≥ 3 có ngũ giác lồi rỗng suy rộng. Mệnh đề 5. Cho Ω là tập hợp các điểm trên mặt phẳng ở vị trí bất kỳ trong mặt phẳng, |Ω|≥ 7. Nếu Ω có cấu hình dạng (m,1) với m ≥ 6, thì luôn có năm điểm thuộc Ω lập thành ngũ giác lồi rỗng suy rộng. Chứng minh. Ta gọi các đỉnh của ∂Ω lần lượt là V1,V2,...,Vm với m ≥ 6 và gọi điểm thuộc int{convΩ} là A. Ta kẻ đường thẳng qua A và V1, đường thẳng AV1 chia mặt phẳng thành hai miền (I) và (II). Ta luôn có một miền chứa không ít hơn 3 đỉnh của ∂Ω - trừ ra đỉnh V1, ba đỉnh liên tiếp này kết hợp với A và V1 tạo thành ngũ giác lồi suy rộng rỗng. Xem hình 2.5. Hình 2.5: Cấu hình (m,1) với m ≥ 6 có ngũ giác lồi rỗng suy rộng. Mệnh đề 6. Cho Ω là tập hợp các điểm trên mặt phẳng ở vị trí bất kỳ trong mặt phẳng, |Ω|≥ 7. Nếu Ω có cấu hình dạng (m,2) với m ≥ 5, thì luôn có năm điểm thuộc Ω lập thành ngũ giác lồi rỗng suy rộng. Chứng minh. Ta gọi các đỉnh của ∂Ω lần lượt là V1,V2,...,Vm với m ≥ 5 và gọi các điểm thuộc int{convΩ} là A và B. Ta kẻ đường thẳng qua A và B, đường thẳng AB chia mặt phẳng thành hai miền (I) và (II). Ta luôn có một miền chứa không ít hơn 3 đỉnh của ∂Ω. Do đó ba đỉnh liên tiếp này kết hợp với A và B tạo thành ngũ giác lồi suy rộng rỗng. Xem hình 2.6. Hình 2.6: Cấu hình (m,2) với m ≥ 5 có ngũ giác lồi rỗng suy rộng. Sau đây ta chứng minh Công thức H(n) cho từng trường hợp n=3,4,5. 2.2.1. Chứng minh công thức H(n) cho trường hợp n=3 với tập điểm ở vị trí bất kỳ H(3) = 3: Thật vậy với tập Ω có đúng ba điểm, ta chỉ có hai khả năng: (i) Nếu ba điểm của Ω không thẳng hàng thì hiển nhiên là H(3) =3. (ii) Nếu ba điểm của Ω thẳng hàng thì |convΩ| = 3, thì ba điểm là một tam giác lồi rỗng suy rộng. Vậy H(3) =3. Hay mọi tập có tối thiểu ba điểm ở vị trí bất kỳ trong mặt phẳng luôn tồn tại tam giác lồi rỗng suy rộng. 2.2.2. Chứng minh công thức H(n) cho trường hợp n=4 với tập điểm ở vị trí bất kỳ                                ˚ ˚    −∗  ˚  ∈ → ⊂−∗ ˚    ∈ ˚     ∈−∗∗   ≥−≤− ∈⊂          −∗  ˚  →∗ ∈∗˚   ∗˚     ∈  −−−≤−−    ∈∗−∗  ∼    ˚   ˚  ˚∗ ∗ ˚  ∈ −−≥∀∈  ≡→∗ ∗ ˚   ∅⊂  ˚ ˚ ˚ ∈∗−≤→   ≡→∗   −≤∀∈→    ˚  ˚˚  →∗˚    ˚     ∈∗˚ ˚   ∈∗˚ ∗  ∗  − −−−  −≤− −≥−     ≥   −− −−−− ≥− ˚ ˚   ∗˚ ∈−− −∗−−∗−  ≤−−  ˚    ˚   ˚   ˚→   −−≥∀∈ ˚ −∀∈∈ → −−≥∀∈ ∈   ≤−≤−∗−∀∈ ˚− −→ −∗−≥∀∈ −∗−∗≥−∗−∗−∗ −∗≤−∗∀∈        →∗     ˚       ≡    →   ∃≥∀∈≥ ∀∈˚  ˚  ≥≤⇒−     H(4) = 5: Do tập Ω có năm điểm, nên ta có ba khả năng sau: (i) Nếu |∂Ω| = 5. Gọi các đỉnh của ∂Ω là V1,V2,..,V5, như vậy bốn đỉnh liên tiếp của ∂Ω lập thành tứ giác lồi rỗng suy rộng. Xem hình 2.7. Hình 2.7: Cấu hình (5) có chứa tứ giác lồi rỗng suy rộng. (ii) Giả sử |∂Ω| = 4. Gọi các đỉnh của ∂Ω là V1,V2,..,V4 và đỉnh thuộc int{convΩ} là A. Như vậy xảy ra hai khả năng sau: 1. Khả năng thứ nhất Điểm A thuộc phần trong của tam giácV1V2V4 ( kể cả đỉnh A thuộc cạnhV2V4,) khi đó AV2V3V4 lập thành tứ giác lồi rỗng suy rộng. Xem hình 2.8. Hình 2.8: Cấu hình (4,1) luôn chứa tứ giác lồi rỗng suy rộng. 2. Khả năng thứ hai Ngược lại điểm A thuộc phần trong của tam giác V1V2V4 ( không kể đỉnh A thuộc cạnh V2V4, khi đó V1V2AV4 lập thành tứ giác lồi rỗng suy rộng. Xem hình 2.9. Hình 2.9: Cấu hình (4,1) luôn chứa tứ giác lồi rỗng suy rộng. (iii) Giả sử |∂Ω| = 3. Gọi các đỉnh của ∂Ω là V1,V2,V3, gọi các đỉnh thuộc int{convΩ} là A và B. Ta kẻ đường thẳng AB chia mặt phẳng thành hai miền (I) và(II). Như vậy bao giờ cũng tồn tại một miền chứa không ít hơn hai đỉnh của ∂Ω ( giả sử là miền (I)). Khi đó hai đỉnh này kết hợp với A và B lập thành ngũ giác lồi rỗng suy rộng. Xem hình 2.10. Hình 2.10: Cấu hình (3,2) có chứa tứ giác lồi rỗng suy rộng. Mặt khác: Ta có thể chỉ ra tập bốn điểm không tạo thành ngũ giác lồi, xem hình 1.12. Vậy H(4) = 5. Hay mọi tập có tối thiểu năm điểm ở vị trí bất kỳ trong mặt phẳng luôn tồn tại tứ giác lồi rỗng suy rộng. 2.2.3. Chứng minh công thức H(n) cho trường hợp n=5 với tập điểm ở vị trí bất kỳ Ta cần chứng minh H(5) = 10 - Mọi tập gồm tối thiểu mười điểm ở vị trí bất kỳ trên mặt phẳng luôn tồn tại năm điểm lập thành ngũ giác lồi rỗng suy rộng. Ta lần lượt xét các khả năng sau (theo chiều giảm dần về số điểm của tập ∂Ω): Trường hợp 1 (|∂Ω| = 10 ). Gọi các đỉnh của ∂Ω lần lượt là V1,V2,...,V10. Hiển nhiên một xích có độ dài bằng năm tạo thành một ngũ giác lồi rỗng suy rộng. Xem hình 2.11. Hình 2.11: Tập 10 điểm có |∂Ω| = 10, chứa ngũ giác lồi rỗng suy rộng. Trường hợp 2 (|∂Ω| = 9 ). Gọi các đỉnh của ∂Ω lần lượt làV1,V2,...,V9. Gọi điểm thuộc int{convΩ} là A. Ta có được cấu hình (9,1). Theo mệnh đề 5 đường thẳng AV1 chia mặt phẳng thành hai miền (I) và (II). Ta luôn có một miền chứa không ít hơn ba đỉnh của ∂Ω, ba đỉnh liên tiếp này kết hợp với A và V1 tạo thành ngũ giác lồi rỗng suy rộng. Xem hình 2.12. Hình 2.12: Tập 10 điểm có |∂Ω| = 9, chứa ngũ giác lồi rỗng suy rộng. Trường hợp 3 (|∂Ω| = 8 ). Gọi các đỉnh của ∂Ω lần lượt là V1,V2,...,V8. Gọi các điểm thuộc int{convΩ} là A và B. Ta có được cấu hình (8,2). Theo mệnh đề 6 đường thẳng AB chia mặt phẳng thành hai miền (I) và (II). Ta luôn có một miền chứa không ít hơn 3 đỉnh của ∂Ω, ba đỉnh liên tiếp này kết hợp với A và B tạo thành ngũ giác lồi rỗng suy rộng. Xem hình 2.13. Hình 2.13: Tập 10 điểm có |∂Ω| = 8, chứa ngũ giác lồi rỗng suy rộng. Trường hợp 4 (|∂Ω| = 7 ). Ta gọi các đỉnh của ∂Ω lần lượt là V1,V2,...,V7. Gọi các điểm thuộc int{convΩ} là A, B và C. Ta có được cấu hình (7,3). Kẻ đường thẳng qua A và B, đường thẳng AB chia mặt phẳng thành hai miền (I) và (II) và giả sử điểm C thuộc miền (I). Ta có hai khả năng sau: • Khả năng thứ nhất: Miền (II) chứa không ít hơn ba đỉnh của ∂Ω, ba đỉnh liên tiếp này kết hợp với A và B tạo thành ngũ giác lồi suy rộng rỗng. Xem hình 2.14. Hình 2.14: Tập 10 điểm có |∂Ω| = 7, chứa ngũ giác lồi rỗng suy rộng. • Khả năng thứ hai: Ngược lại miền (I) sẽ chứa không ít hơn năm đỉnh của ∂Ω. Ta kết hợp lại các đỉnh trên miền (I) với A và B. Ta được cấu hình dạng (m,1) với m = 7. Theo mệnh đề 5 ta có được ngũ giác lồi rỗng suy rộng. Xem hình 2.15. Hình 2.15: Tập 10 điểm có |∂Ω| = 7, chứa ngũ giác lồi rỗng suy rộng. Trường hợp 5 (|∂Ω| = 6 ). Ta gọi các đỉnh của ∂Ω lần lượt là V1,V2,...,V6. Ta xét hai cấu hình sau (6,4) và (6 , 3,1). 1. Cấu hình (6,4) Ta gọi các đỉnh của ∂Ω1 là A, B, C và D. Kẻ đường thẳng qua C và D, đường thẳng CD, chia mặt phẳng thành hai miền (I) và (II) và ta giả sử điểm A và B thuộc miền (I) (nếu không ta đổi tên các đỉnh A, B, C, D). Ta có hai khả năng sau: • Khả năng thứ nhất: Miền (II) chứa không ít hơn ba đỉnh của ∂Ω, ba đỉnh liên tiếp này kết hợp với C và D tạo thành ngũ giác lồi rỗng suy rộng. Xem hình 2.16. Hình 2.16: Tập 10 điểm có |∂Ω| = 6, có cấu hình (6,4). • Khả năng thứ hai: Ngược lại miền (I) sẽ chứa không ít hơn bốn đỉnh của ∂Ω. Ta kết hợp lại các đỉnh trên miền (I) với C và D. Ta được cấu hình dạng (k,2) với k ≥ 6. Theo mệnh đề 6 ta có được ngũ giác lồi rỗng suy rộng. Xem hình 2.17. Hình 2.17: Tập 10 điểm có |∂Ω| = 6, có cấu hình (6,4). 2. Cấu hình (6,3,1) Gọi các đỉnh của ∂Ω1 là B, C, D và đỉnh thuộc int{convΩ1} là A. Theo mệnh đề 3 cấu hình (6,3,1) có chứa ngũ giác lồi rỗng suy rộng. Xem hình 2.18. Hình 2.18: Tập 10 điểm có |∂Ω| = 6, có cấu hình (6 , 3,1). Trường hợp 6 (|∂Ω| = 5 ). Gọi các đỉnh của ∂Ω lần lượt là V1,V2,...,V5. Ta xét các cấu hình sau: (5,5); (5,4,1) và (5 , 3,2). 1. Cấu hình (5,5) Gọi các đỉnh của ∂Ω1 là A, B, C, D và E. Hiển nhiên ta có ngũ giác lồi rỗng suy rộng ABCDE. Xem hình 2.19. Hình 2.19: Tập 10 điểm có |∂Ω| = 5, có cấu hình (5,5). 2. Cấu hình (5,4,1) Gọi các đỉnh của ∂Ω1 là B, C, D , E. Gọi đỉnh thuộc int{convΩ1} là A. Khi đó ta chia mặt phẳng thành bốn miền sau: Xem hình 2.20. Miền (I) được giới hạn bởi các tia AB và AC. Miền (II) được giới hạn bởi các tia AC và AD. Miền (III) được giới hạn bởi các tia AD và AE. Miền (IV) được giới hạn bởi các tia AE và AB. Như vậy bao giờ cũng tồn tại một miền chứa không ít hơn hai Hình 2.20: Tập 10 điểm có |∂Ω| = 5, có cấu hình (5 , 4,1). đỉnh của ∂Ω, ta giả sử là miền (I), các đỉnh này kết hợp cùng với A,B và C lập thành ngũ giác lồi rỗng suy rộng. Xem hình 2.21. Hình 2.21: Tập 10 điểm có |∂Ω| = 5, có cấu hình (5 , 4,1). 3. Cấu hình (5,3,2) Ta gọi các đỉnh của ∂Ω1 làC, D, E. Gọi các đỉnh thuộc int{convΩ1} là A và B. Theo mệnh đề 4 cấu hình này cho ta ngũ giác lồi rỗng suy rộng. Trường hợp 7 (|∂Ω| = 4 ). Gọi các đỉnh của ∂Ω lần lượt là V1,V2,...,V4. Ta xét các cấu hình sau: (4,6); (4,5,1); (4,4,2) và (4 , 3,3). 1. Cấu hình (4,6) Gọi các đỉnh của ∂Ω1 là A, B, C, D, E và F. Hiển nhiên năm đỉnh liên tiếp cho ta ngũ giác lồi rỗng suy rộng. Xem hình 2.22. Hình 2.22: Tập 10 điểm có |∂Ω| = 4, có cấu hình (4,6). 2. Cấu hình (4,5,1) Gọi các đỉnh của ∂Ω1 là B, C, D, E, F, đỉnh thuộc int{convΩ1} là A. Ta có hai khả năng sau: • Khả năng thứ nhất. Điểm A thuộc vào phần trong của một trong các tam giác sau: BFC, FEB, EDF, DCE và CBD (ta giả sử là tam giác BFC). Khi đó điểm A ở vị trí lồi với tứ giác lồi CDEF. Vậy ACDEF tạo thành một ngũ giác lồi rỗng suy rộng. Xem hình 2.23. • Khả năng thứ hai. Ngược lại điểm A không thuộc vào phần trong của một trong các tam giác trên. Khi đó ta chia mặt phẳng thành năm miền sau ( xem hình 2.24): Miền (I) được giới hạn bởi các tia AB và AC. Miền (II) được giới hạn bởi các tia AC và AD. Hình 2.23: Tập 10 điểm có |∂Ω| = 4, có cấu hình (4 , 5,1). Miền (III) được giới hạn bởi các tia AD và AE. Miền (IV) được giới hạn bởi các tia AE và AF. Miền (V) được giới hạn bởi các tia AF và AB. Khi đó: Hình 2.24: Tập 10 điểm có |∂Ω| = 4, có cấu hình (4 , 5,1). [i] Tồn tại một trong năm miền chứa ít nhất hai đỉnh của ∂Ω, ta giả sử là miền (I) và giả sử hai điểm đó là V1, V2. Khi đó ABV1V2C lập thành ngũ giác lồi rỗng suy rộng. Xem hình 2.25. [ii] Ngược lại mỗi miền chứa nhiều nhất một đỉnh của ∂Ω, ta giả sử là miền (I) là miền không có đỉnh nào của ∂Ω - được tô mầu xanh, vì |∂Ω| = 4. Khi đó: Hình 2.25: Tập 10 điểm có |∂Ω| = 4, có cấu hình (4 , 5,1). [*] Nếu có một đỉnh ∂Ω nằm trong vị trí lồi với các tứ giác lồi ABCD, ACDE, ADEF và AEFB ( miền gạch chéo), thì ta thu được ngũ giác lồi rỗng suy rộng (ta giả sử là miền (II) và đỉnh đó làV1 ). Khi đó ABCV1D lập thành ngũ giác lồi rỗng suy rộng. Xem hình 2.26. Hình 2.26: Tập 10 điểm có |∂Ω| = 4, có cấu hình (4 , 5,1). [**] Ngược lại thì bốn đỉnh của ∂Ω phải thuộc vào đúng bốn miền (*), sao cho mỗi miền (*) chứa đúng một đỉnh của ∂Ω (còn một miền (*) thuộc phần trong của miền (I)). Như vậy có ba đỉnh liên tiếp nằm trong vị trí lồi với đường thẳng ED (hoặc EF). Do đó chúng cùng với ED (hoặc EF ) lập thành ngũ giác lồi rỗng suy rộng. Xem hình 2.27. Hình 2.27: Tập 10 điểm có |∂Ω| = 4, có cấu hình (4 , 5,1). 3. Cấu hình (4,4,2) Gọi các đỉnh của ∂Ω1 làC, D, E, F. Gọi các đỉnh thuộc int{convΩ1} là A và B. Chia mặt phẳng thành bốn miền sau (xem hình 2.28): Miền (I) được giới hạn bởi các tia AC và AD. Miền (II) được giới hạn bởi tia AD, đoạn AB và tia BE. Miền (III) được giới hạn bởi các tia BE và BF. Miền (IV) được giới hạn bởi tia BF doạn AB và tia AC. Khi đó: Hình 2.28: Tập 10 điểm có |∂Ω| = 4 và có cấu hình (4 , 4,2). • Khả năng thứ nhất Miền (II) hoặc miền (IV) chứa ít nhất một đỉnh của ∂Ω, ta giả sử là miền (II) và đỉnh đó là V1. Vậy ADV1EB lập thành ngũ giác lồi rỗng suy rộng. Xem hình 2.29 Hình 2.29: Tập 10 điểm có |∂Ω| = 4 và có cấu hình (4 , 4,2). • Khả năng thứ hai Ngược lại miền (I) hoặc miền (III) phải có một miền chứa nhiều hơn hai đỉnh của ∂Ω, giả sử là miền (I) và hai đỉnh đó là V1 và V2. Vậy ACV1V2D lập thành ngũ giác lồi rỗng suy rộng.Xem hình 2.30. 4. Cấu hình (4,3,3) Gọi các đỉnh của ∂Ω1 là D, E, F. Gọi các đỉnh thuộc intΩ1 là A, B và C. Ta chia mặt phẳng thành ba miền sau ( xem Hình 2.30: Tập 10 điểm có |∂Ω| = 4 và có cấu hình (4 , 4,2). hình 2.31): Miền (I) được giới hạn bởi các tia AD và AF. Miền (II) được giới hạn bởi các tia BD và BE. Miền (III) được giới hạn bởi các tia CE và CF. Như thế phải có một miền có nhiều hơn hai đỉnh của ∂Ω, ta giả sử Hình 2.31: Tập 10 điểm có |∂Ω| = 4 và có cấu hình (4 , 3,3). là miền (I) và hai đỉnh đó là V1và V2. Khi đó AFV1V2D lập thành ngũ giác lồi rỗng suy rộng. Xem hình 2.32. Trường hợp 8 (|∂Ω| = 3 ). Gọi các đỉnh của ∂Ω lần lượt là V1,V2,V3. Ta xét các cấu hình sau: (3,7); (3,6,1); (3,5,2); (3,4,3); (3,3,4) và (3 ,3, 3,1). Hình 2.32: Tập 10 điểm có |∂Ω| = 4 và có cấu hình (4 , 3,3). 1. Cấu hình (3,7) Hiển nhiên thất giác thuộc int{convΩ} sẽ cho ta ngũ giác lồi rỗng suy rộng. 2. Cấu hình (3,6,1) Cấu hình (3,6,1) chứa cấu hình con chuẩn tắc dạng (m,1) với m =6. Theo mệnh đề 5 cấu hình này chứa ngũ giác lồi rỗng suy rộng. 3. Cấu hình (3,5,2)Cấu hình (3,5,2) chứa cấu hình con chuẩn tắc dạng (m,2) với m = 5. Theo mệnh đề 6 cấu hình này chứa ngũ giác lồi rỗng suy rộng. 4. Cấu hình (3,4,3) Ta gọi các đỉnh của ∂Ω1 là D, E, F, G. Gọi các đỉnh thuộc int{convΩ1} là A, B và C. Ta có hai khả năng sau: • Khả năng thứ nhất: Tồn tại một cạnh của tam giác ABC, mà trong nửa mặt phẳng không chứa đỉnh còn lại của tam giác có đúng ba đỉnh của ∂Ω1, (ta giả sử như hình 2.33). Khi đó ABFGD lập thành một ngũ giác lồi rỗng suy rộng. Xem hình 2.33. • Khả năng thứ hai: Ngược lại mỗi cạnh của tam giác ABC chia mặt phẳng thành hai miền và trong mỗi miền chứa đúng hai đỉnh của ∂Ω1. Khi đó ta chia mặt phẳng thành bốn miền sau. Xem Hình 2.33: Tập 10 điểm có |∂Ω| = 3 và có cấu hình (3 , 4,3). hình 2.34: Miền (I) được giới hạn bởi tia AE, đoạn AC và tia CD. Miền (II) được giới hạn bởi tia AE, đoạn AB và tia BF. Miền (III) được giới hạn bởi tia BF, đoạn BC và tia CG. Miền (IV) được giới hạn bởi các tia CD và CG. Ta có ba miền liên tiếp là (I), (II) và (III) ở trong vị trí lồi với Hình 2.34: Tập 10 điểm có |∂Ω| = 3 và có cấu hình (3 , 4,3). các tứ giác lồi tương ứng là ACDE, ABFE và BCGF. Như vậy phải tồn tại ít nhất một đỉnh của ∂Ω thuộc vào vị trí lồi với một trong các tứ giác lồi trên (vì bao lồi ngoài cùng là một tam giác – do đó muốn bao được cầu hình (4, 3) bên trong thì các đỉnh của nó không thể nằm về một nửa mặt phẳng của đường thẳng DG), ta giả sử đỉnh đó là V1 và thuộc vào miền (I). Vậy ta được ngũ giác lồi rỗng suy rộng ACDV1E. Xem hình 2.35. Hình 2.35: Tập 10 điểm có |∂Ω| = 3 và có cấu hình (3 , 4,3). 5. Cấu hình (3,3,4) Ta gọi các đỉnh của ∂Ω1 là E, F, G. Gọi các đỉnh thuộc int{convΩ1} là A, B, C và D. Ta có hai khả năng sau: • Khả năng thứ nhất: Có ít nhất một đỉnh của ∂Ω1 nằm trong vị trí lồi với tứ giác lồi ABCD ( phần được gạch chéo). Khi đó đỉnh này kết hợp với tứ giác lồi ABCD để được ngũ giác lồi rỗng suy rộng. Xem hình 2.36. Hình 2.36: Tập 10 điểm có |∂Ω| = 3 và có cấu hình (3 , 3,4). • Khả năng thứ hai: Ngược lại phải có ba đỉnh liên tiếp E, F, G của ∂Ω1 thuộc vào ba miền (*) liên tiếp, ta giả sử như hình sau (xem hình 2.37). Gạch chéo các miền con bên ngoài tam giác lồi EFG mà nếu Hình 2.37: Tập 10 điểm có |∂Ω| = 3 và có cấu hình (3 , 3,4). có một đỉnh của ∂Ω nằm trong vị trí lồi với các tứ giác lồiCBEF và CDGF. Như vậy phải tồn tại ít nhất một đỉnh của ∂Ω thuộc vào vị trí lồi với một trong các tứ giác lồi trên (vì bao lồi ngoài cùng là một tam giác – do đó muốn bao được cấu hình (3, 4) bên trong thì các đỉnh của nó không thể nằm về một nửa mặt phẳng của đường thẳng FG). Do đó ta được ngũ giác lồi rỗng suy rộng. Xem hình 2.38. 6. Cấu hình (3,3,3,1) Ta gọi các đỉnh của ∂Ω1 là E, F, G. Gọi các đỉnh của ∂Ω2 là B, C, D và đỉnh thuộc int{convΩ2} là A. Ta chia mặt phẳng thành ba miền, xem hình 2.39: Miền (I) được giới hạn bởi các tia AB và AC. Miền (II) được giới hạn bởi các tia AC và AD. Miền (III) được giới hạn bởi các tia AD và AB. Khi đó ta có hai khả năng sau: Hình 2.38: Tập 10 điểm có |∂Ω| = 3 và có cấu hình (3 , 3,4). Hình 2.39: Tập 10 điểm có |∂Ω| = 3 và có cấu hình (3 ,3, 3,1). • Khả năng thứ nhất. Tồn tại một miền chứa đúng hai đỉnh của ∂Ω1. Giả sử là miền (I) và hai đỉnh đó là E và F. Vậy ta được ngũ giác lồi rỗng suy rộng là ABEFC. Xem hình 2.40. • Khả năng thứ hai. Ngược lại mỗi miền (I), (II), (III) chứa đúng một đỉnh của ∂Ω1, ta giả sử đỉnh E thuộc miền (I), đỉnh F thuộc miền (II), đỉnh G thuộc miền (III). Khi đó ta chia lại mặt phẳng thành ba miền mới là (xem hình 2.41 ): Miền (IV) được giới hạn bởi các tia AB và AC. Miền (V) được giới hạn bởi các tia AC và AD. Miền (VI) được giới hạn bởi các tia AD và AB. Khi đó : [i] Tồn tại một miền trong các miền (IV), (V), (VI) chứa đúng Hình 2.40: Tập 10 điểm có |∂Ω| = 3 và có cấu hình (3 ,3, 3,1). Hình 2.41: Tập 10 điểm có |∂Ω| = 3 và có cấu hình (3 ,3, 3,1). hai đỉnh của ∂Ω. Giả sử là miền (IV) và hai đỉnh đó là V1 và V2. Vậy ta được ngũ giác lồi rỗng suy rộng là CEV1V2F. Xem hình 2.42. [ii] Mỗi miền (IV), (V), (VI) chứa đúng một đỉnh của ∂Ω. [*] Tồn tại một đỉnh của ∂Ω nằm trong vị trí lồi với các tứ giác (miền gạch chéo): ABEC và ACFD trong miền ( IV ). ACFD và ADGB trong miền ( V ). ADGB và ABEC trong miền ( VI ). Thì ta thu được ngũ giác lồi rỗng suy rộng, ta giả sử là Hình 2.42: Tập 10 điểm có |∂Ω| = 3 và có cấu hình (3 ,3, 3,1). đỉnh V1 nằm trong vị trí lồi của tứ giác lồi ABEC. Vậy ta có được ngũ giác lồi rỗng suy rộng ABEV1C. Xem hình 2.43. Hình 2.43: Tập 10 điểm có |∂Ω| = 3 và có cấu hình (3 ,3, 3,1). [**] Ngược lại mỗi miền (*) chứa đúng một đỉnh của ∂{convΩ}. Khi đó với hai đỉnh của ∂Ω thuộc hai miền (*) liên tiếp chúng luôn nằm trong vị trí lồi với một trong các tam giác CEF, DFG và tam giác BEG. Vậy ta có được ngũ giác lồi rỗng suy rộng. Xem hình 2.44. Hình 2.44: Tập 10 điểm có |∂Ω| = 3 và có cấu hình (3 ,3, 3,1). Như vậy ta đã chứng minh được các công thức: H(3) = 3, H(4) = 5, H(5) = 10. Chương 3 Chứng minh giả thuyết Erdos-Szekeres¨ với trường hợp n=6 trong một số trường hợp riêng. Trong chương này chúng tôi trình bày lại một cách tóm lược công trình của Knut Dehnhardt, Heiko Harboth và Zsolt Lángi [9] đã chứng minh cho giả thuyết Erdos-Szekeres¨ với trường hợp n = 6 trong một số trường hợp riêng mà không sử dụng máy tính. 3.1. Giả thuyết Erdos-Szekeres¨ với trường hợp n=6. Trong chương 1, chúng tôi đã phát biểu Giả thuyết Erdos-Szekeres,¨ với n = 6 chúng ta cần chứng minh được rằng: Giả thuyết Erdos-Szekeres¨ với trường hợp n = 6 (1935): Mọi tập hợp trên mặt phẳng gồm không ít hơn 17 điểm ở vị trí tổng quát (không có ba điểm bất kỳ nào thẳng hàng) đều chứa 6 điểm là đỉnh của lục giác lồi. Giả thuyết Erdos-Szekeres¨ với trường hợp n = 6 đã được George Szekeres và Lindsay Peters chứng minh hoàn toàn nhờ sự trợ giúp của máy tính vào năm 2006, (xem [18]). 3.2. Chứng minh giả thuyết Erdos-Szekeres¨ với trường hợp n=6 trong một số trường hợp riêng. Nhận xét 3.2.1. Giả sử Ω là tập 17 điểm trong mặt phẳng ở vị trí tổng quát và có cấu hình (s1,s2,...,sk); k ≥ 0 ta thấy: (i), Nếu ∀i=0,...,k mà |si|≥6 thì Giả thuyết Erdos-Szekeres¨ với trường hợp n = 6 được chứng minh. (ii), Như vậy chúng ta còn phải chứng minh Giả thuyết Erdos-Szekeres¨ với trường hợp n = 6, khi tập Ω có cấu hình (s1,s2,...,sk); k ≥ 0 mà ∀ i = 0,...,k thì |si|≤ 5. Như vậy ta có tất cả 72 loại cấu hình cho tập Ω từ (5,5,5,2), (5,5,4,3),..., (3,3,3,3,3,2). (iii), Chúng tôi trình bày lại một cách tóm lược công trình của Knut Dehnhardt, Heiko Harboth và Zsolt Lángi [9] đã chứng ming Giả thuyết Erdos-Szekeres¨ với trường hợp n = 6, khi tập Ω có ∂Ω = Ω\int{convΩ} là một ngũ giác lồi. Kết quả chính của họ là định lý sau đây: Định lý 3.2.2. Nếu Ω là một tập 17 điểm trong mặt phẳng ở vị trí tổng quát (không có ba điểm bất kỳ nào thẳng hàng). Nếu ∂Ω=Ω\int{convΩ}= 5, thì Ω chứa 6 điểm là đỉnh lục giác lồi. Để chứng minh định lý 3.2.2 ta cần có các định nghĩa và một loạt các bổ đề sau: Nếu Ω = {A1 : i = 1,2,...,n} là một tập hữu hạn điểm trong mặt phẳng ở vị trí tổng quát(tức là không có ba điểm nào thẳng hàng). Ta kí hiệu V (Ω) là tập các điểm thuộc ∂Ω. Định nghĩa 3.2.3 (Vượt qua chính xác m-cạnh (beyond exactly m- edges )). Giả sử a,b là hai điểm phân biệt trong mặt phẳng. Ta kí hiệu: [a,b] là đoạn thẳng đóng với điểm cuối là a và b. L(a,b) là đường thẳng chứa a và b. L+(a,b) là tia đóng đi ra từ a và chứa b. L−(a,b) là tia đóng đi ra từ a trong L(a,b) và không chứa b. Nếu tập Ω có |∂Ω| = s; s ≥ 3 là một s-giác lồi. Gọi b là một điểm thuộc Ω. Khi đó nếu điểm b không nằm trên bất kỳ đường biên nào của ∂Ω và được tách hoàn toàn từ đúng m cạnh của ∂Ω, với 1 ≤ m ≤ s, thì chúng ta nói rằng điểm b là vượt qua chính xác m-cạnh của ∂Ω. Nếu các đường biên là các đường đi qua các cạnh E1,E2,...,Em của ∂Ω với 1 ≤ m ≤ s, thì ta có thể nói rằng điểm điểm b là vượt qua chính xác mcạnh E1,E2,...,Em của ∂Ω. Xem hình 3.1. Hình 3.1: Điểm b vượt qua chính xác 2-cạnh của P. Định nghĩa 3.2.4 (Tập hợp đồng nhất ). Nếu A và B là các tập hợp điểm trong mặt phẳng ở vị trí tổng quát. Giả sử có một song ánh f : A → B sao cho với mỗi a1,a2,a3 ∈ A, bộ ba (a1,a2,a3) và (f (a1), f (a2), f (a3)) có sự định hướng giống nhau hoặc là có sự định hướng ngược nhau ( opposite orientation), độc lập với cách chọn a1, a2 và a3. Khi đó chúng ta nói rằng tập A và tập B là các tập hợp đồng nhất. Chúng ta thừa nhận một loạt các bổ đề sau: Bổ đề 1. Cho Ω là một tập hữu hạn điểm trong mặt phẳng ở vị trí tổng quát. Nếu ∂Ω và Q là các đa giác lồi với Q ⊂ int{convΩ}. Nếu X ⊂∂Ω là một tập vượt qua chính xác cạnh của Q, thì ∂Q∪X là các điểm ở trong vị trí lồi (in convex position). Xem hình 3.2. Hình 3.2: Nếu X thuộc miền được gạch chéo thì X ở trong vị trí lồi với Q. Bổ đề 2. Nếu {Pi : i = 1,2,...,m} là một họ của t tam giác, q tứ giác, p ngũ giác sao cho p+q+t = m và M = ∂{P1∪P2∪...∪Pm} là một m−giác (x1,x2,...,xm) sao cho [xi,xi+1] là một cạnh của Pi. Ngoài ra Pi và Pi+1 có phần trong rời nhau với mọi i = 1,2,...,m. Nếu M thuộc phần trong của k−giác P0, và giả sử rằng nếu các điểm của W Pi là ở vị trí tổng quát. Nếu q+2t < k, thì W có chứa lục giác lồi. Xem hình 3.3. Trong các chứng minh chúng tôi thường sử dụng bổ đề 2 với k = 5. Bổ đề 3. Nếu Ω là một tập 11 điểm trên mặt phẳng ở vị trí tổng quát sao cho ∂Ω là một ngũ giác lồi, Q = ∂{Ω\V (Ω)} là một tam giác và ∂{Ω\V (Ω)∪{q}} là một tứ giác với mọi đỉnh q ∈V (Q), thì Ω chứa lục Hình 3.3: Với {Pi : i = 1,2,...,5} giác lồi. Xem hình 3.4. Hình 3.4: Các điểm r1,r2,r3 và qi luôn tạo thành một tứ giác lồi với i = 1,2,3. Bổ đề 4. Nếu Ω là một tập 13 điểm trên mặt phẳng ở vị trí tổng quát sao cho ∂Ω là một ngũ giác lồi, Q = ∂{Ω\V (Ω)} là một tam giác, thì Ω chứa lục giác lồi. Bổ đề 5. Nếu Ω là một tập không ít hơn 13 điểm trên mặt phẳng ở vị trí tổng quát sao cho ∂Ω là một ngũ giác lồi, Q = ∂{Ω\V (Ω)} là một tam giác, và Ω không chứa 6 đỉnh tạo thành một hình lục giác lồi, thì Q đồng nhất với một trong các loại sau: Loại 0; loại 1; loại 2; loại 3a; loại 3 b; loại 4a; loại 4b và loại 4c như trong các hình sau (Xem hình 3.5): Hình 3.5: Bổ đề 6. Nếu Ω là một tập 17 điểm trên mặt phẳng ở vị trí tổng quát sao cho ∂Ω là một ngũ giác lồi, Q = ∂{Ω\V (Ω)} là một tứ giác, thì Ω chứa lục giác lồi. Bổ đề 7. Nếu Ω là một tập hợp điểm trên mặt phẳng ở vị trí tổng quát sao cho ∂Ω và Q=∂{Ω\V (Ω)} là một ngũ giác lồi, và R=Ω\{∂Ω∪∂Q} có một tập con loại 3a hoặc một tập con đồng nhất với một trong các kiểu loại 5a; loại 5b và loại 5c, thì Ω chứa lục giác lồi. Xem hình 3.6. Hình 3.6: Với các đỉnh của ∂R là r1,r2,r3,r4 và các đỉnh thuộc int{convR} là t1,t2,t3. Bổ đề 8. Nếu Ω là một tập 17 điểm trên mặt phẳng ở vị trí tổng quát có cấu hình (5,5,5,2) tức là |∂Ω| = 5; |∂Q| = 5; |∂R| = 5 và |T| = 2, thì Ω chứa lục giác lồi. Chứng minh. Định lý 3.2.2 Ta có ∂Ω=Ω\int{convΩ}=5. Gọi Q=Ω\∂Ω thì ∂Q=Q\int{convQ}. Gọi R=Ω\{∂Ω∪∂Q} thì ∂R=R\int{convR}. Gọi T =Ω\{∂Ω∪∂Q∪∂R}. Khi đó ta xét các khả năng sau: 1. Nếu |∂Q| = 3 thì theo bổ đề 4 ta có Ω chứa lục giác lồi. 2. Nếu |∂Q| = 4 thì theo bổ đề 6 ta có Ω chứa lục giác lồi. 3. Nếu |∂Q| = 5 thì ta lại xét các trường hợp sau theo |∂R|. • (i) Nếu |∂R| = 3 thì theo bổ đề 5 ta có: ∂R∪T là loại 4a, 4b hoặc 4c. Do đó nó chứa một tập con loại 3a. Theo bổ đề 3 ta có Ω chứa lục giác lồi. • (ii) Nếu |∂R| = 4 thì ta có: ∂R∪T chứa một tập con đồng nhất với loại 5a; loại 5b hoặc loại 5c. Theo bổ đề 7 ta có Ω chứa lục giác lồi. • (iii) Nếu |∂R| = 5 thì ta có cấu hình (5,5,5,2) tức là |∂Ω| = 5; |∂Q| = 5; |∂R| = 5 và |T| = 2. Theo bổ đề 8 ta có Ω có chứa lục giác lồi. Như vậy định lý được chứng minh. Trong [9] đã chứng minh được 24 trên tổng số 72 lớp cấu hình được phân loại bởi Bonnice[7]. Như vậy bài toán vẫn còn lại 48 lớp cấu hình chưa có lời giải, cho nên đây vẫn còn là một bài toán mở, mà hy vọng sẽ sớm có lời giải đáp. KẾT LUẬN Luận văn trình bày tổng quan về giả thuyết Erdos-Szekeres¨ và chứng minh giả thuyết cho các trường hợp n = 3,4,5 với tập hợp điểm ở vị trí bất kỳ. Đặc biệt là chứng minh công thức H(5) =10 với tập hợp điểm trên mặt phẳng ở vị trí bất kỳ (mặc dù vào năm 1978 Harboth đã chứng minh công thức H(5) =10 với tập hợp điểm trên mặt phẳng ở vị trí tổng quát, xong do hạn chế về ngôn ngữ và khả năng nên chúng tôi không có được bài báo này- Harboth h., Konvece Funfecke in ebenen Punktmegen, Elem. Math. 33 (1978), 116-118, MR 80a:52003). Đồng thời luận văn trình bày tóm lược lại công trình của Knut Dehnhardt, Heiko Harboth và Zsolt Lángi, đã chứng minh cho giả thuyết Erdos-¨ Szekeres với trường hợp n = 6 trong một số trường hợp riêng mà không sử dụng máy tính. Với khuôn khổ, thời gian và năng lực của chúng tôi còn nhiều hạn chế, cho nên còn rất nhiều câu hỏi mở chưa tìm được câu trả lời. Hy vọng với sự lỗ lực của các nhà toán học trong thời gian gần nhất sẽ trả lời được phần nào các câu hỏi mở nêu trên. Tài liệu tham khảo [1] Đoàn Hữu Dũng, Lời giải của bài toán Ecđôtsơ trong một trường hợp đặc biệt, Tạp chí Toán học và Tuỏi trẻ, số 33, tháng 6, 1967 , trang 14-16. [2] Đoàn Hữu Dũng, Tạ Duy Phượng, Nguyễn Tiến Thịnh, Về bài toán Erdos-Szekeres¨ cho ngũ giác lồi suy rộng, Kỉ yếu Hội Thảo khoa học các chuyên toán bồi dưỡng học sinh giỏi bậc THPT, Nguyễn Văn Mậu chủ biên, Nam Định, 26-28, 2010, trang 140-153. [3] Đoàn Hữu Dũng, Nguyễn Tiến Thịnh, Về sự tồn tại ngũ giác gần rỗng trong số chín điểm ở vị trí bất kỳ, Kỉ yếu Hội Thảo khoa học các chuyên đề Olympic toán học khu vực cấp THPT, Nguyễn Văn Mậu chủ biên, Phú Thọ, 09-10/04, 2011, trang75-82. [4] Đoàn Hữu Dũng, Nguyễn Tiến Thịnh, Bài toán Erdos-Szekeres¨ cho ngũ giác lồi suy rộng, Tạp chí Toán học và Tuổi trẻ, số 41, tháng 8 năm 2011, trang 12-14. [5] Hoàng Đức Tân, Định lí Ramsey, Tạp chí Toán học và Tuổi trẻ, số 178, tháng 2 năm 1991, trang 1-2. [6] Zachary Abel, Brad Ballinger, Prosenjit Bose, Sébastien Collette, Vida Dujmovic,´ Ferran Hurtado, Scott D. Kominers, Stefan Langerman, Attila Pór, and R. David, Every large point set contains many collinear points or an empty pentagon, arXiv:0904.0262v2 [math.CO] 24 Apr 2009, 1-16 hoặc Graphs and Combinatorics 27(1): 47-60 (2011).. [7] W. E. Bonnice, On convex polygons determined by a finite planar set, Amer. Math. Monthly 81 (1974), 749-752. MR 50:8301. [8] F. R. L. Chung, R.L. Graham, Forced convex n-gons in the place, Discrete Comput.Geom. 19 :367-371, 1998.MR 99e:52020. [9] Knut Dehnhardt, Heiko Harborth and Zsolt Lansgi, A partial proof of the Erdos-Szekeres¨ conjecture for hexagons, Journal of Pure and Applied Mathematics: Advances and Applications; Volume no: 2 , Issue no: 1, August (2009), 69-86 [10] D. Kleitman, L. Pachter, Finding convex sets among points in the place, Discrete Comput.Geom. 19 :405-410, 1998.MR 99e:52021. [11] P. Erdos¨ and G. Szekeres, On some extremum problems in elementary geometry, Ann. Universitatis Scientiarum Budapestinensis, Sectio Mathematica III-IV (1960-1961), 53-62. [12] Joseph D. Horton, Sets with empty convex 7-gons, Canadian Math. Bulletin 26 (4):482–484, 1983. MR 85f:52007 [13] V. A. Koshelev, On the Erdos-Szekeres¨ Problem, Doklady Mathematics, 2007, Vol. 76, No1, pp. 603-605. [14] V. A. Koshelev, On Erdos-Szekeres¨ problem for empty hexagons in the plane, Modeling and analysis of information systems, Vol. 16, 2 , 22-74, 2009, On Russian. [15] Wanter D. Morris and Valeru Soltan, The Erdos-Szekeres¨ problem on points in convex position - A survey,Bulletin of the American Mathematical Society (N. S.), 37(4):437–458, 2000. [16] Jessca L. Nielsen, On the of Empty Convex Hexagons, Harvey Mudd College, 2003. [17] M. Overmars, Finding sets of points without empty convex 6gons, Discrete and Computational Geometry 29(1):153–158, 2003. doi:10.1007/s00454-002-2829-x . [18] George Szekeres and Lindsay Peters, Computer solution to the 17point Erdos-Szekeres¨ problem,The ANZIAM Journal 48: 151–164. doi:10.1017/S144618110000300X, http://www.austms.org.au/Publ/ANZIAM/V48P2/2409.html . [19] Géza Tóth, Paven Valtr, Note on thr Erdos-Szekeres¨ therem, Discrete Comput.Geom. 19 :457-459, 1998.MR 99e:52022. [20] Géza Tóth, Paven Valtr, The Erdos-Szekeres¨ theorem: upper bounds and related result, Combinatorial and Computational geometry. MSRI Publication 52 :557-568, 2005. [21] P. Valtr, On empty hexagons, In Survey on discrete and computational geometry, Vol. 453 of Contemporary Mathematics, pp. 433441, Amer. Math. Soc., 2008. [...]... được Szekeres và Peters chứng minh năm 2006 nhờ máy tính (xem [18]) và Knut Dehnhardt, Heiko Harborth, and Zsolt Lángi, V.A.Koshelev chứng minh cho một số trường hợp riêng (không dùng máy tính) năm 2009 Giả thuyết Erdos - Szekeres có liên quan chặt chẽ với các lĩnh vực khác của toán- tin học (lí thuyết Ramsey, lí thuyết đồ thị, hình học tổ hợp, ) Giả thuyết Erdos - Szekeres cũng được gọi là Bài toán Erdos ... bị vi phạm, nhất là khi các tập có số điểm lớn (thí dụ, số các điểm là chân các con chip gắn trên một bảng điện tử của các máy móc hiện đại, hoặc số các ngôi sao trên bản đồ thiên văn, ) Các tập có số điểm lớn và giả thiết sự tồn tại các điểm thẳng hàng nhiều khi là cần thiết và có lợi Vì vậy, trong những năm gần đây, một số tác giả (xem [6]) đã xét bài toán Erdos- Szekeres cho trường hợp các điểm ở... 1974 [7] Dựa trên các đẳng thức N(3) = 3 và N(4) = 5 Erdos và Szekeres đưa ra giả thuyết sau đây: Giả thuyết Erdos- Szekeres (1935): Mọi tập hợp trên mặt phẳng gồm không ít hơn 2n−2+1 điểm ở vị trí tổng quát (không có ba điểm nào thẳng hàng) đều chứa n điểm là đỉnh của n giác lồi Bất chấp sự đơn giản trong phát biểu, sau ba phần tư thế kỉ, giả thuyết Erdos - Szekeres chỉ mới được chứng minh cho các... toán Erdos - Szekeres 1.1.2 Bài toán Erdos- Szekeres cho trường hợp các điểm ở vị trí bất kì Trong giả thuyết Erdos- Szekeres, ¨ cũng như trong nhiều bài toán khác của hình học tổ hợp, thường có một điều kiện duy nhất đặt lên tập hữu hạn các điểm Đó là điều kiện các điểm ở vị trí tổng quát (in general position), tức là không có ba điểm nào thẳng hàng Điều kiện này không phù hợp với thực tế và dễ bị vi... n-giác lồi Do đó cận dưới của N(n) là không thể giảm được Như vậy ta có: Vậy với n = 5, ta xét bài toán sau: Bài toán 1.3 : Với chín điểm cho trước ở vị trí tổng quát trong mặt phẳng (tức là không có ba điểm nào thẳng hàng) bao giờ ta cũng tìm được năm điểm tạo thành một ngũ giác lồi Bài toán này lần đầu tiên được Đoàn Hữu Dũng giải và đăng trên tạp chí Toán học và Tuổi trẻ năm 1967, xem[1] Trên các tài... chính qui là đa giác theo nghĩa thông thường Bài toán ES(n): Với số n cho trước, tồn tại hay không số ES(n) sao cho mọi tập có tối thiểu ES(n) điểm trên mặt phẳng ở vị trí bất kì đều chứa n điểm là đỉnh của một n - giác lồi suy rộng? 1.2 Lời giải Bài toán ES(n) cho trường hợp n= 3,4,5 với tập điểm ở vị trí bất kỳ Dưới đây chúng tôi trình bày lời giải Bài toán ES(n) cho các trường hợp n = 3,4,5 Để thuận... Kalbfleisch và Stanton chứng minh năm 1970 Tuy nhiên, cách chứng minh trên là khá cồng kềnh, do đó công thức N(5) = 9 đã được Bonnice [7] năm 1974 và Lovász năm 1979 chứng minh theo cách đơn giản hơn Cách chứng minh của Bonnice về cơ bản trùng với cách chứng minh của Đoàn Hữu Dũng Như vậy, với n = 5 công thức N(5) = 9 đã được chứng minh ngắn gọn bởi Đoàn Hữu Dũng vào năm 1967 [1] và Bonnice vào năm 1974... các đỉnh của ∂Ω1 và gọi A là điểm thuộc int{convΩ1}, xem hình1.3 Các tia AB, AC,AD chia mặt phẳng thành 3 miền: Hình 1.3: Cấu hình (4,3,1) luôn chứa ngũ giác lồi suy rộng Miền (I) được giới hạn bởi các tia AB và AC Miền (II) được giới hạn bởi các tia AC và AD Miền (III) được giới hạn bởi các tia AD và AB Như thế bao giờ cũng tồn tại một miền có chứa không ít hơn hai đỉnh của ∂Ω, ta giả sử là miền (I)... AE,BD, BF và đoạn AB chia mặt phẳng thành 3 miền: Hình 1.5: Cấu hình (3,3,2) luôn chứa ngũ giác lồi suy rộng Miền (I) được giới hạn bởi các tia BD và BF Miền (II) được giới hạn bởi các tia AD và AE Miền (III) được giới hạn bởi tia AE đoạn AB và tia BF (i), Nếu miền (III) chứa ít nhất một đỉnh của ∂Ω thì đỉnh này kết hợp với A,B,F,E lập thành ngũ giác lồi suy rộng Xem hình 1.6 (ii), Ngược lại, một trong... không có tứ giác lồi suy rộng 1.2.3 Lời giải Bài toán ES(n) cho trường hợp n=5 với tập điểm ở vị trí bất kỳ Công thức ES(5) = 9: Mọi tập có tối thiểu chín điểm cho trước trên mặt phẳng ở vị trí bất kì (các điểm có thể thẳng hàng) bao giờ ta cũng tìm được năm điểm là đỉnh của một ngũ giác lồi suy rộng Ta sử dụng phương pháp xét bao lồi của tập Ω theo chiều giảm dần về số đỉnh của ∂Ω Chứng minh Ta có tập ... ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM NGUYỄN TIẾN THỊNH GIẢ THUYẾT ERDOS SZEKERES - VÀ MỘT SỐ BÀI TOÁN LIÊN QUAN LUẬN VĂN THẠC SỸ KHOA HỌC TOÁN HỌC Chuyên ngành : Toán giải tích Mã số: ... thêm giả thuyết Erdos- Szekeres. ¨ • Luận văn Giả thuyết Erdos- Szekeres số toán liên quan có mục đích trình bày chứng minh số kết biết toán (giả thuyết) Erdos- Szekeres cho hai toán mở rộng Bài toán. .. hợp, ) Giả thuyết Erdos - Szekeres gọi Bài toán Erdos - Szekeres 1.1.2 Bài toán Erdos- Szekeres cho trường hợp điểm vị trí Trong giả thuyết Erdos- Szekeres, ¨ nhiều toán khác hình học tổ hợp,

Ngày đăng: 13/10/2015, 13:36

TỪ KHÓA LIÊN QUAN

TRÍCH ĐOẠN

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w