모든 방향을 담는다는 것
Kakeya 문제를 비전공자의 언어로 이해하기
1. 바늘에서 집합으로
처음에는 바늘 하나가 있다. 길이는 정해져 있고, 폭은 없다고 생각해도 좋다. 이 바늘을 평면 위에 올려놓고 한 바퀴 돌리려면 얼마나 넓은 공간이 필요할까. 가장 단순한 대답은 원판이다. 바늘의 한쪽 끝을 고정하고 돌리면 부채꼴이 생기고, 가운데를 잡고 돌리면 원판이 생긴다. 그러면 우리는 자연스럽게 생각한다. 바늘을 돌리려면 바늘이 지나간 자리가 어느 정도는 평면을 칠해야 하지 않을까.
Kakeya 문제가 처음 던지는 장면은 바로 이 직관에서 출발한다. 그러나 최종적으로 우리가 다루어야 할 문제는 “바늘을 실제로 회전시키는 데 필요한 공간”에만 머물지 않는다. 질문은 곧 다른 형태로 이동한다. 실제 운동의 자취가 아니라, 모든 방향의 단위 선분을 적어도 하나씩 포함하는 집합은 얼마나 작아질 수 있는가. 이 이동을 놓치면 Kakeya needle problem과 Kakeya set conjecture가 뒤섞인다. 앞의 것은 바늘을 돌리는 장면이고, 뒤의 것은 가능한 모든 방향을 가진 선분들의 존재 조건을 묻는 문제다. 이 글이 따라가려는 것은 후자의 질문이다.
2. 면적 0은 없음이 아니다
평면 안에 있다고 해서 반드시 평면을 칠하는 것은 아니다. 선분 하나를 생각해보자. 그것은 분명 평면 위에 놓여 있다. 그러나 선분은 넓이를 갖지 않는다. 길이는 있지만 폭은 없다. 원도 마찬가지다. 여기서 조심해야 한다. 원의 내부까지 포함한 것은 원판이고, 원판은 면적을 가진다. 그러나 원의 둘레, 곧 원주는 길이만 가질 뿐 면적은 없다. 삼각형이나 사각형도 내부를 포함하면 면적을 갖지만, 테두리만 남기면 면적은 0이다.
이 말은 처음에는 이상하게 들린다. 눈앞에 무언가가 있는데, 그것의 면적이 0이라는 말은 마치 그것이 없다는 말처럼 들리기 때문이다. 그러나 수학에서 면적 0은 “없음”을 뜻하지 않는다. 그것은 “평면을 넓이로 칠하지 않는다”는 뜻에 가깝다. 선분은 존재한다. 원주는 존재한다. 다각형의 테두리도 존재한다. 다만 그것들은 평면 위에 있으면서도 평면적 양을 차지하지 않는다.
그렇다면 모든 방향을 담는 집합도 이런 식으로 면적 0이 될 수 있을까. 여기서 서둘러 다각형의 테두리를 떠올리면 오해가 생긴다. 다각형의 테두리는 면적이 0인 집합을 이해하기 위한 좋은 예시지만, Kakeya 집합을 설명하기에는 부족하다. 삼각형의 변은 세 방향 계열을 가진다. 사각형의 변은 네 방향 계열을 가진다. 정N각형으로 변의 수를 늘려도 여전히 방향의 수는 유한하다. 아무리 많은 변을 가진 다각형이라도 그것은 가능한 모든 방향을 담지 않는다.
3. 모든 방향은 곡선의 방향이 아니다
원주는 조금 더 그럴듯해 보인다. 원의 접선 방향은 계속 바뀌므로, 어떤 의미에서는 다양한 방향을 품는 것처럼 보인다. 그러나 Kakeya 집합이 요구하는 것은 “곡선이 방향을 바꾼다”는 사실이 아니다. 요구되는 것은 각 방향마다 그 방향을 가진 단위 선분이 집합 안에 들어 있어야 한다는 것이다. 원주는 모든 방향의 접선을 떠올리게 하지만, 모든 방향의 단위 선분을 실제로 포함하는 집합은 아니다.
따라서 Kakeya/Besicovitch 집합을 상상하려면 다른 그림이 필요하다. 무한히 많은 바늘을 떠올릴 수 있다. 각각의 바늘은 폭이 없고 방향만을 나타낸다. 같은 방향을 가리키는 바늘은 여러 개 필요하지 않을 수 있다. 중요한 것은 가능한 모든 방향이 적어도 한 번씩 나타나야 한다는 점이다. 그러나 이것도 충분하지 않다. 그 바늘들을 아무렇게나 던지면 평면은 금세 넓게 칠해질 것이다. Besicovitch의 충격은 무한히 많은 바늘을 모았다는 데 있지 않다. 모든 방향을 잃지 않으면서도, 그 바늘들이 평면을 거의 칠하지 않도록 극도로 정교하게 겹치고 배열할 수 있다는 데 있다.
4. 면적에서 차원으로
이제 문제는 면적에서 차원으로 이동한다. 면적이 0이라는 말만으로는 집합의 복잡성을 설명할 수 없기 때문이다. 점 하나도 면적이 0이다. 선분 하나도 면적이 0이다. 원주도 면적이 0이다. 그러나 이 셋은 같은 종류의 대상이 아니다. 점은 길이조차 없고, 선분은 한 방향으로 길이를 가지며, 원주는 닫힌 곡선으로 평면 속을 휘감는다. 더 복잡한 프랙털 집합도 면적이 0일 수 있다. 그러므로 면적만으로는 “얼마나 복잡하게 퍼져 있는가”를 말할 수 없다.
면적은 얼마나 칠해졌는가를 묻는다. 차원은 얼마나 복잡하게 퍼져 있는가를 묻는다. 여기서 차원은 단순히 눈에 보이는 두께를 뜻하지 않는다. 어떤 대상이 점처럼 행동하는가, 선처럼 행동하는가, 면이나 입체처럼 행동하는가를 작은 스케일에서 판별하는 기준이다. 같은 면적 0이라도 점, 선분, 원주, 프랙털이 서로 다른 까닭은 이 작은 스케일에서의 퍼짐 방식이 다르기 때문이다.
Besicovitch 이후의 질문은 이렇게 바뀐다. 모든 방향의 선분을 포함하면서 면적이 0일 수 있다면, 그 집합의 차원까지 낮출 수 있을까. 평면에서는 면적이 0이어도 모든 방향의 단위 선분을 포함하는 집합의 차원은 결국 2가 되어야 한다. 3차원에서는 부피가 0일 수 있어도, 모든 방향의 단위 선분을 포함하는 집합의 차원은 3이어야 한다는 것이 Kakeya set conjecture의 핵심이다.
5. 튜브라는 확대경
여기서 튜브가 등장한다. 선분은 폭이 없으므로 직접 면적이나 부피를 재기 어렵다. 그래서 선분을 아주 조금 두껍게 만든다. 평면에서는 가느다란 띠가 되고, 3차원에서는 가느다란 원통, 곧 튜브가 된다. 튜브는 실제 문제의 주인공이라기보다 계산을 가능하게 하는 확대경이다. 폭이 없는 선분을 폭 있는 대상으로 바꾸면, 여러 튜브의 합집합이 얼마나 큰지, 얼마나 겹치는지, 얼마나 빠르게 부피가 줄어드는지를 비교할 수 있다.
Minkowski dimension은 이 확대경의 언어에 가깝다. 어떤 집합을 아주 조금 두껍게 만들었을 때, 그 두꺼워진 집합의 부피가 얼마나 빠르게 사라지는지를 보고 차원을 읽는다. Hausdorff dimension은 다른 방식으로 같은 긴장을 잰다. 집합을 작은 조각들로 덮으려 할 때, 얼마나 작은 조각을 얼마나 많이 써야 하는지를 통해 차원을 측정한다. 두 개념은 정의 방식은 다르지만, 여기서는 같은 메시지를 향한다. 모든 방향을 담는 3차원 Kakeya 집합은 부피를 잃을 수 있어도 차원 3이라는 복잡성은 잃을 수 없다.
6. 겹침은 작아짐의 방법이자 증거다
Kakeya 문제의 핵심 직관은 겹침의 역설에 있다. 집합을 작게 만들려면 선분들이, 또는 그것을 두껍게 만든 튜브들이 많이 겹쳐야 한다. 서로 다른 튜브들이 넓게 흩어지면 합집합의 부피는 커진다. 반대로 같은 곳을 많이 지나가면 합집합의 부피는 작아진다. 작아지려면 겹쳐야 한다.
그러나 모든 방향을 유지한 채 너무 많이 겹치면, 그 겹침은 우연이 아니라 구조가 된다. 이 문장이 중요하다. 겹침은 단순한 무질서가 아니다. 모든 방향의 튜브들이 동시에 너무 효율적으로 겹치려면, 그들은 특정한 방식으로 뭉치고, 특정한 스케일에서 다시 배열되며, 어떤 기하학적 흔적을 남긴다.
Wang–Zahl의 결과가 읽어낸 것도 바로 이 지점이다. 3차원에서 튜브들이 많이 겹칠 때, 그 겹침은 단순히 사라지는 것이 아니라 convex set 안의 clustering, 여러 스케일에서의 뭉침, 그리고 그 뭉침을 제약하는 구조로 나타난다. convex set은 그 안의 두 점을 잡아 이은 선분이 항상 다시 그 안에 머무는 집합이다. clustering은 많은 튜브가 같은 영역으로 몰리는 현상이고, multiscale 구조는 그런 몰림이 한 크기에서만이 아니라 큰 스케일과 작은 스케일을 오가며 반복된다는 뜻이다. 기술적 증명의 세부로 들어가지 않더라도, 핵심은 이렇게 말할 수 있다. 겹침은 작아짐의 방법이지만, 동시에 작아짐이 남기는 증거이기도 하다.
7. 왜 분석학이 여기서 등장하는가
앞 절의 결론이 성립한다면, 이제 물어야 할 것은 이 겹침의 언어가 왜 기하학 바깥에서도 중요해지는가이다. 튜브는 단순한 그림이 아니라 “방향을 가진 성분들이 공간에서 어떻게 겹치는가”를 세는 도구이기 때문이다. 이 도구는 기하학에서만 쓰이지 않는다. 진동과 파동을 다루는 분석학에서도 같은 모양의 문제가 반복해서 나타난다.
Fourier analysis는 복잡한 함수를 여러 진동 성분으로 나누어 보는 방법이다. 그런데 진동 성분은 추상적인 수식 안에만 있지 않다. 분석의 특정 국면에서는 그것들이 공간 속에서 길쭉한 덩어리처럼 행동한다. 이런 것을 wave packet이라고 부를 수 있다. wave packet은 위치와 방향이 어느 정도 함께 정해진 진동 조각이며, 기하학적으로는 튜브처럼 보인다. 어느 방향으로 길게 뻗고, 다른 성분들과 겹치며, 공간 속에서 퍼진다.
그러므로 Fourier analysis의 어떤 문제는 어느 순간 “방향을 가진 성분들이 공간 안에서 어떻게 겹치고 퍼지는가”라는 문제로 바뀐다. Fourier restriction은 진동 성분을 특정한 곡면 위에 제한했을 때 어떤 함수 추정이 가능한지를 묻는 문제이고, local smoothing은 파동처럼 퍼지는 해가 시간과 공간 속에서 얼마나 더 매끄럽게 보이는지를 묻는 문제다. 파동방정식에서도 비슷한 일이 일어난다. 파동은 시간 속에서 여러 방향으로 전파되고, 서로 겹치며, 어떤 곳에서는 강화되고 어떤 곳에서는 흩어진다. Kakeya는 기하학의 언어로 방향을 묻고, Fourier analysis는 진동의 언어로 방향을 묻고, 파동방정식은 전파의 언어로 방향을 묻는다. 서로 다른 문제처럼 보이지만, 깊이 들어가면 모두 방향을 가진 성분들의 겹침을 묻는다.
8. 무엇이 해결되었고 무엇이 남았는가
다만 이 연결을 과장해서는 안 된다. Wang–Zahl의 결과는 Fourier restriction이나 local smoothing 같은 모든 관련 문제를 한꺼번에 해결한 사건이 아니다. Terence Tao가 구분하듯, 3차원 Kakeya set conjecture는 해결되었지만 더 강한 maximal function version은 여전히 별개의 문제로 남아 있다. 여기서 maximal function version은 단순히 “극한의 집합이 어떤 차원을 갖는가”를 묻는 데서 멈추지 않고, 여러 방향의 두꺼운 튜브들이 만들어내는 양을 더 정량적으로, 더 균일하게 통제할 수 있는지를 묻는 문제다. 집합의 최종 차원을 아는 것과, 모든 두께와 모든 배치에 대해 강한 부피 추정을 얻는 것은 같은 말이 아니다.
Hong Wang과 Joshua Zahl의 성과는 바로 이 제한된, 그러나 결정적인 장소에서 의미를 가진다. 그들이 보인 것은 3차원 Kakeya set conjecture다. 다시 말해, 3차원 공간에서 모든 방향의 단위 선분을 포함하는 집합은 Minkowski dimension과 Hausdorff dimension이 모두 3이어야 한다. 부피는 0일 수 있다. 그러나 차원은 3 아래로 내려갈 수 없다. 이 결과는 일반적인 모든 차원의 Kakeya conjecture가 해결되었다는 뜻이 아니다. 4차원 이상은 여전히 별도의 문제로 남아 있다. 하지만 3차원은 geometric measure theory와 harmonic analysis가 오랫동안 마주한 중요한 장벽이었다.
이 사실은 비전공자에게 이렇게 말할 수 있다. 3차원에서 모든 방향을 담는 집합은 부피를 숨길 수는 있어도, 3차원적 복잡성까지 숨길 수는 없다. 바늘들은 교묘하게 겹칠 수 있다. 튜브들은 서로의 공간을 빌릴 수 있다. 겉으로 보이는 부피는 한없이 줄어들 수 있다. 그러나 가능한 모든 방향을 품는 순간, 그 집합은 단순한 선들의 모음으로 남을 수 없다. 방향들의 풍부함은 어떤 차원적 흔적을 강제한다.
9. 차원을 복잡성이라 불러도 되는가
여기서 한 가지 반론이 가능하다. 차원이 3이라는 결론을 곧바로 “복잡성”이라고 부르는 것은 지나친 비유 아닌가. 부피가 0일 수 있다면, 그 집합은 여전히 거의 아무것도 차지하지 않는 것처럼 보인다. 그렇다면 “3차원적 복잡성”이라는 말은 수학적 사실 위에 덧씌운 문학적 표현에 불과하지 않은가.
이 반론은 중요하다. 실제로 여기서 말하는 복잡성은 시각적 풍성함이나 물질적 부피를 뜻하지 않는다. 그것은 어떤 집합이 작은 스케일에서 낮은 차원의 대상처럼 행동할 수 있는가를 묻는 조작적 의미의 복잡성이다. 모든 방향을 담는 집합이 차원 3을 갖는다는 말은, 그 집합이 어느 한 방향의 선들이 조금 많이 모인 정도로 설명될 수 없다는 뜻이다. 아무리 부피를 숨겨도, 모든 방향의 선분을 포함한다는 조건은 작은 스케일마다 3차원적 퍼짐의 흔적을 남긴다.
따라서 “강제한다”는 말도 윤리적 의미가 아니라 구조적 의미다. 모든 방향을 담는다는 조건이 집합의 자유를 제한한다는 뜻이다. 집합은 넓이를 버릴 수 있다. 부피도 버릴 수 있다. 그러나 모든 방향을 유지하려면, 방향들이 서로 겹치고 흩어지는 방식 전체를 감당해야 한다. 이 감당은 도덕적 책임이 아니라 수학적 필연성에 가깝다. 차원의 책임이라는 표현을 쓴다면, 그것은 정확히 이런 제한된 의미에서만 가능하다.
10. 작음이 지우지 못하는 것
Kakeya 문제는 결국 작음에 관한 질문이 아니다. 그것은 어떤 대상이 얼마나 작아질 수 있는지를 묻는 동시에, 무엇을 유지하는 한 결코 버릴 수 없는 복잡성이 무엇인지를 묻는다. 평면 위의 선분은 면적을 갖지 않는다. 원주는 평면을 칠하지 않는다. 다각형의 테두리도 면적이 0이다. 그러나 모든 방향을 담는 집합은 그런 단순한 예시들과 다르다. 그것은 폭 없는 것들의 모음처럼 보이지만, 가능한 모든 방향을 품는 순간 훨씬 더 복잡한 대상이 된다.
모든 방향을 담는다는 것은 공간을 많이 차지한다는 뜻이 아니다. 더 정확히 말하면, 공간을 넓이나 부피로 많이 차지하지 않을 수도 있다. 그러나 그것은 차원적 복잡성을 피할 수 없다는 뜻이다. 넓이는 사라질 수 있고, 부피는 숨을 수 있다. 하지만 방향들이 만들어내는 구조는 완전히 사라지지 않는다. Kakeya 문제가 보여주는 것은 바로 이 균형이다. 존재는 희미해질 수 있지만, 구조는 흔적을 남긴다.
결국 모든 방향을 담는 집합은 자신의 차원을 완전히 숨길 수 없다. 함수는 진동하고, 진동은 방향을 만들고, 방향은 튜브가 되며, 튜브는 공간 속에서 겹치고 흩어진다. 겉으로는 작아 보이는 대상도 모든 방향을 품으려는 순간 단순히 작을 수 없다. 면적은 사라지고 부피는 줄어들 수 있지만, 방향의 풍부함은 끝내 차원의 흔적을 남긴다.
모든 방향을 담는다는 것은 단지 공간을 채우는 일이 아니다. 그것은 차원의 복잡성을 감당하는 일이다.
참고한 사실
- Hong Wang, Joshua Zahl, Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions, arXiv:2502.17655. 이 논문은 “every Kakeya set in \(\mathbb{R}^3\) has Minkowski and Hausdorff dimension 3”라는 결론을 제시한다.
https://arxiv.org/abs/2502.17655 - Terence Tao, “The three-dimensional Kakeya conjecture, after Wang and Zahl,” 2025년 2월 25일. Tao는 Wang–Zahl의 결과를 3차원 Kakeya set conjecture의 해결로 설명하면서, 더 강한 maximal function version은 여전히 open이라고 구분한다.
https://terrytao.wordpress.com/2025/02/25/the-three-dimensional-kakeya-conjecture-after-wang-and-zahl/ - Larry Guth, The Kakeya conjecture, after Wang and Zahl, arXiv:2604.03416v1. Guth는 3차원 Kakeya conjecture를 thin tubes in Euclidean space의 intersection patterns 문제로 설명하고, Wang–Zahl의 증명이 convex set 안의 clustering과 multiscale 구조를 다룬다고 해설한다.
https://arxiv.org/abs/2604.03416