수학 개념 지도
복소수(Complex number)

복소수(Complex number)

실수부⁠(real part)⁠와 허수부⁠(imaginary part)⁠를 가진 수 a + bi. 평면 위의 점이자 화살표이며, 더하기는 벡터⁠(vector)⁠ 더하기와 같다.

z=a+bi,i2=−1z = a + bi, \qquad i^2 = -1
먼저 보면 좋은 개념벡터

복소수 a+bia + bi는 평면 위의 점 (a,b)(a, b)입니다. 가로축이 실수⁠(real number)⁠, 세로축이 허수⁠(imaginary number)⁠ 방향입니다. 두 복소수 z=z = , w=w = 를 끌어 보세요. 합 는 벡터처럼 화살표를 이어 붙인 곳입니다.

여기까지는 벡터와 다를 게 없습니다. 복소수가 특별해지는 건 곱셈입니다. i2=−1i^2 = -1이라는 규칙 하나 때문에 곱셈은 평면을 돌리고 늘이는 연산이 됩니다(허수 단위 i⁠(imaginary unit i)⁠, 복소수 곱셈⁠(complex multiplication)⁠). 점을 거리와 각도로 적는 극형식⁠(polar form)⁠을 쓰면 이 회전⁠(rotation)⁠이 잘 보입니다.

복소수를 입력과 출력으로 삼는 함수⁠(function)⁠는 입력 2차원, 출력 2차원이라 그래프를 그리려면 4차원이 필요합니다. 대신 도메인 컬러링⁠(domain coloring)⁠으로 봅니다.

복소수의 크기 |a + bi|는 피타고라스 정리⁠(Pythagorean theorem)⁠로 잽니다. zⁿ = 1의 해 n개는 단위원⁠(unit circle)⁠ 위에 정다각형⁠(regular polygon)⁠의 꼭짓점⁠(vertex)⁠으로 놓입니다(1의 거듭제곱근⁠(roots of unity)⁠). 0에서 시작해 "z를 z² + c로 바꾸기"를 끝없이 되풀이해도 크기가 한없이 커지지 않는 복소수 c들을 모으면 망델브로 집합⁠(Mandelbrot set)⁠이 됩니다.

복소수는 16세기 이탈리아에서 삼차방정식의 근의 공식⁠(quadratic formula)⁠을 쓰다가, 계산 중간에 음수의 제곱근이 나타나면서 본격적으로 등장했습니다(카르다노, 르네상스 이탈리아의 대수학 경연). 한동안 '상상의 수'로 의심받던 복소수를 평면 위의 점으로 보는 그림은 1799년 노르웨이 출신 측량사 카스파르 베셀이 처음 발표한 것으로 알려져 있고(1806년 스위스 출신의 장로베르 아르강도 따로 발표했습니다), 1831년 가우스가 널리 알렸습니다.

이 개념이 나오는 긴 글

미분에서 회전까지 · 3편 · 테일러 급수 한 점에서 전부를 한 점에서의 값과 기울기, 휘는 정도만으로 함수 전체를 다시 그릴 수 있을까? 미분에서 회전까지 · 4편 · 오일러 공식 원을 그리는 지수함수 지수함수에 허수를 넣으면 원이 된다. 가장 유명한 등식은 어디서 왔을까? 미분에서 회전까지 · 5편 · 복소수와 행렬 곱셈은 회전이다 복소수를 곱하는 일과 행렬로 평면을 돌리는 일은 같은 일이다. 소수 소수를 세는 사람들 소수는 제멋대로 흩어져 있는 것 같다. 그런데 멀리서 세어 보면 로그가 보인다. 집합론 무한에도 크기가 있다 자연수와 짝수는 어느 쪽이 많을까? 칸토어는 무한을 세는 법을 찾았고, 무한이 하나가 아님을 보였다. 삼각함수 원에서 파동으로 별의 위치를 재던 현의 표가 사인이 되고, 열의 흐름을 풀던 푸리에가 모든 파동을 사인으로 쪼갰다. 비유클리드 기하 평행선의 반란 유클리드의 다섯 번째 공준은 2,000년 동안 증명되지 않았다. 증명을 포기한 사람들이 찾은 것은 새로운 우주였다. 언어 모델 다음 단어를 맞히는 기계 다음 낱말을 짐작하는 일만으로 어디까지 갈 수 있을까? 마르코프의 글자 세기에서 섀넌의 추측 게임, 트랜스포머와 규모의 법칙, 사람의 선호까지. 밑바닥에는 확률의 곱셈 규칙과 로그 하나가 있고, 그 수학은 모델이 왜 그럴듯하게 틀리는지도 말해 준다. 수학의 오류 틀린 증명이 만든 수학 틀린 증명은 흔하다. 드물게, "정확히 어디가 틀렸는가"라는 물음이 새 분야를 낳는다. 코시의 합 정리와 균등 수렴, 라메의 증명과 아이디얼, 켐프의 사슬, 푸앵카레의 회수된 논문과 혼돈, 프레게의 법칙과 러셀의 편지, 보예보츠키와 증명 보조기까지. 오류는 대개 서로 다른 두 가지를 하나로 여긴 자리에 있었다.

이 개념 위에 세워진 것

이 개념을 언급하는 페이지

이 페이지가 가리키는 개념