수학 개념 지도
인물

베른하르트 리만(Bernhard Riemann)

적분⁠(integral)⁠을 막대 합의 극한⁠(limit)⁠으로 정의하고, 휘어진 공간의 기하⁠(geometry)⁠를 세웠으며, 소수⁠(prime number)⁠의 분포를 제타 함수⁠(zeta function)⁠의 영점⁠(zero)⁠과 이은 독일의 수학자.

ζ(s)=∑n=1∞1ns=∏p11−p−s(Re s>1)\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s} = \prod_{p} \frac{1}{1 - p^{-s}} \quad (\mathrm{Re}\, s > 1)

베른하르트 리만은 1826년 하노버 왕국의 시골 마을 브레젤렌츠에서 가난한 루터교 목사의 아들로 태어났습니다. 수줍음이 많고 몸이 약했던 그는 짧은 생애 동안 논문을 많이 쓰지 않았지만, 그 몇 편이 해석학⁠(mathematical analysis)⁠과 기하학과 정수론⁠(number theory)⁠의 방향을 바꾸었습니다. 그의 시대는 코시가 극한으로 미적분⁠(calculus)⁠을 다시 세운 직후였고, 푸리에의 급수⁠(series)⁠와 가우스의 곡면 이론이 아직 끝까지 파헤쳐지지 않은 채 놓여 있었습니다.

굵은 막대가 이 사람의 생애이고, 흰검은 점은 페이지 끝 연표에 적은 일들입니다. 가는 막대는 같은 시대를 산 이 위키의 인물들입니다. 나이를 끌어 보세요.

나이 세 ·

김나지움 시절 교장이 빌려준 르장드르의 두꺼운 정수론 책을 엿새 만에 읽고 돌려주었다는 일화가 데데킨트가 쓴 전기에 전합니다. 아버지의 뜻에 따라 1846년 괴팅겐 대학에 신학을 공부하러 들어갔다가 곧 수학으로 옮겼고, 1847년부터 두 해 동안 베를린에서 디리클레와 야코비에게 배웠습니다. 괴팅겐으로 돌아와 가우스의 지도로 1851년 박사 학위를 받았습니다.

그가 오간 두 대학은 성격이 달랐습니다. 괴팅겐은 하노버 왕국의 대학으로, 1837년 새 왕이 헌법을 폐기하자 이에 항의한 '괴팅겐 7교수'가 쫓겨나 물리학자 베버도 자리를 잃었고, 늙은 가우스는 기초⁠(basics)⁠ 강의만 하고 있었습니다. 반면 베를린에는 디리클레와 야코비, 기하학자 슈타이너, 젊은 아이젠슈타인이 모여 있어 독일 수학의 활력이 그곳에 있었습니다. 1848년 3월 베를린에 혁명이 일어났을 때 리만은 학생 부대에 들어가 왕궁을 지키는 일을 섰다고 데데킨트의 전기는 전합니다. 1849년 괴팅겐으로 돌아오자 복직한 베버가 있었고, 리만은 그의 수리물리 세미나에서 조교로 일하며 물리학에 깊이 빠졌습니다.

