1. 가장 기본적인 연산 [더하기]
자연수의 집합을 N이라고 했을 때, N X N 이란 집합은 (n,m)이렇게 자연수 쌍들의 집합입니다. 이때 +는 다음을 NX N이란 집합에서 N이란 집합으로 만족하는 함수입니다.
ㅁ A1 : +(n,1)='n의 다음 자연수'
ㅁ A2 : +(n,m)=+(+(n,1), 'm이전의 자연수')
A1은 간단히 말해서 다음 수가 되는 것입니다.
+(1,1) = 2
+(2,1) = 3
+(3,1) = 4
+(4,1) = 5
A2는 덧셈의 알고리즘입니다.
+(2,2) = +(+(2,1),1)
= +(3,1)
= 4
+(2,3) = +(+(2,1),2)
= +(3,2)
= +(+(3,1),1)
= +(4,1)
= 5
쉽게 말하자면, +(2,3)이란 2에서 부터 1을 3번 +연산시킨 것입니다.
더하기 생각보다 어려운 연산입니다.
2. 곱하기에 대한 페아노 공리
자연수안에서의 연산 X : NXN -> N 의 정의는 다음과 같습니다.
ㅁ N1 : nX0=0
ㅁ N2 : nXS(m)=n+(nXm)
ㅁ N2 : nXS(m)=n+(nXm)
설명 : 그냥 이 두가지 정의로만으로는 이해가 불가능 하니 2X3으로 설명하면,
3 = 2+1
= S(2)
2 = 1+1
= S(1)
1 = 0+1
= S(0)
이므로
2X3 = 2XS(2) 3=S(2)
= 2+(2X2) 공리 2번에 따라서
= 2+(2XS(1)) 2=S(1)
= 2+(2+(2XS(0)) 공리 2번에 따라서
= 2+(2+(2+(2X0))) 1=S(0)
= 2+(2+(2+0) 공리 1번에 따라서
= 6
이에 대한 전문적인 페아노 공리를 알고 싶으시다면
1. 페아노 공리에 대한 글 - 여기를 클릭하세요.
2. 페아노 공리를 이용한 자연수에서의 연산과 그 구조 - 여기를 클릭하세요.
'수학 이론 > 정의 그리고 의미' 카테고리의 다른 글
결합법칙의 정의와 존재 가치 (2) | 2011.11.17 |
---|---|
모순과 무모순 (0) | 2010.07.05 |
멱집합(power set) - 집합의 집합? (0) | 2010.07.02 |
등비수열 무한합 1 - 등비수열?? (0) | 2010.07.01 |
일대일 대응(one to one correspondence) (0) | 2010.06.24 |