세연이 공부방수학 과목 ▾

개념지도 / 대학 맛보기 / 집합·논리·해석

해석학 입문: ε-δ와 실수의 완비성

real analysis: epsilon-delta and completeness 대학 앞으로

'한없이 가까워진다'를 ε, δ로 정확히 쓰기. 수직선에 빈틈이 없다는 공리

한 문장 직관 — 이것만 남으면 성공

해석학은 미적분을 엄밀하게 다시 세우는 작업이다. "한없이 가까워진다"를 ε-δ로 정확히 말한다.

가까이 갈수록 어떤 값에 다가가나"한없이 가까워진다"를 엄밀하게 쓰면 ε-δ.
f(x) = (x²−1)/(x−1) (x → 1)xf(x)0.9000001.9000000.9900001.9900000.9990001.9990001.0010002.0010001.0100002.0100001.1000002.100000→ 2 에 다가간다x = 1 에서는 0/0 이라 값이 없다. 그래도 극한은 2.

그 점의 값이 아니라, 그 점으로 가는 길에서 무엇에 다가가는지를 본다.

왜 중요한가

고등 미적분을 '증명'으로 바꾸는 작업. 대학 수학의 첫 충격

예시

'x→1일 때 2x→2': 아무리 작은 ε을 줘도 그에 맞는 δ가 있다

백지에 해볼 것 A4 한 장

ε=0.1일 때 δ 찾기, ε=0.01일 때 찾기… 게임처럼. 항상 이기면 극한

핵심 식

극한의 엄밀한 정의

흔한 오개념 — 여기서 막힌다

✗ ε-δ는 쓸데없이 복잡하게 만든 것이다.

왜 이렇게 생각하나
직관으로 충분해 보여서.

어떻게 깨뜨리나
직관에 의존하면 잘못된 결론이 나오는 사례가 19세기에 쏟아졌다(연속인데 미분 불가능한 함수 등). 엄밀함은 사치가 아니라 필수였다.

확인 질문 — 답하면 통과

다음으로 어떻게 이어지는가

현대 수학의 표준 언어.

먼저 알아야 할 것 함수의 극한연속실수 체계절댓값과 y=|x|무한의 크기: 칸토어
이걸 알면 갈 수 있는 곳 증명법 총정리