Toán học – Những điều kì thú và những mốc son lịch sử (Phần 14)

122. Bài toán bốn màu là gì?

Khi tô màu bản đồ, những nước có chung đường biên giới được tô màu khác nhau để phân biệt chúng với nhau.

Kinh nghiệm thông thường là bốn màu là đủ để tô màu bản đồ, cho dù bản đồ đó gồm bao nhiêu nước và đường biên giới của chúng phức tạp như thế nào chăng nữa.

Nhưng để chứng minh thực tế bốn màu là đủ để tô màu bất kì bản đồ nào trên một mặt phẳng hay một mặt cầu là chuyện không đơn giản, và được gọi là bài toán bốn màu.

123. Ba màu là không đủ hay sao?

Thực tế dưới bốn màu là không đủ cho mọi trường hợp sẽ được làm rõ từ bản đồ gồm bốn nước dưới đây, trong đó mỗi nước đều tiếp giáp với ba nước kia.

Bài toán bốn màu

Một điều cũng đúng là không ai có thể tạo ra một bản đồ có yêu cầu tô nhiều hơn bốn màu.

124. Bài toán bốn màu đã được nêu ra như thế nào?

Nó lần đầu tiên được Mobius nêu ra dưới dạng một bài toán vào năm 1840. Một vài nhà toán học đã bắt tay vào giải, nhưng trong hơn một thế kỉ lời giải vẫn còn tránh né họ!

125. Cuối cùng thì ai chứng minh được nó?

Mãi đến năm 1976 thì Wolf Gang Haken và Kenneth Appel mới có thể chứng minh khẳng định trên, nhưng máy vi tính là một công cụ đắc lực trong chứng minh đó.

Chứng minh tốn vài trang giấy và hết sức khó.

126. Còn những bản đồ vẽ trên mặt vòng xuyến, tức là ống trụ phồng bên trong, thì sao?

Người ta chứng minh được rằng cần bảy màu để tô màu cho bất kì bản đồ nào vẽ trên một mặt vòng xuyến.

Điều này hàm ý rằng trên một mặt như thế, người ta có thể xây dựng các bản đồ gồm bảy vùng trong đó mỗi vùng tiếp giáp với sáu vùng kia!

127. Làm thế nào những khái niệm hình học lại có khả năng áp dụng cho những tình huống đa dạng như thế?

Toán học có được sức mạnh sáng tạo của nó từ trực giác, trong đó hình học là một nguồn phong phú – điều đó lí giải tại sao các khái niệm hình học có khả năng áp dụng cho nhiều tình huống đa dạng.

Ngoài ra, các phương pháp và khái niệm hình học vẫn giữ được lợi thế của chúng thậm chí ở dạng thức trừu tượng.

Hình học cung cấp các mô hình không chỉ của không gian vật lí mà còn của bất kì cấu trúc nào có khái niệm và đặc điểm khớp với khuôn khổ hình học.

128. Trở lại với Euclid! Tại sao Euclid lại tiên đề hóa hình học?

Trước Euclid, hình học chỉ là một tập hợp gồm những kết quả rời rạc không có liên quan gì với nhau.

Mục tiêu của Euclid vì thế là chọn một số lượng nhỏ những giả thiết ban đầu hay tiên đề từ cái mà lĩnh vực hình học đã biết cho đến thời đại của ông cũng như những sự thật hình học chưa được khám phá có thể được suy luận ra từ chúng.

Ông đã tiên đề hóa hình học để hoàn thành nhiệm vụ để đời này.

129. Tác phẩm của Euclid có hoàn hảo logic không?

Trong hơn hai nghìn năm trời, bộ “Cơ sở” của Euclid được xem là thành tựu toán học có địa vị cao nhất, nhưng vào thế kỉ mười chín thì tiêu chuẩn nghiêm khắc trong tư duy toán học đã phát triển lên trình độ cao hơn, và người ta bắt đầu tìm thấy những chỗ hỏng logic trong tác phẩm của Euclid.

Có nhiều chỗ trong đó các kết luận mà Euclid rút ra từ những giả thiết của ông không tuân theo riêng các quy luật logic.

