수학 개념 도서관

대칭을 수학적 구조로 다루는 학문. 방정식의 풀이 가능성부터 결정 구조와 입자물리의 대칭 분류까지, 서로 다른 변환에서 무엇이 그대로 남는지를 연구한다.

대상 자체보다 대상 사이의 사상과 합성 규칙을 중심에 두어 여러 수학 분야의 공통 구조를 비교하는 언어. 1940년대 아일렌버그와 맥레인의 작업에서 출발했다.

*세는 법*의 학문. "n개에서 r개를 고르는 방법은?"이라는 단순 질문이 확률·암호·통계물리·컴퓨터 알고리즘의 *기본 도구*가 되었다.

행렬이 *늘리거나 줄이기만 하고 방향은 바꾸지 않는* 벡터. PageRank, PCA, 양자역학 — 고차원 데이터의 *주축*을 찾는 도구.

*1, 2, 5, 14, 42, 132, 429, ...* 수많은 조합 문제의 답이 같은 이 수열. 괄호 짝짓기·이진트리·도시 격자 경로 — *전혀 달라 보이는 문제들이 같은 수열을 낳는* 신비.

방정식이 근호로 풀리는지를 근들의 *대칭 구조*로 판별하는 이론. 만 20세의 갈루아가 남긴 연구에서 출발해 현대 대수학의 핵심 언어가 되었다.

*인접한 노드는 다른 색*을 가져야 하는 문제. 지도, 일부 시간표·주파수·레지스터 할당처럼 충돌 관계를 그래프로 모델링할 수 있을 때 유용하다.

방향과 크기를 가진 양 + 그 변환을 다루는 수학. 19세기 추상화에서 시작해 오늘날 머신러닝의 *언어*가 되었다.

*전략적 의사결정*의 수학. 도박판에서 시작해 경제·정치·진화생물학까지, 두 명 이상이 서로 의식하며 결정할 때 무엇이 일어나는가를 다룬다.

*연속적 대칭*을 다루는 수학. 회전·이동·로런츠 변환 같은 *부드러운 변환들이 만드는 군*. 19세기 노르웨이의 소푸스 리가 만들고 20세기 입자물리학의 표준 언어가 되었다.

*참/거짓 관계를 계산하는 대수.* 부울의 19세기 논리 대수는 섀넌이 스위칭 회로 분석에 적용한 뒤 디지털 회로 설계의 핵심 언어 가운데 하나가 되었다.

평면 지도를 인접한 두 영역이 다른 색이 되게 칠할 때 네 색이면 충분하다. 1852년의 질문은 1976년 방대한 경우를 컴퓨터로 검사한 첫 대표적 증명으로 해결돼 검증 가능성 논쟁을 낳았다.

각 입력에 출력을 하나씩 대응시키는 규칙. 곡선에 딸린 양을 가리키던 17세기 용어가 오일러·디리클레 등을 거치며 넓어져, 수학적 관계와 계산을 표현하는 핵심 도구가 되었다.

우연을 수학으로 다루는 학문. 17세기 도박판에서 시작해 오늘날 보험·금융·기상·인공지능의 핵심 언어가 되었다.

한 점 근처의 변화율(미분)과 구간 전체의 누적(적분)을 연결하는 수학. 여러 문명의 넓이·부피·운동·급수·접선 방법 위에서 뉴턴과 라이프니츠가 독립적인 일반 절차를 만들었고, 적절한 조건 아래 두 연산이 서로 되돌아간다는 기본정리가 핵심 다리가 된다.

*함수 자체*를 변수로 두고 최적화하는 수학. "두 점을 잇는 가장 빠른 경로는?"이라는 베르누이의 도전이 모든 *물리법칙의 기본 원리*가 되었다.

*가장 좋은* 답을 찾는 수학. 17세기 페르마의 극값에서 시작해 오늘날 머신러닝·운송·금융의 모든 결정에 쓰인다.

*무한히 더하면 유한이 되는가?* 제논의 역설부터 오일러의 마법 같은 합산까지, "한없이 작아지는 것을 한없이 더한다"는 모순을 다스린 수학.

함수와 표현을 기본 파동·주파수 성분으로 분해하는 푸리에 해석을 군과 일반 공간으로 확장한다. 분해 가능성과 수렴의 의미는 대상과 함수 공간에 따라 달라진다.

함수와 그 도함수의 관계로 자연 현상을 기술하는 방정식. 행성의 궤도부터 전염병의 확산, 옵션 가격까지 — *변화의 법칙*을 적는 언어.

*허수까지 확장된 미적분*. 신비롭게도 복소수에서는 *한 번 미분 가능*하면 무한 번 미분 가능하다 — 실수 세계와 전혀 다른 우아한 규율이 지배한다.