그 박사 논문은 복소함수⁠(complex function)⁠를 새로 보는 법을 내놓았습니다. 복소수⁠(complex number)⁠ 함수⁠(function)⁠ f=u+ivf = u + iv가 미분⁠(differentiation)⁠ 가능하다는 것을 실수부⁠(real part)⁠ u와 허수부⁠(imaginary part)⁠ v 사이의 두 방정식 ∂u/∂x=∂v/∂y\partial u/\partial x = \partial v/\partial y, ∂u/∂y=−∂v/∂x\partial u/\partial y = -\partial v/\partial x(코시–리만 방정식⁠, Cauchy–Riemann equations⁠)로 적었습니다. 그리고 이런 함수를, 도함수⁠(derivative function)⁠가 0이 아닌 곳에서 평면의 아주 작은 도형을 돌리고 늘일 뿐 각은 그대로 두며 옮기는 사상(등각 사상⁠, conformal map⁠)으로 보았습니다. √z처럼 한 점에 값이 여럿인 함수(제곱해서 4가 되는 수는 2와 −2)도 있습니다. z가 0 둘레를 한 바퀴 돌면 √z의 값이 한쪽에서 다른 쪽으로 넘어가는데, 리만은 평면을 여러 장 겹쳐 이은 곡면을 만들어 그 위에서는 값이 하나로 정해지게 했습니다. 오늘날의 리만 곡면입니다. 1854년 교수 자격 논문에서는 삼각급수⁠(trigonometric series)⁠를 다루다가 적분의 정의를 새로 세웠습니다. 구간을 어떻게 잘게 나누든 막대 넓이⁠(area)⁠의 합이 한 값으로 모이면 그 값이 적분입니다(리만 합⁠(Riemann sum)⁠, 정적분⁠(definite integral)⁠). 이 정의로 그는 어떤 구간에서도 무한히 많이 끊어지는데도 적분이 되는 함수를 보였고, 같은 논문에서 그는 조건부로 수렴⁠(convergence)⁠하는 급수, 곧 그대로 더하면 수렴하지만 항마다 절댓값⁠(absolute value)⁠을 취해 더하면 발산⁠(divergence)⁠하는 급수는 항의 순서만 바꿔도 원하는 어떤 값으로든 수렴하게 만들 수 있다는 것도 보였습니다(급수의 수렴과 발산⁠(convergence and divergence of series)⁠). 부호가 번갈아 바뀌는 조화급수⁠(harmonic series)⁠ 1−12+13−14+⋯1 - \tfrac12 + \tfrac13 - \tfrac14 + \cdots은 ln 2 ≈ 0.693으로 수렴하지만, 양수 항 하나 뒤에 음수 항 둘을 놓는 순서 1−12−14+13−16−18+⋯1 - \tfrac12 - \tfrac14 + \tfrac13 - \tfrac16 - \tfrac18 + \cdots로 더하면 그 절반으로 수렴합니다.

같은 해 6월 10일의 교수 자격 강연은 기하학을 바꾸었습니다. 후보 주제 셋 가운데 가우스가 고른 것은 리만이 가장 덜 준비한 기하학의 기초였다고 전합니다. 「기하학의 바탕에 놓인 가설에 대하여」에서 리만은 가우스의 곡면 이론을 바깥 공간 없이, 차원이 몇이든 쓸 수 있게 넓혔습니다. 점마다 아주 짧은 거리를 재는 규칙, 곧 계량 ds2=∑gij dxi dxjds^2 = \sum g_{ij}\,dx_i\,dx_j를 주면 그 규칙에서 곡률⁠(curvature)⁠이 나옵니다(가우스 곡률⁠(Gaussian curvature)⁠, 거리 함수⁠(metric)⁠). 평면에서는 피타고라스 정리대로 ds2=dx2+dy2ds^2 = dx^2 + dy^2이고, 반지름 R인 구면에서 위도 φ와 경도 λ로 재면 ds2=R2(dφ2+cos⁡2φ dλ2)ds^2 = R^2(d\varphi^2 + \cos^2\varphi\,d\lambda^2)입니다. 경도 1도의 거리가 극으로 갈수록 줄어드는 것이 cos⁡2φ\cos^2\varphi에 담겨 있고, 곡률은 이런 계수 gijg_{ij}가 점마다 어떻게 변하는지에서 계산됩니다. 평면은 곡률 0, 로바쳅스키의 공간은 곡률이 음수로 일정한 공간(쌍곡기하⁠, hyperbolic geometry⁠), 구면은 양수로 일정한 공간(구면기하⁠, spherical geometry⁠)이 되었습니다. 그는 실제 공간이 어떤 계량을 갖는지는 경험이 정할 문제라고 맺었고, 60년 뒤 아인슈타인의 일반 상대성 이론⁠(general relativity)⁠이 이 틀 위에 섰습니다. 강연은 그가 죽은 뒤 1868년에야 출판되었습니다.

