수학의 미해결 문제 목록

위키미디어 목록 항목
(수학의 미해결 문제에서 넘어옴)

르네상스 이래 수학 문제에 대한 해답은 세기가 갈수록 이전 세기에 비해 증가해 왔다.[1] 그럼에도 불구하고 미해결된 수학의 크고 작은 문제들이 다수 존재한다. 미해결 문제는 여러 분야에서 나타나는데 물리학, 컴퓨터 과학, 대수학, 해석학, 조합론, 대수기하학, 이산기하학, 유클리드 기하학, 그래프 이론, 모형이론, 정수론, 집합론, 램지 이론, 동역학계, 편미분방정식 등에 걸친다. 몇몇 문제는 수학 내에서도 두 개 이상의 소분야에 걸쳐있을 수 있으며, 각 소분야의 개념을 적용하여 연구할 수 있다. 장기간 미해결된 문제는 상이 걸려있는 경우가 많은데, 이로 인해 밀레니엄 문제와 같은 목록들은 상당한 주목을 받는다.

소규모 목록들편집

지난 세기부터 다수의 소규모 목록들이 출현하였다.

목록 문제 수 미해결 혹은
부분적 해결 문제 수
제안자 제안 연도
힐베르트 문제[2] 23 15 다비트 힐베르트 1900
란다우 문제[3] 4 4 에드문트 란다우 1912
다니야마 문제[4] 36 - 다니야마 유타카 1955
서스턴의 24개 질문들[5][6] 24 - 윌리엄 서스턴 1982
스메일 문제 18 14 스티븐 스메일 1998
밀레니엄 문제 7 6[7] 클레이 수학연구소 2000
사이먼 문제 15 <12[8] 배리 사이먼 2000
21세기 미해결 수학 문제[9] 22 - 자이르 아베, 다나카 쇼타로 2001
DARPA 수학 문제[10][11] 23 - 미국 방위고등연구계획국 2007

밀레니엄 문제편집

2021년 현재 밀레니엄 문제 중 푸앵카레 추측만이 해결된 상태이다.

영역별 문제들편집

대수학편집

해석학편집

 
파란색 영역의 넓이는 오일러-마스케로니 상수로, 유리수인지 아닌지는 밝혀지지 않았다.

기하학편집

대수기하학편집

미분기하학편집

덮기와 채우기 문제편집

 
3차원에서, 단위 구 주위에 최대 12개의 구를 서로 겹치치 않고 단위 구와 접촉하게 만들 수 있으므로 입맞춤 수는 12이다. (여기서 바깥의 구의 중심들을 인접하는 구끼리 이으면 정이십면체가 된다.) 입맞춤 수가 알려진 차원은 1•2•3•4•8•24차원뿐이다.
  • 1·2·3·4·8·24차원 외의 차원에서의 입맞춤 수 문제
  • 채우기 문제
  • 에르되시-올러 추측:  이 삼각수일 때,  개의 단위원을 채우기 위한 정삼각형의 변의 길이의 하한은  개의 단위원을 채울 때와 같은가?[18]
  • 트라이포드 채우기: 주어진 정육면체 안에 채울 수 있는 트라이포드의 꼭짓점의 최대 개수는 얼마인가?[19]

이산기하학편집

  • 레비-하트비거 추측: 임의의 n차원 볼록 다포체는 이와 중심닮음이면서 더 작은  개의 다포체로 채워질 수 있는가?[20]
  • 고본 삼각형 문제
  • 에르되시-세케레스 추측: 평면 위에 어느 세 점도 일직선 위에 있지 않은 점이  개 있다면, 그 중 볼록 n각형의 꼭짓점을 이루는 n개의 점이 존재하는가?[21]
  • 에르되시 거리 문제: 서로 다른 점 n개가 평면 위에 있을 때 반드시 찾을 수 있는 서로 다른 거리 수의 최솟값  을 찾아라.
  • 정사각형에 정사각형 채우기: 단위 정사각형을 한 변의 길이가 a인 정사각형에 최대한 채울 때 남는 공간의 점근적 성장률은 어떻게 되는가?[22]

유클리드 기하학편집

  • 소파 옮기기 문제: 폭이 1이고 직각으로 꺾인 복도를 지나갈 수 있는 가장 면적이 넓은 도형은 무엇인가?
  • 내접 정사각형 문제: 임의의 조르당 곡선에서 네 점을 잡아 정사각형을 만들 수 있는가?

동역학계편집

 
망델브로 집합. 망델브로 집합이 국소 연결인지 아닌지는 밝혀지지 않았다.

게임 및 퍼즐편집

조합론적 게임편집

  • 스도쿠
    • 최소 형태의 문제가 기본적으로 제공하는 초기 정보의 최대 개수는 얼마인가?[23]
    • 유일한 풀이가 존재하는 문제의 개수는 얼마인가?[23]
    • 최소 형태의 문제 중에서 유일한 풀이가 존재하는 문제의 개수는 얼마인가?[23]
  • 틱택토변종들
    • 너비가 정해진 틱택토 판에서 X가 이기는 전략이 보장되는 판의 최소 차원은 몇인가?[24]
  • 중복되지 않는 모든 기초 세포 자동자들튜링 완전성 여부

