{{위키데이터 속성 추적}}
[[파일:Clifford-torus.gif|오른쪽|섬네일|255x255픽셀| [[4차원 회전군|간단한 회전]]을 수행하는 클리포드 원환면의 입체 사영]]
[[파일:TorusAsSquare.svg|섬네일| 위상학적으로 [[직사각형]]은 반대쪽 가장자리가 함께 꿰매어진 원환면의 기본 다각형이다.]]
[[기하학적 위상수학]]에서 '''클리포드 원환면'''({{llang|en|Clifford torus}})은 두 [[단위원|원]] <math>S^1_a</math>와 <math>S^1_b</math>을 [[곱집합|데카르트 곱]]한 <math>S^1_a\times S^1_b</math>의 가장 단순하고 가장 대칭적인 [[원환면|평평한]](원통의 표면이 "평평하다"는 것과 같은 의미) 매장이다. 영국 수학자 [[윌리엄 킹던 클리퍼드|윌리엄 킹던 클리포드]]의 이름을 따서 명명되었다. 이것은 <math>\R^3</math>이 아니라 <math>\R^4</math>에 매장된다. <math>S^1_a</math>와 <math>S^1_b</math> 각각이 자신의 독립적인 매장 공간 <math>\R^2_a</math>와 <math>\R^2_b</math>에 존재하면, 곱공간은 <math>\R^3</math>이 아닌 <math>\R^4</math>이다. 대조적으로, 두 원의 데카르트 곱이 <math>\R^3</math>에 매장된 [[원환면]]이라는 역사적으로 대중적인 명제에는 두 번째 원에 대해 회전 연산자의 아주 비대칭적인 적용이 필요하다.

달리 말하면, <math>\R^3</math>에 매장된 원환면은 <math>\R^4</math>에 매장된 최대 대칭인 클리포드 원환면의 비대칭  차원 축소 사영이다. 이 관계는 정육면체의 모서리를 종이 위에 사영하는 것과 유사하다. 이러한 사영은 정육면체 가장자리의 연결을 정확하게 반영하는 저차원 상(像)을 생성하지만, 정육면체의 완전히 대칭적이고 상호 교환 가능한 3개의 축들 중 하나를 임의로 골라 제거해야 한다.

<math>S^1_a</math>와 <math>S^1_b</math>각각의 반지름이 <math>\textstyle\sqrt{1/2}</math>이라면, 그들의 클리포드 원환면 곱은 <math>\R^4</math>의 3차원 부분 다양체인 단위 [[3차원 초구|3차원 구면]] <math>S^3</math> 안에 완벽하게 맞을 것이다. <math>\C^2</math>는 <math>\R^4</math>와 위상동형이기 때문에, 편의상 클리포드 원환면은 복소 좌표 공간 <math>\C^2</math> 내부에 있는 것으로 볼 수 있다.

클리포드 원환면은 '''정사각형 원환면'''의 예이다. 그 이유는, 반대쪽 면이 식별된 [[정사각형]]과 [[등거리변환|등장동형]]이기 때문이다. 이는 '''유클리드 2-원환면'''("2"는 위상수학적 차원)으로 더 잘 알려져 있다. 그것에 그려진 그림은 [[유클리드 기하학]]을 따른다. 일반적인 "[[도넛]]" 모양 원환면은 외부 테두리에서 양으로 구부러지고 내부에서 음으로 구부러지는 반면, 마치 평평한 것처럼 보인다. 3차원 유클리드 공간에서 원환면의 표준 매장과는 다른 기하학을 갖지만 정사각형 원환면은 내쉬 매장 정리에 의해 3차원 공간에 매장될 수도 있다. 하나의 가능한 임베딩은 표면을 따라 두 개의 수직 방향으로 실행되는 잔물결의 [[프랙탈]] 집합에 의해 표준 원환면을 수정한다.<ref>{{인용
 | last1 = Borrelli | first1 = V.
 | last2 = Jabrane | first2 = S.
 | last3 = Lazarus | first3 = F.
 | last4 = Thibert | first4 = B.
 | date = April 2012
 | doi = 10.1073/pnas.1118478109
 | issue = 19
 | journal = Proceedings of the National Academy of Sciences
 | pages = 7218–7223
 | title = Flat tori in three-dimensional space and convex integration
 | volume = 109 | pmid=22523238 | pmc=3358891| doi-access = free
 }}.</ref>

== 정의 ==
<math>\R^2</math>의 [[단위원]] <math>S^1</math>은 각도 좌표로 매개변수화할 수 있다.

: <math>S^1 = \{ ( \cos\theta, \sin\theta ) \mid 0 \leq \theta < 2\pi \}.</math>

<math>\R^2</math>의 다른 복사본에서 <math>S^1</math>의 또 다른 복사본을 가져온다.

: <math>S^1 = \{ ( \cos\varphi, \sin\varphi ) \mid 0 \leq \varphi < 2\pi \}.</math>

그러면 클리포드 원환면은