그의 관심은 순수 수학에만 있지 않았습니다. 그는 중력과 전기와 빛을 공간을 채운 하나의 매질로 설명하려는 자연철학의 꿈을 품었고, 1854년 강연 끝에서 공간의 계량이 그 안에서 작용하는 힘과 이어져 있을지 모른다고 암시한 것도 그 꿈의 한 자락이었습니다. 1858년에는 전기 작용이 유한한 속도⁠(velocity)⁠로 퍼진다는 생각을 담은 논문을 학회에 냈다가 거둬들였고, 이 논문은 그가 죽은 뒤에 출판되었습니다. 1860년에는 공기 속을 지나는 파동이 진폭⁠(amplitude)⁠이 크면 앞머리가 점점 가팔라져 끊어진 면을 이룬다는 것을 보였습니다. 오늘날 충격파라 부르는 것으로, 초음속 비행과 폭발을 다루는 기체 역학의 출발점 가운데 하나입니다.

1859년 베를린 학술원 회원이 된 것을 계기로 쓴 10쪽이 채 안 되는 논문 「주어진 수보다 작은 소수의 개수에 대하여」는 그가 정수론에 쓴 유일한 논문입니다. 오일러는 ∑1/ns\sum 1/n^s가 모든 소수에 대한 곱과 같다는 것을 보였는데, 이 합은 s의 실수부가 1보다 클 때만 수렴하지만, 리만은 여기에 복소수 s를 넣고 이 제타 함수를 s = 1 한 점(극)을 뺀 복소평면⁠(complex plane)⁠ 전체로 넓혔습니다. 그리고 소수(와 소수의 거듭제곱)를 세는 계단 함수를 제타 함수의 영점들로 정확히 다시 적는 공식을 찾았습니다. 그의 유도에는 빈틈이 있었고, 엄밀한 증명은 1895년 폰 망골트가 채웠습니다. 영점 하나하나가 소수의 계단에 파동 하나씩을 더하는 셈입니다. 제타 함수는 −2, −4, −6, …에서 0이 되는데, 이것은 쉽게 알 수 있어 '자명한' 영점이라 부릅니다. 나머지 영점들은 모두 복소수 s=σ+its = \sigma + it의 실수부 σ가 0과 1 사이인 띠 안에 있고, 첫 번째 것은 12+14.1347…i\tfrac12 + 14.1347\ldots i입니다. 그는 이 자명하지 않은 영점⁠(nontrivial zero)⁠이 모두 실수부가 1/2인 직선 위에 있을 가능성이 매우 크다고 적고, 증명은 당장의 목적에 필요 없어 미뤄 두었다고 썼습니다. 이것이 리만 가설⁠(Riemann hypothesis)⁠이고, 1900년 힐베르트의 문제 목록에 오른 뒤 지금까지 풀리지 않았습니다. 소수가 x 근처에서 약 1/ln x의 밀도로 나온다는 소수 정리⁠(prime number theorem)⁠도 1896년 그의 길을 따라 증명되었습니다.

그가 증명을 그저 '미뤄 둔' 것만은 아니었다는 사실은 70년 뒤에 드러났습니다. 1932년 독일의 수학자 지겔은 괴팅겐에 보관된 리만의 유고를 뒤져, 그가 제타 함수의 영점 몇 개를 손으로 꽤 정밀하게 계산해 두었고 거기 쓴 공식이 당시 누구도 모르던 강력한 방법이라는 것을 찾아냈습니다. 오늘날 리만–지겔 공식이라 부르는 이 방법은 컴퓨터로 수조 개의 영점을 확인하는 데 쓰였고, 확인된 영점은 모두 실수부가 1/2인 직선 위에 있었습니다. 1972년에는 영점 사이의 간격이 무거운 원자핵의 에너지 준위 간격과 같은 통계⁠(statistics)⁠를 따르는 듯하다는 것이, 수학자 몽고메리와 물리학자 다이슨의 우연한 대화에서 알려졌습니다. 2000년 클레이 수학 연구소는 이 가설을 상금 100만 달러의 7대 문제 가운데 하나로 꼽았습니다. 소수의 불규칙한 계단을 파동의 합으로 다시 적는 그의 공식은 지금도 정수론의 한가운데 있습니다.

