페아노의 공리(Peano's axioms)

Posted by ttahha
2010.04.07 17:21 수학이론
                             
자연수에 대해서는 보통 페아노의 공리(Peano's axioms)라는 것을 받아들이면 우리가 상식적으로 참이라고 알고 있는 자연수에 대한 명제들을 증명할 수 있게 된다.

 

1. 페아노의 공리(Peano's axioms)

자연수의 개념을 공리적으로 규정하기 위하여 이탈리아의 수학자 G.Peano가 제안한 다섯가지공리이다.

 

공리가 "증명하지 않고 옳다고 인정하는 명제"인 것처럼 용어들 가운데도 "정의하지 않고 사용하는 용어"가 필요한데, 이것들을 "무정의 용어"라고 하며, 이 공리계에서는 '자연수’ 라는 말과 ‘다음 수’ 라는 말, 그리고 1 을 무정의 용어로 하고,

1)1은 자연수이다.

2)모든 자연수 n은 그다음 자연수 n'을 갖는다.

3)1은 어떤 자연수의 다음수도 아니다.

4)두 자연수의 다음수들이 같다면 두 수는 서로 같다.

5)어떤 자연수들의 집합이 1을 포함하고 모든 원소에 대해 그 다음수를 항상 포함한다면 그 집합은 자연수 집합이다.

 

2. 페아노 공리계(Peano system)

페아노의 공리를 만족하는 집합을 '자연수집합'이라 부르고, N 으로 나타낸다.

다섯가지 공리는 다음과 같이 다시 표현될수있다.

1) N 에 1 이라는 원소가 존재한다.
2) 임의의 원소 n 에 대해 '다음 원소'인 n' 은 오직 하나 존재한다.
3) 임의의 다음 원소 n' 은 1 이 될 수 없다.
4) 임의의 두 원소 m 과 n 이 서로 다르면 다음 원소인 m' 과 n' 도 서로 다르다.
5) 임의의 집합 P 가 있는데, 1 이 P 에 속하고 n이 P 에 속하면 n'도 반드시 P
속한다는 두 조건이 만족되면 P 는 곧 N 이다.

 

3. 페아노의 공리를 이용한 1+1=2 의 증명

 

"1+1=2"를 증명하려면 무엇보다 먼저 "+"와 "2"가 정의되어야 한다.

3-1) 2의 정의
일단 "2"를 정의하는 것은 간단하다.
2:=1', 즉 1의 그 다음 수로 정의하면 되니까.

여기서 기호 :=는 좌변이 우변과 같이 정의된다는 뜻으로 사용된다.
하는 김에 더 해 보면, 3:=2', 4:=3', 이런 식으로 모든 자연수에 이름을 붙일 수 있다.