: <math>\frac{1}{\sqrt{2}}S^1 \times \frac{1}{\sqrt{2}} S^1 = \left\{ \frac{1}{\sqrt{2}} ( \cos\theta, \sin\theta, \cos\varphi, \sin\varphi ) \mid 0 \leq \theta < 2\pi, 0 \leq \varphi < 2\pi \right\}.</math>

<math>S^1</math>의 각 복사본은 <math>\R^2</math>의 포함된 부분 다양체 이므로 클리포드 원환면은 <math>\R^2\times\R^2=\R^4</math>에서 포함된 원환면이다.

<math>\R^4</math>가 좌표 <math>(x_1, y_1, x_2, y_2)</math>로 주어지면 클리포드 원환면은 다음 방정식의 해집합으로 주어진다:

: <math>x_1^2 + y_1^2 = \frac{1}{2} = x_2^2 + y_2^2.</math>

이는 <math>\R^4</math>에서 클리포드 원환면이 3차원 단위 구면 <math>S^3</math>의 부분 다양체임을 보여준다.

=== 복소수를 이용한 유도 ===
클리포드 원환면을 <math>\C^2</math>에 [[매장 (수학)|매장]]된 원환면으로 보는 것도 일반적이다. '''<math>\C</math>'''의 두 복사본에는 다음과 같은 단위원이 있다(여전히 각도 좌표로 매개변수화됨).

: <math>S^1 = \left\{ e^{i\theta} \mid 0 \leq \theta < 2\pi \right\}</math>

그리고

: <math>S^1 = \left\{ e^{i\varphi} \mid 0 \leq \varphi < 2\pi \right\}.</math>

이제 클리포드 원환면은 다음과 같이 나타난다.

: <math>\frac{1}{\sqrt{2}}S^1 \times \frac{1}{\sqrt{2}}S^1 = \left\{ \frac{1}{\sqrt{2}} \left( e^{i\theta}, e^{i\varphi} \right) \, | \, 0 \leq \theta < 2\pi, 0 \leq \varphi < 2\pi \right\}.</math>

이전과 마찬가지로 이것은 <math>\C^2</math>의 단위 구 <math>S^3</math>에 포함된 부분 다양체이다.

<math>\C^2</math>가 좌표 <math>(z_1, z_2)</math>로 주어지면 클리포드 원환면은 다음과 같이 주어진다.

: <math>\left| z_1 \right|^2 = \frac{1}{2} = \left| z_2 \right|^2.</math>

위에 정의된 클리포드 원환면에서 클리포드 원환면의 모든 지점에서 <math>\C^2</math>의 원점까지의 거리는 다음과 같다.

: <math>\sqrt{ \frac{1}{2}\left| e^{i\theta} \right|^2 + \frac{1}{2}\left| e^{i\varphi} \right|^2} = 1.</math>

<math>\C^2</math>의 원점에서 거리 1만큼 떨어진 모든 점의 집합은 <math>S^3</math>이고 따라서 클리포드 원환면은 <math>S^3</math>의 안에 있다. 사실, 클리포드 원환면은 이 <math>S^3</math>를 합동인 두 개의 솔리드 원환면들로 나눈다([[히가드 분할]]<ref name="Norbs">
{{저널 인용
  | last = Norbs
  | first = P
  | author-link = 
  | title = The 12th problem
  | journal = The Australian Mathematical Society Gazette
  | volume = 32
  | issue = 4
  | pages = 244–246
  | date = September 2005
  | url = http://www.austms.org.au/Publ/Gazette/2005/Sep05/millennium.pdf
  | doi = 
  | id = 
}}</ref>).

[[직교군]] <math>O(4)</math>는 직교 변환에 의해 <math>\R^4</math>에 작용하기 때문에 위에서 정의한 "표준" 클리포드 원환면을 강체 회전을 통해 다른 동등한 원환면으로 이동할 수 있다. 이것들은 모두 "클리포드 토리"라고 불린다. 6차원 군 <math>O(4)</math>는 <math>S^3</math> 안에 있는 이러한 모든 클리포드 토리의 공간에서 추이적으로 작용한다. 그러나 이 작용에는 원환면의 자오선 및 세로 방향으로의 회전이 원환면을 보존하므로(다른 원환면으로 이동하는 것과는 반대로) 2차원 안정화 부분군 ([[군의 작용|군 작용]] 참조)이 있다. 따라서 실제로 클리포드 토리의 4차원 공간이 존재한다.<ref name="Norbs" /> 사실, <math>S^3</math>의 클리포드 토리와 한 쌍의 극 대원(즉, 최대로 분리된 대원들)들 사이에는 일대일 대응이 있다. 클리포드 원환면이 주어지면 연관된 극 대원은 두 여집합 각각의 핵심 원이다. 반대로, 한 쌍의 극 대원이 주어지면 연관된 클리포드 원환면은 두 원에서 등거리에 있는 <math>S^3</math>의 점들의 궤적이다.

== 클리포드 토리의 보다 일반적인 정의 ==
하나의 평면 <math>\R^2</math>에서 반지름 ''<math>r</math>''의 원과 다른 평면 <math>\R^2</math>에서 반지름 ''<math>\sqrt{1-r^2}</math>''인 원의 곱인 ''<math>S^3</math>''의 평평한 토리는 때때로 "클리포드 토리"라고도 한다.