1859년 그는 디리클레의 뒤를 이어 괴팅겐의 정교수가 되었고, 1862년 결혼했지만 곧 결핵을 앓아 여러 차례 이탈리아로 요양을 떠났습니다. 1866년 프로이센과 하노버의 전쟁으로 괴팅겐이 어수선해지자 다시 떠났다가, 그해 7월 마조레 호숫가의 셀라스카에서 서른아홉 살로 세상을 떠났습니다. 가정부가 원고 일부를 버렸다고 전하지만, 남은 유고는 괴팅겐 대학에 보관되었습니다.

그의 유산은 동료들의 손으로 정리되었습니다. 데데킨트는 1854년의 강연과 교수 자격 논문을 1867–68년에 출판했고, 1876년 수학자 하인리히 베버와 함께 전집을 펴냈습니다. 이 글들이 나오자 물리학자 헬름홀츠와 이탈리아의 벨트라미가 곧바로 공간의 기하를 다시 따졌고, 독일의 크리스토펠과 이탈리아의 리치, 레비치비타는 그의 계량에서 곡률을 계산하는 방법을 텐서 해석⁠(tensor analysis)⁠이라는 체계로 다듬었습니다. 텐서⁠(tensor)⁠는 좌표를 바꿀 때 정해진 규칙에 따라 함께 바뀌는 수들의 배열로, 계량의 계수 gijg_{ij}가 그 대표입니다. 1912년 아인슈타인은 취리히의 옛 친구 그로스만에게서 이 수학을 배워, 3년 뒤 중력을 시공간⁠(spacetime)⁠의 휨으로 설명하는 일반 상대성 이론을 완성했습니다. 괴팅겐에서는 클라인이 리만 곡면⁠(Riemann surface)⁠을 해설하는 책을 썼고, 바이어슈트라스의 비판으로 흔들린 디리클레 원리⁠(Dirichlet principle)⁠를 1900년 무렵 힐베르트가 다시 세웠습니다. 점마다 짧은 거리를 재는 규칙만 주면 공간 전체의 모양이 따라 나온다는 그의 발상은 국소에서 전체로의 가장 큰 예입니다.

이어지는 곳. 막대 넓이 합의 극한으로 정의한 그의 적분은 리만 합과 정적분에서 직접 볼 수 있고, 그 정의로도 다룰 수 없는 함수들을 위해 20세기에 르베그 적분⁠(Lebesgue integral)⁠이 나왔습니다. 함수를 삼각급수로 나타내는 질문은 푸리에 급수⁠(Fourier series)⁠에서, 그 질문을 이어받아 무한 집합⁠(set)⁠에 이른 칸토어에게서 이어집니다. 휘어진 공간은 곡률을 재는 가우스 곡률, 휘어진 공간의 직선인 측지선⁠(geodesic)⁠, 곡률이 음수인 쌍곡기하에 있습니다. 소수의 계단을 영점의 파동으로 적는 이야기는 제타 함수와 소수 정리, 소수에 있고, 복소평면의 영점과 극⁠(zeros and poles)⁠은 도메인 컬러링⁠(domain coloring)⁠으로 볼 수 있습니다.

관계.

가운데가 이 사람, 둘레가 이어진 인물들입니다. 선의 색은 관계의 종류(초록 스승·제자, 파랑 함께 연구, 보라 편지, 빨강 논쟁, 주황 영향)이고, 다른 인물의 페이지에 적힌 관계도 함께 모았습니다.

  • 스승 카를 프리드리히 가우스 — 1851년 가우스의 지도로 박사 학위를 받았고, 1854년 교수 자격 강연의 주제로 기하학의 기초를 고른 사람도 가우스였습니다.
  • 영향을 받음 오귀스탱루이 코시 — 코시가 합의 극한으로 세운 적분을 더 넓은 함수까지 다루도록 다듬었고, 복소함수의 미분 가능 조건은 두 사람의 이름을 따 코시–리만 방정식이라 불립니다.
  • 영향을 받음 레온하르트 오일러 — 모든 자연수⁠(natural number)⁠에 대한 합이 모든 소수에 대한 곱과 같다는 오일러의 곱 공식에 복소수를 넣어, 제타 함수를 s = 1 한 점을 뺀 복소평면 전체로 넓혔습니다.
  • 영향을 받음 아드리앵마리 르장드르 — 김나지움 시절 교장에게 빌린 르장드르의 정수론 책을 엿새 만에 읽었다는 일화가 전하고, 소수의 개수를 어림한 르장드르와 가우스의 질문은 그의 1859년 논문의 출발점이었습니다.
  • 영향을 줌 게오르크 칸토어 — 그가 죽은 뒤 출판된 삼각급수 논문(교수 자격 논문)은 칸토어가 삼각급수 표현의 유일성을 연구하다 무한 집합에 이르는 출발점이 되었습니다.
  • 영향을 줌 다비트 힐베르트 — 힐베르트는 1900년 파리의 국제 수학자 대회에서 리만 가설을 여덟째 문제로 내놓았고, 바이어슈트라스의 비판으로 흔들린 디리클레 원리를 되살렸습니다.

