클리포드토루스

Clifford torus
단순 회전을 수행하는 클리포드 토러스의 입체 투영
위상적으로 직사각형은 서로 반대되는 모서리가 함께 봉제된 토러스의 기본 다각형입니다.

기하학적 위상학에서, 클리포드 토러스(Clifford torus)는 두 1
a1
bS와 S의 데카르트 곱 중 가장 단순하고 대칭적인 평탄한 내장이다(원통 표면이 "평탄한" 것과 같은 의미).
그것은 윌리엄 킹던 클리포드의 이름을 따서 지어졌다.R3 아니라 R에 있습니다4.R이 필요한 이유4 알기 위해, S1
b S가 각각 독자적인 매립 공간2
a
R2
b R에 존재하는 경우1
a
, 결과적 공간은 R이 아니라3 R이 된다는4 점에 유의하십시오.
역사적으로 두 원의 데카르트 곱이 대조적으로3 R 토러스라는 관점은 첫 번째 원이 xy를 소비한 후에 두 번째 원에 사용할 수 있는 하나의 독립 z를 가질 것이기 때문에 회전 연산자의 매우 비대칭적인 적용이 필요하다.

다른 방법으로 설명하면, R3 내장된 토러스는 R에 내장4 최대 대칭 클리포드 토러스의 비대칭 축소 차원 투영이다.이 관계는 큐브의 모서리를 종이에 투영하는 것과 유사합니다.이러한 투영을 통해 큐브 모서리의 연결을 정확하게 캡처하는 저차원 이미지가 생성되지만 큐브의 완전 대칭 및 교환 가능한 세 축 중 하나를 임의로 선택하고 제거해야 합니다.

S1
b S의 반지름이 각각1/21
a 경우, Clifford torus 제품은 R4 3차원 서브매니폴드인 3구3 S에 완벽하게 들어갑니다.
C가 위상적으로 R4 동일하기 때문2 수학적으로 편리할 때, Clifford torus는 복소 좌표 공간2 C 안에 있는 것으로 볼 수 있다.

클리포드 토러스는 정사각형 토러스의 한 예입니다. 왜냐하면 그것은 반대쪽이 확인된 정사각형등각형이기 때문입니다.그것은 유클리드 2-토러스("2"는 그것의 위상 차원이다)로 더 알려져 있다; 그것에 그려진 도형들은 그것이 평탄한 처럼[clarification needed] 유클리드 기하학을 따르는 반면, 일반적인 "도넛" 모양의 토러스의 표면은 바깥쪽 테두리에서는 양의 곡선과 안쪽에서는 음의 곡선으로 되어 있다.비록 3차원 유클리드 공간에서 토러스의 표준 매립과는 다른 형상을 가지고 있지만, 정사각형 토러스는 또한 내쉬 매립 정리에 의해 3차원 공간에 매립될 수 있다; 하나의 가능한 매립은 표면을 따라 두 개의 수직 방향으로 흐르는 프랙탈 파동 세트에 의해 표준 토러스를 수정한다.를 클릭합니다.[1]

형식적 정의

R2 단위 1 S는 각도 좌표로 파라미터화할 수 있습니다.

R의 다른2 복사본에서 단위 원의 다른 복사본을 가져옵니다.

그럼 클리포드 토러스는

S1 각 복사본은 R의 내장2 서브매니폴드이므로, 클리포드 토러스는 R × R2 = R4 내장2 토러스이다.

R4 좌표(x1, y1, x2, y2)에 의해 주어지면 클리포드 토러스는 다음과 같이 주어진다.

이것은 R에서4 Clifford torus가 3구3 S 유닛의 서브매니폴드임을 보여준다.

클리포드 토러스가 S에서3 최소 표면임을 쉽게 확인할 수 있다.

복소수를 사용한 대체 도출

클리포드 토러스를 C에 내장2 토러스로 간주하는 것도 일반적이다.C의 두 복사본에는 다음과 같은 단위 원이 있습니다(여전히 각도 좌표에 의해 파라미터화됨).

그리고.

이제 클리포드 토러스는

이전과 같이 C2 단위구3 S에 내장된 서브매니폴드이다.

C2 좌표(z1, z2)에 의해 주어지면 클리포드 토러스는 다음과 같이 주어진다.

위에서 정의한 클리포드 토러스에서 클리포드 토러스의 원점까지의2 거리는 다음과 같습니다.

C2 원점에서 1의 거리에 있는 모든 점의 집합이 단위 3구이기 때문에 Clifford torus는 이 3구 안에 있습니다.사실 클리포드 토러스는 이 3개의 구를 두 개의 합동 고체 토리로 나눕니다(히가르트[2] 분할 참조).

