최근 수정 시각 : 2024-11-28 21:22:28

자연수

양의 정수에서 넘어옴
수 체계
Number Systems
{{{#!wiki style="margin:0 -10px -5px; min-height:calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-5px -1px -11px; word-break: keep-all" 		사원수 [math(\mathbb H)] · 팔원수 [math(\mathbb O)]
↑ 확장 ↑
복소수 [math(\mathbb C)]
↑ 대수적 폐포, 행렬 표현, 순서쌍 구성 등 ↑ 허수 [math(\mathbb{C}
실수 [math(\mathbb R)]
↑ 완비화, 데데킨트 절단 등 ↑ 무리수 [math(\mathbb{R} \setminus \mathbb{Q} = \mathbb I)]
유리수 [math(\mathbb Q)]
↑ 곱셈의 역원 ↑ 정수가 아닌 유리수 [math(\mathbb{Q} \setminus \mathbb{Z})]
정수 [math(\mathbb Z)]
↑ 덧셈의 역원 ↑ 음의 정수 [math(\mathbb{Z} \setminus \mathbb{N})]
범자연수 [math(\mathbb N_0)]
↑ 자연수의 집합론적 구성 ↑
[math(0)]
소수 [math(\mathbb P)] · 초실수 [math(\mathbb R^{\ast})] · 대수적 수 [math(\mathbb A)]( 대수적 무리수 [math(\mathbb{A} \cap \mathbb{I})]) · 초월수 [math(\complement {\mathbb A})] · 벡터 공간 [math(\mathbb V)] · 이원수 · 분할복소수 }}}}}}}}}

수와 연산
Numbers and Operations
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px" 		<colbgcolor=#765432> 수 체계 자연수 ( 홀수 · 짝수 · 소수 · 합성수) · 정수 · 유리수 ( 정수가 아닌 유리수) · 실수 ( 무리수 · 초월수) · 복소수 ( 허수) · 사원수
표현 숫자 ( 아라비아 숫자 · 로마 숫자 · 그리스 숫자) · 기수법( 과학적 기수법 · E 표기법 · 커누스 윗화살표 표기법 · 콘웨이 연쇄 화살표 표기법 · BEAF· 버드 표기법) · 진법 ( 십진법 · 이진법 · 8진법 · 12진법 · 16진법 · 60진법) · 분수 ( 분모 · 분자 · 기약분수 · 번분수 · 연분수 · 통분 · 약분) · 소수 { 유한소수 · 무한소수 ( 순환소수 · 비순환소수)} · 환원 불능 · 미지수 · 변수 · 상수
연산 사칙연산 ( 덧셈 · 뺄셈 · 곱셈 구구단 · 나눗셈) · 역수 · 절댓값 · 제곱근 ( 이중근호) · 거듭제곱 · 로그 ( 상용로그 · 자연로그 · 이진로그) · 검산 · 연산자 · 교환자
방식 암산 · 세로셈법 · 주판 · 산가지 · 네이피어 계산봉 · 계산기 · 계산자
용어 이항연산( 표기법) · 항등원과 역원 · 교환법칙 · 결합법칙 · 분배법칙
기타 수에 관련된 사항 ( 0과 1 사이의 수 · 음수 · 작은 수 · 큰 수) · 혼합 계산 ( 48÷2(9+3) · 111+1×2=224 · 2+2×2) · 0으로 나누기( 바퀴 이론) · 0의 0제곱 }}}}}}}}}


1. 개요2. 어원과 역사3. 자연수의 수학적 정의
3.1. 페아노 공리계
3.1.1. 범자연수(0을 포함하는 공리계)
3.2. 자연수의 덧셈3.3. 자연수의 곱셈3.4. 자연수의 대소 관계3.5. 기타3.6. 집합론적 정의(자연수 구성하기)
3.6.1. 자연수 이상의 수 구성하기
4. 실전에서 자주 쓰게 되는 자연수의 성질5. 기타6. 제목이 자연수로만 된 문서
6.1. 0으로 시작하는 문서
7. 자연수의 집합에 대하여 닫혀 있는 연산

1. 개요

The simplest thought like the concept of the number one has an elaborate logical underpinning.
1이라는 개념의 단순한 사고도 매우 정교한 논리적 기반을 가진다.
칼 세이건

自 然 數 / natural number

[math(1,\,2,\,3\ldots)]와 같이 나아가는, 보통 대상의 개수를 셀 때 나오는 수.

자연수의 집합은 영어 natural number의 첫 글자를 따와 [math(\mathbb{N})] 또는 정수의 양수 부분을 뜻하는 [math(\mathbb{Z}^+)]라고 쓴다.

대상의 수효를 세는 것이 수학의 출발이니만큼, 수학의 탄생을 상징하는 가장 기본적인 개념이다. 이러한 맥락에서 수학자 크로네커는 '정수는 자애로운 신이 만들었고, 나머지는 인간의 창작물이다.'[1]이라는 말을 남기기도 했다.

그러나 자연수도 추상화를 통해 '발명된' 개념이다. 두 마리의 꿩과 이틀이 자연수 [math(2)]의 예들이라는 것을 발견하는 데까지는 상당한 시일이 걸렸을 것이다. 수를 세는 것은 사실 일대일대응의 개념을 담고 있고, 여기서 칸토어가 현대적 무한의 개념을 착안했다고 보아도 무리는 아닐 것이다.

