- 회원들이 추천해주신 좋은 글들을 따로 모아놓는 공간입니다.
- 추천글은 매주 자문단의 투표로 선정됩니다.
Date 20/05/22 02:29:16수정됨
Name   에텔레로사
Link #1   https://math.stackexchange.com/questions/98093/why-doesnt-induction-extend-to-infinity-re-fourier-series
Subject   고등학교 수학만으로 수학 중수에서 수학 고수 되기

**일러두기: 이 글은 링크 #1의 답변 내용에 어줍짢은 해설과 번역을 붙여 본 내용입니다.

사실 옆동네에 써야 맞는 글이긴 합니다만, 거기는 왠지 글 쓰기가 부담스럽고, 그래도 어딘가엔 남기고 싶어서 써보네요.

옆동네 유게글 https://pgr21.com/humor/386654 에서 출발하는 이야기입니다. 편의상 '모든 소수의 곱' 문제라고 칭하겠습니다.

위 링크 글의 중수처럼 생각하는 게 일반적으로 잘 저지르는 오류입니다만, 자신의 직관이나 고정 관념에 어긋난다는 이유로 그것을 오류라고 인정하기를 거부하거나 수학자들이 말도 안 되는 신선 놀음이나 하고 있다고 인식되는 것은 그래도 잠깐이나마 수학에 발을 담궜던 입장에서는 좀 아쉽게 생각합니다.

이 글은 무한이 무엇인가를 알려드리기 위한 글은 아닙니다. 다만, 일반적인 중수의 오류를 고교 수학 수준에서 해설함으로써 위 링크 글의 소위 '고수'의 인식을 받아들일 수 있는 길을 열어드리고자 함입니다. 아주 나중에 여유가 된다면 초고수는 무슨 생각으로 이런 짓을 하는가도 한 번 넘겨짚어볼 기회가 있지 않을까 싶습니다. 우리가 프로의 플레이를 따라하지는 못해도 왜 그랬는 지는 옆에서 보고 대충은 아는 척 할 수 있듯이 말입니다.

사실 중수의 오류의 핵심은 수학적 귀납법에 대한 오해입니다. 수학적 귀납법의 일반적인 방법에 대해 한 번 정리하면서 이 '모든 소수의 곱' 문제를 대응시켜보죠.

1. 자연수 n과 연관된 명제 P(n)을 구성한다.
 지금 우리의 예제에서는 'P(n): n번째 소수까지의 곱은 짝수이다'가 되겠지요.

2. n=1일 때의 명제를 증명한다.
  즉, 'P(1): 1번째 소수까지의 곱은 짝수이다."가 되겠네요. 첫 번째 소수는 2입니다. 2가 짝수라는 건 다들 잘 아시는 사실이겠지요?

3. P(n)이 참일 때 P(n+1)이 참임을 증명한다.
  n번째 소수까지의 곱이 짝수라면, 짝수에 n+1번째 소수를 곱한 수도 짝수일 것입니다. '짝수 x 자연수 = 짝수'라는 것도 다들 잘 아는 사실이니까요.

4. 이상으로 P(n)은 모든 자연수 n에 대해 참이라는 결론을 내릴 수 있다.
 즉 임의의 자연수 N에 대해, 처음부터 N번째까지 소수를 곱한 수는 짝수라는 이야기입니다.

여기까지는 문제 없습니다. 문제는 여기에서 '모든 자연수 n에 대해서 P(n)이 참이니 n이 무한대여도 참이다'라고 확장하는 데에 있지요.

이에 대한 가장 심플한 설명은 '무한대는 자연수가 아니다'이지만, 보통은 이 포인트를 납득을 못합니다. 맞는 설명이긴 한데, 솔직히 말해서 게으른 설명이라고 생각합니다. 수학자들의 안 좋은 말버릇 중에 하나가 '자명하다'라고 생각하는데, 이 말은 '내가 증명해봤는데 쉽더라. 그러니까 니가 직접 증명해보고 알아서 이해해. 난 귀찮으니까.'의 줄임말 정도로 보시면 될 것 같습니다. 수학의 길을 걷고자 하는 사람들에게는 통용될 지도 모르겠으나, 일반인과는 커뮤니케이션이 안 되는 방법이지요.

여기서 거짓임을 보이고 싶은 명제, 우리의 고정관념은 이것입니다. '명제 P(n)이 모든 자연수 n에 대해 참이면, n을 무한대로 보냈을 때도 명제는 참이다.' 어떤 명제가 거짓임을 보일 때는 반례를 하나만 찾으면 됩니다. 명제가 참이려면 모든 경우에 대해 참이어야 하는데, 거짓이 되는 사례가 있으면 그 명제는 틀린 것이지요.

