4-정점 정리: 두 판 사이의 차이

위키백과, 우리 모두의 백과사전.
내용 삭제됨 내용 추가됨
Lhr8e2k (토론 | 기여)
태그: m 모바일 웹
Lhr8e2k (토론 | 기여)
태그: m 모바일 웹
42번째 줄: 42번째 줄:


== 참고 문헌 ==
== 참고 문헌 ==

{{reflist|refs=

<ref name=converse>{{cite journal
| last = Gluck | first = Herman
| journal = [[L'Enseignement mathématique]]
| mr = 0344998
| pages = 295–309
| title = The converse to the four-vertex theorem
| volume = 17
| year = 1971}}</ref>

<ref name=converse2>{{cite journal
| last = Dahlberg | first = Björn
| doi = 10.1090/S0002-9939-05-07788-9 | doi-access = free
| issue = 7
| journal = [[Proceedings of the American Mathematical Society]]
| pages = 2131–2135
| title = The converse of the four vertex theorem
| url = https://www.ams.org/proc/2005-133-07/S0002-9939-05-07788-9/home.html
| volume = 133
| year = 2005}}</ref>

<ref name=converse3>{{cite journal
| last1 = DeTurck | first1 = D.
| last2 = Gluck | first2 = H.
| last3 = Pomerleano | first3 = D.
| last4 = Vick | first4 = D.S.
| arxiv = math/0609268
| issue = 2
| journal = [[Notices of the American Mathematical Society]]
| page = 9268
| title = The four vertex theorem and its converse
| url = https://www.ams.org/notices/200702/fea-gluck.pdf
| volume = 54
| year = 2007}}</ref>

<ref name=cycloids>{{cite journal
| last1 = Craizer | first1 = Marcos
| last2 = Teixeira | first2 = Ralph
| last3 = Balestro | first3 = Vitor
| arxiv = 1608.01651
| doi = 10.1007/s00605-017-1030-5
| issue = 1
| journal = [[Monatshefte für Mathematik]]
| mr = 3745700
| pages = 43–60
| title = Closed cycloids in a normed plane
| volume = 185
| year = 2018}}</ref>

<ref name=elementary>{{cite book
| last = Pressley | first = Andrew
| at = Definition 2.1.1, p. 30 and Exercise 2.2.6, p. 44
| doi = 10.1007/978-1-84882-891-9
| edition = 2nd
| isbn = 978-1-84882-890-2
| mr = 2598317
| publisher = Springer-Verlag | location = London
| series = Springer Undergraduate Mathematics Series
| title = Elementary Differential Geometry
| year = 2010}}</ref>

<ref name=extensions>{{cite journal
| last = Graustein | first = W. C. | author-link = William Caspar Graustein
| doi = 10.2307/1989876 | doi-access = free
| issue = 1
| journal = [[Transactions of the American Mathematical Society]]
| mr = 1501889
| pages = 9–23
| title = Extensions of the four-vertex theorem
| volume = 41
| year = 1937}}</ref>

<ref name=krummung>{{cite conference
| last = Kneser | first = Adolf | author-link = Adolf Kneser
| contribution = Bemerkungen über die Anzahl der Extrema der Krümmung auf geschlossenen Kurven und über verwandte Fragen in einer nicht euklidischen Geometrie
| pages = 170–180
| publisher = Teubner
| title = Festschrift Heinrich Weber
| year = 1912}}</ref>

<ref name=lectures>[[Igor Pak|Pak, I.]] ''[https://www.math.ucla.edu/~pak/book.htm Lectures on Discrete and Polyhedral Geometry] {{Webarchive|url=https://web.archive.org/web/20090129195240/http://www.math.umn.edu/~pak/book.htm |date=2009-01-29 }}'', Section 21.</ref>

<ref name=methods>{{cite journal
| last = Mukhopadhyaya | first = S.
| journal = Bulletin of the Calcutta Mathematical Society
| pages = 21–27
| title = New methods in the geometry of a plane arc
| volume = 1
| year = 1909}}</ref>

<ref name=more>{{cite journal
| last = Osserman | first = Robert | author-link = Robert Osserman
| doi = 10.2307/2323126
| issue = 5
| journal = [[The American Mathematical Monthly]]
| mr = 790188
| pages = 332–337
| title = The four-or-more vertex theorem
| volume = 92
| year = 1985}}</ref>

<ref name=physics>{{cite book
| last = Berger | first = Marcel
| contribution = V.8. The four vertex theorem and its converse; an application to physics
| doi = 10.1007/978-3-540-70997-8
| isbn = 978-3-540-70996-1
| mr = 2724440
| pages = 271–278
| publisher = Springer | location = Heidelberg
| title = Geometry Revealed
| year = 2010}}</ref>

<ref name=space>{{cite journal
| last = Sedykh | first = V.D.
| doi = 10.1112/blms/26.2.177
| issue = 2
| journal = [[Bulletin of the London Mathematical Society]]
| pages = 177–180
| title = Four vertices of a convex space curve
| volume = 26
| year = 1994}}</ref>

<ref name=tennis>{{cite journal
| last = Martinez-Maure | first = Yves
| doi = 10.2307/2975192
| issue = 4
| journal = [[The American Mathematical Monthly]]
| jstor = 2975192
| mr = 1383672
| pages = 338–340
| title = A note on the tennis ball theorem
| volume = 103
| year = 1996}}</ref>

<ref name=torsion>{{cite journal
| last = Ghomi | first = Mohammad
| arxiv = 1501.07626
| doi = 10.4310/jdg/1488503004
| issue = 3
| journal = [[Journal of Differential Geometry]]
| pages = 427–486
| title = Boundary torsion and convex caps of locally convex surfaces
| volume = 105
| year = 2017}}</ref>

}}

2023년 2월 14일 (화) 19:13 판

곡선의 네 정을 보여주는 타원(빨간색)과 그 축폐선 (파란색), 각 정점은 축폐선의 첨점에 해당합니다.

기하학4-정점 정리는 단순하고 매끄러운 평면 폐곡선을 따르는 곡률이 적어도 4개의 극값 (구체적으로는 2개의 극솟값과 2개의 극댓값)을 갖는다고 말합니다. 정리의 이름은 곡률 함수의 극점을 정점 이라고 부르는 관례에서 파생됩니다. 이 정리에는 정점이 비틀림이 사라지는 곳으로 정의되는 공간 곡선 에 대한 버전을 포함하여 많은 일반화가 있습니다.

정의와 예시

평면에서 매끄러운 곡선의 어떤 점에서의 곡률은 그 점에서의 원의 반지름의 역수 또는 곡선의 매개변수 표현의 이계도함수노름으로 정의될 수 있습니다. [1] 매끄러운 곡선의 경우와 마찬가지로 , 곡선의 정점이 잘 정의되려면 곡률 자체가 지속적으로 변해야 합니다. [2] 정점은 곡률의 극댓값 또는 극솟값 입니다. 곡선의 호에서 곡률이 일정하면 해당 호의 모든 점이 정점으로 간주됩니다. 4-정점 정리에 따르면 부드러운 폐곡선에는 항상 최소한 4개의 정점이 있습니다.

타원에는 정확히 4개의 정점이 있습니다. 타원의 장축과 교차하는 부분에 2개의 곡률의 극대값과 보조 축과 교차하는 2개의 곡률의 극소값이 있습니다. 에서 모든 점은 곡률의 극대값과 극소값이므로 무한히 많은 정점이 있습니다. [2]

너비가 일정한 모든 곡선에는 최소한 6개의 정점이 있습니다. 뢸로 삼각형 과 같은 많은 일정한 폭의 곡선이 매끄럽지 않거나 경계에 원형 호가 있지만 정확히 6개의 정점을 갖는 일정한 폭의 매끄러운 곡선이 있습니다. [3][4]

역사

4 정점 정리는 1909년 Syamadas Mukhopadhyaya 에 의해 볼록 곡선 (엄격한 양의 곡률을 갖는 곡선)에 대해 처음 증명되었습니다. [5] 그의 증명은 곡선의 한 점이 곡선과 4차 접촉을 갖는 경우에만 곡률 함수의 극단이라는 사실을 활용합니다. 일반적으로 진동하는 원은 곡선과 3차 접촉만 합니다. 4 정점 정리는 1912년 Adolf Kneser가 투영 인수를 사용하여 보다 일반적인 곡선에 대해 증명했습니다. [6]

수년 동안 4 꼭짓점 정리의 증명은 어려웠지만 Osserman (1985) 은 최소 둘러싸는 원 의 아이디어를 기반으로 간단하고 개념적인 증명을 제공했습니다. [7] 이것은 주어진 곡선을 포함하고 가능한 가장 작은 반지름을 갖는 원입니다. 곡선에 원의 호가 포함되어 있으면 정점이 무한히 많습니다. 그렇지 않으면 곡선과 원이 최소한 두 점에서 접해야 합니다. 더 적은 수의 점에서 곡선에 닿은 원이 곡선을 둘러싸는 동안 크기가 줄어들 수 있기 때문입니다. 각 접선에서 곡선의 곡률은 원의 곡률보다 큽니다. 그렇지 않으면 곡선이 원 내부가 아닌 외부 접선에서 계속되기 때문입니다. 그러나 각 쌍의 접선 사이에서 곡률은 원의 곡률보다 작아야 합니다. 변환된 원과 곡선 사이의 접촉점. 따라서 접선의 각 쌍 사이에 극소 곡률이 있어 4개의 정점 중 2개가 제공됩니다. 다른 두 꼭짓점을 제공하는 극소값의 각 쌍(접점 지점일 필요는 없음) 사이에 극대 곡률이 있어야 합니다. [7][2]

반대

4 정점 정리의 반대는 적어도 2개의 극대값과 2개의 극소값을 갖는 원의 연속 적인 실수 값 함수는 단순 폐평면 곡선의 곡률 함수라고 말합니다. 역은 1971년 Herman Gluck에 의해 n-구체 의 곡률을 미리 할당하는 일반 정리의 특수한 경우로 엄격한 양의 함수에 대해 증명되었습니다. [8] 4 정점 정리에 대한 완전한 역은 Björn Dahlberg([[:de:{{{3}}}|독일어판]]) 에 의해 증명되었습니다. 1998년 1월 사망 직전에 출판되었으며 사후에 출판되었습니다. [9] Dahlberg의 증명은 대수학의 기본 정리의 표준 위상 증명을 연상시키는 굴곡 수 인수를 사용합니다. [10]

역학에서의 적용

정리의 결과 중 하나는 중력이 작용하는 수평면에서 구르는 균질한 평면 디스크가 적어도 4개의 균형점을 갖는다는 것입니다. 이것의 불연속 버전은 모노스테틱 폴리곤이 있을 수 없다는 것입니다. 그러나 3차원에는 단정적 다면체가 존재하며 정확히 2개의 균형점(하나는 안정하고 다른 하나는 불안정)을 가진 볼록하고 균일한 물체인 Gömböc 도 존재합니다.

타원에서의 4-정점 정리 그림

불연속 변형

볼록 및 비볼록 다각형 모두에 대해 4-정점 정리의 여러 이산 버전이 있습니다. [11] 다음은 그 중 일부입니다.

  • ( Bilinski ) 적어도 4개의 정점이 있는 볼록 정다각형 의 각도 시퀀스는 적어도 4개의 극값을 가집니다.
  • 최소 4개의 변이 있는 볼록한 등각 다각형 의 변 길이 시퀀스에는 최소 4개의 극값이 있습니다.
  • (Musin) 꼭짓점이 4개 이상인 다각형의 연속된 정점 3개 주위에 외 접하는 원은 다각형의 나머지 꼭짓점을 모두 포함하거나 내부에 정점이 하나도 없으면 극단이라고 합니다. 이러한 볼록 다각형은 동일한 원에 4개의 정점이 없는 경우 일반적 입니다. 그런 다음 최소 4개의 정점이 있는 모든 일반 볼록 다각형에는 최소 4개의 극단 원이 있습니다.
  • ( LegendreCauchy ) 대응하는 변의 길이가 같은 두 개의 볼록 n - 각형은 대응하는 각도 차이의 순환 시퀀스에서 0 또는 최소 4개의 부호 변화를 갖습니다.
  • ( AD Alexandrov ) 대응하는 변이 평행하고 면적이 동일한 두 볼록 n - 각형은 대응하는 변의 길이 차이의 순환 시퀀스에서 0 또는 4 이상의 부호 변화를 갖습니다.

이러한 변형 중 일부는 다른 것보다 더 강력하며, 모두 극한 인수에 의한 (보통의) 4 정점 정리를 암시합니다.

공간 곡선에 대한 일반화

한 번 천공된 구체에서 평면으로의 입체 투영은 측지선 곡률 의 임계점을 보존합니다. 따라서 단순한 닫힌 구면 곡선에는 4개의 정점이 있습니다. 또한 구에서 곡선의 정점은 비틀림이 사라지는 지점에 해당합니다. 따라서 공간 곡선의 경우 정점은 비틀림이 사라지는 지점으로 정의됩니다. 볼록한 물체 의 경계에 있는 모든 단순 폐쇄 공간 곡선에는 4개의 정점이 있습니다. [12] 이 정리는 국부적으로 볼록한 디스크를 묶는 모든 곡선으로 일반화될 수 있습니다. [13]

같이 보기

참고 문헌

  1. Pressley, Andrew (2010). 《Elementary Differential Geometry》. Springer Undergraduate Mathematics Series 2판. London: Springer-Verlag. Definition 2.1.1, p. 30 and Exercise 2.2.6, p. 44. doi:10.1007/978-1-84882-891-9. ISBN 978-1-84882-890-2. MR 2598317. 
  2. Osserman, Robert (1985). “The four-or-more vertex theorem”. 《The American Mathematical Monthly92 (5): 332–337. doi:10.2307/2323126. MR 790188. 
  3. Martinez-Maure, Yves (1996). “A note on the tennis ball theorem”. 《The American Mathematical Monthly103 (4): 338–340. doi:10.2307/2975192. JSTOR 2975192. MR 1383672. 
  4. Craizer, Marcos; Teixeira, Ralph; Balestro, Vitor (2018). “Closed cycloids in a normed plane”. 《Monatshefte für Mathematik185 (1): 43–60. arXiv:1608.01651. doi:10.1007/s00605-017-1030-5. MR 3745700. 
  5. Mukhopadhyaya, S. (1909). “New methods in the geometry of a plane arc”. 《Bulletin of the Calcutta Mathematical Society》 1: 21–27. 
  6. Kneser, Adolf (1912). 〈Bemerkungen über die Anzahl der Extrema der Krümmung auf geschlossenen Kurven und über verwandte Fragen in einer nicht euklidischen Geometrie〉. 《Festschrift Heinrich Weber》. Teubner. 170–180쪽. 
  7. Berger, Marcel (2010). 〈V.8. The four vertex theorem and its converse; an application to physics〉. 《Geometry Revealed》. Heidelberg: Springer. 271–278쪽. doi:10.1007/978-3-540-70997-8. ISBN 978-3-540-70996-1. MR 2724440. 
  8. Gluck, Herman (1971). “The converse to the four-vertex theorem”. 《L'Enseignement mathématique17: 295–309. MR 0344998. 
  9. Dahlberg, Björn (2005). “The converse of the four vertex theorem”. 《Proceedings of the American Mathematical Society133 (7): 2131–2135. doi:10.1090/S0002-9939-05-07788-9. 
  10. DeTurck, D.; Gluck, H.; Pomerleano, D.; Vick, D.S. (2007). “The four vertex theorem and its converse” (PDF). 《Notices of the American Mathematical Society54 (2): 9268. arXiv:math/0609268. 
  11. Pak, I. Lectures on Discrete and Polyhedral Geometry 보관됨 2009-01-29 - 웨이백 머신, Section 21.
  12. Sedykh, V.D. (1994). “Four vertices of a convex space curve”. 《Bulletin of the London Mathematical Society26 (2): 177–180. doi:10.1112/blms/26.2.177. 
  13. Ghomi, Mohammad (2017). “Boundary torsion and convex caps of locally convex surfaces”. 《Journal of Differential Geometry105 (3): 427–486. arXiv:1501.07626. doi:10.4310/jdg/1488503004. 
인용 오류: <references> 안에 정의된 "extensions"이라는 이름을 가진 <ref> 태그가 위에서 사용되고 있지 않습니다.