중등 교과과정에서는 보통 역사적인 관습을 따라 [math(0)]을 자연수로 치지 않지만[2], 많은 사람들이 편의성의 문제로 자연수에 [math(0)]을 포함시켜 생각하기도 한다. 폰 노이만 체계를 따르는 수학자들. 물론 이는 무엇이 맞고 틀리는지보다는 서로 다른 관습에 불과하다. 사실, 현대수학적 관점에서 보면 자연수는 기본 원소가 하나 존재하고, 수학적 귀납법이 성립하는 '구조'에 불과하기 때문에 [math(0)]으로 시작하건 [math(1)]로 시작하건 구조적으로는 차이가 없다. 물론, 여기서 말하는 구조란 집합론적 구조를 말하고, 대수적 구조로 접근하면 [math(0)]을 포함하느냐 마느냐는 덧셈과 뺄셈 연산의 항등원을 넣느냐 마느냐의 차이가 생긴다. 물론, [math(0)]을 포함하는 편이 대수적으로 더 의미있는 구조인 모노이드가 되기 때문에, 대부분의 경우 [math(0)]을 자연수 집합에 포함시킨다. 물론 이런다고 곱셈의 역원은 물론 덧셈의 역원조차 없다는 설움이 어디 가진 않지만은. 어쨌든 이런 사소한 애매함을 피하고자 수학자들은 자연수보다는 양의 정수(positive integer, 0 미포함) 및 음이 아닌 정수(nonnegative integer, 0 포함)의 용어를 주로 사용하는 편이다.

2. 어원과 역사

Numerus Naturalis
자연적인 숫자

자연수라는 용어 자체는 유럽의 중세시대에 사용된 라틴어Numerus Naturalis의 한자 번역어이다. 자연수는 자연적인 수라는 뜻인데, 중세 기독교 신학에서 '자연적'(natura)라는 것은 본성을 지니고 있다, 신의 목적을 지니고 있다, 신의 질서를 따른다는 의미이다. 숫자가 신의 목적과 질서에 부합한다는 생각은 현대 한국인이 보기에는 생소하다 못해 괴상한 개념이지만, 이러한 믿음은 고대 그리스의 피타고라스 학파에 기원을 둘 정도로 오래된 유럽의 독특하고 특수한 전통이다. 이 자연수라는 개념이 역사적으로 중요한 이유는, 이 때문에 서양에서 수학의 발전이 이루어지기도, 또 발목을 잡기도하는 상황이 수천년에 걸쳐서 반복적으로 일어나면서 서양사에 영향을 주었기 때문이다.

대표적인 것은 숫자 0에 대한 거부이다. 피타고라스 학파는 우주가 숫자로 이루어졌다는 신앙을 가지고 있었는데, 때문에 숫자는 반드시 자연에서 관찰되고, 1 대 1로 대응이 있어야 한다는 강박을 가지고 있었다. 이 시각에서 보면, 세상에 1개의 사과와 2개의 사과는 있어도, 0개의 사과를 본 사람은 세상에 없다. 없음은 그냥 빈 공간일 뿐이지, 그것을 별도로 숫자로 정한다는 것은 숫자가 더 이상 현실을 제대로 반영하는 것이 아닌것, 다시말해 거짓말이나 상상물에 불과하게 되는 것으로 여겼다.

이 믿음은 중세에 들어서면서 더 광범위하게 유럽에 퍼지면서 심해졌는데, 음수에 대한 거부로까지 번져나갔다. 자연수가 신적인 숫자이고, 실질적인 숫자이기 때문에, 반대로 음수는 비실적이고 거짓된 숫자, 다시말해 상상물에 불과한 허수 중의 한 종류로 취급받았다. 이러한 거부가 멈추는 것은 결국 기독교 신앙이 후퇴하기 시작하는 르네상스 이후이다.

반면에 자연수라는 개념의 긍정적인 면도 있었다. 수학을 독립된 학문의 반열로 올려놓은 것이 그것이다. 자연수의 신앙 때문에 유럽인들은 숫자만큼 완벽한 언어가 없고, 따라서 신의 언어일지도 모른다는 믿음으로 수학연구에 매달렸다. 대표적인 것은 소수다. 그리스 인들은 소수가 자연수의 원자에 해당한다 믿었고, 때문에 매우 진지하게 연구했다. 이렇게 숫자 자체의 성질을 탐구하는 것은 다른 문명에서는 잘 나타나지 않은 현상이다. 수학을 단순히 실용적으로 접근한 문명들은 수학을 그저 도구적인 학문으로 생각해서, 천문학이나 기하학에 종속되는 분과 학문 취급했다. 한반도에서만 하더라도, 조선시대까지만 하더라도 수학은 다른 학문의 부속품에 지나지 않았고 숫자 자체의 성질 따위를 연구하는 것은 지식인의 취미활동에 지나지 않았다. 만약에 자연수라는 신앙이 없었다면 지금도 공학과 같은 학문의 선행 과목으로 밖에 의미가 없었을지도 모른다.

3. 자연수의 수학적 정의