동일한 원들이 <math>0\leq\theta\leq\pi/2</math> 범위의 일부 각도 ''<math>\theta</math>''에 대해 <math>\cos\theta</math> 및 <math>\sin\theta</math>인 반지름을 갖는 것으로 생각할 수 있다(여기서 축퇴하는 예들  ''<math>\theta=0</math>'' 및 <math>\theta=\pi/2</math>).

이런 형태의 이러한 모든 토리의 <math>0\leq\theta\leq\pi/2</math>에 대한 합집합

: <math>T_\theta = S(\cos\theta)\times S(\sin\theta)</math>

(여기서 <math>S(r)</math>은 '''<math>\R^2</math>'''에서 중심이 원점이고 반지름이 <math>r</math>로 정의되는 원을 나타낸다)는 <math>S^3</math>이다.(각각 <math>S^3</math>의 대원에 해당하고 한 쌍의 극 대원을 구성하는 두 개의 축퇴하는 예들 ''<math>\theta=0</math>'' 및 <math>\theta=\pi/2</math>를 포함해야 한다. )

이 원환면 ''<math>T_{\theta}</math>''의 면적은

: <math> \operatorname{area}(T_\theta) = 4\pi^2\cos\theta\sin\theta = 2\pi^2\sin2\theta,</math>

임을 쉽게 확인 할 수 있다. 따라서 원환면 ''<math>T_{\pi/4}</math>''만이 가능한 최대 면적이 ''<math>2\pi^2</math>''이다. 이 원환면 ''<math>T_{\pi/4}</math>''는 가장 일반적으로 "클리포드 원환면"라고 불리는 원환면 ''<math>T_{\theta}</math>''이며 ''<math>T_{\theta}</math>'' 중 <math>S^3</math>에서 [[극소 곡면]]인 유일한 원환면이기도 하다.

== 더 높은 차원에서 클리포드 토리의 더 일반적인 정의 ==
짝수 차원 유클리드 공간 <math>\R^{2n}=\C^n</math>에서 임의의 단위 구면 <math>S^{2n-1}</math>은 다음과 같이 복소 좌표로 표현될 수 있다.

: <math>S^{2n-1} = \left\{(z_1, \ldots, z_n) \in \mathbf{C}^n : |z_1|^2 + \cdots + |z_n|^2 = 1\right\}.</math>

그런 다음 ''<math>r_1^2+\cdots+r_n^2=1</math>'' 이 되는 음이 아닌 실수 ''<math>r_1,\dots,r_n</math>''에 대해 다음과 같이 일반화된 클리포드 원환면을 정의할 수 있다.

: <math>T_{r_1,\ldots,r_n} = \left\{(z_1, \ldots, z_n) \in \mathbf{C}^n : |z_k| = r_k,~1 \leqslant k \leqslant n\right\}.</math>

이러한 일반화 된 클리포드 토리는 모두 서로 분리되어 있다. 다시 한 번 이러한 토리 ''<math>T_{r_1,\dots,r_n}</math>'' 각각의 합집합이 단위 <math>(2n-1)</math>-구면 <math>S^{2n-1}</math>이라고 결론을 내릴 수 있다(여기서 반지름들 중 적어도 하나는 <math>r_k=0</math>인 축퇴하는 예들을 다시 포함해야 한다).

== 성질 ==
* 클리포드 원환면은 "평평"하다. 표준 회전 원환면과 달리 늘어나지 않고 평면으로 평평해질 수 있다.
* 클리포드 원환면은 3차원 구면을 합동인 솔리드 원환면 2개로 나눈다. (입체 사영에서 클리포드 원환면은 표준 회전 원환면으로 나타난다. 3구를 균등하게 나눈다는 것은 사영된 원환면의 내부가 외부와 동등하다는 것을 의미하며 쉽게 시각화되지 않는다.

== 수학에서 등장하는 분야 ==
심플렉틱 기하학에서 클리포드 원환면은 표준 심플렉틱 구조를 가진 <math>\C^2</math>의 포함된 [[심플렉틱 다양체|라그랑지안 부분 다양체]]의 예를 제공한다. (물론, <math>\C</math>에 포함된 원의 모든 곱은 <math>\C^2</math>의 라그랑주 원환면을 제공하므로 이들은 클리포드 토리일 필요가 없습니다. )

로우슨 추측은 둥근 계량 이 있는 3구에 [[극소곡면|극소적으로 포함된]] 모든 원환면이 클리포드 원환면여야 한다고 말한다. 이 추측은 2012년 사이먼 브랜들에 의해 증명되었다.

등각 변환 하의 클리포드 토리 및 해당 상은 윌모어 함수의 전역 최소화이다.

== 같이 보기 ==
* [[호프 올뭉치]]
* 클리포드 평행 및 클리포드 표면
* [[윌리엄 킹던 클리퍼드]]

== 참조 ==
<references/>

[[분류:기하학적 위상수학]]
[[분류:4차원 기하학]]