Nghịch lý Banach-Tarski là một kết quả quan trọng trong lĩnh vực lý thuyết tập hợp và hình học, được phát biểu lần đầu tiên bởi các nhà toán học người Ba Lan Stefan Banach và Alfred Tarski vào năm 1924.
Năm 1924, nhà toán học Ba Lan Stefan Banach (1892-1945) và Alfred Tarski (1901-1983) đã phát hiện ra một chân lý toán học đáng ngạc nhiên. Tức là “chia một quả bóng thành một số phần nhất định và kết hợp lại các phần này để tạo thành hai quả bóng có cùng kích thước với quả bóng ban đầu”. Nói cách khác, nếu bạn chia và đập một quả bóng rồi kết hợp nó lại, bạn có thể có được hai quả bóng giống hệt nhau! Ở đây, mặc dù các biến dạng như kéo dài và rút ngắn bị cấm đối với các bộ phận được phân chia nhưng chúng có thể được dịch chuyển và xoay khi lắp ráp lại.
Nghịch lý Banach-Tarski được Banach và Tarski xuất bản lần đầu tiên vào năm 1924. Công trình của họ dựa trên những khám phá trước đó của nhà toán học người Áo Felix Hausdorff, người đã chứng minh một sự phân tích nghịch lý tương tự đối với một số tập con nhất định của không gian Euclide. Banach và Tarski đã mở rộng công trình của Hausdorff để chứng minh những kết quả đáng ngạc nhiên của họ đối với các quả cầu 3D. Nghịch lý Banach–Tarski là một định lý trong hình học lý thuyết tập hợp, phát biểu như sau: “Cho một quả cầu đặc trong không gian ba chiều, tồn tại sự phân tích quả bóng thành một số hữu hạn các tập con rời rạc, rời rạc, khi đó có thể là ghép lại với nhau theo cách khác để tạo ra hai bản sao giống hệt nhau của quả bóng gốc”.
Hầu hết mọi người sẽ nghĩ: “Làm sao chuyện như vậy có thể xảy ra?”. Trên thực tế, chính vì phát hiện này quá khó hiểu nên ban đầu nó được gọi là nghịch lý. Nhưng ngày nay tính đúng đắn của nó đã được chứng minh bằng toán học nên nó được gọi là “định lý Banach-Tarski”.
Nhưng định lý này không có nghĩa là nếu bạn tách một quả bóng tennis ở nhà thành những mảnh nhỏ thì bạn có thể khéo léo ghép lại thành hai quả bóng tennis. Việc “phân đoạn” được đề cập trong định lý này là một phương pháp đặc biệt và không thể áp dụng được trong thế giới thực. Giáo sư Shinya Koyama của Đại học Toyo ở Nhật Bản, người thực hiện nghiên cứu về lý thuyết số nguyên và các lĩnh vực khác, cho biết: “Mặc dù định lý này sử dụng từ ‘phần bị chia’ nhưng trên thực tế, nó được coi là vô hạn giống như những đám mây mỏng hoặc sương mù, các dấu chấm sẽ là thích hợp hơn.
Nghịch lý Banach-Tarski là hệ quả của Tiên đề Lựa chọn , một nguyên tắc quan trọng và gây tranh cãi trong lý thuyết tập hợp. Mặc dù Tiên đề Lựa chọn có nhiều ứng dụng hữu ích trong toán học nhưng nó cũng dẫn đến một số kết quả khó hiểu, chẳng hạn như Nghịch lý Banach-Tarski.
Vậy tại sao lúc đó hai nhà khoa học này lại nghĩ ra nghịch lý như vậy? Bối cảnh là lúc đó đã có một cuộc tranh luận trong cộng đồng toán học về việc liệu “Tiên đề lựa chọn” có đúng hay không. Đây là một chủ đề toán học rất khó nên chúng ta hãy phác thảo ngắn gọn nó ở đây.
Tiên đề lựa chọn là một trong những tiên đề trong “lý thuyết tập hợp” và được nhà toán học người Đức Ernst Zermelo (1871-1953) xuất bản năm 1904. Lý thuyết tập hợp đề cập đến lĩnh vực sử dụng các con số, công thức, ký hiệu, v.v. để kiểm tra các tính chất của một “bộ” chứa các phần tử khác nhau.
Nội dung của tiên đề chọn lọc là “khi một tập hợp gồm nhiều tập con (một tập hợp chỉ gồm một phần các phần tử của tập hợp đó) thì từ mỗi tập hợp con có thể chọn ra một phần tử để tạo thành một tập hợp mới” . Nhiều người sẽ coi điều này là đương nhiên. Georg Cantor, nhà toán học người Đức, người đã xây dựng nền tảng của lý thuyết tập hợp, cũng tin rằng tiên đề lựa chọn là một điều đã cho. Trong thực tế, khi số lượng tập hợp con bị giới hạn, việc chọn các phần tử từ mỗi tập hợp con không có vấn đề gì.
Một dạng khác của định lý phát biểu rằng với hai vật thể rắn “hợp lý” bất kỳ (chẳng hạn như một quả bóng nhỏ và một quả bóng lớn), các mảnh cắt của một vật thể này có thể được ghép lại thành vật thể kia. Điều này thường được tuyên bố một cách không chính thức là “một hạt đậu có thể được cắt nhỏ và lắp ráp lại thành Mặt trời” và được gọi là “nghịch lý hạt đậu và Mặt trời”.
Tuy nhiên, nếu số lượng tập hợp con là vô hạn thì thao tác chọn phần tử cũng yêu cầu vô số lần. Do đó, thao tác lựa chọn phần tử không thể hoàn thành và không rõ liệu một bộ mới có thể được hình thành hay không. Kết quả là cuộc tranh luận về việc liệu tiên đề lựa chọn có đúng hay không đã tiếp tục kéo dài trong nhiều năm.
Trong bối cảnh này, nếu sử dụng tiên đề lựa chọn thì có thể rút ra kết quả dẫn đến nghịch lý Banach-Tarski. Khi phân đoạn quả bóng (chọn một phần các điểm tạo nên quả bóng để tạo thành một tập hợp mới) cần sử dụng tiên đề chọn.
Sau đó, cuộc tranh luận về tiên đề lựa chọn tiếp tục nóng lên và cuối cùng kết thúc vào năm 1938. Nhà toán học gốc Séc Kurt Gödel (1906-1978), nổi tiếng với “Định lý bất toàn” đã chứng minh rằng “ngay cả khi tiên đề lựa chọn đúng thì sẽ không dẫn tới những mâu thuẫn mới trong lý thuyết tập hợp” . Dựa trên điều này, “Nghịch lý Banach-Tarski ” cuối cùng chính thức trở thành “Định lý Banach-Tarski” .
- Sự thật đằng sau 3 nghịch lý suốt 1.000 năm không ai giải được
- Điên cuồng với những nghịch lý “bạn có thể chứng minh được”
- Nghịch lý cực kỳ tàn khốc mà bạn chắc chắn không biết từ máy điều hòa
