극한·연속·실수의 완비성

점 하나와 주변을 따로 보기

함수의 극한은 점에 가까운 입력의 행동을 말합니다. 함수가 그 점에서 어떤 값을 갖는지는 별도입니다. 실습의 첫 모형은 x≠1에서 f(x)=x+1, x=1에서 지정값 b입니다. b=0이어도 양쪽 주변의 함수값은 2로 접근합니다. b만 바꾸면 근방의 극한은 그대로입니다.

0<|x−a| 조건이 a 자체를 제외합니다. δ는 ε에 의존할 수 있지만 근방의 모든 x에 공통이어야 합니다. 화면의 근방 반경을 줄여 보는 일은 정의의 직관이며 모든 ε에 대한 증명 자체는 아닙니다.

ε–δ 논증을 한 번 완성하기

x≠1에서 f(x)=x+1이면 |f(x)−2|=|x−1|입니다. 주어진 ε>0에 δ=ε를 고르면 0<|x−1|<δ인 모든 x에서 원하는 오차 조건이 성립합니다. 이는 임의의 ε에서 작동하는 선택 규칙입니다.

b=2로 지정하면 극한과 점의 값이 같아 연속입니다. b≠2이면 제거 가능한 불연속입니다. 빈 원은 실제로 제외된 값이며, 그 값이 지정값과 같아질 때는 실습에서 빈 원을 제거합니다.

점프는 점 하나로 고칠 수 없다

두 번째 모형은 x<1에서 0, x>1에서 1입니다. 좌극한 0과 우극한 1이 다르므로 양측 극한이 없습니다. f(1)을 어느 값으로 바꾸어도 이 사실은 변하지 않습니다. ε를 충분히 작게 잡으면 한 후보 L의 근방이 양쪽 값 모두를 포함할 수 없기 때문입니다.

연속성은 함수가 점에서 정의되고, 양측 극한이 존재하며, 그 값이 함수값과 같다는 세 요소를 요구합니다. 상대적 정의역 끝점에서는 그 정의역 안에서 접근하는 극한으로 읽어야 합니다.

완비성은 존재를 뒷받침한다

실수의 완비성은 비어 있지 않고 위로 유계인 실수 집합에 실수인 최소 상한이 존재한다는 성질로 표현할 수 있습니다. 유리수에서는 {q∈Q:q≥0,q²<2}가 위로 유계이지만 유리수 안에 최소 상한이 없습니다. 실수에서는 그 상한이 √2입니다.

상한 s에서 ε만큼 아래인 값은 상한일 수 없으므로 어떤 항 x_N>s−ε가 있습니다. 단조성 때문에 모든 n≥N에서 s−ε<xₙ≤s입니다. 이 논증이 단조 유계 수렴 정리를 설명합니다. 유한한 소수 자릿수의 그림을 그린 것만으로 완비성을 검증했다고 해석하지 마세요.

AI 계산에서 쓰는 구분

연속성은 작은 입력 변화가 작은 출력 변화로 이어짐을 점별로 보장하지만, 전체 정의역에 하나의 오차 제어가 있다는 균등 연속성과는 다릅니다. 실제 부동소수점 집합은 유한하거나 이산적인 수치 표현이므로 완비한 실수체 자체가 아닙니다. 수학적 극한과 계산 반올림 오차를 분리해야 합니다.

확인 문제와 답

1. b=3일 때 x→1의 극한은? 2입니다.
2. 점프 모형을 연속으로 만드는 b가 있나요? 없습니다.
3. 위의 선형 예제에서 ε=0.01에 적절한 δ는? 0.01입니다. 경계의 엄격 부등식을 확인하세요.
4. 단조 증가하지만 위로 유계가 아닌 수열에도 유한 극한이 보장되나요? 아니요. n이 반례입니다.

추가 읽기: MIT 공식 강좌 안내. 강좌 범위를 확인해 보충 자료로 연결하며, 아래의 작은 예제와 논증은 직접 구성했습니다.