Bài toán Kakeya và Giải Fields 2026: Không gian ba chiều
Vào tháng 7 năm 2026, Huy chương Fields - giải thưởng danh giá nhất của giới toán học - đã được trao cho Hong Wang (Vương Hồng - 王虹), ghi nhận những đột phá của cô trong giải tích điều hòa (harmonic analysis) và lý thuyết độ đo hình học. Một trong những thành tựu trung tâm mang lại giải thưởng này là việc cô (cùng với cộng sự Joshua Zahl) đã chứng minh thành công Giả thuyết Kakeya trong không gian ba chiều, một bài toán đã thách thức giới toán học suốt một thế kỷ.
Bài viết này sẽ đi từ trực giác hình học cơ bản của bài toán Kakeya ban đầu cho đến ý nghĩa của giả thuyết Kakeya trong toán học hiện đại.
1. Bài toán gốc: Xoay cây kim trong diện tích nhỏ nhất
Năm 1917, nhà toán học người Nhật Soichiro Kakeya đặt ra một câu hỏi hình học có vẻ đơn giản:
Trong mặt phẳng, hình học có diện tích nhỏ nhất là bao nhiêu để ta có thể xoay một đoạn thẳng có độ dài 1 (một “cây kim”) đi đủ 360 độ mà không bị vướng?
Trực giác ban đầu thường dẫn chúng ta đến hình tròn có đường kính bằng 1. Diện tích của hình tròn này là $\pi(1/2)^2 = \pi/4 \approx 0.785$.
Biểu đồ 1: Bốn cách quét kim điển hình. Thời lượng mỗi chu kỳ là 3 giây. Từ trái sang phải, từ trên xuống dưới, ta thấy diện tích quỹ đạo thu hẹp dần (0.785 → 0.705 → 0.577 → 0.392).
Bước ngoặt đến từ việc nhận ra một điểm chết trong tư duy: khi đặt bài toán, nhiều người vô tình gò ép mình vào suy nghĩ phải cố định một tâm quay (như quay compa). Nhưng bài toán gốc chỉ yêu cầu cây kim quay đủ 360 độ, đâu nhất thiết phải cố định tâm quay! Bằng cách di chuyển tâm quay (nhảy đỉnh trong tam giác Reuleaux, trượt cạnh trong tam giác đều, hay trượt liên tục trong Deltoid), ta có thể triệt tiêu diện tích dư thừa một cách đáng kinh ngạc.
Điều bất ngờ đã xảy ra vào năm 1928, khi nhà toán học Abram Besicovitch chứng minh rằng Kakeya đã sai. Besicovitch đã chỉ ra một kết quả phản trực giác: Ta có thể xoay cây kim trong một hình có diện tích nhỏ tùy ý. Nghĩa là, với mọi số $\epsilon > 0$ dù nhỏ đến đâu, luôn tồn tại một tập hợp cho phép xoay kim 360 độ mà diện tích của tập hợp đó nhỏ hơn $\epsilon$. Các tập hợp như vậy ngày nay được gọi là tập Kakeya (hay tập Besicovitch).
Trực giác đằng sau cấu trúc của Besicovitch là việc cắt hình tam giác thành vô số các tam giác nhỏ xíu và “trượt” chúng đè lên nhau sao cho diện tích tổng bị thu hẹp lại đáng kể, nhưng các hướng của đoạn thẳng bên trong các tam giác nhỏ vẫn được bảo toàn. Kết quả là ta có một tập hợp hình “con nhím” với vô số gai nhọn chĩa ra mọi hướng, có diện tích gần như bằng 0.
Biểu đồ 2: Cây kim lách qua các nhánh của "con nhím" Besicovitch. Khi mức độ trượt càng lớn, các nhánh đè lên nhau càng nhiều, làm diện tích tổng giảm mạnh.
Khi diện tích (độ đo Lebesgue) có thể bằng 0, các nhà toán học chuyển sang đo lường tập hợp bằng một khái niệm tinh tế hơn: số chiều (dimension). Tập Kakeya trong mặt phẳng ($\mathbb{R}^2$) có diện tích bằng 0, nhưng nó vẫn chứa các đoạn thẳng ở mọi hướng, do đó nó phải “dày đặc” theo một cách nào đó. Thực tế, người ta chứng minh được số chiều Hausdorff của mọi tập Kakeya trong $\mathbb{R}^2$ đều phải bằng 2.
Từ đây, Giả thuyết Kakeya tổng quát được phát biểu cho không gian $n$ chiều ($\mathbb{R}^n$) như sau:
Một tập Kakeya trong không gian $\mathbb{R}^n$ (một tập hợp chứa một đoạn thẳng độ dài 1 ở mọi hướng khả dĩ) phải có số chiều Hausdorff và số chiều Minkowski bằng $n$.
Nói cách khác, dù tập hợp có thể bị “bóp” lại để có thể tích (độ đo) bằng 0, nó không thể bị ép xuống một số chiều thấp hơn không gian chứa nó. Tập hợp đó phải cấu trúc phức tạp và phân nhánh đan xen đến mức nó phủ một mức độ “rậm rạp” tương đương không gian $n$ chiều.
3. Tại sao giả thuyết Kakeya lại quan trọng và khó giải quyết?
Sự đan xen của các đoạn thẳng trong tập Kakeya không chỉ là một trò chơi hình học. Nó liên hệ mật thiết đến cách các hàm dao động (oscillatory functions) triệt tiêu lẫn nhau, một nền tảng của giải tích Fourier.
Việc hiểu các đoạn thẳng (hoặc các ống hình trụ mỏng) có thể đè lên nhau (intersect) tối đa bao nhiêu lần mà không làm tăng thể tích chính là chìa khóa để giải quyết bài toán hội tụ của chuỗi Fourier, các phương trình đạo hàm riêng (như phương trình sóng), và lý thuyết số giải tích. Nếu giả thuyết Kakeya sai, các sóng có hướng khác nhau có thể tập trung lại vào một không gian rất nhỏ tạo ra các “điểm kỳ dị” lớn, phá vỡ tính ổn định của nhiều phương trình vật lý.
Tuy nhiên, việc đếm số lượng giao điểm của các ống trong không gian 3 chiều trở lên vô cùng phức tạp. Các phương pháp hình học và tổ hợp thông thường tỏ ra yếu ớt trước sự sắp xếp hỗn loạn vô hạn của các ống này.
4. Đột phá của Hong Wang và Giải Fields 2026
Giả thuyết Kakeya đã được giải quyết cho $\mathbb{R}^2$ từ những năm 1970, nhưng $\mathbb{R}^3$ vẫn là một pháo đài bất khả xâm phạm suốt nhiều thập kỷ. Các nhà toán học như Jean Bourgain và Terence Tao đã có nhiều đóng góp kéo cận dưới của số chiều lên rất gần 3, nhưng việc đạt được con số 3 tuyệt đối đòi hỏi những kỹ thuật hoàn toàn mới.
Vào đầu những năm 2020, Hong Wang đã bắt đầu sử dụng phương pháp phân hoạch đa thức (polynomial partitioning) - một kỹ thuật do Larry Guth và Nets Katz tiên phong - kết hợp với các bất đẳng thức giải tích hình học sắc bén để phân tách không gian chứa các đoạn thẳng. Cô (cùng Joshua Zahl) đã phân tích các ống thẳng không chỉ qua góc nhìn hình học mà còn theo cấu trúc topo đại số của chúng, giới hạn chặt chẽ số lượng giao điểm mà các ống có thể tạo ra.
Kết quả của công trình này là lời giải trọn vẹn cho Giả thuyết Kakeya trong không gian 3 chiều: Số chiều của mọi tập Kakeya trong $\mathbb{R}^3$ phải chính xác bằng 3.
Công trình của Hong Wang không chỉ đóng lại một chương dài của bài toán Kakeya trong $\mathbb{R}^3$ mà còn mở ra một kho tàng các kỹ thuật mới cho giải tích điều hòa. Việc trao giải Fields năm 2026 cho cô là một minh chứng rõ ràng cho sức mạnh của việc kết hợp giữa trực giác hình học và cấu trúc đại số để giải quyết các bài toán giải tích sâu sắc. Mặc dù giả thuyết Kakeya ở các chiều $n \ge 4$ vẫn còn đang chờ được chinh phục, nền tảng mà Hong Wang xây dựng chắc chắn sẽ là bản đồ chỉ đường cho những bước tiến tiếp theo.