호출 예약
호출 내역
추천 내역
신고
  1주일 보지 않기 
카카오톡 공유
주소 복사
공지가 닫혀있어요 l 열기
모바일 (밤모드 이용시)
댓글
앵두인형ll조회 2371l 20
이 글은 13년 전 (2011/6/24) 게시물이에요



1 + 1 = 2 증명 과정 | 인스티즈






우선 이것을 증명하기 위해서는 그 출발점이 되는 공리 체계가 필요하다. "Principia Mathematica"에서 사용한 공리는 자연수에 대한 공리 체계인 "페아노 공리계(Peano Axioms)"이다.


이것은 이탈리아 수학자 주제페 페아노(Giuseppe Peano)가 만든 것으로, 다음의 다섯 가지 공리로 이루어져 있다. 말하자면, 이 공리계는 "자연수란 무엇인가"에 대한 답이라고 할 수 있다.



PA1: 1은 자연수이다.


PA2: 모든 자연수 n은 그 다음 수 n'을 갖는다.


PA3: 1은 어떤 자연수의 그 다음 수도 아니다. 즉, 모든 자연수 n에 대해 1≠n'이다.


PA4: 두 자연수의 그 다음 수들이 같다면, 원래의 두 수는 같다. 즉, a'=b'이면 a=b이다.


PA5: 어떤 자연수들의 집합이 1을 포함하고, 그 집합의 모든 원소에 대해 그 다음 수를 포함하면, 그 집합은 자연수 전체의 집합이다.


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


우리가 알고 있는 것은 이 공리들과 몇 개의 무정의 용어들 뿐이므로, "1+1=2"를 증명하려면 무엇보다 먼저 "+"와 "2"가 정의되어야 한다.


일단 "2"를 정의하는 것은 간단하다. 2:=1', 즉 1의 그 다음 수로 정의하면 되니까. 여기서 기호 :=는 좌변이 우변과 같이 정의된다는 뜻으로 사용된다. 하는 김에 더 해 보면, 3:=2', 4:=3', 이런 식으로 모든 자연수에 이름을 붙일 수 있다.


다음으로 "+", 즉 "덧셈"을 정의하자. 덧셈을 정의하는 방법은 어렸을 때 손가락 셈하던 것을 흉내내면 된다.


예를 들어, "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


이 된다.


사실 우리가 원하는 "1+1=2"의 증명은 훨씬 쉽다. 정의에 의해 1+1 = 1'이고 2=1'이니까.


이제 이렇게 정의된 덧셈을 이용하여 교환법칙, 결합법칙도 증명할 수 있다. 증명은 그리 간단치 않은데, 교환법칙을 어떻게 증명하는지 살펴보자.


모든 자연수 a, b에 대하여 a+b = b+a가 성립하는 것을 보이려면 쓸만한 공리는 PA5밖에 없다. 따라서, 모든 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가 된다. 한 마디로 "수학적 귀납법"이다.



첫 번째 단계인, 모든 a에 대하여 a+1 = 1+a가 성립함을 보이는 방법도 역시 PA5를 이용한다.


집합 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의 원소가 된다. 그러면 PA5에 의해 집합 S는 자연수 전체의 집합과 같아지므로, 결국 모든 자연수 a에 대하여 a+1 = 1+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'은 PA5에 의해 자연수 전체의 집합과 같다. 그러면 모든 자연수 a에 대하여 a+b' = b'+a가 성립하므로 b'∈T이고 다시 PA5에 의해 T는 자연수 전체의 집합이 된다. 이것은 모든 자연수 b가 모든 자연수 a에 대하여 a+b = b+a를 만족한다는 뜻이므로 결국 교환법칙이 증명되었다.


한편 덧셈과 비슷하게 곱셈은 다음과 같이 정의할 수 있는데,


a * 1 := a


a*b' := a*b + a


이 정의를 이용하면 곱셈에 대한 교환법칙, 결합법칙, 그리고 분배법칙까지 모두 증명할 수 있다.




 
?! 이게뭔소리지
13년 전
앤 쏘니  ㅋㅎㅋㅎ
이 브금 어디선가 많이 들어봤는데 뭐였지?
13년 전
장기하의 '그렇고 그런사이' 입니다 ^^
13년 전
앤 쏘니  ㅋㅎㅋㅎ
감사해요 ㅋㅋ
13년 전
승호야까꿍  창선아 넌 내맘속 1위
장기하 그렇고그런사이 요 ㅋㅋㅋㅋ
13년 전
뭐니이게
13년 전
인스티저  instizer★인스티저
우와..진짜 대단하고 잉여스럽다...
13년 전
아....아항;;;;
13년 전
랄라스윗  tvxq♥jyj
1+1=이다해
13년 전
홍치  [B.E.G.☆써니힐]
손가락 2개를 접으면 되잖앜ㅋㅋㅋㅋㅋㅋ 뭘그리 복잡하겤ㅋㅋㅋㅋㅋㅋㅋ
13년 전
안해...
13년 전
아 그냥 1+1은 2
13년 전
맨위에.... 저렇게 하고도 틀렸어 ㅠㅠㅠㅠㅠㅠㅠ
13년 전
숭녀야  오토메뤽인걸↗
이게뭐야;;
13년 전
   
로그인 후 댓글을 달아보세요
 

