Processing math: 100%
수열의 극한::::수학과 사는 이야기

수열의 극한

수학이야기/Calculus 2014. 10. 22. 10:20
반응형

수열 an=1n인 수열 {an}에서 n이 커짐에 따라 an의 값은 어떻게 달라지는지 알아보자.

an+1=1n+1<1n=an

이므로 n이 한없이 커지면 an은 한없이 작아진다.

그런데, nN에 대하여 an=1n>0이므로 an0에 한없이 가까워진다.

정의 1 : 수열 {an}에서 n이 한없이 커질 때, an이 일정한 수 L에 한없이 가까워지면 이 수열 {an}L에 수렴한다고 하며, L을 수열 {an}극한값 또는 극한이라고 한다. 기호로는

limnan=L 또는 n 일 때 anL

로 적는다. 수열이 수렴하지 않으면 발산한다고 한다.

여기서 '한없이 가까워진다.'는 말을 더 분명하게 하기 위해 ϵ을 써서 아래와 같이 엄밀하게 정의한다.

ε>0에 대하여 n>N(ε)|anL|<ε을 만족하는 N(ε)N이 존재하면 수열 {an}L에 수렴한다고 하고, L을 수열 {an} 극한값 또는 극한이라고 한다. 기호로는 

limnan=L 또는 n 일 때 anL

로 적는다.

http://en.wikipedia.org/wiki/Limit_of_a_sequence

수열 an=1n일 때, ε>0에 대하여 N(ε)=[1ε]+1라고 하자. (단, [x]x를 넘지 않는 최대 정수)

[1ε]+1>1ε

n>N(ε)에 대하여 |an0|=an=1n<1N(ε)=1[1ε]+1<ε이다. 그러므로 limn1n=0이다.

정리 수열 {an},{xn}가 어떤 상수 C>0에 대하여

nN,|xnx|C|an|

을 만족하고 an0이면 xnx이다.

증명 주어진 ε>0에서 an0이라고 하면 아래를 만족하는 자연수 Na(ε/C)가 존재한다.

nNa(ε/C),|an|=|an0|<εC

|xnx|C|an|<CεC=ε

xnx



한편, n 일 때, anL|anL|0과 동치이다.

limnan=L,limnbn=M이라고 하고 극한값의 성질을 알아보자.

n 일 때, |anL|0,|bnM|0이므로

0<|(an+bn)(L+M)|=|(anL)+(bnM)||anL|+|bnM|이다.

|(an+bn)(L+M)|0이다. 마찬가지로 생각하면 아래와 같은 성질을 확인할 수 있다.

극한값의 성질 1

두 수열 {an}{bn}이 각각 LM에 수렴하면 (k는 상수)

  1. limnk=k
  2. limn(an±bn)=limnan±limnbn=L±M
  3. limnkan=klimnan=kL
  4. limn(anbn)=limnanlimnbn=LM
  5. limnanbn=limnanlimnbn=LM(bn0,M0)

증명 2 limn(an+bn)=limnan+limnbn=L+M임을 보이자.

|(an+bn)(L+M)|=|(anL)+(bnM)||anL|+|bnM|

가정에 따라 ε에 대하여 nN1이면 |anL|<ε2N1이 존재한다. 마찬가지로 nN2이면 |bnM|<ε2N2가 존재한다.

그러므로 N(ε)=Max{N1,N2}로 놓으면

nN(ε)에 대하여

|(an+bn)(L+M)||anL|+|bnM|<ε2+ε2=ε

다음으로 4. limn(anbn)=limnanlimnbn=LM임을 보이자.

|anbnLM|=|(anbnanM)+(anMLM)|||an(bnM)|+|(anL)M|=|an||bnM|+|anL||M|

an은 수렴하므로 유계이다. 모든 n에 대하여 |an|K1K1이 존재한다.

이제 K=Max{K1,|M|}이라고 하면

|anbnLM|K|bnM|+K|anL|

이제 각각 nN1이면 |anL|<ε2K , nN2이면 |bnM|<ε2KN1,N2를 찾을 수 있다. 위와 마찬가지로 N(ε)=Max{N1,N2}로 놓으면

nN(ε)에 대하여

|anbnLM|K|bnM|+K|anL|Kε2K+Kε2K=ε

정리5가 성립함을 보이기 위해 먼저 아래를 보이자.

limn1bn=1M(M0)

α=12|M|으로 생각한다면 nN1에 대하여 |bnM|<αN1이 존재한다.

α|bnM||bn||M|

12|M|=|M|α|bn|

1|bn|2|M|

|1bn1M|=|MbnMbn|=1|Mbn||Mbn|2|M|2|Mbn|

nN2에 대하여 |bnM|<12ε|M|2N2이 존재한다.

위와 마찬가지로 N(ε)=Max{N1,N2}로 놓으면

nN(ε)에 대하여

|1bn1M|ε

아래와 같은 성질도 직관적으로 확인할 수 있다.

극한값의 성질 2

두 수열 {an}{bn}이 각각 LM에 수렴하면

  1. 모든 자연수 n에 대하여 an<bn이면 L<M
  2. 수열 {cn}이 모든 자연수 n에 대하여 an<cn<bn이고 L=M이면 limncn=L이다.

 

반응형

수학이야기님의
글이 좋았다면 응원을 보내주세요!