해석학 입문

피자 3판을 5명이 나눠 먹으려면? 초등학생 때는 불가능했던 이 계산이 가능해진 이유를 탐구합니다. 자연수에서 실수까지, 수 체계가 확장되며 사칙연산이 자유로워지는 과정을 통해 해석학의 기초인 필드 구조를 이해해보겠습니다.

지금까지 우리는 필드라는 대수적 구조를 통해 사칙연산의 세계를 탐험했습니다. 그런데 수학에서는 연산만큼이나 중요한 것이 또 하나 있습니다. 바로 '크기 비교'입니다. 필드에 이러한 비교 구조를 추가하면 어떤 일이 벌어질까요?

지금까지 우리는 필드(사칙연산)와 순서(크기 비교)라는 두 기둥을 세웠습니다. 그런데 이것만으로는 실수를 완전히 설명할 수 없습니다. 유리수도 이 두 조건을 만족하지만, 유리수에는 치명적인 '구멍'이 있기 때문입니다. 이번 글에서는 이 구멍을 메우는 완비성을 다룹니다.

실수의 완비성이 가져오는 놀라운 결과인 "아무리 작은 양도 충분히 많이 더하면 아무리 큰 양도 넘을 수 있다"는 아르키메데스 성질을 탐구합니다. 개미 걸음도 무한히 반복하면 지구를 돌 수 있듯이, 실수에는 무한대가 존재하지 않음을 증명합니다.

유리수의 조밀성을 주제로, 어떤 두 실수 사이에도 무한히 많은 유리수가 존재함을 증명합니다. 아르키메데스 성질을 활용해 구간을 '확대-축소'하는 증명 과정을 통해 실수의 빽빽한 구조를 이해할 수 있습니다. 이는 무리수를 유리수로 근사하는 과정의 기초가 됩니다.

지금까지 우리는 실수의 완비성이 주는 놀라운 결과들을 살펴보았습니다. 그런데 한 가지 근본적인 질문이 남아있습니다. 실수는 어떻게 구성되는 것일까요? 유리수에서 시작해서 어떻게 실수라는 완전한 체계에 도달할 수 있을까요?