함수의 극한을 "x가 a에 한없이 가까이 갈 때 f(x)가 한없이 L에 가까워지면, lim(x→a) f(x)=L"로 배워 알고 있습니다만, 저 "한없이 가까이" 같은 표현이 정말 찜찜합니다. 엄밀하지 않으니까요.
찾아보니 함수의 극한을 엄밀하게 정의한 엡실론-델타 논법이라는 것이 있다는데, 검색해서 상위에 뜬 관련 글 몇 개를 아무리 읽어도 부족한 제 머리로는 도저히 이해가 되지 않습니다.
혹여 이해에 도움이 되는 자료를 알고 계시다면 말씀해 주시면 감사히 이용하겠습니다. 부탁드립니다.
프리지아
2021.01.06 22:55
프리지아
2021.01.06 22:58
임시닉네임
2021.01.07 01:17
임시닉네임
2021.01.07 01:17
| 번호 | 분류 | 제목 | 글쓴이 | 날짜 | 조회 수 |
|---|---|---|---|---|---|
| 공지 | 이벤트 |
[23일] 마이크로닉스 MA-600T 쿨러를 드립니다
14 
|
낄낄 | 2024.04.17 | 697 |
| 77959 | 잡담 |
10월 부코는 왠지 할로윈 놀이 같군요...
2
|
 책읽는달팽 | 2023.09.27 | 522 |
| 77958 | 잡담 |
간만에 지름신고
21
|
고명성 | 2023.09.27 | 503 |
| 77957 | 잡담 |
aaaa건전지 구하는거 그렇게 어렵지 않네요.
4
|
니즛 | 2023.09.27 | 1005 |
| 77956 | 잡담 | 번호이동했습니당 7 | 포도맛계란 | 2023.09.27 | 389 |
| 77955 | 핫딜 |
다운로드 소프트웨어 세일
9
|
임시닉네임 | 2023.09.27 | 909 |
| 77954 | 잡담 | 노트북 포맷 한번 해봐야할까봐요 10 | Adora27 | 2023.09.26 | 462 |
| 77953 | 잡담 |
의외로 일본에서 알바가 일할 때 하면 욕먹는 것
37
|
 유니 | 2023.09.26 | 1682 |
| 77952 | 잡담 |
뚜까뚜까님의 스피커 유닛 나눔 수령!
|
 고토_히토리 | 2023.09.26 | 227 |
| 77951 | 잡담 |
이번 달은 정말 돈을 아껴써야 해요.
8
|
SUNBI | 2023.09.26 | 814 |
| 77950 | 잡담 | 구글 대신 빙을 쓰게 될 줄이야 5 | dmy01 | 2023.09.26 | 697 |
| 77949 | 잡담 |
컴퓨터 사용능력 빙고
18
|
임시닉네임 | 2023.09.26 | 730 |
| 77948 | 장터 | 휴대폰 삽니다 | veritas | 2023.09.26 | 479 |
| 77947 | 잡담 |
근황 (이라 쓰고 업글후 방황)
10
|
탐린 | 2023.09.26 | 487 |
| 77946 | 잡담 |
2023 GS25 추석 도시락 후기
7
|
유니 | 2023.09.26 | 628 |
| 77945 | 잡담 | 도메인을 샀네요. 13 | Ι３3７ | 2023.09.26 | 595 |
| 77944 | 퍼온글 |
중국당국,'이것 ' 우려로 아겜 중계 축소 지시
12
|
고자되기 | 2023.09.26 | 940 |
| 77943 | 잡담 |
KT 다이렉트 요금제 구가족결합정률 (구뭉올) 되네요
5
|
 까마귀 | 2023.09.26 | 580 |
| 77942 | 잡담 |
존버 성공했슴다
3
|
커피덕후 | 2023.09.26 | 432 |
| 77941 | 퍼온글 | 스페이스X 우주선 도킹 시뮬레이터 7 | 하뉴 | 2023.09.26 | 707 |
| 77940 | 잡담 | 추석이 눈앞이내요. 2 | 오디니 | 2023.09.26 | 289 |
| 77939 | 퍼온글 |
일본 수능 한국어 레전드
22
|
911 | 2023.09.26 | 1149 |
| 77938 | 잡담 |
오랜만에 누가 구글계정으로 로그인할려했군요
4
|
 스와마망 | 2023.09.26 | 412 |
| 77937 | 퍼온글 | 테라 공동창업자 도권씨가 미국으로 가나요? SEC,... 4 | 임시닉네임 | 2023.09.26 | 976 |
| 77936 | 퍼온글 |
약과 처음 먹어보는 먼작귀 만화작가
13
|
유니 | 2023.09.26 | 1189 |
| 77935 | 잡담 |
KB스타뱅킹 출석체크도 개악될 예정
2
|
 아즈텍 | 2023.09.26 | 576 |
| 77934 | 핫딜 |
지마켓 지슈라·지슈라2 20% 세일 최대 12만원
2
|
픔스 | 2023.09.26 | 2061 |
| 77933 | 잡담 | 뭐 예정된 결과가 나왔네요 4 | Marigold | 2023.09.26 | 606 |
| 77932 | 잡담 | CJ택배가 빠르게 도착했습니다. | 아즈텍 | 2023.09.26 | 277 |
| 77931 | 퍼온글 |
최고의 UX
11
|
뚜찌`zXie | 2023.09.26 | 909 |
| 77930 | 잡담 |
바이크 한대 질렀습니다(2)
13
|
하뉴 | 2023.09.26 | 783 |
|
|
|
|
2. Epsilon-delta definition이라는 건 아시다시피 아래와 같습니다.
------------------------
lim_{x -> x_0} f(x) = y_0 <=> For given ε>0, there exists some δ>0 such that if 0 < | x - x_0 | < δ, then | f(x) - y_0 | < ε
------------------------
즉, f(x)가 y_0에 가까이(L1-norm이 주어진 어떠한 양수 ε보다 작도록) 다가갈 수 있도록 하는 x_0 주위의 반지름 δ인 neighborhood가 존재한다는 것을 뜻합니다. 고등학교 수학 수준에서 배우는 정의와 비교하면 "δ가 주어졌을 때 ε를 찾을 수 있어야 하는 것 아닌가?"라고 논지의 순서가 뒤집힌 것처럼 보일 수 있지만 그렇지는 않습니다.
이 epsilon-delta statement가 참이라고 가정해봅시다. 즉, 위 조건을 만족하는 δ가 존재한다고 가정합니다. 그러면 δ보다 작고, 우리가 원하는만큼 충분히 작은 δ > δ' > 0에 대해서도 위 명제는 참이어야 합니다:
------------------------------
if 0 < | x - x_0 | < δ', then | f(x) - y_0 | < ε
------------------------------
즉 우리가 원하는대로 x가 x_0에 충분히 한없이 가까워짐에 따라(우리는 δ'를 얼마든지 원하는 만큼 작게 만들어도 됩니다!), f(x)는 y_0에 한없이 가까워졌습니다.
Epsilon-delta statement가 거짓이라고 가정해봅시다. 즉, δ를 아무리 작게 잡더라도 x_0과 거리 δ 이하인 점 중에서 | f(x') - y_0 | >= ε이 되도록 하는 x'이 반드시 존재한다고 가정합니다. 그러면 x'는 x_0와 충분히 한없이 가깝지만, f(x')는 y_0에서 ε 이상 떨어져 있게 됩니다. 즉 f(x')는 y_0와 한없이 가까워지지 못합니다. 따라서 수렴하기 위해서는 이러한 x'는 없어야 합니다.
글로 적으려니 좀 어려운데, 도움이 되셨길 바랍니다.