연표.

  • 1846년 괴팅겐 대학에 신학생으로 들어갔다가 수학으로 옮기다
  • 1847년 베를린으로 가서 디리클레와 야코비에게 배우다
  • 1851년 복소함수에 관한 박사 논문을 내다
  • 1854년 교수 자격 논문과 강연 「기하학의 바탕에 놓인 가설에 대하여」를 내놓다
  • 1857년 리만 곡면으로 아벨 함수(타원 함수⁠(elliptic function)⁠를 넓힌 함수)를 다룬 논문을 발표하고 조교수가 되다
  • 1858년 전기 작용의 전파에 관한 논문을 냈다가 거둬들이다
  • 1859년 디리클레의 뒤를 이어 정교수가 되고 소수 논문을 쓰다
  • 1860년 진폭이 큰 공기 파동, 곧 충격파⁠(shock wave)⁠에 관한 논문을 내다
  • 1862년 엘리제 코흐와 결혼하다
  • 1866년 요양하던 이탈리아 셀라스카에서 세상을 떠나다
관련된 시대와 장소괴팅겐

이 인물이 나오는 긴 글

미분에서 회전까지 · 2편 · 적분 거리를 되찾기 속도계 기록만 남았다. 차가 어디까지 갔는지 되찾을 수 있을까? 미분에서 회전까지 · 4편 · 오일러 공식 원을 그리는 지수함수 지수함수에 허수를 넣으면 원이 된다. 가장 유명한 등식은 어디서 왔을까? 소수 소수를 세는 사람들 소수는 제멋대로 흩어져 있는 것 같다. 그런데 멀리서 세어 보면 로그가 보인다. 집합론 무한에도 크기가 있다 자연수와 짝수는 어느 쪽이 많을까? 칸토어는 무한을 세는 법을 찾았고, 무한이 하나가 아님을 보였다. 삼각함수 원에서 파동으로 별의 위치를 재던 현의 표가 사인이 되고, 열의 흐름을 풀던 푸리에가 모든 파동을 사인으로 쪼갰다. 비유클리드 기하 평행선의 반란 유클리드의 다섯 번째 공준은 2,000년 동안 증명되지 않았다. 증명을 포기한 사람들이 찾은 것은 새로운 우주였다. 거리와 유사도 까마귀와 택시 까마귀는 곧장 날고 택시는 블록을 돌아간다. '얼마나 먼가'에는 답이 하나가 아니고, 어떤 거리를 고르느냐가 통계와 기계 학습의 답을 바꾼다. 라플라시안 라플라시안, 가장 많이 재사용된 식 이웃의 평균에서 나를 뺀다. 이 한 줄이 열의 법칙이고, 도박꾼이 이길 확률이고, 전기 회로와 나무 세기이고, 북의 음색이고, 사진의 윤곽선이고, 그래프를 가르는 칼이고, 잡음에서 그림을 빚는 확산 모델의 밑그림이다. 수학의 오류 틀린 증명이 만든 수학 틀린 증명은 흔하다. 드물게, "정확히 어디가 틀렸는가"라는 물음이 새 분야를 낳는다. 코시의 합 정리와 균등 수렴, 라메의 증명과 아이디얼, 켐프의 사슬, 푸앵카레의 회수된 논문과 혼돈, 프레게의 법칙과 러셀의 편지, 보예보츠키와 증명 보조기까지. 오류는 대개 서로 다른 두 가지를 하나로 여긴 자리에 있었다.

이 인물을 언급하는 페이지

이 페이지가 가리키는 개념