O(4)는 직교 변환에 의해 R4 작용하므로 에서 정의한 "표준" 클리포드 토러스를 강성 회전을 통해 다른 동등한 토리로 이동할 수 있습니다.이것들은 모두 "Clifford tori"라고 불립니다.6차원군 O(4)는 3구 안에 있는 모든 클리포드 토리의 공간에서 횡방향으로 작용한다.그러나 이 동작에는 2차원 스태빌라이저(그룹 동작 참조)가 있습니다. 이는 토러스가 (다른 토러스로 이동하는 것이 아니라) 토러스가 세로 방향으로 회전하기 때문입니다.그래서 실제로 클리포드 [2]토리의 4차원 공간이 있다.사실, 3구 단위의 클리포드 토리와 극의 대원 쌍(즉, 최대로 떨어져 있는 대원) 사이에는 일대일 대응 관계가 있다.Clifford torus가 주어졌을 때, 연관된 극지방의 대원은 두 상호보완적인 영역의 핵심 원이다.반대로, 극지방의 대원 쌍이 주어지면, 연관된 클리포드 토러스는 두 원에서 등거리에 있는 3구체의 점들의 궤적입니다.

클리포드 토리의 보다 일반적인 정의

2-평면22 R에서 반지름 r의 원의 곱인 3-sphere32 S의 평면 토리를 "Clifford tori"라고도 한다.

같은 원은 0 ≤ θ ≤ ≤ π π π/2 범위의 일부 각도 in에 대해 cos(θ) 및 sin(θ)인 반지름을 갖는 것으로 생각할 수 있다(여기서 퇴화 사례 θ = 0 θ = //2 포함).

이 모든 형태의 토리의 0 ≤ θ θ 2 2 2에 대한 결합

(여기서 S(r)는 중심(0, 0)반지름 r을 갖는 것으로 정의된 평면2 R의 원을 나타낸다3.) (각각 S의 대원3 해당하며 함께 극성 대원의 쌍을 구성하는 두 퇴화 사례 = 0 θ = θ/2를 포함해야 한다.)

Torusθ T는 쉽게 볼 수 있는 영역이 있습니다.

따라서 Torusπ/4 T만이 가능한 최대 면적이 2µ이다2.Torusπ/4 T는 "Clifford Torus"라고 가장 일반적으로 불리는 Torusθ T이며, S에서 최소3 표면인 T 중 하나이기도θ 합니다.

더 높은 차원의 클리포드 토리에 대한 더 일반적인 정의

짝수 차원 유클리드 공간2n R = Cn 단위구2n−1 S는 다음과 같이 복소 좌표로 표현될 수 있다.

그런 다음, 음수가 아닌 모든1 숫자 r, ..., rn 대해 r + ...이 된다12.+ rn2 = 1, 다음과 같이 일반화 클리포드 토러스를 정의할 수 있다.

이 일반화된 클리포드 토리는 모두 서로 분리되어 있다.이러한 토리 T의 결합이r1, ..., rn 단위(2n - 1)-2n−1 S라고 다시 한 번 결론지을 수 있다(여기서 반지름 k 적어도 하나가 0인 퇴화 경우를 다시 포함해야 한다).

특성.

  • 클리포드 토러스는 "평탄하다"; 그것은 일반적인 회전 토러스와 달리 늘리지 않고 평면으로 평평하게 펴질 수 있다.
  • 클리포드 토러스는 3구체를 2개의 합동 고체 토리로 분할한다(입체 투영에서는 클리포드 토러스가 혁명의 표준 토러스로 나타난다).3구체를 균등하게 나눈다는 것은 투사된 토러스 내부는 외부와 동등하다는 것을 의미하며, 이는 쉽게 시각화되지 않습니다.)

수학에 사용

심플렉틱 기하학에서 클리포드 토러스는 표준 심플렉틱 구조를 가진 C의 내장2 라그랑지안 서브매니폴드의 예를 제시합니다.(물론 C의 내장 원의 곱은 C2 라그랑지안 토러스를 제공하므로 이것들은 클리포드 토리가 될 필요는 없습니다.)

로슨 추측에 따르면 원형 메트릭을 가진 3구체의 최소 내장 토러스는 모두 클리포드 토러스여야 합니다.이 추측은 2012년 Simon Brendle에 의해 증명되었다.

Clifford tori와 등각 변환 하에서의 이미지는 윌모어 기능의 글로벌 미니마이저입니다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ 를 클릭합니다Borrelli, V.; Jabrane, S.; Lazarus, F.; Thibert, B. (April 2012), "Flat tori in three-dimensional space and convex integration", Proceedings of the National Academy of Sciences, 109 (19): 7218–7223, doi:10.1073/pnas.1118478109, PMC 3358891, PMID 22523238.
  2. ^ a b Norbs, P (September 2005). "The 12th problem" (PDF). The Australian Mathematical Society Gazette. 32 (4): 244–246.