130. Vì sao những chỗ hỏng logic này không được để ý tới trước đó?

Lí do những chỗ hỏng này đã không được các nhà toán học để ý thấy trong suốt một thời gian rất dài là vì các định lí của Euclid luôn có những hình vẽ đi kèm khiến các khẳng định là quá sức hiển nhiên nên chẳng có ai nghi ngờ và kiểm tra để xác nhận. Chính các hình vẽ đã lấp mất những chỗ hỏng logic đó.

Do đó, về sau người ta cảm thấy nên xây dựng hình học trên một hình thức chặt chẽ hơn, trong đó các chứng minh chỉ có giá trị ở dạng logic của chúng, tức là không liên hệ với cách hiểu bình thường của các khái niệm hình học nữa.

131. Phải làm gì để đạt được kết cục này?

Nhà toán học vĩ đại người Đức Hilbert đã tiến hành một khảo sát tiên đề hiện đại như thế của hình học Euclid.

Ông chỉ sử dụng ba thuật ngữ không được định nghĩa – điểm, đường thẳng và mặt phẳng, và sáu quan hệ không được định nghĩa – trên, trong, giữa, đồng dạng, song song và liên tục, và hai mươi mốt tiên đề.

Ông đã định nghĩa toàn bộ những khái niệm khác của hình học, ví dụ như góc, tam giác, đường tròn, vân vân, theo những thuật ngữ nguyên bản hay những khái niệm cơ bản này.

132. Phương pháp tiên đề Hilbert có phải là giải pháp duy nhất cho hình học Euclid không?

Không, có nhiều và có thể có nhiều phương pháp khác nữa. Ví dụ, sau Hilbert vài năm, Oswald Veblen đã đưa ra một cách tiên đề hóa khác chỉ sử dụng các thuật ngữ ‘điểm’, ‘ở giữa’ và ‘đồng dạng’ với một tập hợp các tiên đề hơi khác với của Hilbert.

Có một cách tiên đề hóa khác nữa của E.V. Huntington, ông chỉ sử dụng hai thuật ngữ ‘hình cầu’ và “bao gồm’ cùng với một tập hợp gồm những tiên để hiển nhiên là khác nữa.

133. Phương pháp tiên đề có thích hợp cho các nghiên cứu khác ngoài hình học hay không?

Tác động của phương pháp tiên đề của Euclid đối với các thế hệ nghiên cứu sau đó lớn đến mức nó đã trở thành một kiểu mẫu cho mọi chứng minh chặt chẽ trong toán học.

Vì thế, vào thế kỉ mười chín và đầu thế kỉ hai mươi, nhiều lĩnh vực nghiên cứu đã được phát triển theo hướng ít nhiều mang tính trực giác dựa trên cơ sở tiên đề.

134. Phương pháp tiên đề có thúc đẩy tư duy toán học hay không?

Không, phương pháp tiên đề có thể xem là một hoạt động toán học dựa trên những quan niệm tiền nhận thức, còn toán học là một hoạt động sáng tạo được phát triển độc lập với những quan niệm như thế, do đó phương pháp tiên đề không thể bộc lộ bản chất của tư duy toán học.

135. Vậy đâu là động cơ thúc đẩy việc tiên đề hóa những lĩnh vực khác?

Động cơ mạnh nhất thúc đẩy việc tiên đề hóa những lĩnh vực khác của toán học là khát vọng muốn thiết lập một số lượng nhỏ nhưng vừa đủ những giả thiết ban đầu từ đó tất cả những phát biểu đúng trong những lĩnh vực đó được suy luận ra.

Phương pháp tiên đề này ngày nay được chấp nhận triệt để đến mức một trong những đặc điểm nổi bật nhất của toán học thế kỉ hai mươi là sự vận dụng quy mô phương pháp tiên đề trong các nghiên cứu toán học.

136. Kết quả của sự vận dụng quy mô phương pháp tiên đề hóa này của toán học là gì?

Sự vận dụng rộng rãi này của sự trừu tượng của toán học đã mang lại một khó khăn lớn, đó là vấn đề nhất quán!

