📖 ε-δ 정의 개념 설명
🌱 초등학생 수준
"가까이 가면 가까워진다" 이야기
🎯 비유로 이해하기
과녁 맞추기 게임을 생각해보세요!
- 과녁의 중심 = 우리가 도달하고 싶은 값 L (정답)
- ε (입실론)= 과녁의 크기. 심판이 "이 범위 안에 화살을 맞춰봐!"라고 말하는 거예요.
- δ (델타)= 내가 서는 위치. "이 선 안에서 쏘면 반드시 과녁 안에 맞출 수 있어!"라는 범위예요.
📌 핵심 아이디어
심판이 아무리 작은 과녁(ε)을 가져와도,
내가 충분히 가까운 곳(δ)에서 쏘면 반드시 맞출 수 있다!
이것이 바로 "x가 a에 가까이 가면, f(x)가 L에 가까워진다"는 뜻이에요.
🍦 아이스크림 가게 비유
아이스크림 가게에서 정확히 100g을 달라고 했어요.
- 손님: "100g에서 1g 이내로 맞춰줘!" (ε = 1g)
- 가게 아저씨: "숟가락을 이 정도 크기로 쓰면 돼!" (δ 찾기)
- 손님: "그럼 0.1g 이내로 맞춰줘!" (ε = 0.1g)
- 가게 아저씨: "더 작은 숟가락을 쓰면 돼!" (더 작은 δ 찾기)
→ 아무리 까다로운 손님(작은 ε)이 와도, 아저씨가 항상 적절한 도구(δ)를 찾을 수 있으면, 극한이 존재하는 거예요!
🎓 대학생 수준
극한의 엄밀한 정의 (ε-δ 논법)
정의 (Definition)
함수 f(x)에 대해 limx→a f(x) = L 이라 함은,
∀ε > 0, ∃δ > 0 such that
0 < |x − a| < δ ⟹ |f(x) − L| < ε
0 < |x − a| < δ ⟹ |f(x) − L| < ε
임의의 양수 ε에 대하여, 적절한 양수 δ가 존재하여, x가 a와 다르면서 a로부터의 거리가 δ보다 작으면 f(x)와 L의 거리가 ε보다 작게 되는 것을 의미한다.
논리 구조 분석
| 기호 | 의미 | 역할 |
|---|---|---|
| ∀ε > 0 | 모든 양수 ε에 대해 | 도전자가 허용 오차를 정함 |
| ∃δ > 0 | 어떤 양수 δ가 존재하여 | 응답자가 범위를 제시함 |
| 0 < |x − a| < δ | x가 a 근방(a 제외)에 있으면 | 입력의 근접 조건 |
| |f(x) − L| < ε | f(x)가 L에 가까움 | 출력의 근접 보장 |
⚠️ 핵심 포인트
- 순서가 중요합니다: ε이 먼저 주어지고, 그에 맞는 δ를 나중에 찾습니다. δ는 ε에 의존할 수 있습니다.
- x ≠ a: 0 < |x − a| 조건은 x = a인 점을 제외합니다. 극한은 a에서의 함수값과 무관합니다.
- 모든 ε에 대해: 특정 ε 하나가 아니라, 어떤 양수 ε을 잡아도 δ를 찾을 수 있어야 합니다.
- δ의 선택: δ는 유일하지 않습니다. δ가 되면 그보다 작은 양수도 됩니다. 보통 가장 간단한 δ를 선택합니다.
📐 증명 전략 (Scratch Work)
ε-δ 증명은 보통 두 단계로 진행합니다:
1단계: 연습장 작업 (Scratch Work)
|f(x) − L| < ε을 만족시키려면 |x − a|가 얼마나 작아야 하는지 역추적합니다.
|f(x) − L|을 |x − a|로 표현 → 필요한 δ의 조건을 유도
2단계: 깔끔한 증명 작성
"임의의 ε > 0이 주어졌다. δ = ___로 놓자."로 시작하여 조건을 검증합니다.
δ 선택 → 가정 (0 < |x−a| < δ) → 결론 (|f(x)−L| < ε) 유도
💡 예시: limx→2 (3x + 1) = 7
Scratch work:
|f(x) − L| = |(3x + 1) − 7| = |3x − 6| = 3|x − 2|
3|x − 2| < ε 이려면 |x − 2| < ε/3
따라서 δ = ε/3 으로 선택
3|x − 2| < ε 이려면 |x − 2| < ε/3
따라서 δ = ε/3 으로 선택
증명:
임의의 ε > 0이 주어졌다.
δ = ε/3 > 0 으로 놓자.
0 < |x − 2| < δ 이면,
|f(x) − 7| = |3x + 1 − 7| = 3|x − 2| < 3 · (ε/3) = ε
∴ limx→2 (3x + 1) = 7 ∎
δ = ε/3 > 0 으로 놓자.
0 < |x − 2| < δ 이면,
|f(x) − 7| = |3x + 1 − 7| = 3|x − 2| < 3 · (ε/3) = ε
∴ limx→2 (3x + 1) = 7 ∎
🔗 연속성과의 관계
함수 f가 x = a에서 연속이라 함은:
limx→a f(x) = f(a)
즉, ε-δ 정의에서 L = f(a)인 경우입니다. 극한값과 함수값이 같으면 연속!