•  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  

극한(r14 판)

[주의!] 문서의 이전 버전(에 수정)을 보고 있습니다. 최신 버전으로 이동
분류

1. 개요[편집]

수학에서 xxaa에 가까워질 때, f(x)f(x)가 한없이 LL에 가까워지면 limxaf(x)=L\displaystyle\lim_{x\to a}f(x)=L이다.
이때, xxaa가 무조건 맞지는 않는다.

2. 수열[편집]

무한 수열 ana_{n} 에 대해 nn이 무한히 커지고 ana_{n}LL에 가까워지면 limnan=L{\displaystyle \lim_{n\to\infty}}a_{n}= L 이라고 한다.

3. 엡실론‐델타법[편집]

고등학교 과정을 넘어가면 다음과 같이 엄밀하게 배운다. (기호를 풀어 쓰면 다음과 같다.)

xax \to a의 경우는 다음과 같이 된다. (f(x)f\left(x\right)의 정의역에 대하여 x=ax=a극한점(limit point)[1]이라는 전제가 깔려있어야 한다. 흔히 지수함수처럼 "실수 전체의 집합"이나 로그함수 같이 "0보다 큰 실수의 집합" 등 간단한 제한을 둔 함수를 많이 다루나, 간혹 정의역이 복잡하게 제한되는 경우가 있다.)
xx에 대한 함수 f(x)f\left(x\right)aa에 대하여
아무 ϵ>0\epsilon > 0ϵ\epsilon을 잡더라도 ("오차"라는 뜻의 error를 생각해보자.)
상수 LL에 대하여 다음 명제 곧
xax \neq a이고 aδ<x<a+δa-\delta < x < a+\delta이면
Lϵ<f(x)<L+ϵL-\epsilon< f\left(x\right) < L+\epsilon이다.
를 참이 되게 할 수 있는 적당한 양수 δ\delta를 항상 정할 수 있는 상수 LL이 존재할 때 ("편차"라는 뜻의 difference를 생각해보자.)

함수 f(x)f\left(x\right)x=ax=a에서 LL수렴한다고 말하며 (동치로서) 기호로는 limxaf(x)=L\displaystyle\lim_{x\to a}f(x)=L으로 표기한다.

만일 해당되는 LL이 존재하지 않으면, f(x)f\left(x\right)x=ax=a에서 발산한다고 말한다.

무한수열의 경우는 다음과 같이 된다. (실수 xx에 대한 함수 f(x)f(x)가 자연수 nn에 대한 함수 an{\color{green}a_{n}}으로 바뀌었다고 생각해보자.)
무한수열 an{\color{green}a_{n}}에 대하여
아무 ϵ>0\epsilon > 0ϵ\epsilon을 잡더라도
상수 LL에 대하여 다음 명제 곧
자연수 nn에 대하여 n>Mn>{\color{blue}M}이면
Lϵ<an<L+ϵL-\epsilon< {\color{green}a_{n}} < L+\epsilon이다.
를 참이 되게 할 수 있는 적당한 자연수 M{\color{blue}M}을 항상 정할 수 있는 상수 LL이 존재할 때

무한수열 an{\color{green}a_{n}}LL으로 수렴한다고 말하며 (동치로서) 기호로는 limnan=L\displaystyle\lim_{n\to \infty}{\color{green}a_{n}}=L으로 표기한다.

만일 해당되는 LL이 존재하지 않으면, 무한수열 an{\color{green}a_{n}}발산한다고 말한다.

이를 이용하여 함수든 수열이든 수렴하는 극한의 사칙연산에 대한 성질, limn1n=0\displaystyle\lim_{n\to \infty}{{1}\over {n}}=0임을 증명할 수 있다.

극한의 엄밀한 정의가 없던 때, 무한수열 an=a_{n}=11, 00, 11, 00, 11, 00, \ldots에 대하여 "0011이 반복되니 이 수열의 극한값은 그 중간값인 12{{1}\over{2}}가 되지 않을까?"라는 말이 오갔다는 카더라가 있다.
[1] 실수 전체 집합 R\mathbb{R}에서의 "보통위상(Usual Topology)" 곧 "R\mathbb{R}에서 열린 구간(이를테면 {xa<x<b, a,bR}\left\{x|a<x<b, \ a,b \in \mathbb{R}\right\})들, 또는 이들의 임의의 합집합(무한 개의 합집합이여도 된다.), 또는 이들의 유한 개의 교집합으로 구성된 R\mathbb{R}의 부분집합을 원소로 가지는 집합 T\mathcal{T}(이 집합은 당연히 P(R)\mathcal{P}(\mathbb{R})의 부분집합이다.)을 갖춘 위상"에서는 집적점(accumunation point)을 극한점(limit point)으로 부른다.