Communication Signal Design Lab.

한국어

송홍엽 교수의 잡글

[퍼온글] 해석학적 극한의 의미

2008.12.18 19:54

송홍엽 조회 수:3899 추천:197

극한의 개념은 직관적 개념과 연역적 개념이 있습니다. 고등학교에서는 주로 직관적 정의를 사용하지만 연역정 정의를 설명해야 하는 경우도 더러 있는 것으로 생각됩니다. 연역적 정의를 쉽게 설명해 보겠습니다.



거북이가 1m 떨어진 토끼를 향해 기어갑니다. 토끼는 가만히 있습니다. 처음 1분동안은 1/2 미터를 갑니다. 다음 1분동안은 1/4 미터를 갑니다. 다음 1분동안은 1/8 미터를 갑니다. 다음 1분동안은 1/16 미터를 갑니다. 이렇게 무한히 기어갑니다. 속도는 점점 줄어들지만 아무튼 무한한 시간동안 기어가는 것입니다.



이번에는 반대로 거북과 토끼와의 거리가 어떻게 되는지 생각해봅시다. 처음 1분이 지나면 거북과 토끼의 거리는 1/2이 됩니다. 다음 1분이 지나면 거북과 토끼의 거리는 1/4가 됩니다. 또 1분이 지나면 거북과 토끼의 거리는 1/8이 됩니다. 이렇게 1/16, 1/32, 1/64, ....



이제 생각해 봅시다. 토끼가 자기 주변으로 반경 1cm 의 원을 긋고 거북에게 "너 언젠가는 이 원 안으로 접근할 수 있겠니?"라고 물었습니다. 어떨까요? 당연히 거북은 언젠가는 원 안으로 접근할 수 있습니다. 언제요? 바로 7분이 지난 후입니다. 거북이 다가가기 시작한 뒤 7분이 지나면 거북과 토끼의 거리는 1/128 미터, 즉 1cm도 안되는 거리에 놓이게 됩니다.



만약 토끼가 자기 주변으로 반경 1mm 의 원을 긋고 이번에도 거북에게 "너 언젠가는 이 원 안으로 접근할 수 있겠니?"라고 묻는다면 어떨까요? 이번에도 마찬가지입니다. 거북이 10분동안 다가가면 그 원 안으로 들어갈 수 있습니다.



이것을 일반화시켜봅시다. 토끼가 반경 R미터인 원을 긋고 (여기서 R은 양수입니다) 거북을 기다리면 어떨까요? 거북은 충분한 시간이 흐른 뒤에 그 원 안으로 들어가게 됩니다. 여기서 충분한 시간, 이 시간을 T라 합시다. 그러면 이러한 현상을 논리적으로 설명하면 다음과 같이 됩니다.


"토끼가 아무리 작은 양수 R만큼의 반경을 갖는 원을 자기를 중심으로 그려도 거북이 R에 대응할만한 충분히 큰 시간 T만큼이 지나면 그 원 안으로 들어간다."


이것이 극한의 논리적 개념입니다. 극한의 정의를 설명하면 다음과 같습니다.
수열 an의 극한이 L이라는 것의 정의는,


"아무리 작은 양수 E가 주어지더라도 E에 대응할만한 충분히 큰 수 N이 존재하여 n이 N보다 커지면 | an - L |의 값이 L 보다 작아진다"


입니다. 여기서 | an - L |의 의미는 두 수 an과 L 사이의 거리를 의미한다는 것은 알고 있을 겁니다. 여기서 a(n)을 거북, L을 토끼로 생각하면 됩니다. 그리고 양수 E는 앞서 원의 반지름으로 생각하고 충분히 큰 수 N은 앞의 충분한 시간으로 생각하면 됩니다.



이제 lim (1/2)n = 0 을 생각해봅시다. 이것의 정의는

"아무리 작은 양수 E가 주어지더라도 충분히 큰 N이 존재하여


n > N ⇒ | (1/2)n - 0 | < E


가 성립한다"


입니다. 이것이 맞는지 생각해보세요. 이것은 앞서 거북-토끼 이야기와 똑같은 것이며 단지 수식으로 써놓은 것일 뿐입니다.



여기서 an의 값이 L과 일치할 필요는 없습니다. 극한이란 단지 "무한히 가까이 다가간다"는 것을 의미할 뿐입니다. 여기서 "무한히 가까이"라는 말은 "아무리 작은 양수 E가 주어져도 an과 L 사이의 차이가 E보다 작아질 정도로 가까워진다"는 뜻입니다. 이것을 수식으로 썼을 때 "n > N ⇒ | an - E | < E"이 된 것입니다.
번호 제목 글쓴이 날짜 조회 수
공지 논문에 영어작문 주의사항 몇 가지 송홍엽 2008.05.22 8441
공지 젊은 학부생 여러분에게... 송홍엽 2008.11.20 5822
공지 우리학과 대학원생 모두에게 (특히, 박사과정들에게) 하고싶은 말입니다. 송홍엽 2014.01.20 5786
49 덴치 문제..푼 결과 [1] 박기현 2005.10.11 4521
48 marginally Gaussian but not jointly Gaussian 송홍엽 2004.05.13 4500
47 combinatorial search problem file 송홍엽 2004.07.21 4455
46 채널코딩에 관한 첫번째 이야기 송홍엽 2003.10.13 4411
45 오늘같은 날 송홍엽 2004.10.11 4407
44 2000년에 어딘가에 올린 글입니다.."열정" 송홍엽 2004.04.15 4361
43 Re..Turbo code Encoder file 송홍엽 2004.04.13 4299
42 퍼즐에 상금을 부여합니다...^^ 송홍엽 2004.04.15 4202
41 Re.. Turbo code Decoder file 송홍엽 2004.04.13 4189
40 퍼온글 -- 계산이 이상해요... 송홍엽 2004.10.21 4176
39 수학사 바로잡기 (3) - 월간 과학동아 2008년 7월호 강석기 기자의 글 송홍엽 2008.06.20 4160
38 학위논문작성시 주의점 송홍엽 2006.09.24 4043
37 퍼즐 4 송홍엽 2004.04.15 3983
» [퍼온글] 해석학적 극한의 의미 송홍엽 2008.12.18 3899
35 퍼온글 - 수학계 동향 (2000) 송홍엽 2004.10.21 3875
34 [퍼온글] 명왕성 이야기 송홍엽 2007.05.23 3868
33 [퍼온글] FM방식 개발한 암스트롱 송홍엽 2008.09.24 3818
32 퍼즐 3 송홍엽 2004.04.15 3771
31 우리학부 전공 2-3학년생에 대한 조언 송홍엽 2008.05.22 3756
30 움직이는 글자 태그 송홍엽 2008.09.04 3756