1. 개요
수학의 성질을 이용한 전형적인 수학 개그.[1] 1990년대 중반 94-95년 무렵에 PC통신에서 처음 생겼다. 처음에는 미분귀신 이야기일 뿐이었으나, 하나둘씩 이야기가 더해지면서 실로 장대한 대서사시가 되었다. 이 밑으로 미분귀신 이야기를 소개한다. 내용을 그대로 갖다붙인 것이므로 강제개행이 있지만 그대로 게재한다.7차 교육과정의 가장 큰 수혜자이자 피해자(?)인 미적분을 배우지 않은 문과생은 이해하기 힘들 수 있기 때문에 이들을 위해 사용된 수학 개념에 관한 설명을 각주로 넣었으니 참고하기 바란다.[2]
읽기 전에 먼저 다음 사실을 알아두어야 한다. 이 이야기 내에서는 어떤 방법이 됐든 0(집합은 공집합)이 되면 '죽는다'.
2. 미분귀신
옛날에 아주 아름답고 평온한 마을이 있었다.
그 마을의 이름은 자연수 마을.
그런데 어느 날, 마을에 미분 귀신이 나타났다.
미분 귀신은 마을 사람들을 하나씩 미분시켜서 모조리 0으로 만들어 죽였다.[3]
마을은 점점 황폐해가고 이를 보다 못한 촌장과 동네 사람들이 반상회를 개최하였다.
몇 시간의 토론 끝에 이웃에 있는 다항식 마을에 구원을 요청하기로 하였다.
이웃마을의 소식을 들은 마을에서는 [math(x^{2})] 장군을 자연수 마을에 급파하였다.
전투 시에 수시로 자신의 모습을 바꾸는 [math(x^{2})] 장군 앞에서 잠시 당황한 미분귀신...
그러나 미분귀신은 잠시 생각하더니 3번의 미분을 통해서 간단히 해치우고 말았다.[4]
그러자 다항식 마을에서는 [math(x^{3})] 장군을 급파하였다.
그러나 그 역시 미분 귀신의 적수가 되기엔 역부족이었다.
단 4번의 미분에 그만 작살이 나고야 말았다.[5]
당황한 다항식 마을에서는 [math(x^{n})] 참모총장마저 보내는 초강수를 택하였으나
그 역시 [math((n+1))]번의 미분 앞에서 힘없이 무너지고 말았다.[6]
이제 아무도 미분귀신의 적수가 될 수 없으리라 생각했으나....
다항식 나라에는 마지막 희망 [math(sin x, cos x)] 두 장군이 있었다.[7]
좌 [math(\sin x)], 우 [math(\cos x)] 장군이 미분 귀신과 전투를 시작하였다.
미분 귀신은 적잖이 당황하지 않을 수 없었다.
아무리 미분을 하여도 서로 모습만 바꿔가며 계속 덤비는 [math(\sin x)], [math(\cos x)] 장군 앞에서 더 이상 싸울 힘이 없었다.[8]
그러나 그 순간 미분귀신은 꾀를 내었다.
[math(\cos x)] 장군을 미분시켜 [math(\sin x)] 장군에게 던져버린 것이다.
마지막 희망이었던 두 장군은 서로 부딪혀서 그만 자폭하고 말았다.[9]
일이 이쯤 되자 다항식 마을에서는 용병을 구하느라 난리가 일고 있었다.
그런데 전설적인 용병이 등장하였다.
그의 이름은 바로 exponential(지수) 귀신이었다.
그가 가진 [math(e^{x})] 라는 무기는 미분 귀신이 수백번의 미분을 해도 전혀 손상되지 않았기 때문이다.[10]
미분귀신은 당황하기 시작하였다.
이제 승리는 exponential의 것처럼 보였다.
하지만 끝내 그마저 미분귀신에게 패하고 말았다.
글쎄....
.
.
.
.
.
.
.
.
그 미분귀신이...
[math(y)]로 편미분을 해버리고 말았던 것이다...[11]
이과였으면 바로 [math(e^{x})]를 떠올린다 하더라.그 마을의 이름은 자연수 마을.
그런데 어느 날, 마을에 미분 귀신이 나타났다.
미분 귀신은 마을 사람들을 하나씩 미분시켜서 모조리 0으로 만들어 죽였다.[3]
마을은 점점 황폐해가고 이를 보다 못한 촌장과 동네 사람들이 반상회를 개최하였다.
몇 시간의 토론 끝에 이웃에 있는 다항식 마을에 구원을 요청하기로 하였다.
이웃마을의 소식을 들은 마을에서는 [math(x^{2})] 장군을 자연수 마을에 급파하였다.
전투 시에 수시로 자신의 모습을 바꾸는 [math(x^{2})] 장군 앞에서 잠시 당황한 미분귀신...
그러나 미분귀신은 잠시 생각하더니 3번의 미분을 통해서 간단히 해치우고 말았다.[4]
그러자 다항식 마을에서는 [math(x^{3})] 장군을 급파하였다.
그러나 그 역시 미분 귀신의 적수가 되기엔 역부족이었다.
단 4번의 미분에 그만 작살이 나고야 말았다.[5]
당황한 다항식 마을에서는 [math(x^{n})] 참모총장마저 보내는 초강수를 택하였으나
그 역시 [math((n+1))]번의 미분 앞에서 힘없이 무너지고 말았다.[6]
이제 아무도 미분귀신의 적수가 될 수 없으리라 생각했으나....
다항식 나라에는 마지막 희망 [math(sin x, cos x)] 두 장군이 있었다.[7]
좌 [math(\sin x)], 우 [math(\cos x)] 장군이 미분 귀신과 전투를 시작하였다.
미분 귀신은 적잖이 당황하지 않을 수 없었다.
아무리 미분을 하여도 서로 모습만 바꿔가며 계속 덤비는 [math(\sin x)], [math(\cos x)] 장군 앞에서 더 이상 싸울 힘이 없었다.[8]
그러나 그 순간 미분귀신은 꾀를 내었다.
[math(\cos x)] 장군을 미분시켜 [math(\sin x)] 장군에게 던져버린 것이다.
마지막 희망이었던 두 장군은 서로 부딪혀서 그만 자폭하고 말았다.[9]
일이 이쯤 되자 다항식 마을에서는 용병을 구하느라 난리가 일고 있었다.
그런데 전설적인 용병이 등장하였다.
그의 이름은 바로 exponential(지수) 귀신이었다.
그가 가진 [math(e^{x})] 라는 무기는 미분 귀신이 수백번의 미분을 해도 전혀 손상되지 않았기 때문이다.[10]
미분귀신은 당황하기 시작하였다.
이제 승리는 exponential의 것처럼 보였다.
하지만 끝내 그마저 미분귀신에게 패하고 말았다.
글쎄....
.
.
.
.
.
.
.
.
그 미분귀신이...
[math(y)]로 편미분을 해버리고 말았던 것이다...[11]
밸런스 문제를 의식했는지
2007 개정 교육과정의 천재교육 수학 Ⅱ 익힘책에서는 만화로 나왔는데 이 때는 미분장풍으로 함수들을 미분시키는 것으로 나온다. 수정된 장면이 여럿 있는데 삼각함수 미분에서는 사인함수와 코사인함수를 던져서 자폭하게 하는 것이 아닌 덧셈장풍을 통해 없애버리는 것으로 나왔다. 아마도 만화로 표현하다 보니 자폭보다는 덧셈장풍을 통해 잔인한 장면을 없애려고 한 듯싶다. 또한 출처였던 박경미의 수학콘서트에서는 지수함수의 패배로 배드엔딩으로 마무리가 된 것과는 달리, 여기서는 고교 과정에서 편미분을 배우지 않기 때문에 지수함수를 0으로 만들지 못하고 결국 미분귀신이 도망가는 것으로 해피엔딩으로 끝난다.
삼각함수의 노래의 제작자인 오남진 선생님도 미분귀신 이야기 영상을 제작하였다. 이 영상 역시 편미분이 나오지 않고 지수함수에 밀려 미분귀신이 패배한다. #
이 이야기를 보컬로이드로 만든 사례가 있다. 제작자는 나프탈렌 리카.
3. 적분귀신
원작은 이 부분에서 끝나지만, 미분귀신의 등장 이후 자연스럽게 적분귀신이 등장하게 된다. 원본은 여기.[13]미분귀신이 마을을 쓸어버리고 난 뒤, 자연수 마을에 다시 찾아온 재앙이 있었으니..
바로 적분귀신이었다.
적분귀신은 자연수들을 적분해 쓸데없이 덩치를 키워버리는가 하면, 출처가 불분명한 [math(C)][14]라는 것들을 대량으로 만들어내었고, 심지어는 [math(x)]로 적분한 뒤 다시 [math(y)]로 적분해 [math(xy)]라는 악질 돌연변이까지 만들어 내는 것이었다.
자연수 마을은 다항식 마을에 도움을 청했지만, 다항식 마을은 자기 마을의 인구가 늘어난다며 오히려 적분귀신을 환영할 뿐이었다. 할 수 없이 자연수 마을은 자신들을 쓸어버렸던 미분귀신에게 도움을 청할 수밖에 없었다. 하지만 너무 위험한 관계로 자연수들은 모두 꽁꽁 숨어있기로 했다.
마을 광장에서 마주친 적분귀신과 미분귀신.
적분귀신 "문제를 내어 이기는 쪽이 사라지도록 하자"
미분귀신 "좋다(하하.. 내겐 편미분이라는 무기가 있지!)"
그러나...
적분귀신이 문제로 제시한 것은 무한다변수다항식 [math( \displaystyle \lim_{n→\infty }{\prod_{k=0}^{n}{a_k {x_k}^{p_k}}})]이었다.[15]
아무리 편미분을 해 봐도 끊임없이 쏟아지는 변수들..
미분귀신 "포기다.. 너의 솜씨를 보여다오.."
적분귀신 "가소로운 것.. 에잇!"
눈앞의 무한다변수다항식이 흔적도 없이 소멸되어버리는 것이 아닌가...
미분귀신 "어.. 어떻게?"
적분귀신 "......."
적분귀신은 다항식을 0에서 0까지 정적분해 버렸던 것이다.[16]
바로 적분귀신이었다.
적분귀신은 자연수들을 적분해 쓸데없이 덩치를 키워버리는가 하면, 출처가 불분명한 [math(C)][14]라는 것들을 대량으로 만들어내었고, 심지어는 [math(x)]로 적분한 뒤 다시 [math(y)]로 적분해 [math(xy)]라는 악질 돌연변이까지 만들어 내는 것이었다.
자연수 마을은 다항식 마을에 도움을 청했지만, 다항식 마을은 자기 마을의 인구가 늘어난다며 오히려 적분귀신을 환영할 뿐이었다. 할 수 없이 자연수 마을은 자신들을 쓸어버렸던 미분귀신에게 도움을 청할 수밖에 없었다. 하지만 너무 위험한 관계로 자연수들은 모두 꽁꽁 숨어있기로 했다.
마을 광장에서 마주친 적분귀신과 미분귀신.
적분귀신 "문제를 내어 이기는 쪽이 사라지도록 하자"
미분귀신 "좋다(하하.. 내겐 편미분이라는 무기가 있지!)"
그러나...
적분귀신이 문제로 제시한 것은 무한다변수다항식 [math( \displaystyle \lim_{n→\infty }{\prod_{k=0}^{n}{a_k {x_k}^{p_k}}})]이었다.[15]
아무리 편미분을 해 봐도 끊임없이 쏟아지는 변수들..
미분귀신 "포기다.. 너의 솜씨를 보여다오.."
적분귀신 "가소로운 것.. 에잇!"
눈앞의 무한다변수다항식이 흔적도 없이 소멸되어버리는 것이 아닌가...
미분귀신 "어.. 어떻게?"
적분귀신 "......."
적분귀신은 다항식을 0에서 0까지 정적분해 버렸던 것이다.[16]
4. 정의귀신(2001)
그 후, 2001년 경에 작성된 것으로 추측되는 후속작이 덧붙여졌다.적분귀신은 정말 대단했다.
승승장구를 치던 적분귀신에게 대적할 만한 상대가 자연수 마을에서는 더 이상 존재하지 않았다.
여지없이 무너진 미분귀신은 함께 힘을 합하여 적분귀신을 물리칠 동업자를 찾아 나섰다.
정수 마을, 유리수 마을, 실수 마을, 심지어 그 복잡하다는 복소수(complex number) 마을까지...
그러나 미분귀신은 더 이상 동업자를 찾을 수 없는 듯했다.
"수의 마을에서는 도저히 찾을 수 없는 것인가?..."
자포자기한 미분귀신 앞에 펼쳐진 광경은 정말 놀라운 광경이었다.
실수 및 복소수 마을에서 연속(continuous)인 함수들이
어떤 놈에게 여지없이 터져서는 산산조각이 나는 것이었다.
"저놈이닷!" 미분귀신이 외쳤다.
자세히 보니 그놈은 델타함수(delta function)였다.
연속함수들을 샘플링(sampling)을 통해 이산(discrete)함수로 만들고 있었던 것이다.[17]
며칠 후...
자연수 마을로 돌아온 미분귀신은 디랙 델타 함수를 적분귀신 앞에 내놓았다.
적분귀신은 자신의 비장의 무기인 0-에서 0+까지 정적분을 사용했다.
그러나 델타함수는 사라지지 않고 1을 남겼다.
델타함수는 정말 대단했다.
특이하게도 0-에서 0+까지 정적분을 하면 1이 되는 것이었다.
순간 당황한 적분귀신은 정신을 가다듬고 다시 0에서 0까지 정적분을 시도했다.
그러자 1이 사라졌다.[18]
이때 나선 미분귀신은 델타함수를 무한 번 미분해주기 시작했다.
적분귀신이 아무리 아무리 0-에서 0+까지 정적분을 시도해도
미분을 통해 계속 델타함수의 변종들이 나타나는 것이었다.
적분귀신은 드디어 두 손 두 발, 아니 두 인테그랄(integral)을 다 들고 말았다.흑드라군[19]
미분귀신과 델타함수의 연합전선은 정말 대단했다.
그러나 잠시잠깐 그들이 한눈을 판 사이에 그들은 사라지고 말았다.
"무슨 일이지...?" 적분귀신이 고개를 들었다.
...
그 거대한 몸짓.
그는 말 한 마디로 모든 것을 사라지게 할 수 있는 거의 신적인 존재였다.
그는 바로 '정의(definition)귀신'이었다.
미분귀신과 델타함수가 열심히 연합을 해도 마지막에 정의귀신이 "= 0" 한 마디면 끝나는 것이었다.
과연 정의귀신을 대적할 자가 이 세상에 존재할지...[20]
승승장구를 치던 적분귀신에게 대적할 만한 상대가 자연수 마을에서는 더 이상 존재하지 않았다.
여지없이 무너진 미분귀신은 함께 힘을 합하여 적분귀신을 물리칠 동업자를 찾아 나섰다.
정수 마을, 유리수 마을, 실수 마을, 심지어 그 복잡하다는 복소수(complex number) 마을까지...
그러나 미분귀신은 더 이상 동업자를 찾을 수 없는 듯했다.
"수의 마을에서는 도저히 찾을 수 없는 것인가?..."
자포자기한 미분귀신 앞에 펼쳐진 광경은 정말 놀라운 광경이었다.
실수 및 복소수 마을에서 연속(continuous)인 함수들이
어떤 놈에게 여지없이 터져서는 산산조각이 나는 것이었다.
"저놈이닷!" 미분귀신이 외쳤다.
자세히 보니 그놈은 델타함수(delta function)였다.
연속함수들을 샘플링(sampling)을 통해 이산(discrete)함수로 만들고 있었던 것이다.[17]
며칠 후...
자연수 마을로 돌아온 미분귀신은 디랙 델타 함수를 적분귀신 앞에 내놓았다.
적분귀신은 자신의 비장의 무기인 0-에서 0+까지 정적분을 사용했다.
그러나 델타함수는 사라지지 않고 1을 남겼다.
델타함수는 정말 대단했다.
특이하게도 0-에서 0+까지 정적분을 하면 1이 되는 것이었다.
순간 당황한 적분귀신은 정신을 가다듬고 다시 0에서 0까지 정적분을 시도했다.
그러자 1이 사라졌다.[18]
이때 나선 미분귀신은 델타함수를 무한 번 미분해주기 시작했다.
적분귀신이 아무리 아무리 0-에서 0+까지 정적분을 시도해도
미분을 통해 계속 델타함수의 변종들이 나타나는 것이었다.
적분귀신은 드디어 두 손 두 발, 아니 두 인테그랄(integral)을 다 들고 말았다.
미분귀신과 델타함수의 연합전선은 정말 대단했다.
그러나 잠시잠깐 그들이 한눈을 판 사이에 그들은 사라지고 말았다.
"무슨 일이지...?" 적분귀신이 고개를 들었다.
...
그 거대한 몸짓.
그는 말 한 마디로 모든 것을 사라지게 할 수 있는 거의 신적인 존재였다.
그는 바로 '정의(definition)귀신'이었다.
미분귀신과 델타함수가 열심히 연합을 해도 마지막에 정의귀신이 "= 0" 한 마디면 끝나는 것이었다.
과연 정의귀신을 대적할 자가 이 세상에 존재할지...[20]
5. 확률과 통계(2003)
한동안 이 부분에서 끝을 맺은 글이 돌아다니다, 대략 2003년에 후속작이 붙었다... 바야흐로 중원의 미분귀신과 적분귀신에 의한 전국 시대는 정의귀신이라는 새로운 귀신의 등장으로 인하여 새로운 국면에 접어들게 되었다.
정의귀신의 활약은 대단했다.
정의귀신이 지나간 자리는 모두 0으로 황폐화되고,
모든 마을 사람은 정의귀신이 나타났다는 소문만 나도 무서워서 꼼짝을 못하게 되었다.
그러던 어느날, 정의귀신은 한 작은 마을을 지나게 된다.
정확하게 말하자면, 그 마을의 규모를 파악할 수 없었지만, 겉보기에는 별 것 아닌 듯하게 보이는 마을이었다.
하지만... 문제는...
마을 사람들이 정의귀신이 마을에 도착했는데도 별다른 반응이 없었던 것이다.
그동안 모든 사람들에게 공포의 대상이었던 자신이 이렇게 무시당하는 것에 정의귀신은 황당함 이전에 분노가 끓어 올랐다.
마침 굉장히 어리바리해 보이는 한 꼬마가 눈에 띄였다.
정의귀신은 자신의 힘을 과시하겠다는 듯, "= 0"을 외쳤다. 그러나 그 어리버리해 보이는 꼬마는 눈 깜짝하지 않고, 대뜸 이렇게 반문하는 것이었다.
"아저씨, 그건 95%의 신뢰구간에서는 채택될지 몰라도 저는 유의수준이거든요. 딴 데 가서 알아봐요."[21]
정의귀신으로서는 알 수 없는 방어였지만, 굉장히 자존심이 상했다.
무슨 공격을 해도 공격 자체에 대한 집합을 기각해 버리는 그 꼬마한테는 먹혀들지 않는 것이었다.
화가 난 정의귀신은 옆에서 미소를 짓고 있는 청년에게 화풀이성 공격을 하였다.
하지만, 그 청년은 정의귀신이 공격할 때마다 계속해서 실수(Real number)를 만들어내는 것이 아닌가?
정의귀신은 이해할 수 없었다.
왜 사라지기는 커녕 계속해서 실수를 만들어내는 것인가?
정의귀신은 그 청년에게 도대체 정체가 무엇이며, 여기는 어디인가를 묻지 않을 수가 없었다.
청년은 대답했다.
"저는 확률함수(Probability function)라고 합니다. 당신이 어떠한 정의를 내리건 간에 그에 따른 확률을 계산합니다."
"이럴 수가.. -_-;;;"
"이 마을은 '확률과 통계'라는 연합 마을입니다. 이 마을 사람들은 당신과 같이 정의내리기 좋아하는 족속들에게 진실을 알려주지요."
"그렇군. 그래서 나의 공격이 전혀 먹혀들지 않았던 것이군. 한 가지만 더 묻겠다. 왜 그런 힘을 지니고 있으면서도 세상을 지배하려 하지 않는 것이지?"
"저희가 가진 힘은 시계열(통계학의 연구 분야의 하나)이란 마을 사람들이 가진 힘에 비교하면 아무 것도 아니기 때문입니다. 그 마을 사람들은 미래를 예언하고, 또한 원하는 미래를 실현시키는 무서운 능력을 갖고 있지요. 시계열 마을 뿐만이 아닙니다. 저 길로 계속 가면 또 어떤 마을이 있는지는 시계열 마을 사람들도 극소수만이 알고 있습니다. 소문에는 넓이는 유한한데 둘레는 무한해서 그 형체를 알 수 없는 프랙털(Fractal)이라는 마을이 제일 가까이 있다고 합니다."[22]
"..."
역시 세상은 넓다고 했던가..
정의귀신은 자신의 나약함과 어리석음을 깨닫고 중원을 떠나고야 만다.
정의귀신의 활약은 대단했다.
정의귀신이 지나간 자리는 모두 0으로 황폐화되고,
모든 마을 사람은 정의귀신이 나타났다는 소문만 나도 무서워서 꼼짝을 못하게 되었다.
그러던 어느날, 정의귀신은 한 작은 마을을 지나게 된다.
정확하게 말하자면, 그 마을의 규모를 파악할 수 없었지만, 겉보기에는 별 것 아닌 듯하게 보이는 마을이었다.
하지만... 문제는...
마을 사람들이 정의귀신이 마을에 도착했는데도 별다른 반응이 없었던 것이다.
그동안 모든 사람들에게 공포의 대상이었던 자신이 이렇게 무시당하는 것에 정의귀신은 황당함 이전에 분노가 끓어 올랐다.
마침 굉장히 어리바리해 보이는 한 꼬마가 눈에 띄였다.
정의귀신은 자신의 힘을 과시하겠다는 듯, "= 0"을 외쳤다. 그러나 그 어리버리해 보이는 꼬마는 눈 깜짝하지 않고, 대뜸 이렇게 반문하는 것이었다.
"아저씨, 그건 95%의 신뢰구간에서는 채택될지 몰라도 저는 유의수준이거든요. 딴 데 가서 알아봐요."[21]
정의귀신으로서는 알 수 없는 방어였지만, 굉장히 자존심이 상했다.
무슨 공격을 해도 공격 자체에 대한 집합을 기각해 버리는 그 꼬마한테는 먹혀들지 않는 것이었다.
화가 난 정의귀신은 옆에서 미소를 짓고 있는 청년에게 화풀이성 공격을 하였다.
하지만, 그 청년은 정의귀신이 공격할 때마다 계속해서 실수(Real number)를 만들어내는 것이 아닌가?
정의귀신은 이해할 수 없었다.
왜 사라지기는 커녕 계속해서 실수를 만들어내는 것인가?
정의귀신은 그 청년에게 도대체 정체가 무엇이며, 여기는 어디인가를 묻지 않을 수가 없었다.
청년은 대답했다.
"저는 확률함수(Probability function)라고 합니다. 당신이 어떠한 정의를 내리건 간에 그에 따른 확률을 계산합니다."
"이럴 수가.. -_-;;;"
"이 마을은 '확률과 통계'라는 연합 마을입니다. 이 마을 사람들은 당신과 같이 정의내리기 좋아하는 족속들에게 진실을 알려주지요."
"그렇군. 그래서 나의 공격이 전혀 먹혀들지 않았던 것이군. 한 가지만 더 묻겠다. 왜 그런 힘을 지니고 있으면서도 세상을 지배하려 하지 않는 것이지?"
"저희가 가진 힘은 시계열(통계학의 연구 분야의 하나)이란 마을 사람들이 가진 힘에 비교하면 아무 것도 아니기 때문입니다. 그 마을 사람들은 미래를 예언하고, 또한 원하는 미래를 실현시키는 무서운 능력을 갖고 있지요. 시계열 마을 뿐만이 아닙니다. 저 길로 계속 가면 또 어떤 마을이 있는지는 시계열 마을 사람들도 극소수만이 알고 있습니다. 소문에는 넓이는 유한한데 둘레는 무한해서 그 형체를 알 수 없는 프랙털(Fractal)이라는 마을이 제일 가까이 있다고 합니다."[22]
"..."
역시 세상은 넓다고 했던가..
정의귀신은 자신의 나약함과 어리석음을 깨닫고 중원을 떠나고야 만다.
6. 집합귀신(2006)
여기서도 후속편이 더 생겼다. 2006년에 쓰인 것. 미분귀신 시리즈 중 마지막 편이다.이전 것들과는 달리, 이산수학 등 보다 전문적인 내용을 담고 있기는 하지만, 본문에 해설이 달려 있으므로 각주도 필요없고 이해가 쉽다. 사실 이 이야기를 최초로 지어낸 사람이 이해를 돕기 위해 이야기를 쓰면서 해설을 붙인 것.
이렇게 하여 '확률과 통계'라는 연합마을 덕분에, 평화를 찾게 된 수학 제국(數學 帝國).
그런데, 얼마 되지 않아, 수학국에 '집합'이라는 최후(?)의 탐욕가가 나타났다.
그 탐욕가는 모든 자연수를 삼켜버리는 능력을 가지고 있으며,
다항식은 물론 프랙털도 삼킬 수 있다고 한다.
소문에 의하면... 자신과 동맹인 '그래프'라는 천하제일검객도 삼켰다고도 한다.
기껏 재기한 자연수들을 가차없이 자신의 입에 넣어 몸집을 불렸고,
곧이어 정수, 유리수, 실수, 복소수까지 모조리 삼켜버렸다.
이제 '집합'은 [math(\mathbb{C})](복소수)집합이 되었는데, 아직 만족하지 못한 집합은 다항식의 마을로 쳐들어가, 모든 식을 자신의 양식으로 삼았다.
최후의 생존자인 2n도 그의 앞에서 처참히 쓰러지고 말았다.
(이것이 우리가 '멱집합'이라고 부르는 것이다.)
또, 다항식 마을을 싹쓸이한 집합은 프랙털 마을로 쳐들어갔다.
이에 프랙털 사람들은 자신들의 고유 권법(프랙털)을 사용했으나 집합은 오히려 그것들을 이용해, 몸집을 부풀리기까지 했다.(멱집합의 부분집합)
결국, 프랙털 마을도 초토화되어버리고, '확률과 통계' 마을 사람들은 벌벌 떨어야 했다.
그러던 어느 날, 일이 터지고 말았다.
'집합'은 '확률과 통계'라는 연합 마을로 쳐들어간 것이다.
처음으로 그를 만난 확률청년(정의귀신을 쫓아낸 장본인)이 그와 대화를 시도하고자 했으나, 그는 아주 잔인하게 그 확률청년을 죽였다.
A∩AC=∅을 이용하여 P(A∩AC)=0으로 소멸시킨 것이었다.
이에 '확률과 통계' 연합마을에서 이 '집합'이라는 골칫거리를 제거하고자 했으나, '집합'은 확률마을 사람들은 P(A∩AC)=0으로, 통계마을 사람들은 (Ai≠Aj)⇒|Ai∩Aj|=0으로 깡그리 소멸시키고 말았다.
'확률과 통계'마을을 순식간에 점령해 버린 '집합'은 다음 목적지로 '관계마을'로 가는데...
관계마을에 도착한 '집합'은 한 작은 관계꼬마를 삼키려고 했다.
그런데, 이 관계꼬마가 소위 '분열'을 쓰는 게 아닌가! 그렇다.
(a,b)≠(b,a)인 사실을 이용하여 전혀 다른 객체로의 분화가 이루어진 것이었다.
그걸로도 모자라, 관계꼬마는 집합과의 접촉을 시도한다.
관계꼬마가 집합과 접촉하는 순간, 관계꼬마는 1+n+n2+...+nn명으로 분열되고 만 것이었다!
그리고 그 영향이 '집합'에도 나타나,
'집합'은 이 불어나 버린 관계꼬마를 제거하기 위해 가장 위험하다는 '구토신공'을 사용하기에 이르렀다.
그가 '음식물'을 하나씩 토하자, 불어난 관계꼬마의 수도 점점 줄어들기 시작하고, 하나만 남기고 모두 토하자, 관계꼬마의 수는 다시 하나로 줄어들었다.
(정의역이 줄어들면 가능한 관계의 수도 줄어든다는 사실을 그 꼬마는 모르고 있었던 것이었다.)
이에 관계꼬마는 울음을 터뜨리며 집으로 들어가게 되었다.
놓칠 수 있겠나! 집합은 곧바로 그의 집을 습격했다.
그런데, 이거 난감하게 됐다.-_-;
관계꼬마의 아버지는 '반사클로우저', 어머니는 '대칭클로우저', 누나는 '추이클로우저'였다.[23]
어머니가 지원하자, 관계꼬마는 순식간에 둘로 불어났다.
하지만, 집합은 둘을 한꺼번에 삼키고 도로 토해냈다.
관계꼬마는 한 명으로 돌아갔다.
(왜냐? 지금 집합은 '하나의 음식물'만 삼킨 상태다.
정의역의 원소가 딱 하나니, 반사나 대칭이나 추이나 다 똑같이 되어버린 것이었다.)
하는 수 없이, 꼬마네 가족은 원로를 찾아가게 된다.
곧바로 집합이 뒤쫓아 가보지만, 이미 늦었다.
원로의 집에는 무한분열기계가 있었고, 꼬마는 그곳에 잠들었기 때문이다.
집합이 이러지도 저러지도 못하는 사이에 출력창에서 꼬마(1,1)의 변형체가 나타났다.
((1,1),(1,1))였던 것이었다. 곧이어 (((1,1),(1,1)),((1,1),(1,1)))도 나타났다.
집합은 전에 했던 대로 둘을 삼키고 뱉었지만, 그들은 아직도 그대로 있었다.
(1,1)≠((1,1),(1,1))≠(((1,1),(1,1)),((1,1),(1,1)))≠...이기 때문이다.
곧이어 ((((1,1),(1,1)),((1,1),(1,1))),(((1,1),(1,1)),((1,1),(1,1))))도 나타났다.
집합은 슬슬 겁먹기 시작했다.
얼마 지나지 않으면 내부의 (1,1)가 ((1,1),(1,1))가 되는 무한변형체가 나타날 것이기 때문이었다.
결국 불안해진 집합은 마지막 남은 '1'을 뱉어내고 스스로 목숨을 끊었다. ∅(공집합)이 되어 소멸되었던 것이다.
이리하야, 관계마을은 평화를 찾는 듯했으나, 곧 혼란에 휩싸이고 만다.
그렇다. 이 분열기계가 폭주하여 꼬마의 분열이 멈추지 않았던 것이었다. 정의역에 있었던 1이 사라지고 그 대신 ∅이 자리했기 때문이다. 그 꼬마는 이제 (∅,∅)이 되어버린 것이다.
하는 수 없이 그 원로는 정의의 해결사를 부르게 된다.
그 해결사는 과연 누가 될 것인가?
그런데, 얼마 되지 않아, 수학국에 '집합'이라는 최후(?)의 탐욕가가 나타났다.
그 탐욕가는 모든 자연수를 삼켜버리는 능력을 가지고 있으며,
다항식은 물론 프랙털도 삼킬 수 있다고 한다.
소문에 의하면... 자신과 동맹인 '그래프'라는 천하제일검객도 삼켰다고도 한다.
기껏 재기한 자연수들을 가차없이 자신의 입에 넣어 몸집을 불렸고,
곧이어 정수, 유리수, 실수, 복소수까지 모조리 삼켜버렸다.
이제 '집합'은 [math(\mathbb{C})](복소수)집합이 되었는데, 아직 만족하지 못한 집합은 다항식의 마을로 쳐들어가, 모든 식을 자신의 양식으로 삼았다.
최후의 생존자인 2n도 그의 앞에서 처참히 쓰러지고 말았다.
(이것이 우리가 '멱집합'이라고 부르는 것이다.)
또, 다항식 마을을 싹쓸이한 집합은 프랙털 마을로 쳐들어갔다.
이에 프랙털 사람들은 자신들의 고유 권법(프랙털)을 사용했으나 집합은 오히려 그것들을 이용해, 몸집을 부풀리기까지 했다.(멱집합의 부분집합)
결국, 프랙털 마을도 초토화되어버리고, '확률과 통계' 마을 사람들은 벌벌 떨어야 했다.
그러던 어느 날, 일이 터지고 말았다.
'집합'은 '확률과 통계'라는 연합 마을로 쳐들어간 것이다.
처음으로 그를 만난 확률청년(정의귀신을 쫓아낸 장본인)이 그와 대화를 시도하고자 했으나, 그는 아주 잔인하게 그 확률청년을 죽였다.
A∩AC=∅을 이용하여 P(A∩AC)=0으로 소멸시킨 것이었다.
이에 '확률과 통계' 연합마을에서 이 '집합'이라는 골칫거리를 제거하고자 했으나, '집합'은 확률마을 사람들은 P(A∩AC)=0으로, 통계마을 사람들은 (Ai≠Aj)⇒|Ai∩Aj|=0으로 깡그리 소멸시키고 말았다.
'확률과 통계'마을을 순식간에 점령해 버린 '집합'은 다음 목적지로 '관계마을'로 가는데...
관계마을에 도착한 '집합'은 한 작은 관계꼬마를 삼키려고 했다.
그런데, 이 관계꼬마가 소위 '분열'을 쓰는 게 아닌가! 그렇다.
(a,b)≠(b,a)인 사실을 이용하여 전혀 다른 객체로의 분화가 이루어진 것이었다.
그걸로도 모자라, 관계꼬마는 집합과의 접촉을 시도한다.
관계꼬마가 집합과 접촉하는 순간, 관계꼬마는 1+n+n2+...+nn명으로 분열되고 만 것이었다!
그리고 그 영향이 '집합'에도 나타나,
'집합'은 이 불어나 버린 관계꼬마를 제거하기 위해 가장 위험하다는 '구토신공'을 사용하기에 이르렀다.
그가 '음식물'을 하나씩 토하자, 불어난 관계꼬마의 수도 점점 줄어들기 시작하고, 하나만 남기고 모두 토하자, 관계꼬마의 수는 다시 하나로 줄어들었다.
(정의역이 줄어들면 가능한 관계의 수도 줄어든다는 사실을 그 꼬마는 모르고 있었던 것이었다.)
이에 관계꼬마는 울음을 터뜨리며 집으로 들어가게 되었다.
놓칠 수 있겠나! 집합은 곧바로 그의 집을 습격했다.
그런데, 이거 난감하게 됐다.-_-;
관계꼬마의 아버지는 '반사클로우저', 어머니는 '대칭클로우저', 누나는 '추이클로우저'였다.[23]
어머니가 지원하자, 관계꼬마는 순식간에 둘로 불어났다.
하지만, 집합은 둘을 한꺼번에 삼키고 도로 토해냈다.
관계꼬마는 한 명으로 돌아갔다.
(왜냐? 지금 집합은 '하나의 음식물'만 삼킨 상태다.
정의역의 원소가 딱 하나니, 반사나 대칭이나 추이나 다 똑같이 되어버린 것이었다.)
하는 수 없이, 꼬마네 가족은 원로를 찾아가게 된다.
곧바로 집합이 뒤쫓아 가보지만, 이미 늦었다.
원로의 집에는 무한분열기계가 있었고, 꼬마는 그곳에 잠들었기 때문이다.
집합이 이러지도 저러지도 못하는 사이에 출력창에서 꼬마(1,1)의 변형체가 나타났다.
((1,1),(1,1))였던 것이었다. 곧이어 (((1,1),(1,1)),((1,1),(1,1)))도 나타났다.
집합은 전에 했던 대로 둘을 삼키고 뱉었지만, 그들은 아직도 그대로 있었다.
(1,1)≠((1,1),(1,1))≠(((1,1),(1,1)),((1,1),(1,1)))≠...이기 때문이다.
곧이어 ((((1,1),(1,1)),((1,1),(1,1))),(((1,1),(1,1)),((1,1),(1,1))))도 나타났다.
집합은 슬슬 겁먹기 시작했다.
얼마 지나지 않으면 내부의 (1,1)가 ((1,1),(1,1))가 되는 무한변형체가 나타날 것이기 때문이었다.
결국 불안해진 집합은 마지막 남은 '1'을 뱉어내고 스스로 목숨을 끊었다. ∅(공집합)이 되어 소멸되었던 것이다.
이리하야, 관계마을은 평화를 찾는 듯했으나, 곧 혼란에 휩싸이고 만다.
그렇다. 이 분열기계가 폭주하여 꼬마의 분열이 멈추지 않았던 것이었다. 정의역에 있었던 1이 사라지고 그 대신 ∅이 자리했기 때문이다. 그 꼬마는 이제 (∅,∅)이 되어버린 것이다.
하는 수 없이 그 원로는 정의의 해결사를 부르게 된다.
그 해결사는 과연 누가 될 것인가?
백괴사전판은 말미에 다음과 같은 내용을 덧붙였다.
그 때 ∅과 같은 해결사 ( ) (집합의 친구였으나 야심이 없는 자)가 ∅을 대신했다( )=∅)).
즉 (( ),( )) 이 되어 그 관계꼬마는 (1,1)이 되었다![24]
그 후 분열기계는 ( )의 도움으로 멈추고 수학마을에는 평화가 왔다.
평화가 다시 시작되었다고 생착각된 그때 갑자기 과학 제국의 일부인 물리학 합중국이 수학 제국을 공격하였다.
갑자기 과학 제국 전체가 수학 제국을 공격하였고, 그와 함께 초딩들, 수능 끝난 고3들, 문과들도 수학 제국을 공격하였다.
그로 인하여 수학 제국은 멸망하였다.
즉 (( ),( )) 이 되어 그 관계꼬마는 (1,1)이 되었다![24]
그 후 분열기계는 ( )의 도움으로 멈추고 수학마을에는 평화가 왔다.
평화가 다시 시작되었다고 생
갑자기 과학 제국 전체가 수학 제국을 공격하였고, 그와 함께 초딩들, 수능 끝난 고3들, 문과들도 수학 제국을 공격하였다.
그로 인하여 수학 제국은 멸망하였다.
이제 수학 제국이 멸망했으니 더 이상의 스토리가 없을 것 같지만... 여기에도 또 덧붙여진 내용들이 있다.
결말 1
다음 날 학교를 가기 위해 일어난 침략자들은 들뜬 마음으로 교실 문을 열어제쳤고
얼마 지나지 않아 미분을 해대고 있는 자신을 보며 일장춘몽이었음을 깨달았다.
다음 날 학교를 가기 위해 일어난 침략자들은 들뜬 마음으로 교실 문을 열어제쳤고
얼마 지나지 않아 미분을 해대고 있는 자신을 보며 일장춘몽이었음을 깨달았다.
결말 2
수학이 사라지고 나자 함수도 그 무엇도 작용할 수 없었고 과학 제국 또한 기반이 모두 흔들리고
그저 조금의 개념으로 남아있게 되었다. 리모콘이 작동하지 않고 차에 시동이 걸리지 않으며
모든 기계가 작동을 멈추게 되자 그들은 수학 제국을 침략하여 없앤 것을 되돌리고 싶어했다.
그 후... 원시시대로 돌아갈 줄 알았던 세상은 거짓말같이 수많은 날고 기는 학자들에 의해
순식간에 재구성되었고 수학 제국은 과거의 영광을 되찾게 되었다.
이후에는 수학 제국과 더불어 살아가는 조화의 의미를 알게 됐다고 한다... - A.E.U 920년 3월 24일 지구연합실록 中 발췌 -
수학이 사라지고 나자 함수도 그 무엇도 작용할 수 없었고 과학 제국 또한 기반이 모두 흔들리고
그저 조금의 개념으로 남아있게 되었다. 리모콘이 작동하지 않고 차에 시동이 걸리지 않으며
모든 기계가 작동을 멈추게 되자 그들은 수학 제국을 침략하여 없앤 것을 되돌리고 싶어했다.
그 후... 원시시대로 돌아갈 줄 알았던 세상은 거짓말같이 수많은 날고 기는 학자들에 의해
순식간에 재구성되었고 수학 제국은 과거의 영광을 되찾게 되었다.
이후에는 수학 제국과 더불어 살아가는 조화의 의미를 알게 됐다고 한다... - A.E.U 920년 3월 24일 지구연합실록 中 발췌 -
[1] 공대개그의 일종으로 보는 사람도 있다.[2] 가장 먼저 미분이란 간단히 어느 지점의 기울기(다른 말로 순간변화율이라고도 한다)를 구하는 것이다. 알아 두면 좋으니 참고할 것.[3] 풀이: 상수를 미분한다는 것은 상수함수의 기울기를 구하는 것이므로 0이 된다.[4] 풀이: [math(x^{2})]을 미분하면 [math(2x)]가 된다. 또한 [math(2x)]를 다시 미분하면 2가 된다. 2는 상수이므로 다시 미분해버리면 0이 된다. [math(x^{2})] 사망.[5] 풀이: [math(x^{3})]을 미분하면 [math(3x^{2})]. 또 미분하고 미분하면 [math(6x → 6 → 0)]이 되어 간단히 작살난다.[6] 풀이: [math(x^{n})]의 함수를 보내봤자 [math((n+1))]번 미분해버리면 [math(nx^{n-1} → n(n-1)x^{n-2} → ... → n! → 0)]이 되어 미분귀신의 맛있는 먹이가 될 뿐이다. 그렇게 미분될 동안 기다려준 참모총장님께 박수와 야유를[7] [math(\sin x)]와 [math(\cos x)]는 다항식이 아니다. 물론 다항식으로 만들어라 한다면 만들 수도 있지만.[8] 풀이: 삼각함수의 미분. [math(\sin x)]를 미분하면 [math(\cos x)]고, [math(\cos x)]를 미분하면 [math(-\sin x)]가 된다. 이후 [math(-\sin x)]를 미분하면 [math(-\cos x)]. 이후 [math(\sin x)]이 되며 0 없이 무한반복된다.[9] 풀이: 위에서 설명했듯 [math(\cos x)]를 미분하면 [math(-\sin x)]이므로, [math(\cos x)]를 미분해버린 다음 [math(\sin x)]와 더해버린다. [math(\sin x + (-\sin x) = 0)]이 되어 상쇄된다.[10] 풀이: 지수함수 [math(e^{x})]를 미분해봤자 그대로 [math(e^{x})]이다. 즉 [math(f(x) = e^{x} = f'(x))] 자세한 설명은 '<미적분Ⅱ>' 교과서를 참고.[11] 풀이: [math(y)]로 편미분한다면 [math(f(x,y))]에서 [math(x)]는 상수 취급이 돼버린다. 위에서 설명했듯 상수를 미분하면 0이 된다. 지수함수 안녕[12] 풀이: [math(\tan x)]를 미분하면 [math(\sec^{2} x)], [math(\sec x)]를 미분하면 [math(\sec x \tan x)]가 되어 계속 늘어나고 [math(\ln x)]를 [math(x)]에 대해 미분하면 [math(\frac1x)], 즉 [math(x^{-1})]이다. 그걸 미분하면 [math(-x^{-2})]가 되고 이런 식으로 쭉.... 부호는 바뀌지만 0은 절대 나오지 않는다. 물론 편미분하면 상술했던 두 함수도 그냥 0 되는 건 똑같다.[13] 해당 댓글을 단 사람이 원작자인지는 알 수 없으나, 적분귀신 얘기도 미분귀신 얘기가 나온지 얼마 안 되어(90년대 중반) 나오긴 했다.[14] 풀이: 원래 미분할 때 상수부분은 변화율에 아무런 영향을 끼치지 않기 때문에 사라진다. 그래서 미분의 반대인 부정적분을 할 때는 이 사라진 상수가 뭔지 알 수 없기 때문에 적분상수를 따로 표시해야 하며, 적분상수는 보통 [math(C)]라고 정의한다. 단, 정적분에 들어가면 적분상수는 알아서 소거되기 때문에 계산하는 데는 필요없다.[15] [math(k)]가 0부터 [math(n)]까지, 즉 [math(k)]가 0부터 무한대까지 가는 무한곱의 형태이고 [math(x)]의 밑첨자에 [math(k)]가 붙어 있으므로 이 다항식은 무한히 많은 변수 [math( \displaystyle x_1, x_2, x_3,...)]가 들어가 있으므로 아무리 각 변수에 대해 편미분을 해도 0이 되지 않는다. 아니 그럼 y로 편미분하면 되지 않나[16] 풀이: 0부터 0까지 정적분을 하면 0밖에 나올 것이 없다.([math(x)]에서 [math(x)]까지 적분하면 0이 된다.)[17] 풀이: 이산확률변수와 연속확률변수를 확실히 구분하도록 가르치는 '확률과 통계' 부분에서 배웠다면 알 수 있겠지만, 이산함수는 절대 연속된 함수가 아니다. 연속함수와 엄연히 구분되는 함수.[18] 풀이: 디렉이 양자역학을 연구하기 위해 고안한 델타함수(δ- function)는 x=0 부분을 제외하고 모두 y가 0의 값을 취하지만, 오직 x=0부분에서만 y=∞의 값을 가진다. 쉽게 설명하자면 정규분포에서 표준편차가 0으로 간다고 생각하면 된다. 정규분포를 음의 무한대에서 양의 무한대까지 적분하면 1이고 델타함수의 0이 아닌곳에서 함수값은 0이니까 0-에서 0+까지 정적분을 해도 1이다. 음의 무한대에서 양의 무한대까지 적분해버리면 1의 값을 가지게 되는 특이한 함수. 그리고 1이 사라지는 것... 너무 당연하다. 이제 한 번 정적분했으니 1은 그냥 상수함수다. 정적분하면 당연히 사라질 수밖에. 자세한 내용은 디랙 델타 함수 문서 참조.[19] 풀이: 델타함수를 미분하면 아까 [math( \displaystyle \lim_{n→\infty }{\prod_{k=0}^{n}{a_k {x_k}^{p_k}}})]을 미분귀신이 무한정 미분해야 해버리는 상황과 똑같은 상황이 된다. 이를 각각 하나씩 없앨수는 있지만 미분을 무한번 하면 적분도 무한번 하는수밖에 없다. 적분귀신의 속도가 미분귀신보다 빠르다면 해결되겠지만, 설정상 적분귀신의 속도 = 미분귀신의 속도인 듯하다. (실제론 적분 속도＞＞＞＞미분 속도)[20] 풀이: 말 그대로 어떤 거지같은 식을 데려와도 끝에 "= 0"이라고 정의해버리면 모든 게 끝난다. sinx = 0, ex = 0, 2 = 0 ......... 정의귀신 맘대로. 물론 실제로는 이렇게 마음대로 정의를 할 수 없고 그 정의가 '잘 정의된(well-defined) 것인지'를 확인해야 한다.[21] 풀이: 유의구간이란 통계적 검정에서 가설을 기각할 때, 그 가설이 옳은데도 불구하고 틀린 것으로 치고 기각하는 확률의 정밀도를 나타내는 수이다. 즉 95%의 신뢰구간 부분에서는 정의귀신의 "= 0" 필살기가 잘 먹혀들지만 꼬마가 속한 유의수준에서는 정의귀신의 정의 자체가 아예 틀린 것으로 간주하고 시작한다는 이야기. 이래서야 정의귀신의 힘이 먹힐 리가 없다.[22] 풀이: 시계열이란 일정 시간 간격으로 나열된 데이터의 연속을 말한다. 미래를 예언한다 한 이유는 주어진 시계열을 통해 예측 모델을 만들 수 있기 때문. 그러나 여기서부터는 슬슬 이 유머의 원 주제와 벗어나기 시작한다. 그리고 위에서 설명한 프랙털은 코흐 곡선이나 망델브로 집합 같은 기하학적 프랙털에 해당하는 표현이다.[23] 이들은 '상등의 공리'라는 것으로, 반사율은 [math(a=a)], 대칭율은 [math(a=b \,\Rightarrow \,b=a)], 추이율은 [math(a=b \,\&\, b=c \,\Rightarrow \,c=a)]를 의미한다.[24] ()은 집합으로, ()을 원소로 가지면 ()안의 원소와는 상관없이 1개가 된다.