Natural Number

이 글에서는 자연수의 덧셈, 곱셈, 거듭제곱을 정의하고 이 연산의 기본 성질을 살펴본다. 덧셈, 곱셈, 거듭제곱의 정의 정리 1.  자연수의 연산의 정의. (1) 다음 두 조건을 모두 만족시키는 함수 \(+:\mathbb{N}\times\mathbb{N}\rightarrow\mathbb{N}\)이 유일하게 존재한다. 임의의 자연수 \(n\)에 대하여 \(n+0 = n\), 임의의 자연수 \(n,\) \(m\)에 대하여 \(n+m^+ = (n+m)^+ .\) (2) 다음 두 …

수학적 귀납법은 정의역이 자연수 집합인 함수의 성질을 밝힐 때뿐만 아니라 정의역이 자연수 집합인 함수를 정의할 때도 사용된다. 예컨대 \(a\)가 \(0\)이 아닌 실수이고 \(n\)이 자연수일 때 \[a^0 = 0 ,\quad a^{n+1} = a^n \times a\] 라고 정의하면, 모든 자연수 \(n\)에 대하여 거듭제곱 \(a^n\)이 정의된다. 이와 같은 방법으로 정의된 함수를 귀납적으로 정의된 …

이 글에서 ‘자연수’는 \(0\) 이상인 정수를 이르는 것으로 약속한다. 자연수 집합의 정의 정의 1. 자연수를 다음과 같은 집합으로 정의한다. \[\begin{aligned} 0 &= \varnothing, \\[5pt] 1 &= 0^+ = \left\{ 0 \right\} ,\\[5pt] 2 &= 1^+ = \left\{ 0,\,1 \right\} ,\\[5pt] 3 &= 2^+ = \left\{ 0 ,\,1,\,2 \right\} , \\[5pt] …