갤러리 관리를 게을리 했던것을 반성하며 수학글을 써보고자 합니다.




해석학(개론)에서 학생들이 가장 많이 헷갈려하는 개념을 꼽자면, 저는 단연 극한의 엄밀한 정의와 컴팩트 집합의 정의를 들고 싶습니다.극한에 대한 엄밀한 정의를 처음 배울 때 많이 어렵고 당황하는것은 지극히 당연한 일이라 생각해요.

그 이유를 생각해보면 1 우리는 그동안 그런식으로 생각하는 연습 및 훈련을 하지 않았고, 2 시간이 흐르면서 많은 수학자들의 토론끝에 상당히 정제된 개념이기 때문입니다.


우리에게 수학이 어려운건 너무나 당연한거고, 그렇기 때문에 연습을 많이 해야합니다 (feat 김영원 교수님)


수열의 극한의 정의를 모르는 사람을 위해 간단한 개념정리.

1. (실)수열이란, 수의 나열 ( a1 a2 a3 ...) 이지만, 좀더 있어보이게 말하고 싶다면 자연수에서 실수로가는 함수 a 라고 할수 있습니다.

2. 어떤 실수 L에 대해 수열 a_n의 극한이 L이라는 것은:

임의의 양수 epsilon에 대해서, 적절한 자연수 N이 존재해서, n이 N보다 크면 a_n이(L-epsilon, L+epsilon)에 들어간다.


이게 무슨말인지 들어가기 앞서, 이 정의가 헷갈리는 이유는 우리가 고등학교 때 배웠던 사고(n값이 커지면 a_n이 다가가는 수)와는 정반대의 접근법이기 때문이 아닐까 싶어요.

n값이 커지는게 아니고, L값의 neighborhood에 알맞는 N값을 찾아야 하기 때문.


무튼 오늘(뿐만아니라 다른 정의들을 공부할때도)의 목표는, 이 정의를 어떻게하면 외우지 않고 시험시간에 떠올릴수 있도록 공부할까 입니다 (feat 이인석 교수님)


내가 생각하는 학부해석의 가장 중요한 철학은 바로 '근사'입니다. 그래서 lim a_n = L 은 'L값이 a_n 들로 잘 근사가 된다' 라고 생각해야 됩니다.

그리고 "근사" 라는 말에는 항상 따라다니는 단어가 바로 "오차"이죠. 오차가 적은 근사가 좋은 근사이고, 오차가 일정범위 안으로 좁혀지지 않는다면 그 범위 안에서는 의미없는 근사가 됩니다.


근데 여기서 오차값은 필요에 따라 (그리고 단위에 따라) 너무나 천차 만별이에요. 그래서 임의의 오차값이 주어져도 항상 잘 근사할 수 있을까? 이게 극한의 핵심이라 할 수 있습니다.

즉, 위에 개념정리 2번은: 임의의 오차 epsilon이 주어져도, n값이 충분히 큰(N보다) 어떠한 a_n 들을 생각해도, 그 값이 L값을 주어진 오차 이내로 근사 가능하다 입니다.


함수의 극한또한 원리는 같습니다.

lim_{x->a} f(x) = L 의 엄밀한 정의는 다음과 같은 조건을 만족한다는 뜻입니다:

임의의 양수 epsilon에 대해서, 적절한 양수 delta가 존재해서,  a-delta < x < a+delta이면  L-epsilon< f(x) < L+epsilon 이다.

이 문장을 풀어서 설명한다면 다음과 같게 되는거에요:

임의의 오차값 epsilon이 주어져도, 항상 적절한 delta값을 찾을 수 있어서, a 근방에 있는 어떠한 x값을 가져오더라도 f(x)는 우리가 원하는 오차범위 이내로 L값을 근사할 수 있습니다.


결국, 극한의 엄밀한 정의는 단순히 기계적으로 외우는 공식이 아니라, 모든 오차에 대응할 수 있는 충분한 근사를 보장하는 구조입니다. 이것이 수학에서 “엄밀함”이란 이름으로 불리는 사고의 방식이며, 동시에 해석학이 우리에게 요구하는 새로운 시야이기도 합니다. 처음엔 낯설고 어렵겠지만, 오차와 근사의 관점에서 이 정의를 바라보고 충분히 연습하다 보면, 어느 순간 이 정의가 수학적으로 얼마나 자연스럽고 정교한지를 느낄 수 있습니다.