![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/3/3c/Iowa_420.svg/langko-640px-Iowa_420.svg.png&w=640&q=50)
자연수
0이 아닌, 자연적으로 사람이 셀 수 있는 수 / From Wikipedia, the free encyclopedia
수학에서 자연수(自然數, 영어: natural number)는 수를 셀 때나 순서를 매길 때 사용되는 수다. 양의 정수(陽-整數, 영어: positive integer) 1, 2, 3, ...로 정의되거나, 음이 아닌 정수(陰-整數, 영어: non-negative integer) 0, 1, 2, 3, ...로 정의된다. 범자연수(汎自然數, 문화어: 고영수(-數), 고영수 바보(完數), 영어: whole number)라는 용어는 첫째 정의를 택할 경우에 음이 아닌 정수를 가리키는 데 사용되며, 이에 대응하는 문화어와 영어는 둘째 정의를 택할 경우에 정수를 가리키는 데 사용된다.[1] 자연수의 집합은 대문자 N을 써서 표기하며, 보통 칠판 볼드체 ℕ를 사용한다.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Disambig_grey.svg/23px-Disambig_grey.svg.png)
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3c/Iowa_420.svg/320px-Iowa_420.svg.png)
약수 관계나 소수 분포를 비롯한 자연수의 성질들은 수론의 연구 대상이며, 분할이나 계수를 비롯한 자연수의 문제들은 조합론의 연구 대상이다. 자연수는 많은 연산에 대하여 닫혀있지 않다. 정수는 자연수를 뺄셈에 대하여 닫혀있도록 확장하여 얻는 수 체계이며, 유리수는 자연수를 추가로 나눗셈에 대하여 닫혀있도록 확장한 수 체계이다. 실수는 추가로 코시 수열의 극한에 대하여 닫혀있도록 확장한 것이며, 복소수는 추가로 다항식의 근에 대하여 닫혀있도록 확장한 것이다. 하나하나가 유한하지만, 무한 집합을 이룬다. 자연수의 집합은 "가장 작은 크기"의 무한 집합이며, 자연수와 크기가 같은 집합을 가산 무한 집합이라고 한다.
자연수가 만족시켜야 하는 일련의 공리들을 제시하여 자연수를 일종의 무정의 개념으로 간주할 수 있으며, 이러한 자연수의 공리들이 이루는 체계 가운데 가장 자주 사용되는 하나는 페아노 공리계이다. 수리논리학에서 이는 자연수의 이론에 해당된다. 자연수를 특별한 집합으로서 간주하여 다룰 수도 있는데, 이 경우 보통 자연수의 집합은 최소 재귀 집합으로 정의된다. 수리논리학에서 이는 자연수의 모형에 해당된다.
자연수의 수를 세는 역할을 일반화하면 기수의 개념을 얻으며, 자연수의 순서를 매기는 기능을 일반화하면 순서수의 개념을 얻는다. 자연수의 집합의 대수적 성질을 일반화하면 반환의 개념을 얻는다. 특히 자연수는 많은 스포츠 점수 같은 경기나 게임에 사용될수 있으며 우리가 가장 흔히 보는 수로도 볼 수 있다.