불완전한 정보를 가진 게임편집

군론편집

그래프 이론편집

모형이론형식 언어편집

위상수학편집

정수론편집

해석적 수론편집

대수적 수론편집

초월적 수론

  • 네 지수 추측: 두 복소수  가 서로 유리수에서 일차 독립일 때,   중 적어도 하나는 초월수인가?

미분류편집

소수편집

조합론편집

  • 외로운 러너 추측: 모든 자연수 n에 대하여, t=0에서 단위원의 같은 지점에서 출발해 서로 다른 속도로 원을 도는 n명의 러너가 있을 때, 모든 각 러너가 최소 한 번은 다른 러너와 1/k 이상 떨어지도록 하는 것이 가능한가?
  • 램지 수  의 값은?

집합론편집

1995년 이후 해결된 문제편집

각주편집

  1. Eves, An Introduction to the History of Mathematics 6th Edition, Thomson, 1990, ISBN 978-0-03-029558-4.
  2. Thiele, Rüdiger (2005), 〈On Hilbert and his twenty-four problems〉, Van Brummelen, Glen, 《Mathematics and the historian's craft. The Kenneth O. May Lectures》, CMS Books in Mathematics/Ouvrages de Mathématiques de la SMC 21, 243–295쪽, ISBN 978-0-387-25284-1 
  3. Guy, Richard (1994), 《Unsolved Problems in Number Theory》 2판, Springer, vii쪽, ISBN 978-1-4899-3585-4, 2021년 10월 14일에 확인함 .
  4. Shimura, G. (1989). “Yutaka Taniyama and his time”. 《Bulletin of the London Mathematical Society》 21 (2): 186–196. doi:10.1112/blms/21.2.186. 2021년 10월 14일에 확인함. 
  5. “Archived copy” (PDF). 2021년 10월 14일에 확인함. 
  6. “THREE DIMENSIONAL MANIFOLDS, KLEINIAN GROUPS AND HYPERBOLIC GEOMETRY” (PDF). 2021년 10월 14일에 확인함. 
  7. “Millennium Problems”. 2021년 10월 14일에 확인함. 
  8. Bellos, Alex (2014년 8월 13일). “Fields Medals 2014: the maths of Avila, Bhargava, Hairer and Mirzakhani explained”. 《가디언. 2021년 10월 14일에 확인함. 
  9. Abe, Jair Minoro; Tanaka, Shotaro (2001). 《Unsolved Problems on Mathematics for the 21st Century》. IOS Press. ISBN 978-9051994902. 
  10. “DARPA invests in math”. CNN. 2008년 10월 14일. 2021년 10월 14일에 확인함. 
  11. “Broad Agency Announcement (BAA 07-68) for Defense Sciences Office (DSO)”. DARPA. 2007년 9월 10일. 2021년 10월 14일에 확인함. 
  12. 다음의 Eric W.Weisstein의 문서는 각 수들에 대한 설명이다. π: [1], e: [2], 킨친 상수: [3], 무리수: [4], 초월수 [5], 무리성 측도: [6], Wolfram MathWorld, 2021년 10월 11일 확인.
  13. Michel Waldschmidt, 2008, "An introduction to irrationality and transcendence methods," at The University of Arizona The Southwest Center for Arithmetic Geometry 2008 Arizona Winter School, March 15–19, 2008 (Special Functions and Transcendence), [7], 2021년 10월 11일 확인.
  14. John Albert, posting date unknown, "Some unsolved problems in number theory" [from Victor Klee & Stan Wagon, "Old and New Unsolved Problems in Plane Geometry and Number Theory"], in University of Oklahoma Math 4513 course materials, [8], 2021년 10월 11일 확인.
  15. Maulik, Davesh; Nekrasov, Nikita; Okounov, Andrei; Pandharipande, Rahul (2004년 6월 5일), 《Gromov–Witten theory and Donaldson–Thomas theory, I》, arXiv:math/0312059, Bibcode:2003math.....12059M 
  16. Zariski, Oscar (1971). “Some open questions in the theory of singularities”. 《Bulletin of the American Mathematical Society》 77 (4): 481–491. doi:10.1090/S0002-9904-1971-12729-5. MR 0277533. 
  17. Barlet, Daniel; Peternell, Thomas; Schneider, Michael (1990). “On two conjectures of Hartshorne's”. 《Mathematische Annalen》 286 (1–3): 13–25. doi:10.1007/BF01453563. 
  18. Melissen, Hans (1993), “Densest packings of congruent circles in an equilateral triangle”, 《American Mathematical Monthly》 100 (10): 916–925, doi:10.2307/2324212, JSTOR 2324212, MR 1252928 
  19. Aronov, Boris; Dujmović, Vida; Morin, Pat; Ooms, Aurélien; Schultz Xavier da Silveira, Luís Fernando (2019), “More Turán-type theorems for triangles in convex point sets”, 《Electronic Journal of Combinatorics》 26 (1): P1.8, arXiv:1706.10193, Bibcode:2017arXiv170610193A, doi:10.37236/7224, 2019년 2월 18일에 원본 문서에서 보존된 문서, 2021년 10월 11일에 확인함 
  20. Boltjansky, V.; Gohberg, I. (1985), 〈11. Hadwiger's Conjecture〉, 《Results and Problems in Combinatorial Geometry》, Cambridge University Press, 44–46쪽 .
  21. Morris, Walter D.; Soltan, Valeriu (2000), “The Erdős-Szekeres problem on points in convex position—a survey”, 《Bull. Amer. Math. Soc.》 37 (4): 437–458, doi:10.1090/S0273-0979-00-00877-6, MR 1779413 ; Suk, Andrew (2016), “On the Erdős–Szekeres convex polygon problem”, 《J. Amer. Math. Soc.》 30 (4): 1047–1053, arXiv:1604.08657, doi:10.1090/jams/869 
  22. Brass, Peter; Moser, William; Pach, János (2005), 《Research Problems in Discrete Geometry》, New York: Springer, 45쪽, ISBN 978-0387-23815-9, MR 2163782 
  23. Archived 2017-11-10 - 웨이백 머신. Ten open questions about Sudoku (2012-01-21).
  24. “Higher-Dimensional Tic-Tac-Toe”. 《PBS》. YouTube. 2017년 9월 21일. 2021년 10월 14일에 확인함. 
  25. Bruhn, Henning; Schaudt, Oliver (2016). “Newer sums of three cubes”. arXiv:1604.07746v1 [math.NT]. 
  26. Wolchover, Natalie (2017년 7월 11일), “Pentagon Tiling Proof Solves Century-Old Math Problem”, 《Quanta Magazine》, 2017년 8월 6일에 원본 문서에서 보존된 문서, 2017년 7월 18일에 확인함 
  27. Bruhn, Henning; Schaudt, Oliver (2015). “The Erdos discrepancy problem”. arXiv:1509.05363v5 [math.CO]. 
  28. Helfgott, Harald A. (2013). “Major arcs for Goldbach's theorem”. arXiv:1305.2897 [math.NT]. 
  29. Helfgott, Harald A. (2012). “Minor arcs for Goldbach's problem”. arXiv:1205.5252 [math.NT]. 
  30. Helfgott, Harald A. (2013). “The ternary Goldbach conjecture is true”. arXiv:1312.7748 [math.NT]. 
  31. “Bombieri and Tao Receive King Faisal Prize” (PDF). 《Notices of the AMS57 (5): 642–643. May 2010. ISSN 1088-9477. OCLC 34550461. 2016년 3월 4일에 원본 문서 (PDF)에서 보존된 문서. 2016년 3월 18일에 확인함. Working with Ben Green, he proved there are arbitrarily long arithmetic progressions of prime numbers—a result now known as the Green–Tao theorem. 
  32. “Prize for Resolution of the Poincaré Conjecture Awarded to Dr. Grigoriy Perelman” (보도 자료). Clay Mathematics Institute. 2010년 3월 18일. 2010년 3월 22일에 원본 문서 (PDF)에서 보존된 문서. 2015년 11월 13일에 확인함. The Clay Mathematics Institute hereby awards the Millennium Prize for resolution of the Poincaré conjecture to Grigoriy Perelman. 
  33. Croot, Ernest S., III (2000), 《Unit Fractions》, Ph.D. thesis, University of Georgia, Athens . Croot, Ernest S., III (2003), “On a coloring conjecture about unit fractions”, 《Annals of Mathematics157 (2): 545–556, arXiv:math.NT/0311421, Bibcode:2003math.....11421C, doi:10.4007/annals.2003.157.545 
  34. Bruhn, Henning; Schaudt, Oliver (2015). “A formal proof of the Kepler conjecture”. arXiv:1501.02155 [math.MG]. 
  35. Wiles, Andrew (1995). “Modular elliptic curves and Fermat's Last Theorem” (PDF). 《Annals of Mathematics》 141 (3): 443–551. CiteSeerX 10.1.1.169.9076. doi:10.2307/2118559. JSTOR 2118559. OCLC 37032255. 2011년 5월 10일에 원본 문서 (PDF)에서 보존된 문서. 2016년 3월 6일에 확인함. 
  36. Taylor R, Wiles A (1995). “Ring theoretic properties of certain Hecke algebras”. 《Annals of Mathematics》 141 (3): 553–572. CiteSeerX 10.1.1.128.531. doi:10.2307/2118560. JSTOR 2118560. OCLC 37032255.