자연수 (r1)

자연수는 대상의 개수를 세거나 순서를 나타내는 데 사용되는 가장 기본적인 수이다. 일반적으로 1, 2, 3, 4, 5, ...와 같이 1부터 시작하여 무한히 이어지는 양의 정수의 집합을 가리킨다. 이 집합은 기호 ℕ 또는 N으로 표기한다. 자연수는 셈의 개념과 직접적으로 연결되어 있으며, 일상생활에서 물건의 수를 헤아리는 가장 직관적인 수 체계이다.

자연수의 정확한 범위에 대해서는 학문적 관습에 따라 논쟁이 존재한다. 역사적으로는 1부터 시작하는 정의가 널리 사용되었으나, 현대 집합론이나 컴퓨터 과학 등 많은 분야에서는 편의상 0을 포함하여 정의하기도 한다. 0을 포함하는 집합은 ℕ₀ 또는 양의 정수를 의미하는 ℤ⁺로 표기하여 구분한다.

자연수 집합에 0을 포함시킬지 여부는 수학에서 오랜 논쟁의 대상이다. 역사적 관습과 현대 수학의 엄밀한 정의 사이에 차이가 존재하기 때문이다.

역사적으로 자연수는 대상의 개수를 세는 데 사용되는 수로, 1, 2, 3, ...으로 시작했다. 이 관점에서 '없음'을 나타내는 0은 자연스럽게 포함되지 않았다. 이러한 전통은 많은 국가의 초등 및 중등 교육 과정에서 이어져 왔다. 그러나 현대 수학, 특히 집합론적 구성에서는 공리적 접근의 편의를 위해 0을 자연수의 시작점으로 삼는 경우가 많다. 예를 들어, 페아노 공리계를 0을 최소 원소로 두고 구성하거나, 폰 노이만의 구성에서 0을 공집합으로 정의하는 것이 대표적이다.

이 논쟁은 단순히 맞고 틀림의 문제가 아니라 사용되는 관습의 차이이다. 두 접근 모두 모순이 없으며, 각각의 장점이 있다. 0을 포함하지 않는 정의는 역사적 직관에 부합하지만, 0을 포함하는 정의는 대수학에서 모노이드 구조를 완성하거나 이론 컴퓨터 과학에서 인덱스 계산을 용이하게 하는 등 이론적 편의를 제공한다. 이러한 모호함을 피하기 위해 학계에서는 '양의 정수'(0 미포함)나 '음이 아닌 정수'(0 포함)와 같은 명확한 용어를 사용하기도 한다.

페아노 공리계는 자연수 집합을 정의하기 위해 주세페 페아노가 제안한 다섯 개의 공리이다. 이 공리계는 자연수의 본질적인 성질을 추상화하여, '1'이라는 시작점과 '따름수(successor)'라는 개념, 그리고 수학적 귀납법의 원리를 기반으로 자연수 체계를 구성한다.

페아노 공리계는 다음과 같은 다섯 가지 공리로 구성된다.

1. 1은 자연수이다.

2. 모든 자연수 n에는 그 뒤를 잇는 자연수 n⁺(따름수)가 존재한다.

3. 1은 어떤 자연수의 따름수도 아니다.

4. 서로 다른 자연수는 서로 다른 따름수를 가진다. 즉, m⁺ = n⁺ 이면 m = n 이다.

5. 자연수의 부분집합 S가 1을 포함하고, n이 S에 속할 때마다 n⁺도 S에 속한다면, S는 자연수 전체 집합과 같다. 이는 수학적 귀납법의 공리적 표현이다.

이 공리들을 함수의 언어로 재구성할 수도 있다. 즉, 집합 N과 특정 원소 1 ∈ N, 그리고 N에서 N으로 가는 단사함수 σ(따름수 함수)가 존재하여, 1이 σ의 치역에 속하지 않으며, 위의 다섯 번째 공리(귀납법 공리)를 만족하는 구조 (N, 1, σ)를 자연수 체계로 정의한다. 이 공리계는 자연수가 무엇인지에 대한 직관을 정확히 포착하면서도, 그 존재성과 유일성을 논리적으로 보장하는 수학적 토대를 제공한다.

자연수를 집합론적으로 구성하는 방법은 페아노 공리계가 제시하는 성질을 만족하는 구체적인 집합의 존재를 보장하고, 자연수의 본질을 집합이라는 수학적 객체로 구현하는 것을 목표로 한다. 이 접근법은 체르멜로와 폰 노이만에 의해 발전되었으며, 특히 폰 노이만의 구성이 현대 집합론에서 표준적으로 사용된다.