*선형 부등식 제약* 아래 *선형 목적함수*를 최적화. 1947년 단치히가 *심플렉스 알고리즘* 발명 — 2차대전 군수·운송·자원 배분의 표준 도구가 됐다.

*무작위 항*을 가진 미분방정식. 1944년 이토가 정의. 1973년 *블랙-숄즈 옵션 가격 공식*이 SDE로 풀려 *현대 금융의 기초*가 됐다.

*도박 도시의 이름을 딴* 수치 계산 기법. 풀기 어려운 적분·확률·분포를 무작위 표본으로 근사하고, 표본 수와 분산을 통해 오차를 분석한다.

*"다음 상태는 *현재만* 의존하고, 과거는 잊는다."* 1906년 마르코프가 정의. 구글 PageRank, GPT, 음성인식, 카드 셔플의 *수렴*까지 — *기억 없는* 확률 과정의 보편 모델.

*"시간 평균 = 공간 평균."* 1931년 폰 노이만·버코프 정리. 통계물리, 카오스, 동역학계, 마르코프 연쇄 수렴 — *충분히 긴 시간*이 *충분히 많은 시도*와 같다는 깊은 원리.

"점점 다가가는" 직관을 ε-δ 정의로 엄밀하게 만든 개념. 미적분의 *모든 정의*가 이 위에 서 있다.

*"증거를 보고 가설을 갱신한다"*는 추론의 수학. 18세기 영국 목사가 발견했고 라플라스가 발전시킨 정리가 오늘날 의료 진단·스팸 필터·AI 모델의 기본 언어.

*"실세계 데이터의 첫 자릿수는 1이 30%, 9가 5%다."* 1881년 발견된 신비한 통계 패턴. 회계 부정·선거 조작·과학 데이터 위조를 *적발*하는 도구로 사용.

"베이징의 나비 한 마리가 뉴욕에 폭풍을 일으킨다." 결정론적 방정식에서 *예측 불가능성*이 어떻게 자연스럽게 출현하는가를 다루는 학문.

관찰된 일부에서 더 큰 모집단·과정·효과를 추론하는 수학. 핵심은 숫자를 많이 모으는 일이 아니라 *누구를 셌는지, 무엇을 측정했는지, 어떤 비교와 가정이 결론을 지탱하는지* 밝히는 데 있다.

함수와 신호를 주파수 성분으로 분석하는 방법. 열 전도 문제에서 나온 푸리에의 삼각급수는 “어떤 함수가 어떤 의미로 수렴하는가”라는 조건을 낳았고 현대 조화해석으로 확장됐다.

함수를 시간·공간 표현에서 주파수 표현으로 옮기는 변환. 푸리에의 열 연구와 이후의 엄밀화에서 발전했으며, 존재·역변환 조건은 함수 공간에 따라 달라진다.

여러 변수의 함수를 미분·적분. *편미분*, *그라디언트*, *야코비*, *다중적분* — 머신러닝 손실함수, 물리 장이론, 경제 효용함수의 언어.

*"길이"와 "넓이"가 무엇인가*에 대한 답. 19세기 말 리만 적분의 한계를 넘어, 르베그가 만든 새로운 적분이 확률론·푸리에 해석·양자역학의 토대가 되었다.

적절한 활성화 함수를 쓴 충분히 넓은 단일 은닉층 신경망이 컴팩트 영역의 연속함수를 원하는 정확도로 근사할 수 있다는 존재 정리. 학습 가능성·필요한 폭·데이터 일반화까지 보장하지는 않는다.

*유한한 계산으로 오차를 통제한 답을 어떻게 얻는가?* 미분방정식·적분·고유값을 근사하고 안정성·수렴·반올림 오차를 분석하는 알고리즘들.

*공간 안의 변화*를 다루는 수학. 19세기 맥스웰이 *4개 방정식*으로 모든 전자기 현상을 통합한 이래, 물리학과 공학의 *기본 언어*가 되었다.

*"수열 전체를 하나의 함수로 묶기"*. 무한급수의 한 형태로 조합 문제·확률·정수론을 통합하는 강력한 도구. 오일러가 시작했고 윌프가 정리했다.

확률분포의 평균적인 불확실성을 재는 양. 섀넌의 1948년 이론은 정보원 부호화와 채널 통신의 한계를 서로 다른 정리와 조건으로 설명한다.

*시간에 따라 변하는 시스템의 장기 행동*을 연구. 19세기 푸앵카레가 *3체 문제*에서 시작. *고정점, 주기 궤도, 카오스* — 천체역학에서 신경과학까지.

*변수들의 의존 관계를 그래프로 표현*. 베이즈 네트워크(방향), 마르코프 랜덤 필드(무방향). 1980년대 펄·라우리첸이 정립. AI·의료·로봇 *불확실성 추론*의 표준.