20세기 전후 수학에서는 모든 것을 기호화된 논리로 정의하는 형식주의의 흐름이 시작됐고, 자연수를 어떻게 수학적으로 정의할까 하는 질문이 나오게 됐다. 수 체계 문서를 보면 잘 알 수 있겠지만, 다른 모든 수들이 자연수를 바탕으로 만들어지므로, 자연수의 정의는 수학의 기반이 된다고 볼 수 있다. 한편 개수를 세는 것에 대한 논의는 현대적 집합론에서 무한집합의 원소의 '개수' – 정확히는 기수(cardinality)라고 한다 – 에 대한 중요한 고찰로 이어진다.

3.1. 페아노 공리계

자연수를 정의하려는 초창기의 시도 중 하나가 페아노 공리계(Peano's axioms)를 이용해 자연수를 정의하는 것이다.

다음 성질들을 만족하는 집합 [math(\mathbb{N})]을 가리켜 자연수 집합이라고 한다.
  1. [math(\mathbb{N})]은 [math(1)]이라고 불리는 특별한 한 원소를 가진다.
  2. [math(\mathbb{N})]의 임의의 원소 [math(n)]에 대하여 그 [math(n)]의 다음 수(successor) [math(n^+)]도 [math(\mathbb{N})]의 원소다.[3]
  3. [math(1)]을 다음 수로 갖는 원소는 [math(\mathbb{N})]에 존재하지 않는다.[4]
  4. [math(\mathbb{N})]의 두 원소가 같은 다음 수를 가진다면, 두 원소는 같다.[5]
  5. (자연수의 귀납적 정의) [math(\mathbb{N})]의 부분집합 [math(S)]가 [math(1\in S)]이며, 임의의 [math(n \in S)]에 대하여 [math(n^+ \in S)]라면, [math(S = \mathbb{N})]이다.

가장 중요한 다섯 번째 공리는 [math(\mathbb{N})]이 '[math(1,2=1^+, 3=(1^+)^+, 4=((1^+)^+)^+,\cdots)]'을 포함하는 최소의 집합임을 말하고, 이는 [math(\mathbb{N})]을 유일하게 결정짓는다. 사실 이는 수학적 귀납법과 동치인 내용으로, 바꾸어 말하면 이는 사실 수학적 귀납법이 자연수의 본질이라는 것을 의미한다.

3.1.1. 범자연수(0을 포함하는 공리계)

수 체계
Number Systems
{{{#!wiki style="margin:0 -10px -5px; min-height:calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-5px -1px -11px; word-break: keep-all" 		사원수 [math(\mathbb H)] · 팔원수 [math(\mathbb O)]
↑ 확장 ↑
복소수 [math(\mathbb C)]
↑ 대수적 폐포, 행렬 표현, 순서쌍 구성 등 ↑ 허수 [math(\mathbb{C}
실수 [math(\mathbb R)]
↑ 완비화, 데데킨트 절단 등 ↑ 무리수 [math(\mathbb{R} \setminus \mathbb{Q} = \mathbb I)]
유리수 [math(\mathbb Q)]
↑ 곱셈의 역원 ↑ 정수가 아닌 유리수 [math(\mathbb{Q} \setminus \mathbb{Z})]
정수 [math(\mathbb Z)]
↑ 덧셈의 역원 ↑ 음의 정수 [math(\mathbb{Z} \setminus \mathbb{N})]
범자연수 [math(\mathbb N_0)]
↑ 자연수의 집합론적 구성 ↑
[math(0)]
소수 [math(\mathbb P)] · 초실수 [math(\mathbb R^{\ast})] · 대수적 수 [math(\mathbb A)]( 대수적 무리수 [math(\mathbb{A} \cap \mathbb{I})]) · 초월수 [math(\complement {\mathbb A})] · 벡터 공간 [math(\mathbb V)] · 이원수 · 분할복소수 }}}}}}}}}

[math( \mathbb{N_{0}} = \{ 0,~1,~2,~3,~\cdots \})] Whole Numbers(범자연수)라고 한다.[6][7]

덧셈의 항등원인 0 이 자연수 체계에 빠져 있는 것은 여러모로 불편하다. 현대의 수학자들은 페아노 공리를 적당히 변형하여, 아래와 같은 0 이 포함된 자연수 체계를 만들었다.

다음 성질들을 만족하는 집합 [math(\mathbb{N})]을 가리켜 자연수 집합이라고 한다
  1. [math(\mathbb{N})]은 [math(0)]이라고 불리는 특별한 한 원소를 가진다.
  2. [math(\mathbb{N})]의 임의의 원소 [math(n)]에 대하여 그 [math(n)]의 다음 수(successor) [math(n^+)]도 [math(\mathbb{N})]의 원소다.
  3. [math(0)]을 다음 수로 갖는 원소는 [math(\mathbb{N})]에 존재하지 않는다.
  4. [math(\mathbb{N})]의 두 원소가 같은 다음 수를 가진다면, 두 원소는 같다.
  5. (자연수의 귀납적 정의) [math(\mathbb{N})]의 부분집합 [math(S)]가 [math(0\in S)]이며, 임의의 [math(n \in S)]에 포함되는 임의의 원소 [math(n)]에 대하여 [math(n^+ \in S)]라면, [math(S = \mathbb{N})]이다.

사실 이것은 1 이 0 으로 바뀐 것을 제외하고는 토씨하나 다른 점 없이 완전히 동일하다. 0을 포함하는 공리계에서 실제로 달라지는 것은 후술할 '덧셈과 곱셈의 정의'이다. 무작정, 첫 번째 원소를 1 에서 0 으로 바꿔 버리면 0+0=1 이라는 직관에서 한참 벗어난 결과가 튀어 나온다.