물론 이렇게 생각할 수도 있습니다. '지금 니가 들 반례랑 '모든 소수의 곱' 문제랑 무슨 상관이냐.' 네, 인정합니다. 지금 이 방법은 말하자면 메시지를 공략하기 귀찮으니 메신저를 패는 겁니다. 반례를 들면 수학적 귀납법이 '모든 경우'에 대해서 무한대로 보냈을 때 참인 것은 아니라고 할 수는 있어도, '어떤 경우'에 대해서 참일 수도 있다는 것을 부정하지는 못합니다. 그래도 '어떤 경우'에 이것이 통하는 지, '모든 소수의 곱'이 그 '어떤 경우'에 해당하는 지에 대해 추가적인 논증이 없이는 한계가 있다는 것은 지적할 수 있습니다. 말씀드렸듯이 저는 길을 열어드리기 위해서, 즉, 이 문제에 기존의 고정관념을 가지고 접근하면 안 된다는 것을 알려드리기 위해 이 글을 쓴 것이지, '모든 소수의 곱' 문제를 납득시키기 위해서 쓴 게 아니라고 비겁한 변명을 다시 한 번 강조하겠습니다.

자, 쓸데없는 이야기는 관두고 고정관념을 깨봅시다. 반례를 하나 들겠습니다. 고교 수학에서 연속 함수에 대한 다음 명제를 기억하고 계실 것입니다.

'모든 실수에서 정의된 두 연속 함수 의 합 도 모든 실수에서 연속이다.'

수학적 귀납법을 적용해서 다음 명제로 확장시킬 수 있다는 것도 받아들이실 수 있으실 겁니다.

'모든 실수에서 정의된 n개의 연속 함수 의 합 도 모든 실수에서 연속이다.'

자, 그럼 무한히 많은 연속 함수의 합 역시 연속일까요? 다음 함수들을 생각해봅시다.


각각은 우리가 흔히 보는 단항식입니다. 각각의 단항식이 연속이라는 것도 고교 수학에서 나오는 사실입니다. 유한 개의 단항식의 합은 다항식이고, 다항식 역시 연속이라는 것도 수학적 귀납법까지 갈 필요도 없이 잘 알려져 있는 사실이죠.

자, 이 단항식들로 이루어진 급수  는 보시다시피 공비가 인 등비급수입니다. 등비급수의 합 공식도 고교 수학 내용이죠. 

공식에 따르면 이 급수의 합은 입니다. 단, 수렴할 조건이 있었죠? 일 때 수렴이고, 나머지 경우에선 발산합니다.

즉, 각각의 함수는 모든 실수에서 정의되고 연속인데, 그것들을 다 합한 것은 고작 에서만 정의된 연속 함수라는 것입니다. 우리의 고정관념 대로라면 이 등비 급수의 합으로 정의된 함수 역시 모든 실수에서 연속이어야 할 텐데 말입니다.

이로써 수학적 귀납법으로 증명할 수 있는 명제를 무한대로 확장했을 때, 성립하지 않는 명제가 있다는 것을 보였습니다. 실제로 이 명제가 무한대로 확장 되려면 좀더 세심한 조건이 필요하다라는 것은 대학에서 배우는 기초 해석학의 초반의 중요한 내용이기도 합니다. 아마 수학도가 처음으로 무한이라는 개념을 제대로 마주하는 부분이 아닐까 싶어요.

우리가 수학적 귀납법에서 증명한 것은 임의의 자연수 n을 선택 했을 때, P(n)이 참이라는 것입니다. 그 n이 백만일 수도 있고, 일억일 수도 있고, 구골이니 복구골이니 무량대수니 하는 여러분들이 생각할 수 있는 엄청나게 큰 수일 수도 있습니다. 그러나 어찌됐건 그 n들은 유한합니다. 무한대 infinity는 말 그대로 '끝이 없음'을 뜻하는 말입니다. 아무리 큰 수를 택해도 무한대는 그것보다 큰 것이죠. 일반적인 실수 체계에서 무한대는 수가 아닙니다. 이 글은 그것을 납득시키기 위한 글은 아닙니다. 아쉽게도 저에겐 그런 재주가 아직 없는 탓이 크지요. 다만 여기까지의 이야기를 통해, 우리가 '상식'적으로 생각하던 수학적 귀납법의 확장은 옳지 않은 방법이며, 무한대를 대응하기 위한 다른 방법이 필요하다는 점은 이해를 해주셨으면 합니다. 그 방법이 직관적이지 않을 지언정, 논리적인 방법이고, 결코 우리 일상과 관련이 없는 신선 놀음이 아니라는 이야기는 언젠가 다른 글을 통해 제가 하고 싶은 이야기이기도 합니다. 그때는 여러분들께 진정 '고수'의 영역, 그리고 '초고수'를 엿보는 법을 소개할 수 있는 지식 수준이 되면 좋겠네요.

마지막으로 수학자이자 철학자였던 버트런드 러셀의 'Introduction to Mathematical Philosophy'의 한 문단을 발췌 번역한 글로 마무리 짓고자 합니다. 제 글이 무한대에 대한 접근법이 왜 필요한 지 논리적으로 납득이 되는데 도움이 된다면 기쁠 것 같습니다. 아울러서 여기 계실 많은 수학 고수 분들께서도 제 얕은 지식을 뽐낸 허접한 글의 허점을 가차없이 지적해주신다면 감사히 달게 받겠습니다.

