•  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
더 보기

극한(비교)

r38 vs r41
11
[[분류:수학]]
2
[tableofcontents]
23
== 개요 ==
34
수학에서 [math(x)]가 [math(a)]에 가까워질 때, [math(f(x))]가 한없이 [math(L)]에 가까워지면 [math(\displaystyle\lim_{x\to a}f(x)=L)]이다.
45
이때, [math(x)]는 [math(a)]가 무조건 맞지는 않는다.
......
78
무한 수열 [math(a_{n})] 에 대해 [math(n)]이 무한히 커지고 [math(a_{n})]이 [math(L)]에 가까워지면 [math({\displaystyle \lim_{n\to\infty}}a_{n}= L )] 이라고 한다.
89
910
== 엡실론‐델타법 ==
10
고등학교 과정을 넘어가면 다음과 같이 엄밀하게 배운다. 기호가 조금 복잡할 수 있겠지만 천천히 살펴보면 집합과 명제(멱집합), 부등호, 절댓값, 함숫값 개념의 결합으로 이루어진 정의(Definition)이므로 이해하기 쉬울 수 있다. 기호를 풀어 쓰면 다음과 같다.
11
고등학교 과정을 넘어가면 다음과 같이 엄밀하게 배운다. 기호가 조금 복잡할 수 있겠지만 천천히 살펴보면 집합(, 집합의 표기법, 포함관계, 멱집합, 집합의 연산), 명제, 부등호, 절댓값, 함수(, 정의역, 공역, 함숫값), 수열 등의 개념의 결합으로 이루어진 정의(Definition), 정리(Theorem)들이므로 이해하기 쉬울 수 있다. "근방" 등의 일부 기호는 풀어서 서술함을 밝힌다.
1112
* 먼저 실수 전체집합을 [math(\mathbb{R})]이라 하자.
12
* 공역을 [math(\mathbb{R})]로 두면서도 실수 [math(x)]에 대한 함수 [math(f\left(x\right))]의 정의역(Domain, 곧 집합이 된다.)을 [math(D)]라 하자.
13
* 공역을 [math(\mathbb{R})]로 두면서도 실수 [math(x)]에 대한 함수 [math(f\left(x\right))]의 정의역(Domain, 곧 집합이 된다.)을 [math(D)]라 하자. (교과서에 따라 [math(E)]라고 적힌 곳도 있지만 쉬운 이해를 위하여 [math(D)]로 적는다.)
1314
* (당연히 [math(D \subset \mathbb{R})]이 된다.)
1415
* (또한 이는 [math(f:D \to \mathbb{R})]이 된다.)
1516
......
1718
[math(x \to a)]의 경우는 다음과 같이 된다.
1819
1920
들어가기 앞서 다음 전제조건이 깔려 있어야 한다.
20
||[math(f\left(x\right))]의 정의역에 대하여 [math(x=a)]가 __[math(D)]의 극한점(limit point)__[*보통위상 실수 전체 집합 [math(\mathbb{R})]에서의 "보통위상(Usual Topology)" 곧 "[math(\mathbb{R})]에서 열린 구간(이를테면 [math(\left\{x|a<x<b, \ a,b \in \mathbb{R}\right\})])들, 또는 이들의 임의의 합집합(무한 개의 합집합이여도 된다.), 또는 이들의 유한 개의 교집합__으로 구성된 [math(\mathbb{R})]의 부분집합을 원소__로 가지는 집합 [math(\mathcal{T})](이 집합은 당연히 [math(\mathcal{P}(\mathbb{R}))]의 부분집합이다.)을 갖춘 위상"에서는 집적점(accumunation point)을 극한점(limit point)으로 부른다.]일 것.||
21
||[math(f\left(x\right))]의 정의역에 대하여 [math(x=a)]가 __[math(D)]의 극한점(limit point)__[*보통위상 실수 전체 집합 [math(\mathbb{R})]에서의 "보통위상(Usual Topology)" 곧 "[math(\mathbb{R})]에서 열린 구간(이를테면 [math(\left\{x|a<x<b, \ a,b \in \mathbb{R}\right\})])들, 또는 이들의 임의의 합집합(무한 개의 합집합이여도 된다.), 또는 이들의 유한 개의 교집합__으로 구성된 [math(\mathbb{R})]의 부분집합을 원소__로 가지는 집합 [math(\mathcal{T})](이 집합은 당연히 [math(\mathcal{P}(\mathbb{R}))]의 부분집합이다.)을 갖춘 위상"에서는 집적점(accumunation point)을 극한점(limit point)으로 부른다. 고등학교 과정에서 배우는 극한은 특별한 언급이 없다면 모두 보통위상에서의 극한이다.]일 것.||
2122
* 흔히 지수함수처럼 "실수 전체의 집합"이나 로그함수 같이 "0보다 큰 실수의 집합" 등 간단한 제한을 둔 함수를 많이 다루는 경우라면 정의역의 모든 점 및 경계에 해당되는 지점들(로그함수의 경우에는 간단한 경우 진수가 0으로 되는 [math(x)]의 지점들)이 극한점으로 될 수 있으나, 간혹 정의역이 복잡하게 제한되는 경우가 있다. (이를테면 정의역이 유리수들만으로 제한된 함수가 있다.)
2223
그러한 경우에는 극한을 계산하고자 하는 [math(x)]의 지점이 극한점이 됨을 증명해야 한다.
2324
......