최초의 원소를 무엇으로 놓느냐에 대한 완전한 합의는 아직 없는 것 같아 보인다.[8]만 봐도 무슨 상황인지 알 수 있을 것이다. 실제로 0으로 시작하느냐 1로 시작하느냐에 따라 내용이 좀 바뀐다. 바로 위 공리들에서는 단순히 기호 바꿔쓰기에 불과하지만 덧셈과 곱셈의 정의로 가면 기호만 바꿔쓰기를 넘어서는 차이를 보인다. 즉, 단순히 기호만 바꿔 쓰는 것이 아니라 0을 우리가 아는 그 0처럼 (대수적으로) 쓰겠다고 선언하는 것이다. 자세한 내용은 아래에 덧셈과 곱셈의 정의를 다룰 때 서술할 것이다. 사실 페아노가 처음 이 공리를 제시했을 때에는 1로 시작하는 공리를 내세웠지만 후대에 가서 0으로 시작하는 경우를 고안해냈고, 지금과 같이 둘이 공존하게 된 상황이 된 것이다. 아무래도, 후술하겠지만, 집합론에서 자연수를 구성할 때 0부터 시작하기 때문에 페아노 공리도 0부터 시작하는 것이 더 낫다고 여겨 그런 것인 듯. 대수적으로도 이래저래 다루기 더 편리한 것도 있고.[9] 그렇다고 오해해선 안 되는 게, 페아노 공리 자체에 어떤 결함이 있다든가 하는 건 결코 아니라는 것이다. 0부터 시작하든 1부터 시작하든 사실 그 후로 전개되는 내용은 맨 처음 자잘한 것만 빼고 완전히 똑같으며, 단지 편리함혹은 취향의 차이만 있을 뿐이다. 다만 그럼에도 0부터 시작하는 자연수와 1부터 시작하는 자연수는 엄연히 다른 것이니, 주의해야 할 것이다.

초등학교 수학의 1학년 1학기 첫 단원이 이 0을 포함한 변형 페아노 공리계를 갓 초등학교에 입학한 학생들에 맞추어 간략화한 내용이다.

3.2. 자연수의 덧셈

이 다섯 가지 공리와 그리고 가장 간단한 형태의 덧셈, 곱셈, 그리고 대소 관계 정의를 이용하면 우리가 아는 자연수의 모든 성질들을 이끌어낼 수 있다. 자연수에서의 덧셈은 덧셈이 가지는 가장 기본적인 성질들을 추려서, 다음과 같이 귀납적으로 정의된다.
(A1) 임의의 자연수 [math(n)]에 대하여 [math(n + 1 = n^+)].
(A2) 임의의 자연수 [math(m,\,n)]에 대하여 [math(m + n^+ = \left(m + n\right)^+)].
이게 끝이다. 사실 이런 식으로밖엔 자연수의 덧셈을 제대로 정의할 수 있는 방법이 사실상 없다.[10] 하지만 이런 정의와 페아노 공리, 특히 다섯 번째 공리(수학적 귀납법)가 만나면 우리가 아는 모든 게 다 튀어나온다. 일단 결합법칙, 교환법칙, 그리고 소거법칙[11]이 금방 나온다.

물론 [math(1 + 1 = 2)], [math(2 + 3 = 5)] 등등을 '증명'할 수도 있다! 여기선 그 유명한 [math(1 + 1 = 2)]만 증명해 보겠다. 다음과 같다.
  • [math(1 + 1)]은 덧셈의 정의에 따라 [math(1)]의 다음 수이다. ([math(1 + 1=1^+)])
  • [math(2)]는 [math(1)]의 다음 수와 같다. ([math(1^+=2)])
  • 따라서 [math(1 + 1)]과 [math(2)]는 같다. ([math(1 + 1 = 2)])

쉽다. 하지만, 이렇게 표현하기 위해서 많은 수학자들이 이를 위한 여러가지 방법으로 추상화를 거친 끝에 위와 같은 비교적 쉬운 증명이 나온 것이다. 인터넷에 [math(1 + 1 = 2)]의 증명이 매우 어렵다며 수식이 가득한 증명이 돌아 다니는데, 이는 버트런드 러셀과 앨프리드 노스 화이트헤드의 Pricipia Mathematica에 나온 증명이다. 이때에는 자연수를 정의하는 방법이 현재와는 달랐기 때문에, 그 당시를 기준으로 증명이 이루어졌기 때문에 상당히 복잡하다. 자세한 것은 논리주의 참고.

