3Blue1Brown - This open problem taught me what topology is
이 영상은 모든 닫힌 연속 곡선에 내접 사각형이 존재하는지에 대한 미해결 수학 문제를 다룹니다. 이 문제는 1911년 Otto Toeplitz에 의해 제기되었으며, 내접 사각형 문제로 알려져 있습니다. 영상에서는 이 문제를 해결하기 위한 토폴로지적 접근을 설명하며, 특히 Mobius 스트립과 Klein 병과 같은 복잡한 기하학적 구조를 활용합니다. 이러한 구조는 문제 해결을 위한 논리적 도구로 사용되며, Mobius 스트립을 3차원 공간에 임베딩할 때 발생하는 자기 교차를 통해 내접 사각형의 존재를 증명합니다. 또한, 매끄러운 곡선의 경우 모든 가능한 비율의 직사각형을 찾을 수 있다는 2020년의 연구 결과도 소개합니다. 이 과정에서 토폴로지의 본질과 연속적 연관성을 이해하는 것이 중요하다는 점을 강조합니다.
Key Points:
- 모든 닫힌 연속 곡선에 내접 사각형이 존재하는지 여부는 미해결 문제입니다.
- Mobius 스트립과 Klein 병을 활용하여 문제 해결을 위한 논리적 도구로 사용합니다.
- Mobius 스트립을 3차원에 임베딩할 때 자기 교차가 발생하여 내접 사각형의 존재를 증명합니다.
- 매끄러운 곡선의 경우 모든 비율의 직사각형을 찾을 수 있다는 연구 결과가 있습니다.
- 토폴로지의 본질은 연속적 연관성을 이해하는 데 있습니다.
Details:
1. 🔍 문제 소개: 내접 사각형 문제
- 1911년 Otto Toeplitz에 의해 제기된 문제로, 모든 닫힌 연속 곡선에 내접 사각형이 존재하는지 여부를 묻는다.
- 이 문제는 '내접 사각형 문제'로 알려져 있으며, 수학에서 해결되지 않은 문제 중 하나이다.
- Herbert Vaughan에 의해 제안된 간단한 버전의 문제는 내접 직사각형을 찾을 수 있는지에 대한 것이다.
- 이 논의는 Klein 병과 관련이 있으며, 이는 단순한 호기심이나 장식품으로 등장하지 않는다.
- 내접 사각형 문제는 현대 수학에서 중요한 문제로, 다양한 수학적 분야와 연결되어 있다.
2. 📜 역사와 개인적 동기
- 초기 비디오 중 하나는 이 증명에 관한 것이었으며, 이번 비디오는 그에 대한 두 번째 에디션으로 제작되었습니다.
- 원래 비디오 이후 더 많은 연구가 진행되었으며, 이는 논의할 가치가 있습니다.
- 증명 과정에서 아름답고 사고를 확장시키는 흥미로운 연결점들이 존재합니다.
- 폐곡선에 내접하는 직사각형이 있다는 것을 증명하는 것의 실용적 응용은 없지만, 도전적인 퍼즐에 참여하는 것은 문제 해결 본능을 강화시킵니다.
- 이 증명은 토폴로지가 무엇인지 처음으로 느끼게 해준 경험이었습니다.
- 토폴로지는 종종 기묘한 형태의 연구로 소개되지만, 실제로는 문제 해결에 도움이 되는 수학적 개념입니다.
3. 🔄 문제 재구성: 직사각형 찾기
- 문제를 재구성하여 직사각형을 찾는 방법은 두 쌍의 점을 찾는 것으로 시작합니다. 이 두 쌍의 점은 같은 중점을 가지며 같은 길이를 가져야 합니다.
- 이러한 두 쌍의 점이 존재한다면, 그 점들은 직사각형을 형성하게 됩니다.
- 임의의 닫힌 루프에서 모든 가능한 점 쌍을 고려하여, 각 쌍의 중점과 거리 데이터를 수집합니다.
- 이 데이터를 3차원 공간의 점으로 생각하여, 루프의 점 쌍을 3차원 공간으로 매핑합니다.
- 이 매핑은 연속적이며, 입력이 약간 변경되면 출력도 약간만 변경됩니다.
- 두 쌍의 점이 같은 출력으로 매핑되면, 그 쌍은 같은 중점과 같은 거리를 가지며, 이는 직사각형을 형성한다는 것을 의미합니다.
- 모든 가능한 점 쌍과 그에 대응하는 3차원 출력들을 고려할 때, 충돌이 반드시 발생해야 한다는 것을 증명하는 것이 목표입니다.
- 이 매핑의 모든 가능한 출력은 복잡한 표면을 형성하며, 이 표면의 단면은 루프 자체와 유사합니다.
4. 🔍 3D 공간에서의 충돌 탐색
- 자체 교차가 발생하는 표면을 이해하는 것이 중요하다.
- 모든 평면의 루프는 고유한 표면을 가지고 있으며, 이는 루프의 자체 교차를 설명한다.
- 원형 루프의 경우, 표면은 돔과 유사하며, 무한히 많은 내접 직사각형이 존재한다.
- 이러한 내접 직사각형의 대각선 길이는 원의 지름과 같다.
- 루프의 점 쌍을 3D 공간의 점으로 매핑하는 함수는 여러 점을 단일 점으로 매핑할 수 있다.
- 자체 교차는 두 점 쌍이 동일한 출력으로 매핑되는 것을 의미한다.
- 표면은 함수 그래프가 아니며, 입력은 루프의 점 쌍이고 출력은 3D 공간의 점이다.
- 곡선의 근처에서 표면의 단면은 곡선 자체와 유사하다.
- 루프의 점 쌍을 다른 표면과 연결하는 자연스러운 방법을 찾는 것이 중요하다.
5. 🔗 토러스와 모비우스 띠의 연결
- 루프의 각 점을 0과 1 사이의 숫자와 연결하여 내부 좌표계를 설정합니다. 이는 루프를 잘라서 숫자선의 단위 구간에 평평하게 펼치는 것과 유사합니다.
- 루프의 각 점은 0과 1 사이의 고유한 숫자와 연결되며, 0과 1은 동일한 루프의 점에 매핑됩니다.
- 이 연관성을 지속적으로 유지하기 위해 0과 1을 연결하는 것이 중요합니다.
- 루프의 점 쌍을 고려할 때, x축과 y축을 사용하여 각 점의 좌표를 나타내고, 이 점 쌍은 단위 정사각형의 한 점에 해당합니다.
- 정사각형의 각 점과 루프의 점 쌍 간의 연관성은 거의 일대일 매핑이지만, 0과 1의 좌표가 동일한 것을 고려해야 합니다.
- x좌표가 0인 모든 점은 x좌표가 1인 점과 동일한 루프 쌍을 나타냅니다.
- y좌표가 0인 모든 점은 y좌표가 1인 점과 동일한 루프 쌍을 나타냅니다.
- 이러한 점들을 연결하여 튜브 형태를 만들고, 이를 다시 연결하여 도넛 모양의 표면인 토러스를 형성합니다.
- 토러스의 각 점은 루프의 고유한 점 쌍에 해당하며, 연관성은 연속적입니다.
- 루프의 임의의 두 점 쌍이 동일한 중간점과 거리를 가질 때, 점 쌍의 순서가 중요합니다.
- 점 쌍을 무순서로 간주할 때, x,y 좌표는 y,x 좌표와 동일하게 간주되어야 합니다.
- 정사각형을 대각선으로 접어 반사된 점들이 동일한 루프의 점 쌍을 나타내도록 합니다.
- 대각선으로 접은 후, 모비우스 띠를 형성하기 위해 반대 방향의 화살표를 연결하여 반회전을 도입합니다.
- 모비우스 띠의 각 점은 루프의 고유한 점 쌍에 해당하며, 연관성은 연속적입니다.
6. 🔍 모비우스 띠와 3D 공간의 관계
- 모비우스 띠는 3D 공간에서 특정 표면과 연속적인 함수로 연결될 수 있다.
- 모비우스 띠의 가장자리는 xy 평면에 제한될 수 없으며, 이는 자기 교차 없이는 불가능하다.
- 모비우스 띠를 3D에 임베드할 때 가장자리가 평면에 제한되면 자기 교차가 발생한다.
- 두 개의 모비우스 띠의 가장자리를 연결하면 클라인 병이 형성된다.
- 클라인 병은 3D에서 자기 교차 없이 표현할 수 없다.
- 이러한 자기 교차는 두 쌍의 점이 동일한 중점과 거리를 가지며 직사각형을 형성함을 의미한다.
7. 🔎 미해결 문제: 내접 정사각형
7.1. 내접 정사각형 문제
7.2. Greene과 Lobb의 기여
8. 🧠 수학적 사고와 위상수학의 역할
- 수학자들이 메비우스 띠, 클라인 병, 고차원 객체와 같은 형태를 연구할 때, 단순히 기이함을 연구하는 것이 아님.
- 문제를 해결하는 과정에서 구조를 만들어내는 경우, 그 구조가 매우 복잡할 수 있으며, 때로는 연구에서 벗어나 오락 수학으로 이어짐.
- 메비우스 띠는 특정한 표면이 아니라, 루프의 무순서 쌍과 같은 추상적 개념도 포함.
- 위상 공간은 특정한 형태가 아니라 무한한 형태의 가족으로, 특정한 동등성 개념으로 연결됨.
- 위상수학은 연속적인 연관성을 이해하고, 그 연관성 하에서 가능한 것과 불가능한 것을 이해하는 게임.
- 유명한 형태들은 연속적인 맵 하에서 본질적으로 같은 행동을 하는 거대한 형태의 가족을 대표.
- 논리적 증명을 찾을 때, 제약과 불가능성은 진보의 연료가 됨.
- 위상수학은 데이터 분석, 네트워크 구조 이해, 생물학적 시스템 모델링 등 다양한 분야에 응용됨.