최근 편집
최근 토론
게시판 메인
도구
투표
무작위 문서
스킨 설정
파일 올리기
기타 도구
216.73.216.27
IP
사용자 도구
사용자 설정
로그인
회원 가입
최근 편집
최근 토론
돌아가기
함수의 극한
(원본) (1)
[[분류:가져온 문서/오메가]] Limit of the function 직관적으로 ><math>x</math>가 <math>a</math>로 한없이 가까워질 때 <math>f(x)</math>가 <math>L</math>로 접근하면 이것을 기호로 <math>\lim\limits_{x\to a}f(x)=L</math>로 표현하고, <math>L</math>은 <math>x\to a</math>일 때 <math>f(x)</math>의 극한값이다. 로 정의하는 수학적 개념이다. == 정의 == 직관적 정의에서 가까워지다나 접근하다는 수학적 표현이 아니기 때문에 다음의 엡실론-델타 논법을 이용하여 수학적으로 정의한다. ><math>\lim\limits_{x\to a}f(x)=L</math> 와 <math>\forall \epsilon>0,\ \exists\delta>0\ s.t.\ 0<|x-a|<\delta \Rightarrow |f(x)-L|< \epsilon</math>은 동치이다. 풀어 말하면, 모든 양의 실수 엡실론 [math(ε)] (오차)에 대해, [math(|x-a|)]가 [math(0)]과 [math(δ)] 사이의 수일 때 [math(|f(x)-L|)]이 [math(ε)]보다 작아지는 어떤 양의 실수 [math(δ)]가 존재한다는 뜻이다. === 정의의 변형=== 엡실론-델타 논법으로 발산과 수렴, 좌극한과 우극한을 나타내면 다음과 같다. ==== 발산형 ==== <math>(\lim\limits_{x\to a}f(x)=\infty)\equiv(\forall M>0,\ \exists\delta>0\ s.t.\ 0<|x-a|<\delta \Rightarrow f(x)>M)</math> ==== 수렴형 ==== <math>(\lim\limits_{x\to \infty}f(x)=L)\equiv(\forall \epsilon>0,\ \exists N>0\ s.t.\ x>N \Rightarrow |f(x)-L|<\epsilon)</math> ==== 좌극한 ==== <math>(\lim\limits_{x\to a^-}f(x)=L)\equiv(\forall\epsilon>0,\ \exists\delta>0\ s.t.\ a-\delta<x<a \Rightarrow |f(x)-L|<\epsilon)</math> ==== 우극한 ==== <math>(\lim\limits_{x\to a^+}f(x)=L)\equiv(\forall\epsilon>0,\ \exists\delta>0\ s.t.\ a<x<a+\delta \Rightarrow |f(x)-L|<\epsilon)</math> == 좌극한과 우극한 == <math>(\lim\limits_{x\to a}f(x)=L)\equiv(\lim\limits_{x\to a^-}f(x)=L)\cup(\lim\limits_{x\to a^+}f(x)=L)</math> 이 성립한다. 직관적으로는 좌극한 ∪ 우극한의 합집합이 극한이고, 극한이 되는 점을 기준으로 극한을 나눈 것이 좌극한과 우극한이다. 수학적으로는 다음의 엡실론-델타 논법을 통해 서로 동치임을 알 수 있다. === 필요조건 === <math> \\ (\lim\limits_{x\to a^-}f(x)=L)\cup(\lim\limits_{x\to a^+}f(x)=L) </math> [math(\\ \equiv(\forall\epsilon>0,\ \exists\delta>0\ s.t.\ (a-\delta<x<a)\cup (a<x<a+\delta) \Rightarrow |f(x)-L|<\epsilon) \\ \equiv(\forall\epsilon>0,\ \exists\delta>0\ s.t.\ 0<|x-a|<\delta \Rightarrow |f(x)-L|<\epsilon))] <math> \\ \equiv(\lim\limits_{x\to a}f(x)=L)</math> ■ === 충분조건 === 정의에 의해 [math((\lim\limits_{x\to a}f(x)=L)\equiv(\forall\epsilon>0,\ \exists\delta>0\ s.t.\ 0<|x-a|<\delta \Rightarrow |f(x)-L|<\epsilon))]이다. 이때 두 가지 경우가 존재한다. * [math(x>a:\forall\epsilon>0,\ \exists\delta>0\text{ s.t. } (0<x-a<\delta\equiv a<x<a+\delta) \Rightarrow |f(x)-L|<\epsilon)] * [math(x<a:\forall\epsilon>0,\ \exists\delta>0\text{ s.t. } (0<a-x<\delta\equiv a-\delta<x<a) \Rightarrow |f(x)-L|<\epsilon )] == 극한의 성질 == <math>\lim\limits_{x\to a}f(x)=L, \lim\limits_{x\to a}g(x)=M, k \in \mathbb{R}</math> 일 때 아래 조건이 성립한다. === 상수 === * <math>\lim\limits_{x\to a}k=k</math> * <math>\lim\limits_{x\to a}kf(x)=kL</math> === 분배 === * <math>\lim\limits_{x\to a}\{f(x)\pm g(x)\}=L\pm M</math> * <math>\lim\limits_{x\to a}f(x)g(x)=L M</math> * <math>\displaystyle\lim\limits_{x\to a}\frac{f(x)}{g(x)}=\frac{L}{ M}</math> === 합성 === * <math>\lim\limits_{x\to a}|f(x)|=|L|</math> * <math>\lim\limits_{x\to a}\sqrt{f(x)}=\sqrt{L}</math> === 대소 === * <math>\forall x, f(x)\geq g(x) \Rightarrow L \geq M</math> == 보기 == * [[수열의 극한]] == 영상 == [youtube(hlRLsi5jseg)] [Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])]