Vì một phương pháp tiên đề phải là nhất quán, nên phải có một cách khẳng định rằng một tập hợp những giả thiết đã cho làm cơ sở của hệ thống mới là nội nhất quán để cho không có định lí mâu thuẫn tương hỗ nào có thể được suy luận ra từ tập hợp đó.

Nếu các giả thiết nói về một miền đối tượng quen thuộc nào đó, thì luôn luôn có thể kiểm tra xem chúng có đúng hay không, nhưng trong trường hợp các giả thiết nói về một miền đối tượng mới mẻ và không quen thuộc, thì dường như chẳng có cách nào kiểm tra được tính nhất quán của chúng.

Để làm rõ, các hình học phi Euclid lúc chúng đang được phát triển đã từng bị xem là không biểu diễn bất kì sự thật nào cả.

Có vẻ chẳng có cách nào trả lời cho câu hỏi: Tập hợp các giả thiết Riemann có nhất quán không hay liệu nó sẽ không dẫn tới những định lí mâu thuẫn chứ?

Toán học – Những điều kì thú và những mốc son lịch sử
A.L. Audichya
Trần Nghiêm dịch
<< Phần trước | Phần tiếp theo >>

Vui lòng ghi rõ "Nguồn Thuvienvatly.com" khi đăng lại bài từ CTV của chúng tôi.

Nếu thấy thích, hãy Đăng kí để nhận bài viết mới qua email
Tin tức vật lý
Extension Thuvienvatly.com cho Chrome

Thêm ý kiến của bạn

Security code
Refresh

Các bài khác


Vật lí Lượng tử Tốc hành (Phần 52)
22/05/2019
Vụ Nổ Lớn Nguồn gốc của lí thuyết Vụ Nổ Lớn (Big Bang) nằm ở thực tế chính không gian đang dãn nở. Nếu Vũ trụ hiện
Vật lí Lượng tử Tốc hành (Phần 51)
22/05/2019
Lí thuyết nhiễu loạn Trong khi các nhà vật lí có thể tính ra nghiệm cho các toán tử Hamiltonian tương ứng với, nói ví dụ,
Tương lai nhân loại - Michio Kaku (Phần 4)
22/05/2019
SỰ TRỖI DẬY CỦA TÊN LỬA V-2 Dưới sự lãnh đạo của von Braun, các công thức trên giấy và bản phác thảo của Tsiolkovsky
Tương lai nhân loại - Michio Kaku (Phần 3)
22/05/2019
PHẦN I: RỜI TRÁI ĐẤT – LEAVING THE EARTH Bất cứ ai ngồi trên đỉnh của hệ thống nạp đầyu nhiên liệu hydro-oxygen lớn nhất
Vật lí Lượng tử Tốc hành (Phần 50)
21/05/2019
Nguyên lí tương ứng Cơ học lượng tử giải quyết vật lí học của cái rất nhỏ và, như chúng ta thấy, hành trạng lượng
Từ trường của vũ trụ vô cùng yếu
20/05/2019
Từ trường của toàn bộ vũ trụ yếu hơn 2,5 tỉ lần so với của một nam châm tủ lạnh, theo một phân tích mới. “Xét theo
Tương lai của tâm trí - Michio Kaku (Phần 4)
20/05/2019
TỪ TÍNH TRONG NÃO Trong thập kỷ qua, nhiều thiết bị công nghệ cao mới đã bước vào bộ công cụ của các nhà thần kinh học,
Tương lai của tâm trí - Michio Kaku (Phần 3)
20/05/2019
MRI: CỬA SỔ NHÌN VÀO TRONG BỘ NÃO Để hiểu lý do tại sao công nghệ mới triệt để này đã giúp giải mã bộ não đang suy

Chúng tôi hiện có hơn 60 nghìn tài liệu để bạn tìm

360 độ

Vật lý 360 độ là trang tin nhanh, trao đổi chuyên đề vật lý và các khoa học khác cũng như các nội dung liên quan đến dạy và học.
Hi vọng các bạn giúp chúng tôi bằng cách đăng kí làm CTV.
Liên hệ: banquantri@thuvienvatly.com