폰 노이만은 공집합 ∅을 수 0으로 정의하고, 각 자연수의 '따름수(successor)'를 n⁺ = n ∪ {n}으로 정의하는 방식을 제안했다. 이에 따라 자연수는 다음과 같이 구성된다.

이 구성의 핵심 이점은 각 자연수 n이 정확히 n개의 원소를 가지는 집합이 되며, n의 모든 원소는 n보다 작은 자연수들이라는 점이다. 즉, k ∈ n이면 k ⊂ n이 성립한다. 이 성질은 자연수의 순서 관계를 집합의 포함 관계(∈)로 자연스럽게 정의할 수 있게 한다.

ZF 공리계의 무한 공리는 이러한 방식으로 구성된 모든 자연수(또는 범자연수)를 원소로 포함하는 집합의 존재를 보장한다. 이 집합을 얻기 위해, ∅ ∈ A이고 x ∈ A일 때 x⁺ ∈ A를 만족하는 모든 집합 A의 모임 𝒮를 생각한다. 무한 공리에 의해 𝒮는 공집합이 아니며, 이 모임의 교집합 ⋂_(I∈𝒮) I을 취하면 가장 작은 그러한 집합, 즉 우리가 원하는 자연수 집합(또는 0을 포함한 범자연수 집합 ℕ₀)을 얻는다. 이 집합이 페아노 공리계를 만족함을 증명할 수 있다.

자연수의 덧셈과 곱셈은 페아노 공리계를 바탕으로 재귀 정리를 이용하여 엄밀하게 정의된다. 이 연산들은 자연수의 가장 기본적인 대수적 성질을 규정하며, 이후 정수, 유리수 등 더 넓은 수 체계로의 확장을 위한 토대가 된다.

덧셈은 어떤 수에 다른 수만큼 '따름수' 연산을 반복하는 것으로 정의된다. 공식적으로, 고정된 자연수 m에 대해, A_m(0) = m이고 모든 자연수 n에 대해 A_m(n^+) = (A_m(n))^+를 만족하는 재귀 함수 A_m을 덧셈 함수로 정의한다. 이때 m + n = A_m(n)으로 표기한다. 예를 들어, 1 + 1은 A_1(1) = A_1(0^+) = (A_1(0))^+ = (1)^+ = 2로 계산된다. 이 정의에 따르면 덧셈은 교환 법칙과 결합 법칙을 만족하며, 0을 포함하는 자연수 체계(범자연수)에서는 0이 덧셈의 항등원 역할을 한다.

곱셈은 덧셈을 반복하는 연산으로 정의된다. 고정된 자연수 m에 대해, M_m(0) = 0이고 모든 자연수 n에 대해 M_m(n^+) = m + M_m(n)을 만족하는 재귀 함수 M_m을 곱셈 함수로 정의한다. 이때 m × n = M_m(n)으로 표기한다. 예를 들어, 5 × 3은 M_5(3) = 5 + M_5(2) = 5 + (5 + M_5(1)) = ... = 15와 같이 계산된다. 곱셈 역시 교환 법칙, 결합 법칙을 따르며, 덧셈에 대한 분배 법칙이 성립한다. 1은 곱셈의 항등원이다.

이러한 정의를 바탕으로 자연수 집합은 덧셈과 곱셈에 대해 '닫혀 있다'고 말할 수 있다. 즉, 임의의 두 자연수를 더하거나 곱한 결과는 항상 다시 자연수가 된다. 이 성질은 자연수를 확장하여 정수나 유리수를 구성할 때 일부 포기되기도 한다[1].

자연수 집합 위에는 덧셈과 곱셈 외에도 중요한 관계인 대소 관계가 정의된다. 이 관계는 자연수들 사이의 순서를 규정하며, 자연수 집합이 정렬 집합이 되게 하는 근간이 된다.

두 자연수 \(a\)와 \(b\)에 대하여, \(a = b + c\)를 만족하는 자연수 \(c\)가 존재할 때, \(a\)는 \(b\)보다 크다고 정의하며 \(a > b\)로 표기한다[2]. 이 정의는 자연수에서의 뺄셈이 항상 가능하지 않더라도, 덧셈을 통해 순서 개념을 엄밀하게 구성할 수 있게 한다. 예를 들어, \(5 > 2\)인 이유는 \(5 = 2 + 3\)을 만족하는 자연수 \(3\)이 존재하기 때문이다. 이 관계로부터 \( \geq, <, \leq \) 등의 다른 순서 기호도 자연스럽게 유도된다.