3-2)덧셈의 정의
다음으로 "+", 즉 "덧셈"을 정의하자.
덧셈을 정의하는 방법은 어렸을 때 손가락 셈하던 것을 흉내내면 된다. 예를 들어, "5+3=8"을 아이들이 계산하는 방법은 우선 손가락 다섯 개를 꼽고, 그 다음 손가락을 꼽는 과정을 세 번 반복하면 된다. 따라서, 두 자연수 a와 b에 대해 두 수의 덧셈 a+b는 우선 a를 놓고, 그 다음 수를 찾는 과정을 b번 반복한 것으로 정의한다.
이것을 기호로 나타내면,
a+b : a → a' → (a')' → ((a')')' → ... → (...((a')')'...)'
이 된다.
그런데 이런 식으로 "b번 반복한다"는 것은 페아노 공리계에 없는 용어이므로, 이 과정 자체를 공리계에 맞는 용어들로 번역하여야 한다. 그러기 위해서는, "그 다음 수를 찾는 과정을 b-1 번 반복한 결과"의 그 다음 수를 찾는 것으로 하여
a+b := (a+(b-1))'
라는 재귀적 표현을 이용하면 되는데, 여기서 문제는 "b-1"이라는 뺄셈이다.

덧셈도 정의되지 않았는데 뺄셈이라니! 따라서, 뺄셈 대신 c'=b인 c를 사용하면 되는데, PA3에 의해 c'=1인 c는 존재하지 않으므로 이 경우는 따로
a+1 := a'
으로 정의하고,
b가 1이 아닌 경우는 PA2에 의해 c'=b인 c가 존재하고 PA4에 의해 이러한 c가 유일하므로,
a+b = a+c' := (a+c)'
으로 정의한다.
이 정의를 이용하여 우리는 덧셈을 자유롭게 할 수 있다.
앞서 들었던 예인 "5+3=8"의 경우, 3=2'이므로
5+3 = 5+2' = (5+2)' 이고,
2=1'이므로
5+2 = 5+1' = (5+1)' 이며,
정의에 의해 5+1=5'=6이므로 결국
5+3 = ((5')')' = (6')' = 7' = 8 이 된다.

3-3)1+1=2의 증명
2는 1의 다음 수라고 정의된다.

또 임의의 자연수 a 에 대해서 a + 1 은 a 의 다음 수로 정의한다.

1+1은 1의 다음수이고, 2도 1의 다음수이다.

공리 2에 의해 원소 1에 대해 다음원소는 오직 하나 존재하므로,

1+1과 2는 서로 같은수여야 한다.

∴1+1 = 2

 

4. 교환법칙의 증명
모든 자연수 a, b에 대하여 a+b = b+a가 성립하는 것을 보이기 위해 공리(5)를 사용하자.
모든 a에 대하여 a+1 = 1+a가 성립함을 보인 다음, a+b = b+a가 성립하는 b에 대하여 a+b' = b'+a가 성립함을 보이면 된다. 이렇게 하면, a+b = b+a를 만족하는 b들을 모아 만든 집합에 1이 포함되고 그 집합의 원소 b에 대해 b' 또한 포함되므로 PA5에 의해 이 집합은 자연수 전체의 집합과 같아진다.
따라서, 모든 자연수 b에 대해 a+b = b+a가 된다. 한 마디로 "수학적 귀납법"이다.
4-1)모든 a에 대하여 a+1 = 1+a임의 증명
집합 S를 a+1 = 1+a가 성립하는 a들을 모두 모은 것이라고 하면 우선 1+1 = 1+1은 당연히 성립하므로 1∈S이다. 그 다음 a∈S일 때, 덧셈의 정의에 의해
a'+1 = (a+1)+1 = (1+a)+1 = (1+a)' = 1+a'
이 되어 a' 또한 S의 원소가 된다.
그러면 공리(5)에 의해 집합 S는 자연수 전체의 집합과 같아지므로, 결국 모든 자연수 a에 대하여 a+1 = 1+a가 성립함이 증명되었다.
4-2)a+b=b+a인 b에 대해 a+b'=b'+a임의 증명
이번에는 모든 자연수 a에 대하여 a+b = b+a가 되는 b들을 모두 모은 것을 집합 T라고 하자.
우선 a+1 = 1+a이므로 1은 T의 원소이다.
다음으로 a+b' = b'+a가 모든 자연수 a에 대하여 성립함을 보여야 한다.
고정된 자연수 b'에 대하여 a+b' = b'+a가 되는 a들을 모두 모은 것을 집합 Sb'이라고 하자.
1+b' = b'+1이므로 1∈Sb'이다.

a∈Sb'일 때,
a'+b' = (a'+b)' (덧셈의 정의)
= (b+a')' (b∈T이므로 a'+b = b+a')
= ((b+a)')' (덧셈의 정의)
= ((a+b)')' (b∈T이므로 a+b = b+a)
= (a+b')' (덧셈의 정의)
= (b'+a)' (a∈Sb'이므로 a+b' = b'+a))
= b'+a' (덧셈의 정의)
이므로 a'∈Sb'이 되고, Sb'은 공리 (5)에 의해 자연수 전체의 집합과 같다.
4-3)교환법칙의 증명
그러면 모든 자연수 a에 대하여 a+b' = b'+a가 성립하므로 b'∈T이고 다시 공리5에 의해 T는 자연수 전체의 집합이 된다.  이것은 모든 자연수 b가 모든 자연수 a에 대하여 a+b = b+a를 만족한다는 뜻이므로

 

Q.E.D (증명완료)

 

신고

'수학이론' 카테고리의 다른 글

수학의 세 가지 위기  (0) 2010.04.07
세계 밀레니엄 수학 7대난제  (0) 2010.04.07
유클리드 기하학의 정의 23개  (0) 2010.04.07
페아노의 공리(Peano's axioms)  (0) 2010.04.07
이 댓글을 비밀 댓글로

티스토리 툴바