혹시 지금 한국이 아니신가요!?
여행 l 외국어 l 해외거주 l 해외드라마
카테고리
  1 / 3   키보드
닉네임날짜조회
이슈·소식 오늘 뉴욕지하철에서 불법체류자 때문에 사람이 산채로 불에타 죽은 사건 일어남(혐오주..297 테일러쉬프트0:26109916 20
이슈·소식 현재 반응터진 떡볶이 해외 인기 발언.JPG65 우우아아10:5826055 1
이슈·소식 성심당 새벽3시 대기줄59 태 리0:1668047 0
이슈·소식 현재 댓글창 터진 햇님-민호 샌드위치 논쟁.JPG51 우우아아11:2421214 0
유머·감동 드론쇼하는 구미시의 미감 수준 심각함56 비올레테그라치오세5:1843054 2
역대급 낯 가리는 것 같은 벤 나윤권 죽어도못보내는-2.. 13:31 1794 0
기혼여성에 대한 혐오가 극에 달한 여초사이트3 유진쓰 13:27 2396 1
'송민호 부실복무 논란'에 오세훈 칼 뺐다... 사회복무요원 준수조사 지시 신고저 13:24 2056 0
"쾅쾅쾅! 불났어요! 대피하세요!" 택배기사가 빌라 화재 막았다12 인어겅듀 13:23 3225 8
로버트 패틴슨의 아디다스 운동화를 향한 광기1 sweet.. 13:22 2900 0
[단독] "송민호, 공무원과 '병무거래' 조사해달라”···수사의뢰 접수1 신고저 13:18 3870 0
자녀 셋 둔 40대 엄마..3명에 생명 나누고 떠나 편의점 붕어 13:18 1778 0
트위터에서 알티탔던 sm 알앤비 레이블 소속 아티스트.twt 따온 13:16 922 0
우기 위에 올라탄 미연 장미장미 13:15 1881 0
계정 컨셉 on off가 확실했던 코덕 살림하는 도로로5 31132.. 13:11 4325 0
심야괴담회 나오는 무명배우의 일상5 마유 13:10 5422 4
이동진: 나는 비겁핑 아니다. 곧 하츄핑 볼 것2 기후동행 13:08 4731 0
한동훈, "문재인 시대로 돌아가고 싶나"5 삼전투자자 13:07 2470 2
최근 시민들의 긍정적인 반응을 체감했다는 민주노총 위원장 애플사이다 13:05 1254 1
아이브 초등학교 인기4 우물밖 여고생 13:04 3819 0
대한민국 귀화 시험 난이도 멍ㅇ멍이 소리를.. 13:03 2481 0
육개장 사발면 vs 김치 사발면5 한문철 13:03 2274 0
국민의힘 "노조 죽어야 나라 산다”···화물연대 파업 비난2 짱진스 13:00 1285 1
주인공이 도둑질할 때 꼭 나오는 클리셰(feat.엄은향) 호롤로롤롤 13:00 866 0
與 비대위원장에 나경원 유력 가족계획 12:59 474 0
추천 픽션 ✍️
thumbnail image
by ts
퇴사 후 3개월, 재희는 침대에 누운 채로 천장을 바라보고 있었다. 이곳은 원룸이었지만, 그의 머릿속은 끝이 없는 회색 방 같았다. 침대 옆에는 반쯤 마신 맥주 캔과 어젯밤에 보려다 만 드라마의 정지된 화면이 켜진 노트북이 있었다...
thumbnail image
by ts
무기력증에 우울감까지 겹쳐 반 년 째 아무것도 못하고 있다,잘 깎이고 트여진 바다로 가는 강물길 같은 길만이세상이 정한 나의 길이라면 결정을 해야할 순간이 온 것만 같았다.재희는 부엌에서 가져온 가위를 손에 쥐고 있었다.마음은 오히려 가벼..
thumbnail image
by 도비
   슬픈 왈츠 - 남혜승 및 박상희본 글은 일제강점기 시대의 조선을 배경으로 나아갑니다.경성블루스 三쏟아지는 빗줄기 사이에서 두 사람의 시선이 서로를 향했다. 담벼락에 붙어있는 등은 돌의 굴곡에 따라 따끔거렸고 치솟은 긴장과 흥분감에 숨..
thumbnail image
by 도비
  검은 새 - 남혜승 및 박상희본 글은 일제강점기 시대의 조선을 배경으로 나아갑니다.경성블루스 二연. 외자도 아니고 말 그대로 성씨가 없는 이 이름의 사연을 알게 된 건 어린 나이였다. 쌍둥이인 태형과 투닥거리며 장난을 칠 정도의 나..
thumbnail image
by 도비
  슬픈 왈츠 - 남혜승 및 박상희본 글은 일제강점기 시대의 조선을 배경으로 나아갑니다.경성블루스 六연을 내려다보는 윤기의 동공이 흔들렸다. 윤기는 그녀의 표정에서 굳건한 신념을 느꼈다. 평온하고 잔잔한 북촌의 풍경과 대비되는 상황이었..
thumbnail image
by 도비
  검은 새- 남혜승 및 박상희본 글은 일제강점기 시대의 조선을 배경으로 나아갑니다.경성블루스 七“ 준비한다고 했는데, 장관께서 성에 차실지 모르겠습니다. ”“ 자네와 나 사이에 그런 말이 어디있나. ”야마다 장관이 느릿한 걸음으로..
이슈
일상
연예
드영배