여기서 1 대신 0으로 시작하는 경우, (A1)은 이렇게 바꿔야 한다.
(A1') 임의의 자연수 [math( n)]에 대하여 [math(n + 0 = n)].
단순히 기호만 바꾸는 것으로 그치지는 않는다는 이야기이다. 전술했듯이, 책마다 다르다. 그럼에도 수학적으로는 전혀 문제가 없는 이야기이다. 혹자는 이러면 문제가 되지 않냐고 할 수도 있겠지만 사실 0부터 시작하고 (A1) 대신 (A1')을 가정하면 (A1)이 동시에 만족된다는 것을 바로 알 수 있다. 간단히 증명하자면 [math(n + 1 = n + (0^+) = (n + 0)^+ = n^+)]. (사실, 반대로 0부터 시작할 때 (A1')을 가정하지 않고 (A1)을 가정해도 [math(n + 1 = n^+ , n + 0^+ = (n + 0)^+ = n^+ , n + 0 = n)]로 (A1')을 증명할 수 있다.)
이 경우 1+1=2 의 증명이 약간 달라지지만 간단히 쓰면 아래와 같다.
  • [math(1 + 1 = 1 + (0^+) = (1 + 0)^+ = 1^+ = 2)]

여기에 덧셈에 대한 역원을 만든 것이 정수 [math(\mathbb Z)]이다.

3.3. 자연수의 곱셈

마찬가지로 자연수에서의 곱셈도 비슷하게 정의된다.
(M1) 임의의 자연수 [math(n)]에 대하여 [math(n \times 1 = n)].
(M2) 임의의 자연수 [math(m, n)]에 대하여 [math(m \times n^+ = m \times n + m)].
마찬가지로 이 정의와 페아노 공리를 통해 결합법칙, 교환법칙, 소거법칙 등등 중요한 성질들이 다 튀어나온다. 여기에 추가로 덧셈과 곱셈이 크로스!하여 분배법칙이 성립한다는 것 또한 보일 수 있다.

덧셈에서 그랬듯이 0부터 시작하는 경우 (M1)은 다음과 같이 바꿔야 한다.
(M1') 임의의 자연수 [math(n)]에 대하여 [math(n \times 0 = 0)].
물론 이걸 가정하면 원래 (M1)이 성립한다는 것을 바로 알 수 있다. 간단하게 증명하자면 [math(n \times 1 = n \times (0^+) = (n \times 0) + n = 0 + n = n)].[12]

여기에 곱셈에 대한 역원을 만든 것이 유리수 [math(\mathbb Q)]이다.

3.4. 자연수의 대소 관계

마지막으로 대소 관계가 정의된다. 이건 좀 간단(?)하다. 1부터 시작되는 자연수 체계에서는 아래와 같다.
두 자연수 [math(a, b)]에 대하여 어떤 [math(c)]가 존재해 [math(a = b + c)]가 성립한다면, [math(a > b)]이다.
이 대소 관계를 이용해서, 집합의 모든 원소를 하나씩 순서대로 나열할 수 있게 된다. 좀 더 수학적인 표현을 쓰자면 전순서 집합(totally ordered set)이며 정렬 순서 집합(well-ordered set)이다.

0으로 시작하는 자연수 체계에서는 약간 조건이 추가돼서
두 자연수 [math(a, b)]에 대하여 0이 아닌 어떤 [math(c)]가 존재해 [math(a = b + c)]가 성립한다면, [math(a > b)]이다.

또는 이것과 조금 다르게
두 자연수 [math(a, b)]에 대하여 어떤 [math(c)]가 존재해 [math(a = b + c^+)]가 성립한다면, [math(a > b)]이다.

로 표기할 수 있으며, 이렇게도 표기할 수 있다.
두 자연수 [math(a, b)]에 대하여 어떤 [math(c)]가 존재해 [math(a = b + c)]가 성립한다면, [math(a \ge b)]이다.

등호(=) 는 앞에서 정의됐기 때문에, [math( > )] 나 [math( \ge )] 하나만 정의돼도, 이를 조합해서, [math( > , \ge , < , \le )] 만드는 것은 어렵지 않다.

3.5. 기타

이제 위에서 얻은 덧셈과 곱셈들을 대소 관계의 정의와 버무려 온갖 성질들을 다 얻을 수 있다. 물론 자연수 내에선 할 수 있는 게 좀 적긴 하다. 이때 자연수를 확장시켜 더 다양한 세계를, 예컨대 정수라든가 유리수, 그리고 실수까지 만들어낼 수 있다. 자세한 건 수 체계 참고.

참고로, 페아노 공리는 자연수 집합이 무한집합이라는 걸 내포한다. 무한집합의 정의를 '자기 자신과 일대일 대응을 가질 수 있는 순부분집합을 갖는 집합'으로 한다면[13] 다음 수 함수가 [math(\mathbb{N})]에서 [math(\mathbb{N} - \left\{1\right\})]로 가는 일대일대응임을 보이면 된다.[14]

3.6. 집합론적 정의(자연수 구성하기)

위에서 설명한 페아노 공리는 자연수를 가장 잘 설명하는 체계이나, 두 가지 문제가 있다. 첫 번째로는, 자연수 집합이 존재한다는 걸 보장하지 못한다는 것이다. 이제까지 했던 이야기는 '만약 이러한 집합이 존재한다면 어쩌구저쩌구 해서 이런 성질들이 성립한다'에 불과하지, 과연 이런 집합이 수학적으로 정의될 수 있는지는 완전히 다른 문제이기 때문.[15] 또한, 두 번째로는 '자연수의 의미'에 맞지 않을 수도 있다는 것이다. 페아노 공리만을 보자면, 적당한 무한수열을 가져오기만 해도, 그 수열은 자연수열이라고 할수 있기 때문에 우리가 알고있던 자연수라는 개념과는 괴리감이 생긴다.[16] 따라서 올바른 수학 체계는 자연수 집합, 즉 페아노 공리를 만족하는 집합의 존재를 자체적으로 보장해야 하며, 이 집합이 자연스럽게 정의돼야만 할 것이다.[17] 이는 현대 집합론에서 중요한 요소로 자리잡고 있다.

집합론 초창기에 체르멜로는
[math(0 = \varnothing)], [math(n^+ \left(=n+1\right) = \left\{n\right\})]
이런 방식으로 자연수를 구성했었다. 그러나, 곧 폰 노이만이 등장하여
[math(0 = \varnothing)], [math(n^+ = n\cup \{n\})]
으로 재구성했고, 이 정의가 체르멜로의 구성에 비해 갖는 몇 가지 큰 이점[18]이 있었기때문에 오늘날 집합론에서 자연수 하면 폰 노이만식의 구성을 대부분 떠올린다. 한편 ZF 공리계 중 '자연수들을 포함하는 집합이 존재한다'는 무한 공리(axiom of infinity)에 의해, 자연수 집합의 존재성이 보장된다.[19][20] 이때 자연수 집합을 다음과 같이 구성할 수 있다.
[math(\mathbb{N}=\displaystyle \bigcap_{I:0\in I\supseteq I^+}I)]

폰 노이만의 구성이 갖는 이점은 다음과 같다. 폰 노이만식 구성에서는 [math(1=\left\{0\right\})], [math(2=\left\{0,\,1\right\})], [math(3=\left\{0,\,1,\,2\right\})],... 이런 식으로 모든 자연수는 그보다 작은 자연수를 원소로 가지며, 동시에 자신보다 작거나 같은 수는 부분집합으로 갖는다. 즉, ⊂는 <로, ⊆는 ≤로 자유롭게 바꿔쓸 수 있었던 것이다.

3.6.1. 자연수 이상의 수 구성하기

이보다 더 커다란 장점은 자연수 이상의 수 역시 쉽게 표현이 가능하다는 점이다. 이 방법을 간단하게 응용하여 서수를 만들어 낼 수 있다.

일반적으로 자연수 하면 [math(0,\,1,\,2,\,3,\cdots < \infty )] 까지만을 상상하고, Zermelo 의 방식도 여기까지 가능하지만 폰 노이만 방식에서는 [math(0,\,1,\,2,\,3,\,\cdots,\,\mathbb{N},\,\mathbb{N}+1=\mathbb{N}\cup \left\{\mathbb{N}\right\},\,\mathbb{N}+2=\mathbb{N}+1\cup \left\{\mathbb{N}+1\right\},\,\cdots,\mathbb{N}\cdot 2,\,\cdots,\,\mathbb{N}\cdot \mathbb{N}=\mathbb{N}^2,\,\cdots,\,\mathbb{N}^3,\,\cdots)] 이런 식으로 끝없이 변태적으로 하늘을 뚫고 마구 나아간다. 이런 식으로 나아가는 수를 서수(Ordinal number)라 한다.

서수의 엄밀한 정의는 다음과 같은 초한 귀납법(transfinite induction)을 이용하여 이루어진다. 우선 다음 수(successor)를 이용해 [math(0,\,1 = 0^+,\,2 = 1^+,\,3 = 2^+,\,\cdots)] 등을 정의한다. 이게 끝이 안 날 것 같으면 이제까지 서수를 모두 모은 극한(limit)을 생각해, [math(\mathbb{N} = \left\{0,\,1,\,2,\,3,\,\cdots\right\})] 을 만든다. 다시 다음 수를 이용해 [math(\mathbb{N}+1)], [math(\mathbb{N}+2)], ..., 을 만들고, 극한 [math(\mathbb{N} +\mathbb{N} = \left\{0,\,1,\,2,\,3,\cdots,\,\mathbb{N},\,\mathbb{N}+1,\,\mathbb{N}+2,\,\mathbb{N}+3,\,\cdots\right\})]을 만들고, ..., 이렇게 [math(\mathbb{N},\, \mathbb{N}\cdot 2,\,\mathbb{N}\cdot 3,\cdots)]의 극한 [math(\mathbb{N} \cdot \mathbb{N} = \left\{0,\,1,\,\cdots \mathbb{N},\,\mathbb{N}+1,\,\cdots,\,\mathbb{N}\cdot 2,\,\mathbb{N}\cdot 2+1,\cdots,\,\mathbb{N}\cdot 3,\,\mathbb{N}\cdot 3+1,\,\cdots\right\},\,\cdots,\,\cdots)] 이런 식으로 [math(\mathbb{N}^{\mathbb{N}})], 나아가서 [math(\mathbb{N}^{\mathbb{N}^{\mathbb{N}^{\cdots}}})]까지도 만들 수 있다. 이 과정은 [math(\mathbb{N}^{\mathbb{N}^{\mathbb{N}^{\cdots}}})]의 극한 [math({\epsilon}_{0})]까지 이어진다. (이때 [math({\epsilon}_{0} = \mathbb{N}^{{\epsilon}_{0}})]이다) 그러나 이렇게 극한까지 도달한 [math({\epsilon}_{0})]조차도 '셀 수 있는' 크기를 가지므로, 이보다 비교할 수 없이 큰 집합도 무한히 많이 존재한다. 보통 수리논리학에서 서수를 말할 때는 [math(\mathbb{N})] 보다 [math(\omega )]라는 기호를 사용하는데, 이들 모든 가산 순서수들의 집합 또한 생각할 수 있으며 그 집합을 [math({\omega}_{1} )]라고 표기한다. 이는 가장 작은 비가산 무한 순서수이며, 당연히 [math({\epsilon}_{0})]보다 무한히 크다. 보다 세련된 서수의 정의는 정렬성(well-ordering)[21]이 성립하는 순서집합(ordered set)으로 정의하고, 이 중 유한한 서수만을 자연수로 생각하는 것이지만, 물론 그 서수의 존재성은 폰 노이만의 구성에 의해 보장된다.

4. 실전에서 자주 쓰게 되는 자연수의 성질

비록 자연수의 정의 정립이 개념적으로는 중요하지만, 막상 실전에서는 상단에 서술한 정확한 정의까지 가야 할 경우는 드물다. 엄밀한 증명을 하는 수학전공자들도 기본적인 사칙연산의 성질에 더해, 다음의 두 가지 성질 정도만 사실상의 공리로 받아들이고 시작하는 편이 대부분이다.
  • 정렬 원리(well-ordering principle)
공집합이 아닌 자연수의 부분집합은 항상 최소원을 갖는다.[22]이라는 부분집합을 잡으면 최소원이 없게 된다.]
자연수(양의 정수)의 부분집합 [math(A)]가 두 성질 (1) [math(1 \in A)] (2) [math(n \in A \Rightarrow (n+1) \in A)]을 만족한다면, [math(A)]는 자연수 집합 전체가 돼야 한다.

대개의 정수론 및 대수학 교재에서는 이 둘을 기반으로 해서, 나눗셈 정리부터 시작해서 산술의 기본정리, 최대공약수 등등 정수론의 주요 정리들을 따라가게 된다. 여러 자연수의 성질들은 이들을 주로 탐구하는 정수론과 관련해서 다양하게 찾아볼 수 있다.

5. 기타

자연수는 인류 역사상 어디서나 매우 자연스럽게 여겨졌지만[23], 이에 단순히 음부호만 붙인 음수 (혹은 음의 정수), 심지어 0을 받아들이는 데에도 훨씬 많은 시간이 걸렸다.

피타고라스 학파가 모든 만물은 자연수(와 그 비인 양의 유리수)로 이루어져 있다고 믿다가 무리수인 '2의 제곱근'을 만나 당황한 것은 잘 알려진 이야기.

6. 제목이 자연수로만 된 문서

파일:상세 내용 아이콘.svg   자세한 내용은 분류:정수 문서
를
의 번 문단을
의 부분을
참고하십시오.
이하의 문서는 수를 설명하지 않는 문서들이다.

6.1. 0으로 시작하는 문서

7. 자연수의 집합에 대하여 닫혀 있는 연산


파일:CC-white.svg 이 문서는 개편이 필요합니다.

이 문서는 리그베다 위키에서의 수정 로그 삭제로 인해 과거 로그의 일부가 누락된 문서이며, 문서 개편이 필요합니다. 이에 대해 자세히 알고 싶으신 분은 나무위키:로그 누락 문서를 참고해주세요. 또한 이 틀을 다실 때는, 문서 최상단 혹은 최하단에 [[분류:로그 누락 문서]]를 달아 주세요.

로그가 누락된 본 문서의 기여자 내역은 다음과 같습니다.

[1] Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschenwerk. 'ganzen Zahlen'(영어로 직역하면 'whole number'에 가까움)을 크로네커가 어떤 의미로 사용했는지는 논란이 남아 있으며 #, 영어로 '정수' 대신 '자연수'라고 인용될 때도 있다. [2] 유럽에서는 [math(0)]을 인정하는 데에 16세기나 걸렸음에 유의하자. [3] 다음 수는 '사실상' [math(+1)] 이라고 생각해도 되고, 그렇게 생각하는 편이 직관적으로 이해하기 쉽다. 굳이 [math(+1)]이 아니더라도 적당한 '[math(\mathbb{N})]에서 [math(\mathbb{N})]으로 가는 함수'면 어느 것이든 상관없다. [4] 물론 하단의 범자연수에서는 기본이 되는 수가 덧셈의 항등원 0이기 때문에 "0을 다음 수로 갖는 원소는 범자연수에 없다."라고 적혀 있다. [5] '특정 다음 수를 가지는 수는 유일하다'와 동치이다. [6] 어디까지나 비공식적으로 널리 쓰일 뿐이지, 대한수학회 확인 결과 정식적으로 번역된 용어가 없으므로 유의할 것. [7] 컴퓨터과학에서는 unsigned integer라는 표현을 쓴다. 말 그대로 '부호가 없는 정수'. [8] 당장 몇몇 정수론 관련 책만 봐도 상황을 알 수 있다. 0부터 시작하는 걸 다루는 책으로 Halmos, Paul (1960), Naive Set Theory와 Hamilton, A. G. (1988), Logic for Mathematician의 예시를 들 수 있고 1부터 시작하는 걸 다루는 책으로 Morash, Ronald P. (1991), Bridge to Abstract Mathematics: Mathematical Proof and Structures를 들 수도 있다. Cameron, Peter (1998), Sets, Logic and Categories에서는 0부터 시작하지만 한국어 번역판에서는 1부터 시작하게끔 자연수의 집합 [math(\N )]을 정의하고 0부터 시작하는 집합은 서수를 다루면서 [math(\omega )]라고 따로 정의한다. 참고로 영문 위키에서는 0부터 시작한다. [9] 어떤 연산에 대한 항등원이 있느냐 없느냐 하는 차이가 해당 연산을 다룰 때 매우 큰 차이를 만든다. [10] 그런데 여기서 이렇게 정의하는 방법이 과연 올바른 것인가 하는 의문을 가질 수 있다. 덧셈도 어떤 연산 혹은 사상, 즉 [math(+: \mathbb{N} \times \mathbb{N} \to \mathbb{N})]으로 잘 정의돼야 하는 것인데, 저런 식의 정의가 잘 정의된 사상 [math(+: \mathbb{N} \times \mathbb{N} \to \mathbb{N})]을 만들 수 있느냐는 것이다. 다르게 말하자면 저 조건을 만족하는 사상 [math(+: \mathbb{N} \times \mathbb{N} \to \mathbb{N})]이 존재하긴 하는지, 그리고 유일한 건지 모른다는 것이다. 다행스럽게도 이에 대한 답은 recursion theorem으로 충분히 설명이 가능하다. 물론 아래에 소개되는 곱셈도 이 정리로 잘 정의가 된다. 여담으로, 이 정리를 이용해서 자연수의 유일성(up to isomorphism)도 증명 가능하다. [11] [math(a + c = b + c)]이면 [math(a = b)]가 성립한다는 것 [12] 덧셈과 달리 곱셈은 (M1)을 가정했을 때 [math(n \times 1 = n , n \times 0^+ = n \times 0 + n = n)]로 (M1')을 증명할 수 없다. n과 더해서 n이 되는 수, 즉 덧셈에 대한 항등원이 0으로 유일하다는 공리가 없기 때문이다. 덧셈에 대한 항등원(이하 항등원)의 유일성은 공리가 아니라, 앞서 제시된 공리들을 이용해 증명해야 하는 정리다. 보통은 항등원을 두 개 만들어 놓고 연산을 진행한 뒤 이 둘이 같다는 방법으로 항등원의 유일성을 보일 수 있다. [13] 무한집합의 정의는 이것 말고도 또 있다. 이는 자연수 집합을 직접 이용하는 방법이 있는데, 이에 대해선 더 이상의 자세한 설명은 생략한다. [14] 어려운 부분은 다음 수 함수가 전사함수임을 보이는 것이다. 먼저 자연수 집합의 부분집합 [math(A)]를 다음과 같이 정의한다: [math(A)]는 일단 [math(1)]을 포함하며, 그리고 자신이 어떤 다른 원소의 다음 수인 모든 자연수들을 포함한다고 하자. 그러면 만약 [math(n)]이 [math(A)]에 포함된다면, [math(n^+)]가 [math(n)]의 다음 수이므로 [math(A)]에 포함되고, 이는 맨 처음 [math(A)]가 [math(1)]을 포함한다는 조건과 함께 다섯 번째 공리의 조건과 일치하게 된다. 따라서[math( A = \mathbb{N})]이고, 여기서 잠깐 쓰였던 [math(1)]을 갖다 버리면(...) [math(1)]을 뺀 나머지 모든 자연수들에 대하여 자신을 다음 수로 갖는 자연수가 존재함을 밝힐 수 있다. [15] 애초에 이름이 '공리'라는 것부터 그 한계를 짐작할 수 있다. [16] 예를 들어, 1의 후임자는 3이고, 3의 후임자는 2이고, 2의 후임자는 4라고 정의된 수열이라도 페아노 공리계의 조건을 만족할 수 있다. 하지만 알다시피 이 수열은 우리의 상식과는 거리가 멀다. 다만, 자연수의 구성으로는 이것을 정당화할 수는 없다. [17] 만약 자연스럽지 않고, 생각도 못한 집합이거나 한다고 하면 이 집합은 아무런 쓸모가 없는 것이다. [18] 예를들어, 노이만의 정의에서는 자연수 자체가 일종의 서수(ordinal)가 된다. [19] 이 공리가 필요한 이유는 공리적 집합론(axiomatic set theory)의 관점에서 보면 대상을 모았다고 무조건 집합으로 생각될 수 없기 때문이다. 아주 간단히 말하자면 공리적 집합론에서는 대상을 모은 것을 '모임(class)'이라 하고, 이 모임이 다른 모임의 원소가 될 때만 '집합(set)'으로 불린다. 그리고 집합에 대해서만 우리가 생각하는 수학을 전개하게 된다. 이는 모든 모임을 집합으로 인정한다면 러셀의 패러독스 같은 안 좋은 일들이 마구마구 일어나기 때문. [20] 공리로 보장된 것만 집합으로 인정하는 공리적 집합론의 이러한 관점에서는, 자연수 전체의 모임이 집합이 되는지 이렇게 공리로 보장해 주지 않으면 무한집합 자체를 생각할 수가 없는 상황이 되어 버린다. [21] 공집합이 아닌 임의의 부분집합에 대해 최소원이 존재한다는 성질로 자연수 집합은 이 성질을 가진다. [22] 자연수의 부분집합이라는 부분이 중요한 이유는 실수나 유리수의 부분집합을 예시로 들 경우, 먼저 상한만을 갖는 집합을 따져서 [math(\left(-\infty, 0\right]\cap\mathbb{R, Q}) [23] 당장 수사라는 품사가 전부 자연수로 이뤄져 있다. [24] 범자연수 집합도 포함된다. [25] 0의 0제곱을 제외하면 범자연수 집합도 포함된다.

분류