*"비슷한 것들끼리 묶기"*의 기본 알고리즘. 1957년 벨 연구소에서 시작된 단순한 아이디어가 모든 데이터 과학의 *첫 도구*가 되었다.

*"몇 개의 수가 필요한가?"* 점은 0차원, 선은 1차원, 평면은 2차원... 그러나 *4차원, 무한차원, 분수차원*까지 — 차원이라는 개념의 확장은 수학의 역사 그 자체.

*국소적으로는 평평하지만 전체적으로는 곡면일 수 있는 공간*. 지구 표면(2차원 다양체)부터 우주의 시공간(4차원 다양체)까지, 수학과 물리학의 보편적 무대.

*어디를 확대해도 같은 모양*이 나타나는 도형. 구름·해안선·뇌의 주름·번개의 갈래 — 자연이 매끄러운 곡선이 아니라 *조각난 차원*으로 만들어졌음을 드러낸 학문.

φ = (1+√5)/2 ≈ 1.618. 전체와 큰 부분의 비가 큰 부분과 작은 부분의 비와 같은 자기 닮음 비율이다. 피보나치 수열·연분수·황금각과 정확한 연결이 있지만, 건축·미술·인체에 관한 유명한 주장은 사후 측정이나 과장인 경우가 많다.

거리·각도보다 *연속 변형에서 보존되는 관계*를 연구하는 수학. 연결성·차원·방향·경계·순환과 여러 대수적 불변량을 구분하며, 고무판 비유를 넘어 고차원 다양체와 데이터의 여러 척도까지 다룬다.

*공간의 구멍을 대수로 기록하는 방법.* H₀는 연결된 조각을, H₁은 채워지지 않는 고리 같은 1차원 구멍을, H₂는 닫힌 표면이 둘러싼 2차원 구조를 포착한다. 단순히 구멍 수만 세는 것이 아니라 군과 경계 사상으로 *늘이거나 휘어도 남는 위상 구조*를 구분한다.

*무한대의 점*을 추가한 기하학. 르네상스 화가들이 원근법을 위해 발견했고, 19세기에 *대수기하학*의 기초가 되었으며, 21세기에 컴퓨터 그래픽의 핵심이 되었다.

직각삼각형에서 빗변의 제곱은 다른 두 변 제곱의 합과 같다 (a² + b² = c²). 바빌로니아·인도·중국·그리스의 서로 다른 문헌에서 계산법과 증명이 나타나며, 오늘날 유클리드 거리의 핵심 관계다.

유클리드의 다섯째 공준을 다른 공준에서 증명하려던 오랜 시도가 실패하면서, 그 부정을 가정해도 일관된 *다른 기하*가 가능하다는 사실이 드러났다. 비유클리드 기하는 하나의 이론 이름이 아니라 쌍곡·타원 기하와 더 일반적인 곡률 공간을 여는 전환이다.

점과 선만으로 *연결*을 다루는 수학. 18세기 산책길 퍼즐에서 시작해 오늘날 SNS·인터넷·뇌의 언어가 되었다.

*다항식의 영점*이 만드는 *기하적 도형*을 연구. 19세기엔 곡선·곡면, 20세기 그로텐디크가 *스킴*으로 추상화. 페르마 마지막 정리(와일즈 1995)가 결국 대수 기하의 결실.

*끈을 끊지 않고 모양을 바꿀 수 있는가?*를 다루는 위상수학의 한 갈래. 19세기 켈빈의 *원자 모형* 시도에서 시작해 21세기 DNA·양자컴퓨팅까지.

1과 자기 자신으로만 나뉘는 1보다 큰 자연수. 모든 양의 정수의 소인수 분해를 이루는 *곱셈의 원자*이며, RSA 같은 일부 공개키 암호에서도 중요한 역할을 한다.

실수를 *분수의 분수의 분수…*로 표현. *황금비*는 [1;1,1,1,...], *π*는 [3;7,15,1,292,...]. 무리수의 *최선의 유리 근사*가 자연스럽게 나온다.

*정수해만* 찾는 방정식. 페르마의 마지막 정리(x^n+y^n=z^n)도 그중 하나. 1970년 마티야세비치가 *일반 디오판투스 방정식 풀이는 결정 불가능*임을 증명 — 힐베르트 10번 문제 해결.

*4 이상의 모든 짝수는 두 소수의 합으로 표현 가능하다.* 1742년 골드바흐가 오일러에게 보낸 편지 한 줄이 280년 미해결 문제가 됐다. 4×10¹⁸까지 컴퓨터로 검증됐지만 *증명은 없다*.

"x^n + y^n = z^n은 n>2인 정수해를 갖지 않는다." 1637년 여백 메모에서 시작해 *357년* 후 와일즈가 증명한 수학사 최대의 드라마.

