구면 뒤집기 문서 원본 보기

{{위키데이터 속성 추적}}
[[파일:MorinSurfaceFromTheTop.PNG|섬네일| "위"에서 본 모린 곡면]]
[[파일:Evshort2.webm|섬네일|<ref name="sev-eq">{{저널 인용|제목=Analytic sphere eversion using ruled surfaces|저널=Differential Geometry and Its Applications|성=Bednorz|이름=Adam|성2=Bednorz|이름2=Witold|연도=2019|권=64|쪽=59–79|arxiv=1711.10466|doi=10.1016/j.difgeo.2019.02.004}}</ref>에서 묘사된 구면 뒤집기 과정에서 묘사된 구면 뒤집기 과정]]
[[파일:Eversion_flat.jpg|섬네일| 종이 구면 뒤집기 및 모린 곡면]]
[[파일:Eversion_six_flat.jpg|섬네일| 육각 대칭을 가진 종이 모린 곡면]]
[[미분위상수학]]에서 '''구면 뒤집기'''({{llang|en|Sphere eversion}})는 [[3차원|3차원 공간]]에서 [[구 (기하학)|구면]]의 안쪽 면과 바깥 쪽 면을 서로 뒤집어 바꾸는 과정이다. 놀랍게도, 구를 자르거나 찢거나 [[wiktionary:crease#English|주름]]을 만들지 않고 자기 교차를 허용하여 매끄럽게 뒤집을 수 있다. 이것은 수학자가 아닌 사람과 정규 호모토피를 이해하는 사람 모두에게 놀라운 일이며 [[역설]]로 볼 수 있다.

더 정확하게는

: <math>f\colon S^2\to \R^3</math>

표준 [[매장 (수학)|묻기]]이어야 한다. 그러면 <math>f_0=f</math>이고 <math>f_1=-f</math>인 [[몰입 (수학)|몰입]]의 정규 호모토피

: <math>f_t\colon S^2\to \R^3</math>

가 있다.

== 역사 ==
주름 없는 구면 뒤집기에 대한 존재성은 1957년 [[스티븐 스메일]]이 처음 증명했다. 첫 번째 예는 아르놀드 샤피로와 맹인인 버나드 모린을 포함한 여러 수학자들의 노력을 통해 구성되었다.

스메일의 대학원 지도교수인 [[라울 보트]]는 처음에 스메일에게 결과가 명백히 잘못되었다고 말했다{{하버드 인용|Levy|1995}}. 보트는 [[가우스 맵|가우스 사상]]의 [[브라우어르 차수|차수]]가 이러한 "회전"에 대해서 보존되어야 한다고 추측했다. 특히 <math>\mathbb R^2</math>에서 <math>\mathbb S^1</math>의 그러한 회전은 존재하지 않는다. 그러나 <math>\mathbb R^3</math>의 묻기 <math>f</math>와 <math>-f</math>에 대한 가우스 사상의 차수는 둘 다 1이다. <math>\mathbb R^3</math>에서 <math>\mathbb S^2</math>의 모든 몰입의 가우스 사상의 차수는 1이므로, 가우스 사상의 차수는 구면 뒤집기에 문제가 되지 않는다.

일반화에 대해서는 [[호모토피 원리]]를 참조하라.

== 증명 ==
스메일의 원래 증명은 간접적이었다. 그는 Stiefel 다양체의 호모토피 군을 사용하여 구면의 몰입의 (정규 호모토피) 동치류를 식별했다. <math>\R^3</math>안에 <math>\mathbb S^2</math>의 몰입들에 해당하는 호모토피 군이 자명하기 때문에, 표준적 묻기와 뒤집기는 정규 호모토픽이어야 한다. 그러나 구체적으로 정규 호모토피를 구성하는 것은 쉽지 않다.

명시적 예제와 수학적 대상의 시각화를 생성하는 방법에는 여러 가지가 있다.

[[파일:Minimax Sphere Eversion.webm|thumbtime=17|섬네일|Minimax 구면 뒤집기; see the [[:commons:File:Minimax Sphere Eversion.webm|video's Wikimedia Commons page]] for a description of the video's contents]]

* 중간 모델 : 이들은 아주 특별한 호모토피로 구성된다. 이것은 소년의 곡면을 통해 샤피로와 필립스가 처음 수행한 원래 방법이며 나중에 많은 다른 사람들에 의해 개선되었다. 원래의 중간 모델 호모토피는 수작업으로 구성되었고 위상학적으로 작동했지만 최소 크기는 아니었다. 넬슨 막스가 7년에 걸쳐 제작하고 찰스 푸의 치킨 와이어 모델(나중에 버클리의 수학과에서 도난당함)을 기반으로 한 이 영화는 당시로서는 [[컴퓨터 그래픽스|컴퓨터 그래픽]] '투르 드 포스'였으며 수년 동안 컴퓨터 그래픽의 벤치마크였다. 보다 최근의 결정적인 그래픽 개선(1980년대)은 [[변분법]]적인 최대최소 뒤집기이며 특별한 호모토피로 구성된다.(윌모어 에너지와 관련하여 최단 경로)

[[파일:Thurston_Sphere_Eversion.webm|thumbtime=7|섬네일|구면 뒤집기 using 서스턴's corrugations; see the [[c:File:Thurston Sphere Eversion.webm|video's Wikimedia Commons page]] for a description of the video's contents]]

* [[윌리엄 서스턴|서스턴]]의 주름: 이것은 [[위상수학]] 방법이며 일반적이다. 그것은 호모토피를 취하여 교란시켜 정규 호모토피가 되도록 한다. 이것은 실비오 레비, 델 맥스웰 및 Tamara Munzner 의 지시에 따라 Geometry Center에서 개발된 컴퓨터 그래픽 영상 ''Outside In''에 설명되어 있다.<ref>{{웹 인용|url=http://www.geom.uiuc.edu/docs/outreach/oi/|제목=Outside In: Introduction|웹사이트=The Geometry Center|확인날짜=21 June 2017|archive-date=2022-12-14|archive-url=https://web.archive.org/web/20221214124327/http://www.geom.uiuc.edu/docs/outreach/oi/|url-status=}}</ref>
* 위의 방법을 결합하여 완전한 구면 뒤집기는 최소한의 위상수학적 어려움을 가진 일련의 닫힌 방정식으로 설명할 수 있다.<ref name="sev-eq">{{저널 인용|제목=Analytic sphere eversion using ruled surfaces|저널=Differential Geometry and Its Applications|성=Bednorz|이름=Adam|성2=Bednorz|이름2=Witold|연도=2019|권=64|쪽=59–79|arxiv=1711.10466|doi=10.1016/j.difgeo.2019.02.004}}</ref>

== 다른 예 ==
유클리드 공간 <math>\mathbb{R}^{n+1}</math>에 묻혀있는 <math>\mathbb S^n</math>을 뒤집을 수 있는 경우는 다음 세 가지 밖에 없다.

* 7차원 유클리드 공간 <math>\mathbb{R}^7</math>에서 6차원 구면 <math>\mathbb S^6</math>.
* 수직선 <math>\mathbb{R}</math>에서 0차원 구면 <math>\mathbb S^0</math>의 자명한 경우(두 개의 구별되는 점)
* 위에서 설명한 <math>\mathbb{R}^3 </math>에서 2차원 구면 <math>\mathbb S^2</math>

== 뒤집기 단계들 ==
{| class="wikitable" style="margin-left: auto; margin-right: auto; border: none;"
|{{multiple image
| align             = center
| header            = Ruled model of halfway with quadruple point
| width             = 100
| image1            = hw-a.png
| caption1          = top view
| image2            = hw-b.png
| caption2          = diagonal view
| image3            = hw-c.png
| caption3          = side view
| direction         = 
| total_width       = 
| alt1              = 
}}
|}
{| class="wikitable" style="margin-left: auto; margin-right: auto; border: none;"
|{{multiple image
| align             = center
| header            = Ruled model of end of central intersection loop
| width             = 100
| image1            = Ddw-b.png
| caption1          = top view
| image2            = Ddw-b1.png
| caption2          = diagonal view
| image3            = Ddw-b2.png
| caption3          = side view
| direction         = 
| total_width       = 
| alt1              = 
}}
|}
 {{multiple image
| align             = center
| header            = Nylon string open model
| width             = 100
| image1            = Q-point.jpg
| caption1          = halfway top
| image2            = Q-point2.jpg
| caption2          = halfway side
| image3            = T-point.jpg
| caption3          = triple death top
| image4            = T-point2.jpg
| caption4          = triple death side
| image5            = D-point.jpg
| caption5          = intersection end top
| image6            = D-point2.jpg
| caption6          = intersection end side
| direction         = 
| total_width       = 
| alt1              = 
}}

== 같이 보기 ==
* [[휘트니-그라우스타인 정리]]

== 각주 ==
{{각주}}

=== 참고 문헌 ===
* [[arxiv:1008.0916|Iain R. Aitchison (2010) The `Holiverse': holistic eversion of the 2-sphere in R^3]], preprint. arXiv:1008.0916.
* John B. Etnyre (2004) Review of "h-principles and flexibility in geometry", {{MathSciNet|id=1982875}}.
* {{인용|last1=Francis|first1=George K.|title=A topological picturebook|title-link=A Topological Picturebook|publisher=[[Springer-Verlag]]|location=Berlin, New York|isbn=978-0-387-34542-0|mr=2265679|year=2007}}
* George K. Francis & [[:en:Bernard_Morin|버나드 모린]] (1980) "Arnold Shapiro's Eversion of the Sphere", [[:en:Mathematical_Intelligencer|Mathematical Intelligencer]] 2(4):200&#x2013;3.
* {{인용|last1=Levy|first1=Silvio|title=Making waves|publisher=A K Peters Ltd.|location=Wellesley, MA|isbn=978-1-56881-049-2|mr=1357900|year=1995|chapter=A brief history of sphere eversions|chapter-url=http://www.geom.uiuc.edu/docs/outreach/oi/history.html|access-date=2022-12-20|archive-date=2017-09-09|archive-url=https://web.archive.org/web/20170909131830/http://www.geom.uiuc.edu/docs/outreach/oi/history.html|url-status=}}
* Max, Nelson (1977) "Turning a Sphere Inside Out", https://www.crcpress.com/Turning-a-Sphere-Inside-Out-DVD/Max/9781466553941 {{웹아카이브|url=https://web.archive.org/web/20160304074158/https://www.crcpress.com/Turning-a-Sphere-Inside-Out-DVD/Max/9781466553941}}
* Anthony Phillips (May 1966) "Turning a surface inside out", ''Scientific American'', pp.&nbsp;112–120.
* {{인용|last1=Smale|first1=Stephen|author1-link=Stephen Smale|title=A classification of immersions of the two-sphere|jstor=1993205|mr=0104227|year=1958|journal=[[Transactions of the American Mathematical Society]]|issn=0002-9947|volume=90|issue=2|pages=281–290|doi=10.2307/1993205|doi-access=free}}

== 외부 링크 ==
* [http://torus.math.uiuc.edu/jms/Papers/isama/color/opt2.htm 구 반전의 역사] {{웹아카이브|url=https://web.archive.org/web/20200711130735/http://torus.math.uiuc.edu/jms/Papers/isama/color/opt2.htm}}
* [http://www.cs.berkeley.edu/~sequin/SCULPTS/SnowSculpt04/eversion.html "구를 뒤집기"]
* [http://profs.etsmtl.ca/mmcguffin/eversion/ 구면 뒤집기를 시각화하기 위한 소프트웨어]
* [https://www.youtube.com/watch?v=876a_0WAoCU/ 수학 시각화: 위상수학.] [https://www.youtube.com/watch?v=876a_0WAoCU/ 홀리버스 구면 뒤집기(Povray 애니메이션)]
* deNeve/Hills 구체 반전: [https://www.youtube.com/watch?v=FL4JoWlVj98/ 비디오] 및 [http://www.chrishills.org.uk/ChrisHills/sphereeversion/interactive/index.html?a=y/ 대화형 모델]
* Lean Theorem Prover에서 증명을 공식화하기 위한 [https://leanprover-community.github.io/sphere-eversion/ Patrick Massot의 프로젝트]
* Adam Bednorz와 Witold Bednorz의 구면 뒤집기 방법에 대한 [https://rreusser.github.io/explorations/sphere-eversion/ 대화형 탐색]
* [https://www.youtube.com/watch?v=wO61D9x6lNY Outside In] : [[미네소타 대학교|미네소타 대학의]] 기하학 센터에서 제작한 구면 뒤집기에 대한 영상

[[분류:수학의 역설]]
[[분류:미분위상수학]]