이렇게 정의된 대소 관계는 자연수 집합에 전순서를 부여한다. 즉, 임의의 두 자연수 \(a\), \(b\)에 대해 \(a > b\), \(a = b\), \(a < b\) 중 정확히 하나가 성립한다. 더 나아가, 자연수의 부분집합이 공집합이 아니면 반드시 가장 작은 원소(최소원)를 가지는데, 이 성질을 정렬 원리라고 한다. 이 정렬 원리는 수학적 귀납법의 타당성과도 깊이 연결되어 있다.

자연수에서 약수는 어떤 자연수를 나머지 없이 나눌 수 있는 자연수를 말한다. 예를 들어, 12의 약수는 1, 2, 3, 4, 6, 12이다. 모든 자연수는 1과 자기 자신을 약수로 가지며, 1은 모든 자연수의 약수이다. 반면, 배수는 어떤 자연수에 다른 자연수를 곱하여 얻어지는 수이다. 예를 들어, 3의 배수는 3, 6, 9, 12, ...와 같이 무한히 존재한다.

약수와 배수는 서로 역의 관계에 있다. 자연수 a가 자연수 b의 약수라면, b는 a의 배수이다. 이 관계는 나눗셈을 통해 명확히 정의된다. 즉, 자연수 a, b에 대해 b = a × k (k는 자연수)를 만족하는 k가 존재할 때, a는 b의 약수이고 b는 a의 배수이다. 이 개념은 최대공약수와 최소공배수를 구하는 기초가 된다.

약수와 배수의 성질은 정수론의 기본을 이루며, 소수 판별이나 인수분해와 같은 더 심화된 수학 개념의 출발점이 된다.

자연수는 그 성질에 따라 소수와 합성수로 분류된다. 소수는 1보다 크며, 1과 자기 자신만을 약수로 가지는 자연수이다. 예를 들어, 2, 3, 5, 7, 11 등은 소수이다. 1은 소수의 정의에서 제외되며, 소수는 무한히 많다는 것이 유클리드에 의해 증명되었다[3]. 반면, 합성수는 1보다 크고 소수가 아닌 자연수, 즉 1과 자기 자신 이외에 다른 약수를 적어도 하나 가지는 수이다. 예를 들어, 4, 6, 8, 9, 10 등은 합성수이다.

소수와 합성수의 개념은 정수론의 기초를 이루며, 산술의 기본 정리에 의해 모든 1보다 큰 자연수는 소수들의 곱으로 유일하게 표현된다[4]. 이 정리는 자연수의 구조를 이해하는 데 핵심적이다. 예를 들어, 합성수 12는 소수 2와 3을 사용해 2² × 3으로 소인수분해되며, 이 표현은 3 × 2²과 순서만 다를 뿐 본질적으로 동일하다.

자연수는 수학적 체계의 가장 기본적인 구성 요소이다. 자연수를 바탕으로 더 넓은 수 체계인 정수, 유리수, 실수가 구성된다. 이 확장 과정은 수학적 연산의 폐쇄성 문제를 해결하고, 수의 범위를 체계적으로 넓히는 데 그 목적이 있다.

먼저, 자연수 집합에서 뺄셈은 항상 가능하지 않다. 예를 들어, 3 - 5의 결과는 자연수 범위 내에 존재하지 않는다. 이 문제를 해결하기 위해 음의 정수 개념이 도입된다. 자연수에 0과 모든 음의 정수를 추가한 집합이 정수 집합 ℤ이다. 정수 집합에서는 덧셈, 뺄셈, 곱셈이 자유롭게 수행될 수 있다.

그러나 정수 집합 내에서 나눗셈은 여전히 제한적이다. 3 ÷ 2의 결과는 정수가 아니다. 이를 해결하기 위해 분수 형태 a/b (단, a와 b는 정수, b ≠ 0)로 표현될 수 있는 모든 수의 집합인 유리수 집합 ℚ가 정의된다. 유리수는 정수를 완전히 포함하며, 유한소수나 순환소수로 표현될 수 있다.

마지막으로, 유리수는 수직선을 조밀하게 채우지만, 여전히 비어 있는 점이 존재한다는 것이 밝혀졌다. 예를 들어, √2나 π와 같은 수는 분수로 정확히 표현될 수 없는 무리수이다. 유리수와 무리수를 모두 포함하는 완비된 수 체계가 실수 집합 ℝ이다. 실수는 수직선 위의 모든 점과 일대일 대응한다.

이 확장 관계는 다음과 같은 포함 구조로 요약된다.

이러한 확장을 통해 수학은 방정식 해결, 극한, 미적분학 등 더 복잡하고 추상적인 개념을 다룰 수 있는 기반을 마련하였다.