*시계의 산술* — 12를 넘으면 다시 1로 돌아오는. 가우스가 19세기 초 형식화한 후 정수론·암호학의 *기본 언어*가 되었다.

비밀을 수학으로 만드는 학문. 카이사르의 시저 암호부터 양자 키 분배까지, *정보를 어떻게 보호하는가*는 결국 어떤 수학이 어려운가의 문제.

*어떤 자연수든 짝수면 2로 나누고, 홀수면 3을 곱하고 1을 더하는 것을 반복하면 결국 1에 도달한다.* 80년 동안 풀리지 않은 *가장 단순한 미해결 문제*.

*p와 p+2가 *둘 다 소수*인 쌍이 무한히 있는가?* (3,5), (11,13), (17,19), … 약 180년 미해결 문제 (Polignac 1846 정식 추측). 2013년 장이탕이 *p와 p+7×10⁷ 안의 격차로 갭 무한*을 증명 — 첫 돌파구.

"x 이하의 소수 개수는 약 x/ln(x)이다." 가우스가 15살에 추측하고 100년 후 증명된, 정수론과 해석학을 *결혼*시킨 정리.

특이점이 없는 3차 곡선의 한 종류. 적절한 조건에서 *y² = x³ + ax + b* 꼴로 나타내며, 곡선 위 점들은 덧셈이 가능한 군을 이룬다. 고대의 유리수 해 문제, 19세기 타원함수, 현대 정수론·암호학을 잇는다.

"끝없음"이라는 직관을 여러 수학적 대상으로 구분하는 개념. 고대의 역설과 소진법, 중세·근대의 무한 논쟁을 거쳐 칸토어가 무한 집합의 크기를 비교하는 정밀한 언어를 열었다.

대상을 모아 원소 관계와 크기를 연구하는 언어. 칸토어의 무한 집합 연구와 역설들을 거쳐 여러 공리적 집합론이 발전했으며, ZF·ZFC는 널리 쓰이는 기초 체계다.

산술을 표현할 만큼 강한 효과적으로 공리화된 일관된 형식체계에는 그 체계 안에서 증명할 수 없는 문장이 존재한다. 정리의 조건 아래 그 체계는 자기 무모순성도 증명할 수 없다.

*"n+1마리 비둘기를 n개 둥지에 넣으면 *적어도 한 둥지에 두 마리*가 들어간다."* 자명해 보여도 *유한 그래프 색칠, 램지 이론, 디리클레 근사*의 핵심 도구.

*"자기 자신을 포함하지 않는 모든 집합의 집합"은 자기를 포함할까?* 러셀이 1901년에 발견한 역설은 무제한 집합 구성의 모순을 드러냈고, 유형 이론과 공리적 집합론을 포함한 여러 대응을 촉진했다.

*"자연수의 무한과 실수의 무한 사이에 다른 무한이 있는가?"* 칸토어가 평생 매달린 질문. 괴델(1940)과 코언(1963)의 상보적인 상대적 무모순성 결과를 합쳐 CH가 ZFC와 독립임이 확립됐다.

*컴퓨터가 맡은 계산도 증명의 일부인가?* 유한한 경우를 빠짐없이 환원해 검사하거나, 증명 보조기가 모든 논리 단계를 확인한다. 핵심은 많이 계산하는 것이 아니라 환원의 완전성과 독립 검증이다.

*"빈 집합이 아닌 집합들의 모임이 주어지면, 각각에서 한 원소씩 *동시에* 고를 수 있다."* 자명해 보이지만 *바나흐-타르스키 역설*(공 하나를 분해해 똑같은 공 *두 개*를 만든다)을 함의. ZFC의 C가 이것.

*"참과 거짓 사이의 모든 정도"*를 다루는 논리. 1965년 자데가 *전기 밥솥과 세탁기*가 *얼마나 따뜻한가, 얼마나 더러운가*를 다루기 위해 만든 논리.

*"일정한 절차로 풀 수 있는 문제는 무엇인가?"*에 대한 수학적 연구. 계산 기계가 이미 존재하던 1936년, 처치와 튜링은 서로 다른 형식 모형으로 알고리즘의 능력과 한계를 선명하게 했다.

*양자역학의 중첩과 얽힘*을 활용한 알고리즘. 1994년 쇼어가 *고전 컴퓨터로 푼 수 없는* RSA를 풀 수 있음을 증명 — 인터넷 보안의 미래에 그림자가 드리움.

*|A∪B| = |A| + |B| − |A∩B|*의 일반화. 여러 집합의 합집합 크기를 *겹침을 빼고 더하는* 교대 합으로 계산. 조합론의 기본 도구.

2000년 클레이 수학연구소가 선정한 *21세기에 풀어야 할 7개의 문제*. 각 문제마다 *100만 달러* 상금. 1개(푸앵카레 추측)만 풀렸고 6개가 여전히 미해결.