자연수

개노잼 드립

주의. 이 문서는 심각하게 노잼일 수 있습니다. 이 글은 노잼 드립이 있는 문서입니다. 그리고 정보도 안 주는 쓰레기통 행이 어울리는 문서입니다.

자연에 존재하는 물이다.

약수,지하수가 이곳에 속한다

진짜 자연수에 대한 거

주의. 이 문서는 심히 진지하여 노잼일 수 있습니다. 이 글은 놀랍게도 디시위키에서 진지를 빨고 있습니다. 노잼이다 싶으시면 여기를 클릭하시어 이 문서를 탈출할 수 있습니다.

이 문서의 대상은 무언가의 중심이거나 그 중심을 지키는 것입니다. 그러니까 이 새끼들만 족치면 게임이 끝난다 이겁니다. ???: 일베가 이 나라의 중심을 지키고 있어요!

• 상위문서: 수 체계

개요

“

0, 1, 2, 3 , 4, 5, 6, 7, 8, 9, 10, ......

”

너가 처음에 배우는 숫자. 모르면 개씹쌍병신이다. 보통 대상의 개수를 셀 때 나오는 수를 말한다. 자연수의 집합은 영어 Natural number의 첫 글자를 따와 N이라고 쓴다.

대상의 수를 세는 것이 수학의 출발이니만큼, 수학의 탄생을 상징하는 가장 기본적인 개념이다.

보통 0을 자연수로 취급하지만 취급하지 않기도 한다. 하도 많이 쓰여서 말이지....

어느 문과충의 부들부들

파일:원시인.gif

이 문서는 문과가 작성했거나, 또는 문과에 대해 다룹니다. 무슨 생각으로 작성한 건지는 잘 모르겠습니다.

이 문서는 이과가 작성했거나, 또는 이과에 대해 다룹니다. 무슨 생각으로 작성한 건지는 잘 모르겠습니다만 맞는말임은 틀림 없습니다. 이과는 아다를 못 떼 마법을 쓰니까 말이죠...

└ 헛소리 자제 하도많이 쓰인다고 0이 자연수라니 미친소리하네 수학다시배워라

ㄴㄴ현대대수학에선 0도 자연수 취급한다 등신아 빈 수레가 요란하다

자연수의 수학적 정의

후임자 집합이라는 successor set을 먼저 정의해야됨.

집합 A가 있으면 그 후임자를 A₊ = A ∪ {A} 로 씀

그러면 A 하나 던져주면 그다음놈까지 저거로 정의된다.

자연수는 저 A 자리에 공집합을 집어넣으면 된다.

그리고 공집합에 0이라고 이름을 주고 그 뒤로
1 =（정의） 0₊ = 0 ∪ {0} = ∅ ∪ {0} = {0}
2 =（정의） 1₊ = 1 ∪ {1} = {0} ∪ {1} = {0, 1}
3 =（정의） 2₊ = 2 ∪ {2} = {0, 1} ∪ {2} = {0, 1, 2}
4 =（정의） 3₊ = 3 ∪ {3} = {0, 1, 2} ∪ {3} = {0, 1, 2, 3}
이런 식으로 부르는거지

여기서 만약 1부터 시작할 경우 1을 정의하기 위해 집어넣을 원소를 정의해야 하니 수고스럽기도 할 뿐더러 초항의 원소가 각각 사과 1개, 포도 1개 같이 서로 차이가 나면 이름만 같지 서로 다른 집합이 되어 일반화도 안되고 기준이 다르니 납득하기도 힘들지만, 0부터 시작할 경우 공집합이므로 굳이 원소를 정의 안해도 되니 더 간단하며 기준도 텅 빈 공집합을 초항으로 하니 납득하기에도 편하다. 이에 따라 0을 자연수 처음항으로 간주하는 것이다.

페아노 공리 뒷부분 더있는데 어차피 못알아 처먹을거잖아? 그니깐 여기까지만 쓴다.

자연수의 계산

덧셈

위 설명생략한 공리들과 자연수에서의 덧셈은 덧셈이 가지는 가장 기본적인 성질들을 추려서, 다음과 같이 귀납적으로 정의된다.

(A1) 임의의 자연수 n에 대하여 n+1 = n+1=n+

(A2) 임의의 자연수 m,n에 대하여 m+n+=(m+n)+

이게 끝이다. 사실 이런 식으로밖엔 자연수의 덧셈을 제대로 정의할 수 있는 방법이 사실상 없다. 하지만 이런 정의와 페아노 공리, 특히 다섯 번째 공리(수학적 귀납법)이 만나면 우리가 아는 모든 게 다 튀어나온다.

일단 결합법칙, 교환법칙, 그리고 소거법칙이 금방 나온다.

고로 1+1를 존나 손쉡게 증명할 수 있다.

여기서 1 대신 0으로 시작하는 경우, (A1)은 이렇게 바꿔야 한다.

(A1) 임의의 자연수 n에 대하여 n+0 = n+0=n

뺄셈?

A-B=C

뺄셈은 대충 보면 자연수 대소를 비교했을 때 큰거에서 작은 것을 빼는 거라고 하지만 실상은 양의 정수와 음의 정수를 더한거라고 한다.

곱셈

덧셈이랑 비슷하다.

(M1) 임의의 자연수 n에 대하여 n×1=n.
(M2) 임의의 자연수 m,n에 대하여 m×n+=m×n+m.

덧셈과 마찬가지로 0부터 시작하는 경우 (M1)은 다음과 같이 바꿔야 한다.

(M1') 임의의 자연수 nn에 대하여 n×0=0.

자연수의 대소 관계

두 자연수 a,b에 대하여 어떤 c가 존재해 a=b+c가 성립한다면, a>b이다.

그러하다.