Math Labs

Lời giải: Trường hợp ba chiều: mọi tập Kakeya trong R3\mathbb{R}^3 đều có số chiều 3 (Wang–Zahl, 2025)

Bước 1 trên 11: Diễn đạt lại giả thuyết thành cận thể tích K(d)K(d)
Hiểu nôm na

Rời rạc hóa: cho T\mathbb{T} là ≈δ−2\approx\delta^{-2} ống kích thước δ×δ×1\delta\times\delta\times 1 trong R3\mathbb{R}^3, theo các hướng tách δ\delta. Ký hiệu K(d)K(d) là phát biểu hợp của chúng luôn có thể tích ≳δ3−d\gtrsim \delta^{3-d}.

∣⋃T∈TT∣≳δ3−d(K(d))\Big|\bigcup_{T\in\mathbb{T}} T\Big| \gtrsim \delta^{3-d} \quad (K(d))
Một họ hình trụ mỏng ba chiều theo các hướng tách biệt.
Phân tích chi tiết

Cố định tỉ lệ δ>0\delta>0 và gọi T\mathbb{T} là họ các ống δ×δ×1\delta\times\delta\times1 trong R3\mathbb{R}^3 có phương tách-δ\delta trên S2S^2 — thực chất N∼δ−2N\sim\delta^{-2} ống, mỗi phương một ống. Giả thuyết Kakeya rời rạc K(d)K(d) khẳng định cận dưới đều ∣⋃T∈TT∣≳δ3−d\big|\bigcup_{T\in\mathbb{T}}T\big|\gtrsim\delta^{3-d}: hợp các ống lớn bằng chừng như thể mỗi ống mang phần của một tập dd chiều làm dày tới tỉ lệ δ\delta.

Với tập EE có chiều Hausdorff thật dd, lân cận-δ\delta có thể tích ∼δ3−d\sim\delta^{3-d}, nên K(d)K(d) cho mọi họ ống là phát biểu lại ở mức ống của 'dim⁡E≥d\dim E\ge d cho mọi tập Kakeya'. Vì mỗi ống có thể tích δ2\delta^2 và có ∼δ−2\sim\delta^{-2} ống, rời nhau hoàn toàn sẽ cho thể tích ∼1\sim1; K(d)K(d) định lượng hình học ép chồng lấn được bao nhiêu.

Một chi tiết kỹ thuật ẩn trong phát biểu: Wang–Zahl làm không chỉ với họ tách-phương mà với họ thỏa 'tiên đề Wolff lồi Katz–Tao' — các tiên đề không tập trung nói rằng ống trong mọi tập lồi có đa trùng bị chặn. Độ linh hoạt này cho phép quy nạp theo tỉ lệ áp K(d)K(d) cho các họ con sau đổi tỉ lệ không còn tách-phương theo đúng nghĩa đen.