'수학적 귀납법은 유한이 무한으로부터 구분되는 핵심적인 특징을 그 어느 것보다도 잘 보여준다. 수학적 귀납법의 원칙은 흔히 "단계별로 추론할 수 있는 것은 첫 단계에서 마지막까지도 추론할 수 있다' 따위의 형태로 표현해볼 수 있을 것이다. 이 말은 처음에서 마지막까지의 중간 단계가 유한할 때에만 참일 뿐이다. 화물열차가 움직이기 시작하는 순간을 본 적이 있는 사람이라면, 각 화물칸에서 다음 화물칸으로 충격이 전달되면서 꿈틀하고 움직이기 시작하는 것이 맨마지막 열차가 움직일 때까지 이어지는 것을 보았을 것이다. 열차가 매우 길다면, 마지막 화물칸이 움직일 때까지의 시간도 매우 길 것이다. 만약 열차가 무한하게 길다면, 이 꿈틀거림도 무한히 이어질 것이고 전체 열차가 움직이는 순간은 절대 오지 않을 것이다. 어찌됐건 이 열차의 나열의 길이가 귀납적 수열의 길이 만큼 있다면, 모든 화물칸은 엔진이 버티는 한 빠르든 늦든 움직이는 순간이 올것이다. 다만 그 뒤에는 아직도 움직이지 못한 다른 화물칸이 항상 남아있겠지만.'




* Cascade님에 의해서 티타임 게시판으로부터 게시물 복사되었습니다 (2020-06-07 14:07)
* 관리사유 : 추천게시판으로 복사합니다.



7
    이 게시판에 등록된 에텔레로사님의 최근 게시물


    목록
    번호 제목 이름 날짜 조회 추천
    1376 기타삶의 의미를 찾는 단계를 어떻게 벗어났냐면 8 골든햄스 24/03/14 915 18
    1375 기타소수 사막은 얼마나 넓을까? 4 + Jargon 24/03/06 866 4
    1374 기타민자사업의 진행에 관해 6 서포트벡터 24/03/06 819 8
    1373 기타노무사 잡론 13 당근매니아 24/03/04 1522 16
    1372 기타2024 걸그룹 1/6 2 헬리제의우울 24/03/03 609 13
    1371 기타소회와 계획 9 김비버 24/03/03 850 20
    1370 기타터널을 나올 땐 터널을 잊어야 한다 20 골든햄스 24/02/27 1557 56
    1369 정치/사회업무개시명령의 효력 및 수사대응전략 8 김비버 24/02/21 1401 16
    1368 체육/스포츠(데이터 주의)'자율 축구'는 없다. 요르단 전으로 돌아보는 문제점들. 11 joel 24/02/19 954 8
    1367 역사 AI를 따라가다 보면 해리 포터를 만나게 된다. 4 코리몬테아스 24/02/18 1052 11
    1366 체육/스포츠(데이터 주의)'빌드업 축구'는 없다. 우루과이전으로 돌아보는 벤투호의 빌드업. 13 joel 24/02/12 1326 30
    1365 기타자율주행차와 트롤리 딜레마 9 서포트벡터 24/02/06 1183 7
    1364 영화영화 A.I.(2001) 18 기아트윈스 24/02/06 1114 23
    1363 정치/사회10년차 외신 구독자로서 느끼는 한국 언론 32 카르스 24/02/05 2546 12
    1362 기타자폐아이의 부모로 살아간다는건... 11 쉬군 24/02/01 2148 69
    1361 일상/생각전세보증금 분쟁부터 임차권 등기명령 해제까지 (4, 完) 6 양라곱 24/01/31 2810 37
    1360 기타텃밭을 가꿉시다 20 바이엘(바이엘) 24/01/31 1000 10
    1359 일상/생각한국사회에서의 예의바름이란 18 커피를줄이자 24/01/27 6532 3
    1358 일상/생각전세보증금 분쟁부터 임차권 등기명령 해제까지 (3) 17 양라곱 24/01/22 6160 22
    1357 일상/생각전세보증금 분쟁부터 임차권 등기명령 해제까지 (2) 17 양라곱 24/01/17 5686 14
    1356 요리/음식수상한 가게들. 7 심해냉장고 24/01/17 1252 20
    1355 일상/생각전세보증금 분쟁부터 임차권 등기명령 해제까지 (1) 9 양라곱 24/01/15 2671 21
    1354 기타저의 향수 방랑기 31 Mandarin 24/01/08 3293 2
    1353 의료/건강환자의 자기결정권(autonomy)은 어디까지 일까? 7 경계인 24/01/06 1274 21
    1352 역사정말 소동파가 만들었나? 동파육 이야기. 13 joel 24/01/01 1306 24
    목록

    + : 최근 6시간내에 달린 댓글
    + : 최근 12시간내에 달린 댓글

    댓글