Professional Documents
Culture Documents
3.4 (20100112)
3.4 (20100112)
1판 1쇄 발행 2005년 4월 1일
3판 4쇄 발행 2010년 1월 6일
허가사항 독자는 이 책의 일부 또는 전체를 비상업적이고 개인적인 용도로 수정하거나 인쇄하여 제본할 수 있습니다. 이
책의 이름과 지은이를 밝히는 경우에 한하여 책의 일부 내용을 다른 출판물이나 논문에 삽입할 수 있습니다.
금지사항 독자는 이 책의 인쇄물이나 파일을 배포할 수 없습니다. 다른 저작물에 이 책을 끼워서 배포할 수 없습니다. 이
책이 상업적으로 사용될 가능성을 고의적으로 제공하는 행위를 할 수 없습니다. 이 파일을 디자이너앨리스 공식 사이트 외
의 사이트에 업로드할 수 없습니다. (링크는 가능합니다.) 이 외의 언급되지 않은 용도로 이 책을 사용할 수 없습니다.
The Art of Analysis
An Elementary Course in Mathematical Analysis
Revised Third Edition, January 2010
•
Alice
http://www.designeralice.com
′ d
⋯
⋯ ⋯
PREFACE 머리말 cos sin
해석학은 엄밀하게 정의된 수 체계를 바탕으로 극한을 정의하고 이를 이용하여 함수의 성질을 밝
히는 학문입니다. 해석학에서 다루는 주제들은 미적분학과 비슷하지만 미적분학에 비해 더욱 논
리적이고 엄밀한 추론을 필요로 합니다.
6 머리말
연습문제는 수준별로 제시되어 있기 때문에 독자는 사람은 자신의 수준에 맞는 문제를 골라서 풀
수 있습니다. 해석학을 처음 공부하는 사람은 본문의 보기와 예제를 꼼꼼히 공부하고 기초 개념
문제를 중심으로 공부하면 좋습니다. 기초 개념 문제를 쉽게 풀 수 있거나 해석학을 두 번째 또
는 그 이상 여러 번 공부하는 사람은 실력 다지기 문제를 중심으로 공부하면 좋습니다. 해석학의
실력 향상을 원하는 사람은 심화 문제를 풀어보기 바랍니다. 탐구 문제는 후속 과목, 수학사, 수
학교육에 관련된 다양한 문제로 구성되어 있으며, 해석학을 진정으로 깊이 있게 이해하고 공부할
수 있도록 방향을 제시해 줍니다. 부록에 연습문제의 힌트와 풀이가 실려 있습니다. 그러나 가능
하면 힌트와 풀이를 보지 말고 연습문제를 풀어보기를 권장합니다.
디자이너앨리스
머리말 7
′ d
⋯
⋯ ⋯
CONTENTS 차례 cos sin
8 차례
III 실함수의 극한 | Limits of Real Functions
3.1 한 점에서의 극한 | Limits at Points 106
3.2 극한의 계산 | Arithmetics of Limits 112
3.3 연속 함수 | Continuity 116
3.4 컴팩트 집합 | Compact Sets 121
3.5 연속 함수의 성질 | Properties of Continuous Functions 124
3.6 무한대 극한 | Infinity Limits and Limits at Infinity 129
3.7 상극한과 하극한* | Upper and Lower Limits 132
• 연습문제 | Exercise 135
디자이너앨리스
차례 9
VI 무한 급수 | Infinite Series
6.1 무한 급수의 수렴과 발산 | Basic Properties 216
6.2 양항 급수의 판정 | Tests for Nonnegative Series 218
6.3 여러 가지 판정법 | Delicate Tests 228
6.4 급수의 합과 곱 | Arithmetics of Series 238
6.5 급수의 재배열 | Rearrangements 242
6.6 이중 급수* | Double Series 245
6.7 무한 곱* | Infinite Products 249
6.8 급수의 계산* | Calculations of Series 251
• 연습문제 | Exercise 257
• 수학역사 | 오일러, 정수론의 해석적 연구 261
10 차례
A1 연습문제의 힌트와 풀이 | Solutions
1 실수계의 성질 | The Real Number System 332
2 실수열의 극한 | Limits of Real Sequences 339
3 실함수의 극한 | Limits of Real Functions 352
4 실함수의 미분 | Differentiations of Real Functions 372
5 리만 적분 | The Riemann Integral 383
6 무한 급수 | Infinite Series 394
7 함수열의 극한 | Limits of Sequences of Functions 400
8 실해석적 함수 | Real Analytic Functions 411
A2 부록 | Appendix
A2 단원별 참고서적 | References 418
A3 찾아보기 | Index 420
그리스 문자표
대문자 소문자 이름 대문자 소문자 이름 대문자 소문자 이름
alpha iota rho
beta kappa sigma
gamma lambda tau
delta mu upsilon
epsilon nu phi
zeta xi chi
eta omicron psi
theta pi omega
디자이너앨리스
차례 11
′ d
⋯
제1 장 ⋯ ⋯
실수계의 성질 cos sin
1.1 실수계의 체 공리
실수는 덧셈과 곱셈을 자유롭게 할 수 있는 성질을 가지고 있다. 또한 임의의 두 실수의 크기를
비교할 수 있으며 극한도 자유롭게 사용할 수 있다. 적절한 공리를 이용하여 이러한 성질을 갖
는 실수계(real number system)를 정의할 수 있다. 이들 공리는 성질에 따라서 체 공리, 순서 공
리, 완비성 공리로 나눌 수 있다. 먼저 체 공리를 살펴보자.
12 제 1 장 실수계의 성질
곱셈에 대한 역원이라고 부르며 의 곱셈에 대한 역원을 또는 로 표기한다. 그리고
⋅ 을 로 표기한다. 곱셈에 대한 역원을 간단히 역수라고 부르기도 한다.
등호는 항상 동치관계를 의미하는 것으로 약속한다. 즉 등호는 반사적이고 대칭적이며 추이적인
관계이다. 더욱이 는 와 가 수학적 개체로서 완전히 동일함을 의미한다. 즉 이면
가 성립하는 것으로 약속한다.
Ⅰ
실
1.1.2 정리 항등원의 유일성 수
계
덧셈에 대한 항등원과 곱셈에 대한 항등원은 유일하다. 의
성
질
1.1 실수계의
디자이너앨리스
체 공리 13
체 공리만을 이용하여 우리가 일반적으로 사용하는 덧셈, 뺄셈, 곱셈, 나눗셈의 여러 가지 성질
을 이끌어낼 수 있다.
1.1.4 정리 곱셈의 성질
증명 임의의 실수 에 대하여
⋅ ⋅
⋅ ⋅ ⋅
⋅ ⋅ ⋅
⋅ ⋅
⋅ ⋅
이므로 ⋅ 이다. 즉 (ⅰ)이 성립한다.
다음으로
이므로 는 의 덧셈에 대한 역원이다. 그런데 덧셈에 대한 역원은 유일하므로
이다. 즉 (ⅱ)가 성립한다.
14 제 1 장 실수계의 성질
1.2 실수계의 순서 공리
1.2.1 공리 실수의 순서
실수 와 에 대하여
또는 이다
를 간단하게 ≤ 로 나타낸다. 그리고 와 는 같은 의미이며 ≥ 와 ≤ 는 같
은 의미이다.
1.2.2 정리 부등호의 성질
1.2 실수계의
디자이너앨리스
순서공리 15
증명 (ⅰ) 먼저 이라고 가정하자. 양변에 를 더하면 (O3)에 의하여 를 얻는다.
마찬가지로 의 양변에 를 더하면 (O3)에 의하여 를 얻는다.
(ⅱ) ≠ 이므로 삼자 택일 법칙에 의하여 또는 이다. 이라고 가정하
면 이므로 이 되어 모순이다. 따라서 이다.
16 제 1 장 실수계의 성질
관계 가 반사적이고 추이적이며 반대칭적일 때 를 순서 관계라고 부른다.
즉 ≤ 가 ℝ 에서의 순서관계라 함은 세 조건
sgn if ≥
if
1.2 실수계의
디자이너앨리스
순서공리 17
1.2.4 정리 절댓값의 성질
증명 (ⅰ) ≥ 인 경우 이다.
인 경우 이다.
(ⅱ) ≥ 인 경우 이다.
인 경우 이다.
(ⅲ) 인 경우 이다.
인 경우 이다.
(ⅳ) ⋅ .
공간에서 두 벡터
, 가 주어졌다고 하자. 이때 세 점 , ,
를 꼭짓점으로 하는 삼각
18 제 1 장 실수계의 성질
1.2.5 정의 개구간과 폐구간
, , , , ⋯
(ⅰ) ∈ ∧ ∈
(ⅱ) ∈ ∧ ∈
(ⅲ)
(ⅳ)
(ⅴ)
특히 어떠한 명제가 임의의 자연수에 대하여 참임을 보일 때에는 수학적 귀납법이라는 유용한
증명 방법을 사용할 수 있다.
20 제 1 장 실수계의 성질
예를 들어 등식
따라서 임의의 자연수 에 대하여 (2)가 성립할 것이라고 예상할 수 있다. 그러나 이것은 직관
적인 판단일 뿐 실제로 자연수를 끝까지 대입해 볼 수는 없으므로 임의의 자연수에 대하여 성립
한다고 섣불리 단정 지을 수 없다.
1.4 수학적
디자이너앨리스
귀납법 21
정리 1.4.1의 증명 명제함수 의 진리집합을 라고 하자. 즉 ∈ℕ 이라고 하자.
의 정의역이 자연수 집합이므로 ⊆ ℕ 이다. 이제 ℕ ⊆ 임을 보이자. 먼저 (ⅰ)에
의하여 ∈ 이다. 또한 (ⅱ)에 의하여 ∈ 일 때 ∈ 이다. 따라서 는 귀납적
집합이다. 자연수 집합은 귀납적 집합의 교집합이므로 ℕ ⊆ 이다.
이로써 ⊆ ℕ 이고 ℕ ⊆ 이므로 ℕ 이다. 의 진리집합이 자연수 전체 집합이므
로 임의의 자연수 에 대하여 은 참이다. □
수학적 귀납법이라는 이름은 증명의 아이디어가 귀납법과 흡사하기 때문에 붙여진 것일 뿐이며
실제로 수학적 귀납법은 연역적인 방법으로 증명하는 추론 규칙이다.
22 제 1 장 실수계의 성질
1.4.3 정리 베르누이(Bernoulli) 부등식
≥ 인 실수 와 자연수 에 대하여
≥ (5)
가 성립한다.
에도 (5)는 참이다. 따라서 수학적 귀납법에 의하여 임의의 자연수 에 대하여 (5)는 참
이다. □
1.4 수학적
디자이너앨리스
귀납법 23
적 귀납법에 의하여 임의의 자연수 에 대하여 은 참이다. 이 임의로 주어진 자
연수이므로 임의의 자연수 , 에 대하여 은 참, 즉 ∈ℕ 은 참이다. 요컨대
두 자연수의 합은 자연수이다.
이제 두 자연수의 곱이 자연수임을 증명하자. 이 임의의 자연수라고 하자. 그리고 명제
을 ∈ℕ 으로 정의하자. 먼저 ⋅ ∈ℕ 이므로 은 참이다. 이제 자
연수 에 대하여 가 참이라고 가정하자. 즉 ∈ℕ 이라고 가정하자. 그러면
와 이 자연수이고 두 자연수의 합은 자연수이므로 ∈ℕ 이다. 즉
이 참이다. 따라서 수학적 귀납법에 의하여 임의의 자연수 에 대하여 은
참이다. 은 임의로 주어진 자연수이므로 임의의 자연수 , 에 대하여 은 참, 즉
∈ℕ 은 참이다. 요컨대 두 자연수의 곱은 자연수이다. □
수학적 귀납법은 임의의 자연수 에 대하여 이 참임을 증명할 때에 사용되지만, 정의역이
자연수 집합인 함수를 정의할 때에도 사용된다. 예를 들어 함수 가 두 조건
,
× ,
× ,
× ,
⋮
24 제 1 장 실수계의 성질
귀납정리를 이용하여 (5)의 방법으로 함수 를 정의하는 것을 귀납적으로 정의한다고 말한다.
즉 함수 를 귀납적으로 정의한다는 것은 다음과 같은 두 가지 단계를 거치는 것이다.
1.4.6 정의 자연수 지수
1.4.8 정의 유한 합
1.4.9 정의 유한 곱
1.4 수학적
디자이너앨리스
귀납법 25
귀납적으로 정의된 함수의 성질을 증명할 때에는 수학적 귀납법을 이용하는 경우가 많다.
1.4.12 정리 이항계수
≤ ≤ 인 임의의 두 정수 , 에 대하여
C
이 성립한다.
26 제 1 장 실수계의 성질
정리 1.4.12의 증명 변수 에 수학적 귀납법을 사용하자. 인 경우와 인 경우 정리의
등식은 자명하게 성립한다.
1.4.13 정리 이항 정리
이 성립한다.
이 성립한다고 가정하자.
1.4 수학적
디자이너앨리스
귀납법 27
양변에 를 곱하면 좌변은 이 되며 우변은
우변
C
C
C
C
C
C
C
C C
C
C
28 제 1 장 실수계의 성질
(ⅱ) 변수 에 수학적 귀납법을 사용하자. 인 경우 인 자연수 에 대하여
은 자연수이다. 이제 가 자연수이고 인 자연수 에 대하여
가 자연수라고 하자. 그러면 은 자연수이고, 이 인 자연수일 때
도 자연수이다. 따라서 일 때에도 인 자연수
에 대하여 정리의 명제는 참이다.
(ⅲ) 인 자연수 이 존재한다고 가정하자. 그러면 ∈ℕ 이다. 또한
이므로 이다. 모든 자연수는 이상이므로 이것은 모순이다. □
1.5 실수계의 상한 공리
1.5 실수계의
디자이너앨리스
상한 공리 29
보기 1.5.2 다음은 하계와 상계의 예이다.
(ⅰ) 구간 은 유계이다. 이하의 모든 실수가 하계이며 이상의 모든 실수가 상계이다.
하한은 이며 상한은 이다.
(ⅱ) 구간 ∞ 은 위로 유계이지만 아래로 유계가 아니다. 이상의 모든 실수가 상계이
며 하계는 존재하지 않는다. 상한은 이다.
(ⅲ) 구간 ∞ 는 아래로 유계이지만 위로 유계가 아니다. 이하의 모든 실수가 하계이며
상계는 존재하지 않는다. 하한은 이다.
(ⅳ) 집합 ∈ℕ 은 유계이다. 이하의 모든 실수가 하계이며 이상의 모든 실수가
상계이다. 하한은 이며 상한은 이다.
(ⅴ) ℝ 는 위로 유계가 아니며 아래로도 유계가 아니다.
1.5.4 정리 하한의 조건
30 제 1 장 실수계의 성질
정리 1.5.5의 증명 집합 는 공집합이 아니고 위로 유계이므로 의 상한 가 존재한다.
여기서 는 의 하한이 된다. □
sup , in f
1.5.7 정리 상한의 조건
1.5 실수계의
디자이너앨리스
상한 공리 31
다음 정리와 같이 상한의 성질은 항상 하한의 성질과 연관된다.
1.5.9 정리 Archimedes
32 제 1 장 실수계의 성질
이때 원점으로부터 보다 더 좁은 균일한 간격으로 점을 표시해 간다면 그 중 한 점은 반드
시 와 사이에 놓이게 된다. 특히 그러한 점들 중에서 의 바로 왼쪽에 있는 점이 두 점 사
이에 있는 점이 된다.
1.5 실수계의
디자이너앨리스
상한 공리 33
1.6 지수의 확장
1.6.1 정리 정수 지수
1.6.3 정리 정수 지수법칙
34 제 1 장 실수계의 성질
1-2. 만약 이라면 은 자연수이므로 1-1에 의하여
.
1-3. 만약 이라면 은 자연수이므로 1-1에 의하여
.
2. 인 경우의 증명은 1의 증명에서 과 을 서로 바꾼 것과 동일하다.
3. 과 이 모두 음의 정수인 경우 과 은 자연수이므로
이다. 따라서 어느 경우에나 이 성립한다.
Ⅰ
(ⅱ) 이 양의 정수인 경우는 이미 증명하였으며 인 경우는 자명하다. 이 음의 정 실
수
수인 경우 이 자연수이므로 계
의
성
질
이다. 따라서 어느 경우에나 이 성립한다.
(ⅲ) 과 이 양의 정수인 경우는 이미 증명하였다.
1. 또는 인 경우
2. 이고 인 경우
3. 이고 인 경우
4. 이고 인 경우
1.6 디자이너앨리스
지수의 확장 35
1.6.4 정리 제곱근의 존재성
증명 인수분해공식
⋯
과 부등식
⋯
을 결합하면 얻는다. □
정리 1.6.4의 증명* ∈ℝ 라고 하자. 라고 하면 이므로
이다. 즉 ∈ 이므로 는 공집합이 아니다. 라고 하면
이므로 이고 ∉ 이다. 즉 는 의 상계이고 는 위로 유계이다. 따라서
완비성 공리에 의하여 의 상한이 존재한다. sup 라고 하자.
36 제 1 장 실수계의 성질
이므로 이고 ∉ 이다. 이것은 가 의 상계임을 의미하고 가 의 상한
이라는 데에 모순이다.
1.6.7 정의 유리수 지수
1.6 디자이너앨리스
지수의 확장 37
1.6.8 정리 유리수 지수 법칙
이다. 이것은 과
이 모두 의 제곱근이라는 것을 의미한다.
제곱근은 유일하므로
가 성립한다.
(ⅲ) 정수 지수 법칙에 의하여
이다. 이것은
와 가 모두 의 제곱근이라는 것을 의미한다.
제곱근은 유일하므로
가 성립한다. □
38 제 1 장 실수계의 성질
지금까지 자연수 지수를 확장하여 정수 지수와 유리수 지수를 정의하였다. 실수 지수는 유리수
지수와 집합의 상한을 이용하여 정의한다.
1.6.9 정의 실수 지수
1.6.10 정리 실수 지수 법칙
이 정리는 멱급수의 성질을 이용하면 간단하게 증명된다. 실수의 성질만을 이용하여 증명하는
것은 다소 복잡하며 여기서는 (ⅰ)의 증명만 살펴보자.
1.6 디자이너앨리스
지수의 확장 39
에 대하여 두 조건
≤ ≤
그리고
≤ ≤
를 만족시키는 유리수 , 가 존재한다. 여기서
≤ ≤
를 얻는다. ≤ 이므로 ≤ 가 성립한다. 즉
≤ ≤
이다. 이 임의의 양수이므로
≤
가 성립한다.
끝으로 인 경우에는 이므로 실수 지수의 정의와 앞의 논의의 결과에
의하여
가 성립한다. □
참고 형식불역의 원리
1.7 집합의 크기
유한 집합의 크기를 비교할 때에는 원소의 개수를 세어서 비교하면 된다. 그러나 무한집합의 경
우에는 원소의 개수를 끝까지 셀 수 없기 때문에 이러한 방법으로 크기를 비교할 수 없다. 이
절에서는 유한집합과 무한집합을 논리적으로 정의하고 여러 가지 무한 집합의 크기를 비교해 보
자.
40 제 1 장 실수계의 성질
1.7.1 정의 음이 아닌 정수 집합과 그 절편
이 자연수일 때, 집합 와 절편 을
ℕ∪ , ∈
으로 정의한다.
1.7.2 정의 집합의 대등
1.7 디자이너앨리스
집합의 크기 41
1.7.5 정의 가부번, 가산, 비가산
1.7.6 정리 Cantor
참고 ℝ ≈ ℘ℚ의 증명
1.7.8 정리 무한집합의 성질
42 제 1 장 실수계의 성질
1.7.9 정리 유한집합과 무한집합의 성질
라고 했을 때
ℕ ≺ ℝ ≺ ℘ ℝ ≺ ℘ ℝ ≺ ℘ ℝ ≺ ℘ ℝ ≺⋯
이 된다.
유한 집합은 원소의 크기를 자연수로 나타낼 수 있다. 반면에 무한 집합은 가산인 경우와 비가
산인 경우로만 분류하고 있다. 무한 집합도 유한 집합과 마찬가지로 크기를 나타내는 방법이 있
으면 편리할 것이다. 집합론의 공리 중에는 무한 집합의 크기를 나타내기 위한 기수 공리가 있
다.
1.7 디자이너앨리스
집합의 크기 43
이제 다음과 같은 집합들의 크기를 기호로 나타낼 수 있다.
• 유한 집합 : ∅ , ⋯
• 가부번 집합 : ℕ , ℤ , ℚ
• 실수 집합 : ℝ
• 가부번 집합에 멱집합을 거듭 취하여 얻어진 집합
즉 일반적인 방법으로 만들어지는 대부분이 집합의 크기를 기호로 나타낼 수 있다. 여기서 한
가지 의문이 생긴다. 자연수 집합보다 크고 실수 집합보다 작은 집합은 존재하는가? 더욱 일반
적으로
1938년 쿠르트 괴델(Kurt Gödel)은 연속체 가설이 집합론의 공리에 모순이 되지 않는다는 것을
증명하였으며, 1963년 폴 코헨(Paul Cohen)은 연속체 가설이 집합론의 공리와 독립적임을 증명
하였다. 즉 연속체 가설을 참으로 받아들이거나 또는 그것을 부정하여도 전혀 모순이 발생하지
않는다.
44 제 1 장 실수계의 성질
1.8.1 정의 내점, 내부(interior), 개집합(open set)
하나의 실수는 수직선 위에서 하나의 점으로 표현된다. 따라서 가 실수 집합의 부분집합일 때
가 의 점이라는 것은 가 의 원소임을 의미하는 것으로 약속한다. 그리고 점 라는 표현
은 가 실수임을 의미하는 것으로 약속한다. Ⅰ
실
수
계
1.8.2 정의 개구체 (open ball), 폐구체 (closed ball) 의
성
실수 와 양수 에 대하여 다음과 같이 정의한다. 질
1.8 개집합과
디자이너앨리스
폐집합 45
내점을 정의한 것과 비슷한 방법으로 경계점과 외점을 정의할 수 있다. 구간 는 두 개의 경계
점 와 를 가지고 있다. 이 두 점은 의 경계점이기도 하다. 는 와 의 사이에 있기 때
문에 에서 아주 조금이라도 오른쪽에 있는 점은 에 속하게 되고 에서 아주 조금이라도 왼
쪽에 있는 점은 에 속하게 된다.
이것은 를 중심으로 하는 개구체 의 반지름이 아무리 작아도 는 의 원소를
포함하며 동시에 의 원소도 포함하게 된다는 것을 의미한다.
1.8.4 정의 경계(boundary)
실수계에서 개집합과 폐집합, 외점, 내점, 경계점과 같이 집합의 기하학적 성질을 논의할 때에는
편의상 전체 공간을 ℝ 로 생각하기로 한다. 즉 실수 집합의 부분집합 에 대하여 그 여집합은
ℝ∖ 인 것으로 생각한다. 개집합은 독일어 Gebiet의 첫 글자를 따라서 로 표기하는
경우가 많다. 폐집합은 프랑스어 fermé의 첫 글자를 따라서 로 표기하는 경우가 많다.
46 제 1 장 실수계의 성질
(ⅵ) 실수 집합 ℝ 는 개집합인 동시에 폐집합이다. ℝ 의 경계는 공집합이다.
(ⅶ) 반개구간 은 개집합도 아니고 폐집합도 아니다. 경계는 이다.
(ⅷ) 집합 ∈ℕ 은 개집합도 아니고 폐집합도 아니다. 경계는 ∪ 이다.
(ⅸ) 정수 집합 ℤ 는 폐집합이다. ℤ 의 경계는 ℤ 이다.
(ⅹ) 유리수 집합 ℚ 는 개집합도 아니고 폐집합도 아니다. ℚ 의 경계는 ℝ 이다.
1.8 개집합과
디자이너앨리스
폐집합 47
1.8.10 정리 유한집합의 최댓값과 최솟값
개구간 은 개집합이지만
∈ℕ
은 개집합이 아니다.
48 제 1 장 실수계의 성질
정리 1.8.11의 증명 (ⅰ) 각 ∈ 에 대하여 는 개집합이고 가 유한집합이므로
∈
는 개집
칙에 의하여
∈
∈
Ⅰ
실
이므로 정리 1.8.7의 (ⅰ)에 의하여 는 개집합이다. 따라서 는 폐집합이다. □ 수
계
의
무한히 많은 폐집합의 합집합은 폐집합이 아닐 수도 있다. 예를 들면 임의의 자연수 에 대하여 성
질
은 폐집합이지만 는 폐집합이 아니다.
∈ℕ
• ∅∈ 이고 ∈ 이다.
• 의 임의 개수의 원소를 합집합하면 의 원소가 된다.
• 의 유한 개의 원소를 교집합하면 의 원소가 된다.
개집합을 이용하여 극한의 성질을 밝히는 방법을 위상적 접근 방법이라고 부른다. 개집합과 위
상은 ℝ 에서뿐만 아니라 유클리드 벡터공간이나 복소수 집합, 일반적인 거리 공간에서도 정의
된다. 따라서 위상적 접근 방법으로 밝혀낸 여러 가지 성질은 실수계가 아닌 더욱 복잡한 체계
에도 쉽게 적용할 수 있다.
1.8 개집합과
디자이너앨리스
폐집합 49
1.9 집합을 이용한 실수의 구성*
이 절에서는 집합을 이용하여 자연수를 정의하고 이를 확장하여 실수를 구성하는 방법을 소개한
다. 해석학에서 사용하는 수의 성질 중 가장 중요한 것이 완비성이므로 실수를 구성하는 과정에
비중을 두어 설명한다.
50 제 1 장 실수계의 성질
다음으로 자연수를 이용하여 정수를 정의한다.
(ⅰ) ℕ × ℕ 으로 정의한다.
(ⅱ) 에서의 관계 를 다음과 같이 정의한다.
′ ′ ⇔ ′ ′
이때 는 위에서 동치관계가 된다.
(ⅲ) 정수 집합을 상집합 ℤ 으로 정의한다.
(ⅳ) 덧셈을 ′ ′ ′ ′으로 정의한다.
Ⅰ
(ⅴ) 곱셈을 ′ ′ ′ ′ ′ ′ 으로 정의한다. 실
수
(ⅵ) 순서를 ≤ ′ ′ ⇔ ′ ≤ ′ 으로 정의한다. 계
의
성
자연수 , 에 대하여 정수 는 질
52 제 1 장 실수계의 성질
단계 2 부등호 를 ⇔ ⊊로 정의한다. 명백히 임의의 , 에 대하여
, ,
중 하나가 유일하게 성립한다.
54 제 1 장 실수계의 성질
유리수 에 대하여 ∈ℚ 이라고 하면 ∈ℝ 이다. 이때 로 정의된
함수 ℚ → ℝ 는 환준동형사상(homomorphism)이면서 순서보존사상이 된다. 이러한 대응에
의하여 유리수계는 실수계의 부분(embedding)이 된다.
1.9.7 정리 Dedekind의 절단
1.9.8 정리 Dedekind의 정리
56 제 1 장 실수계의 성질
만약 ∈ 이면 를 만족시키는 ∈ 가 존재한다. 라고 하면
가 성립한다. ∈ 이고 이므로 ∈ 이다. 그런데 임의의 ∈
에대하여 ≤ 가 성립하므로 는 모순이다. 따라서 임의의 ∈ 와 임의의
∈ 에 대하여 ≤ 가 성립한다.
이제 ∈ 이라고 하자. 만약 이라고 하면 는 의 원소이고 보다
크기 때문에 모순이다. 그러므로 ≤ 이 성립하고 는 의 상계이다.
실수 를 의 상계라고 하면 를 만족시키는 ∈ 가 존재하지 않으므로 ∉ 이
고 ∈ 이다. 따라서 는 의 모든 상계를 포함한다. 그런데 임의의 ∈ 에 대하여
≤ 이므로 ≤ 이다. 즉 는 의 상계 중에서 가장 작은 것이므로 는 의 상한
Ⅰ
이다. □ 실
수
계
의
성
확인 학습 기초 개념 문제 해답 332쪽 질
디자이너앨리스
연습문제 57
4. 다음 합집합과 교집합을 구하여라.
(1)
∈ℕ
(2)
∈ℕ
(3) (4)
∈ℕ ∈ℕ
(5)
∈ℕ
(6)
∈ℕ
8. 임의의 실수 , 에 대하여 max 임을 증명하여라.
58 제 1 장 실수계의 성질
11. 와 가 실수 집합의 부분집합이고 공집합이 아니며 유계라고 하자. 만약 ⊆ 이면
sup ≤ sup 이고 in f ≥ in f 임을 증명하여라.
확인 학습 실력 다지기 문제 해답 333쪽
12. 임의의 자연수 에 대하여 다음이 성립함을 증명하여라. (단, 이외의 다른 문자는 실수
를 나타낸다.)
(1) ⋯
(2) ⋯ (단, ≠ ) Ⅰ
실
수
(3) ≥ (단, ) 계
의
(4) ⋯ ≥ ⋯ (단, ≥ ) 성
질
(5) ⋯ ≤ ⋯
디자이너앨리스
연습문제 59
20. 개구간 이 비가산임을 증명하려고 한다. 는 명백히 유한집합이 아니다. 결론에
반하여 가 가부번이라고 가정하면 일대일 대응 ℕ → 가 존재한다.
(1) 임의의 자연수 에 대하여 ∉ 이고
을 만족시키는 집합 ∈ℕ 과 ∈ℕ 이 존재함을 증명하여라.
(2) ∈ℕ 의 상한 가 존재함을 증명하여라.
(3) ∈ 임을 증명하여라.
(4) 임의의 에 대하여 ≠ 임을 증명하여라.
(1) (2)
(3) (4)
(5) (6)
(7) (8)
(9)
60 제 1 장 실수계의 성질
확인 학습 심화 문제 해답 336쪽
(1) ≤ (Cauchy-Schwarz 부등식)
(2) ≤ (벡터의 삼각 부등식)
발전 학습 탐구 문제
30. 집합
∈ℚ 는 ℝ 의 부분체임을 증명하여라.
34. 거리 함수의 정의를 찾아보고 그것이 정리 1.2.4와 어떠한 관계가 있는지 살펴보자.
35. 위상의 정의를 찾아보고 그것이 정리 1.8.7과 어떠한 관계가 있는지 살펴보자.
디자이너앨리스
연습문제 61
36. 실수를 구성하는 다음 방법을 조사해보자.
(1) 코시 수열을 이용하는 방법
(2) 무한소수를 이용하는 방법
(3) 하이퍼 실수(hyperreal number)를 이용하는 방법
(4) 초실수(surreal number)를 이용하는 방법
(5) 정수군(group of integers)을 이용하는 방법
37. 데데킨트의 저서「Was sind und was sollen die Zahlen」에 대하여 조사해보자.
39. 길이가 인 선분
AB 의 내부에 임의의 한 점 C 를 택할 때
AC 의 길이가 유리수일 확률
을 구하여라.
40. 중학교 3학년 학생이 당신에게 ‘무리수가 존재하는 수이기는 하지만 실제 생활에서 무리수
를 계산하는 일은 없기 때문에 무리수는 현실에서 필요 없는 수이다’라고 말한다면 당신은
그 학생에게 무슨 말을 하겠는가?
41. 중학생에게 자연수, 정수, 유리수의 개수가 각각 같다는 것을 직관적으로 이해할 수 있도록
하기 위한 교수 ․ 학습 방법을 고안해 보아라.
44. 실수계를 확장한 체계로서 복소수계, 사원수계, 팔원수계가 있다. 이들의 정의를 찾아보아
라.
62 제 1 장 실수계의 성질
수학 역사 실수의 정의와 무한 집합론
디자이너앨리스
연습문제 63
′ d
⋯
제2장 ⋯ ⋯
실수열의 극한 cos sin
해석학은 극한을 이용하여 함수의 성질을 분석하는 학문이며 수열의 극한은 모든 극한의 기본이
다. 함수의 극한의 정의는 수열의 극한의 정의로부터 유도된 것이며 해석학의 중심 이론인 함수
열의 극한은 수열의 극한을 함수열에 적용한 것이다. 따라서 수열의 극한의 성질은 수많은 극한
이론의 바탕이 된다. 이 장에서는 실수열의 극한의 개념과 다양한 성질을 살펴본다.
2.1 극한의 개념
2.1.1 정의 수열
64 제 2 장 실수열의 극한
예를 들어 수열 〈 〉의 일반항이
로 정의되었다고 하자. 이때 , 또는 인 경우 분수식의 분모가 이 되므로
이 정의되지 않는다. 따라서 〈 〉의 초항은 이 된다.
2.1 디자이너앨리스
극한의 개념 65
2.1.2 정의 수열의 극한
∀ ∃ ∈ℕ ∀∈ℕ →
수열의 극한을 나타내는 기호인 lim 를 도입하기 전에 먼저 수열의 극한이 유일함을 증명해야
한다. 이렇게 어떠한 값을 나타내는 기호를 사용하기 전에 그것의 유일성을 증명하는 이유는 다
음과 같다.
유일성이 증명되지 않은 상태에서 등호를 사용하는 기호를 사용할 경우 이러한 모순이 발생할
수 있다. 따라서 다음과 같이 극한의 유일성을 증명한다.
증명 양수 이 임의로 주어졌다고 하자. 그러면 도 양수이다. → 이므로 극한의 정의
에 의하여 자연수 이 존재하여 일 때마다
이 성립한다. 또한 → 이므로 극한의 정의에 의하여 자연수 가 존재하여
일 때마다
이 성립한다. max 라고 하자. 그러면 인 임의의 에 대하여
≤
이다. 이 임의의 양수이므로 , 즉 이다. □
66 제 2 장 실수열의 극한
수렴하는 수열의 극한이 유일하므로 → 인 것을 다음과 같이 표기하자.
lim 또는 lim
→∞
≤
이므로 이다. 따라서 〈 〉의 극한은 에 수렴한다. □
예제 2.1.5 lim
→∞
이다.
이다. □
예제 2.1.6 lim 이다.
→∞
증명 양수 이 임의로 주어졌다고 하자. 인 자연수 을 택하고 이라고 하면
이다. □
2.1 디자이너앨리스
극한의 개념 67
2.1.7 정의 함수의 유계성
수열도 함수의 일종이므로 수열의 유계는 함수의 유계와 똑같이 정의된다. 실수 이 존재하여
임의의 에 대하여 ≤ 을 만족시키면 수열 〈 〉은 유계라고 말한다.
을 얻는다. 집합 ≤ 은 유한집합이므로 최댓값 을 가진다. 여기서
max
이라고 하면 임의의 에 대하여 ≤ 이 성립한다. □
68 제 2 장 실수열의 극한
(⇐ ) 임의의 양수 에 대하여 ∉ 인 의 개수가 유한이라고 가정하자. 그러
면 집합 ∉ 는 유한집합이므로 최댓값 을 가진다. 이제
이라고 하면 ∉ 이므로 ∈ 이다. 즉 이므로 극한의 정의에
의하여 〈 〉의 극한은 에 수렴한다. □
2.2 극한의 계산
극한의 정의는 수열의 극한이 수렴하거나 발산함을 증명하는 데에 사용되지만 수열의 극한을 계
산하는 구체적인 방법을 제공하지는 않는다. 그러나 극한의 정의를 이용하여 일반적인 유리식으 Ⅱ
실
로 정의되는 수열의 극한을 구하는 공식을 유도할 수 있다. 수
열
두 수열 〈 〉과 〈 〉의 각 항을 사칙연산으로 결합하여 새로운 수열을 얻을 수 있다. 이를 의
극
테면 수열 〈 〉은 두 수열의 각 항을 더하여 얻은 수열이며 〈 〉은 두 수열의 각 한
항을 곱하여 얻은 수열이다. 이렇게 얻어진 수열의 극한이 본래의 수열의 극한과 어떠한 관계가
있는지 살펴보자.
2.2.1 정리 수열의 합의 극한
2.2 디자이너앨리스
극한의 계산 69
두 수열을 곱하여 얻은 수열의 극한의 성질도 이와 비슷하다.
2.2.2 정리 수열의 곱의 극한
70 제 2 장 실수열의 극한
lim lim ⋅ lim
→∞ →∞ →∞
lim lim
→∞ →∞
lim lim
→∞ →∞
이 성립한다. 특히 상수 에 대하여
lim lim
→∞ →∞
함수 → 가 임의의 ∈ 와 실수 에 대하여
,
lim lim
→∞ →∞
가 성립한다.
2.2 디자이너앨리스
극한의 계산 71
증명 수학적 귀납법으로 증명하자. 먼저 일 때에는 자명하다. 이제 자연수 에 대하여
일 때에 정리의 등식이 참이라고 가정하자. 그러면 정리 2.2.2에 의하여
lim lim
→∞ →∞
2.2.5 정리 수열의 몫의 극한
이 성립한다.
정리 2.2.5의 증명 양수 이 임의로 주어졌다고 하자. 먼저 는 양수이므로 극한의 정의에
의하여 자연수 이 존재하여 인 임의의 자연수 에 대하여
를 만족시킨다.
72 제 2 장 실수열의 극한
위 부등식을 변형하면
을 얻는다. 다음으로 은 양수이므로 극한의 정의에 의하여 자연수 가 존재하여
인 임의의 자연수 에 대하여
을 만족시킨다.
max 라고 하자. 그러면 인 임의의 자연수 에 대하여
⋅ ⋅
Ⅱ
실
수
⋅ 열
의
극
이므로 수열 〈 〉은 에 수렴한다. □ 한
이상으로 수열의 극한과 사칙연산의 관계를 살펴보았다. 이제 수열의 극한과 부등호의 관계를
살펴보자.
2.2 디자이너앨리스
극한의 계산 73
(1)과 (2)를 변형하면
,
을 얻는다. 따라서
이므로 이다. 그런데 이므로 이것은 정리의 조건에 모순이다.
따라서 ≤ 이다. □
〈〉≤ 〈 〉 ⇔ ∃ ∀ ≤
으로 정의하고 극한값이 같은 두 수열을 서로 동치인 것으로 간주하면 〈 ≤〉는 전순서집합
이 된다.
함수 → 가 임의의 ∈ 에 대하여
≤ ⇒ ≤
lim ≤ lim
→∞ →∞
74 제 2 장 실수열의 극한
2.2.8 정리 조임 정리(squeeze theorem, sandwich theorem)
이 성립한다. 마찬가지로 자연수 가 존재하여 일 때
Ⅱ
이 성립한다. max 이고 이라고 하자. 그러면 실
수
≤ ≤ 열
의
이므로 이다. 따라서 〈 〉의 극한은 에 수렴한다. □ 극
한
보기 2.2.10 다음은 극한 lim 을 이용하여 수열의 극한을 계산하는 예이다.
→∞
→∞
lim
lim lim
→∞ →∞
lim
→∞
lim lim
→∞ →∞
□
lim lim
→∞ →∞
2.2 디자이너앨리스
극한의 계산 75
수열 〈 〉이 수렴하더라도 〈 〉이나 〈 〉은 수렴하지 않을 수도 있다. 예를 들면
, 일 때
lim lim
→∞ →∞
2.3 부분수열
의 짝수 번째 항을 모아서 나열한
, , , , , , , , , ⋯ (2)
2.3.1 정의 부분수열
76 제 2 장 실수열의 극한
2.3.2 정리 부분수열의 수렴성
2.4 단조수열
2.4
디자이너앨리스
단조수열 77
임의의 에 대하여 이므로
이다. 따라서 〈 〉은 증가수열이다. □
2.4.3 정리 단조 수렴
예제 2.4.4 수열 〈 〉이
,
으로 정의되었을 때 〈 〉의 극한
을 구하여라.
풀이 예제 2.4.2에 따르면 〈 〉은 유계이고 단조증가이므로 단조수렴 정리에 의하여 수렴한
다. 그 극한을 이라고 하자. 그러면 부분수열 〈 〉도 에 수렴하므로
lim lim
→∞ →∞
lim
→∞
78 제 2 장 실수열의 극한
예제 2.4.6 양의 실수 에 대하여 lim 이다.
→∞
(ⅰ) 으로 정의된 수열 〈 〉은 증가한다.
(ⅱ) 자연수 과 정수 에 대하여 ≤ ≤ 일 때 다음이 성립한다.
⋅ ≤
에 을 대입하면
을 얻는다.
2.4
디자이너앨리스
단조수열 79
좌변을 인수분해하면
(ⅱ) 먼저 , 에 대하여
≥ ⋯
이므로
≥ ⋯ ⋅
이다. 양변을 로 나누면 정리의 부등식을 얻는다. □
C
⋅
≤
⋯
≤ ⋯
≤
이므로 〈 〉은 에 의하여 위로 유계이다. 또한 보조정리 2.4.8에 의하여 〈 〉은 증
가수열이므로 단조수렴정리에 의하여 〈 〉은 수렴한다. □
2.4.9 정의 오일러 상수
극한 lim 을 로 표기한다.
→∞
80 제 2 장 실수열의 극한
2.4.10 정리 오일러 상수의 다른 정의
등식 lim
→∞
이 성립한다.
C
≤
Ⅱ
실
수
이므로 ≤ 이다. 따라서 ≤ lim 이다. 열
→∞ 의
이제 ≥ 이라고 하자. 그러면 이항정리에 의하여 극
한
≥ ⋯ ⋯
이므로 양변에 → ∞ 인 극한을 취하면
≥ ⋯
이다. 다시 양변에 → ∞ 인 극한을 취하면 ≥ lim
→∞
을 얻는다. □
오일러 상수 는 무리수이다.
2.4
디자이너앨리스
단조수열 81
여기서 는 자연수이므로
⋯
도 자연수이고 도 자연수이다. 그런데 ≥ 이므로
≤
을 얻는다. 이것은 모순이므로 는 유리수가 아니다. □
≤
⇔ ≤
⇔ ≤
이므로 수열 ≥ 일 때 〈〉은 단조감소이다. 또한 ≥ 이므로 〈〉은 아
래로 유계이다. 따라서 〈〉은 수렴한다. 그 극한을 이라고 하면
→∞
→∞
→∞
lim lim lim ⋅ lim ⋅
→∞
2.5 발산하는 수열
수열이 수렴하지 않을 때 발산한다고 말한다. 수열의 수렴을 증명할 때에 극한의 정의를 이용한
것처럼 수열이 발산하는 것을 증명할 때에도 극한의 정의를 이용할 수 있다. 수열 〈 〉의 극
한이 에 수렴한다는 것을 한정기호로 나타내면
∀ ∃ ∈ℕ ∀∈ℕ →
82 제 2 장 실수열의 극한
이것의 부정을 구하면
∃ ∀ ∈ℕ ∃∈ℕ ∧ ≥
앞서 정리 2.1.8에 의하면 수렴하는 수열은 유계이다. 그러나 위 예제에서 〈 〉은 유계이
지만 수렴하지 않으므로 정리 2.1.8의 역은 참이 아님을 알 수 있다.
2.5 발산하는
디자이너앨리스
수열 83
한 항 이후로는 그 실수보다 큰 값을 갖게 된다. 이러한 경우를 일반화하여 무한대에 발산을 정
의한다.
2.5.3 정의 수열의 발산
84 제 2 장 실수열의 극한
2.5.5 정리 조임 정리
∈ℕ
집합 의 원소를 수직선에 나타내보면 점이 원점에 가까이 몰려 있는 것을 볼 수 있다.
2.6.4 정리 Bolzano-Weierstrass
86 제 2 장 실수열의 극한
그러면 을 둘로 등분한 두 구간
,
중 적어도 하나는 의 원소를 무한히 많이 포함한다. 그러한 것을 택하여 이라고 하
자. 이제 집합 ∈ℕ 의 모든 원소가 귀납적으로 정의되었다.
정의에 의하여 ⊆ 이고 in f , sup 이므로 수열 〈 〉은 단조증가
이고 〈 〉은 단조감소이다. 또한 ≤ 이므로 〈 〉과 〈 〉은 수렴한다.
lim , lim
→∞ →∞
인 자연수 이 존재한다. 가 자연수라고 하자. 은 의 원소를 무수히 많
이 포함하므로 이면서
∈
인 이 존재한다. 여기서 〈 〉는 에 수렴하는 부분수열이 된다. 이로써 다음 정리를 증
명하였다.
88 제 2 장 실수열의 극한
역으로 임의의 양수 에 대하여 ∈ 인 의 개수가 무한이라고 하자.
먼저 ∈ 인 이 존재한다. 또한 자연수 에 대하여 이고
∈
인 자연수 이 존재한다. 이렇게 정의된 수열 〈 〉은
에 수렴하므로 는 수열
〈 〉의 집적점이다. □
수열 〈 〉이 유계라고 하자. 그리고 〈 〉의 항을 원소로 갖는 집합을 이라고 하자. 만
약 이 유한집합이라면 적당한 ∈ 이 존재하여 인 의 개수가 무한이다.
인 항만을 모아 구성한 부분수열 〈 〉는
에 수렴한다. 즉 는 〈 〉의 집적점이 Ⅱ
실
다. 만약 이 무한집합이라면 볼차노-바이어슈트라스 정리에 의하여 는 집적점을 가 수
열
진다. 를 의 집적점이라고 하면 는 〈 〉의 집적점이 된다. 따라서 다음 정리를 얻는 의
극
다. 한
2.6.9 정리 Bolzano-Weierstrass
2.7 코시 수열
극한의 정의를 이용하여 수열이 수렴함을 증명하려면 그 극한값을 알아야 한다. 따라서 수열의
극한값을 알지 못한 상태에서 수렴 여부를 증명하는 것은 비교적 어렵다. 특히 수열이 단조가
아닌 경우에는 단조수렴 정리를 사용할 수 없기 때문에 더욱 그러하다. 이 절에서 살펴볼 코시
조건은 극한값을 알지 못하는 수열의 수렴 여부를 밝히는 데에 매우 유용하게 사용된다.
2.7.1 정의 Cauchy 수열
2.7
디자이너앨리스
코시 수열 89
2.7.2 정리 코시 수열의 수렴성
≤
이므로 〈 〉은 에 수렴한다. □
90 제 2 장 실수열의 극한
다음은 코시 조건을 이용하여 수렴을 증명하는 예이다.
, , , , , , , , ⋯
2.8 상극한과
디자이너앨리스
하극한 91
2.8.1 정의 수열의 상극한과 하극한
2.8.3 정리 상극한의 다른 정의
92 제 2 장 실수열의 극한
위 정리에서 조건 (ⅰ)은 〈 〉의 부분수열이 보다 큰 값에 수렴할 수 없다는 뜻이며 조건
(ⅱ)는 에 수렴하는 부분수열이 존재한다는 뜻이다.
정리 2.8.3의 증명* (⇒ )
lim 이라고 하자.
→∞
만약 (ⅰ)을 부정하면 적당한 양수 이 존재하여 아무리 큰 자연수 이 주어지더라도
인 이 존재하여 ≥ 을 만족시키게 된다. 즉 ≥ 인 의 개수가
무한이 되므로 〈 〉의 부분수열 중 이상의 값에 수렴하는 것이 존재하게 된다.
이것은 가 〈 〉의 상극한이라는 데에 모순이다.
만약 (ⅱ)를 부정하면 적당한 양수 과 자연수 이 존재하여 일 때마다
Ⅱ
≤ 을 만족시키게 된다. 유한 개의 을 제외하고는 모두 ≤ 을 만족시 실
수
키게 되므로 〈 〉의 부분수열은 모두 이하의 값에 수렴하게 된다. 이것은 가 열
의
〈 〉의 상극한이라는 데에 모순이다. 극
한
(⇐ ) 수열 〈 〉이 (ⅰ)과 (ⅱ)를 만족시킨다고 하자. 그리고 〈 〉의 상극한을 라고
하자. 그러면 에 수렴하는 부분수열 〈 〉가 존재한다.
〈 〉는
이하의 값에 수렴하게 된다. 이것은 모순이므로 ≤ 이다.
이제 (ⅰ)과 (ⅱ)에 의하여 인 이 존재한다. 또한 임의의 자연수
에 대하여 (ⅰ), (ⅱ)에 의하여 이고
인 자연수 이 존재한다. 조임정리에 의하여 수열 〈 〉는 에 수렴한다. 그런데
는 〈 〉의 상극한이므로 ≤ 이다.
따라서 이므로 는 〈 〉의 상극한이다. □
2.8.4 정리 하극한의 다른 정의
2.8 상극한과
디자이너앨리스
하극한 93
수열 〈 〉이 유계이고 상극한과 하극한이 로서 같다고 하자. 이 양수이면 정리 2.8.3의
(ⅰ)과 정리 2.8.4의 (ⅰ)에 의하여 자연수 이 존재하여 일 때
이 성립한다. 따라서 〈 〉은 에 수렴한다. 역으로 〈 〉이 에 수렴하면 〈 〉의 임의의
부분수열은 에 수렴하므로 〈 〉의 상극한과 하극한이 모두 가 된다. 따라서 다음과 같은
결론을 내릴 수 있다.
(ⅰ)
lim ≤
lim
lim
→∞ →∞ →∞
94 제 2 장 실수열의 극한
이것은
≥ 또는
lim
lim ≥
→∞ →∞
2.8.7 정리 상․ 하극한의 다른 정의
2.9 폐집합과 극한
2.9.1 정의 폐포(closure)
2.9 폐집합과
디자이너앨리스
극한 95
또한 를 포함하는 임의의 폐집합은
를 포함하므로
는 를 포함하는 폐집합 중에서 가
장 작은 것이다.
집합 가 폐집합일 필요충분조건은
인 것이다.
2.9.4 정리 폐포의 구성
증명 먼저
⊆ ∪ ′임을 증명하자. 이를 위하여 ∈
라고 하자. ∈ 인 경우는 당연히
∈ ∪ ′이다. ∉ 인 경우 ∈ ∖ 이다. 양수 에 대하여, 보조정리에 의하여,
∩ ≠ ∅ 이다. 따라서 ∈ ′이므로 ∈ ∪ ′이다.
다음으로 ∪ ′ ⊆
임을 증명하자. 이를 위하여 ∈ ∪ ′라고 하자. ∈ 인 경
우는 당연히 ∈ 이다. ∉ 인 경우 ∈ ′∖ 이다. 그러면 는 의 집적점이므
로 임의의 양수 에 대하여 ∩ ≠ ∅ 이다. 따라서 보조정리에 의하여 ∈
이다. □
96 제 2 장 실수열의 극한
2.9.5 따름정리 도집합과 폐집합의 관계
2.9 폐집합과
디자이너앨리스
극한 97
한편 실수계에서 수열이 수렴할 필요충분조건은 코시 조건을 만족시키는 것이므로 다음과 같은
정리를 얻는다.
∈ ∩
인 실수 이 존재한다. 이때 〈 〉은 에 수렴하므로 〈 〉은 코시 수열이고 정의에
의하여 〈 〉의 모든 항은 에 속한다. 그리고 이 완비이므로 ∈ 이다. 이것은
모순이므로 은 폐집합이다. □
확인 학습 기초 개념 문제 해답 339쪽
98 제 2 장 실수열의 극한
3. 정리의 증명을 잘 이해하고 기억하는 방법 중 하나는 증명을 몇 단계로 나누어 요약하는
것이다. 예를 들어, 코시 수열 〈 〉이 수렴함을 증명하는 과정은 다음과 같이 세 단계로
요약할 수 있다.
1단계 : 〈 〉이 유계이다.
2단계 : 〈 〉이 수렴하는 부분수열을 가진다. 그 집적점을 라고 하자.
3단계 : 〈 〉이 에 수렴한다.
다음 물음에 답하여라.
(1) 정리 2.4.3의 증명 과정을 3단계로 나누어 요약하여라.
(2) 정리 2.6.4의 증명 과정을 2~3단계로 나누어 요약하여라.
Ⅱ
실
4. 다음 집합 중에서 완비인 것과 그렇지 않은 것을 구분하여라. 수
열
(1) 모든 실수의 집합 (2) 모든 유리수의 집합 의
극
(3) 모든 무리수의 집합 (4) 모든 정수의 집합 한
(5) 모든 자연수의 집합 (6) 공집합이 아닌 유한집합
10. 등식
∩
∩
가 성립하지 않는 집합 , 의 예를 들어라.
11. 극한 lim 을 이용하여 다음 극한을 계산하여라.
→∞
(1) lim (2) lim
→∞ →∞
(3) lim
(4) lim
→∞ →∞
디자이너앨리스
연습문제 99
12. 다음과 같이 정의된 수열 〈 〉이 유계인지 판별하여라.
(1) (2) (3)
(4) sin (5)
(6)
확인 학습 실력 다지기 문제 해답 340쪽
→∞
(1) lim
→∞
(2) lim
(3) lim
→∞
(4) lim (5) lim (6) lim
→∞ →∞ →∞
(3) lim
(4) lim
→∞ →∞
(5) lim
(6) lim sin
→∞ →∞
17. 수열 〈 〉에 대하여 lim 이 에 수렴하고 이면 〈 〉은 에 수렴함을
→∞
증명하여라.
100 제 2 장 실수열의 극한
18. 수열 〈 〉이 에 수렴하면 lim
임을 증명하여라.
→∞
lim lim
(3) (4)
→∞ →∞
21. 양수 에 대하여 극한 lim 이 수렴함을 증명하고 극한을 구하여라.
→∞
22. 극한 lim
이 수렴함을 증명하여라.
→∞
23. 수열 〈 〉이 , 을 만족시킬 때 〈 〉은 수렴함을 보여라.
24. 두 수열 〈 〉과 〈 〉에 대하여 이고
,
을 만족시킨다고 하자. 이때 〈 〉과 〈 〉은 동일한 값에 수렴함을 증명하여라.
디자이너앨리스
연습문제 101
27. 수열 〈 〉이 유계라고 하자. 만약 〈 〉의 수렴하는 부분수열이 모두 동일한 값에 수렴
하면 〈 〉은 수렴함을 증명하여라.
34. 실수 집합의 부분집합 가 개집합이면 끝점이 유리수인 개구간 들이 존재하
여 ∪ 임을 증명하여라.
102 제 2 장 실수열의 극한
확인 학습 심화 문제 해답 349쪽
40. 수열 〈 〉이 에 수렴하면 lim
→∞
임을 증명하여라.
41. 수열 〈 〉의 모든 항이 양수이고 에 수렴하면 lim 임을 증명하여라.
→∞
발전 학습 탐구 문제
49. 수열 〈 〉을 으로 표기하는 경우가 있다. 그 이유를 조사해 보자.
50. 위상 수학에서 수열의 극한을 어떻게 정의하는지 찾아보고 정리 2.1.9와 비교해 보자.
디자이너앨리스
연습문제 103
55. 컴퓨터 공학에서 자료구조의 단순연결 리스트의 개념을 조사하고 이것이 수열의 귀납적 정
의와 어떠한 관계가 있는지 살펴보자.
58. 수능시험을 마친 고등학교 3학년 학생 중에서 수학에 관련된 학과에 진학하는 학생들에게
실수의 완비성에 대한 수업을 하려고 한다. 2차시(100분)동안 수업할 수 있는 교수 ․ 학습
안을 작성하여 보아라.
수학 교육 수학에서의 은유
104 제 2 장 실수열의 극한
유추로 간주될 수 있다. 두 경험을 비교할 때 유추에서는 ‘A는 B와 같다’라고 말하는 데 비
해, 은유에서는 ‘A는 B이다’라고 말한다. 어느 경우이건 두 영역의 몇 가지 요소만을 언급하
며, 유사한 요소는 비교의 근거가 되고 유사하지 않은 요소는 긴장을 초래한다. 근거와 긴장
은 은유의 본질적인 요소이다. 은유에 이전 경험으로 새로운 경험을 구조화하는 특별한 힘이
부여되고 표현의 불가피한 요소인 모호성이 수반되는 것은 이러한 유사성과 비유사성의 동시
적인 인식 때문이다. 은유의 힘은 그것이 이미 존재하는 개념으로 새로운 개념의 의미를 이
해하는 데 사용된다는 데 있다. 이미지 수준에서의 이해는 기본적으로 은유인 것이다.
수학은 궁극적으로 인간의 두뇌와 경험에 바탕을 두고 있고, 형식적인 기법과 형식적인 증명
은 수학적 아이디어를 표현하는 한에서 흥미롭다. 기본적인 수학적 개념은 일상적인 경험에
은유적으로 기초하고 있으며 일상적인 개념체계를 사용한다. 따라서 학생들이 수학을 그 아
이디어로 이해하도록 해야 하며 매우 많은 수학적 아이디어가 은유적인 것이므로 수학교육은
필연적으로 수학의 그러한 은유적인 구조를 가르쳐야 한다.
디자이너앨리스
연습문제 105
′ d
⋯
제3장 ⋯ ⋯
실함수의 극한 cos sin
함수의 극한에는 한 점에서의 극한과 무한대에서의 극한이 있다. 한 점에서의 극한은 변수가 어
떠한 점에 한없이 가까이 다가갈 때의 극한이며 무한대에서의 극한은 수열의 극한과 마찬가지로
변수가 한없이 커질 때의 극한이다. 실수열은 정의역이 정수 집합의 부분집합이고 공역이 실수
인 함수이다. 즉 수열은 함수의 특별한 경우이고 역으로 함수는 수열의 일반적인 경우이므로 함
수의 극한은 수열의 극한을 일반화한 것으로 볼 수 있다. 이 장에서는 함수의 극한의 개념을 살
펴보고 이를 이용하여 함수의 다양한 성질을 밝힌다.
3.1 한 점에서의 극한
106 제 3 장 실함수의 극한
참고로 정의 3.1.1에서 는 반드시 의 집적점이어야 한다. 왜냐하면 가 의 집적점이 아닌
경우 의 근방에 의 원소 가 존재하지 않을 수도 있기 때문이다.
예제 3.1.2 함수 가
로 정의되었을 때 는 에서 에 수렴한다.
증명 양수 이 임의로 주어졌다고 하자. 이라고 하면 인 에 대하여
이다. 의 정의역은 ≥ 이므로 ≥ 이다. 따라서
≤
Ⅲ
이다. 즉 이므로 는 에서 에 수렴한다. □ 실
함
수
의
예제 3.1.3 함수 가 로 정의되었을 때 는 에서 에 수렴한다. 극
한
증명 양수 이 임의로 주어졌다고 하자. min 이라고 하면 인 임
의의 에 대하여
이다. 이므로 이다. 따라서 위 부등식으로부터
≤
을 얻는다. 즉 이므로 는 에서 에 수렴한다. □
3.1 한 점에서의
디자이너앨리스
극한 107
함수의 극한이 유일하므로 그것을 기호로 나타낼 수 있다. 가 에서 에 수렴할 때 그것을
기호로
→
lim 또는
→
로 나타낸다.
108 제 3 장 실함수의 극한
(⇐ ) 함수 가 에서 수렴하지 않는다고 가정하자. 그리고 이 임의로 주어진 실수라고
하자. 그러면 는 에서 에 수렴하지 않으므로 적당한 양수 이 존재하여 임의의 양수
에 대하여 이면서 ≥ 인 가 존재한다. 이것을 변형하면
임의의 자연수 에 대하여
이면서 ≥ 인 ∈ 가 존재한다. 이때 수열 〈 〉은 에 수렴하지만
〈 〉은 에 수렴하지 않는다. □
예제 3.1.7 정의역이 구간 인 특성함수 ℚ 는 의 어떠한 점에서도 수렴하지 않
는다.
i f ∈
if
∈
즉 ∈ 일 때에만 의 값을 갖고 그 외에는 의 값을 갖는 함수이다. 이 예제에서 주어진 함
수 ℚ 는 유리수인 점에서는 의 값을 갖고 무리수인 점에서는 의 값을 갖는 함수이다.
이므로 극한의 유일성에 의하여 이다. 이것은 모순이므로 는 에서 어떠한 값에도
수렴하지 않는다. □
3.1 한 점에서의
디자이너앨리스
극한 109
공역이 폐집합 인 수열이 수렴하면 그 극한은 의 원소이다. 이것은 함수의 극한에서도 똑같
이 성립한다.
110 제 3 장 실함수의 극한
3.1.11 정의 좌극한, 우극한
3.1 한 점에서의
디자이너앨리스
극한 111
3.2 극한의 계산
112 제 3 장 실함수의 극한
이제 ≠ 이라고 하자. 그러면 lim ≠ 이므로
→∞
lim
→∞ lim
→∞
lim lim
→ →
이다. 따라서 수열판정법에 의하여 (ⅲ)이 성립한다. 끝으로 자연수 에 대하여
lim lim
→ →∞
Ⅲ
lim
→∞ 실
함
lim
→ 수
의
극
한
이므로 (ⅳ)가 성립한다. □
3.2 디자이너앨리스
극한의 계산 113
다시 양수 이 존재하여 인 임의의 ∈ 에 대하여
이 성립한다. 이제 min 이라고 하면 인 임의의 ∈ 에
대하여
≤
이므로 → 이다.
(ⅲ) 양수 이 임의로 주어졌다고 하자. ≠ 이므로 양수 이 존재하여
인 임의의 ∈ 에 대하여
가 성립한다. 이 부등식을 변형하면
,
를 얻는다. 또한 양수 가 존재하여 인 임의의 ∈ 에 대하여
이 성립한다. 이제 min 라고 하면 인 임의의 ∈ 에 대하여
이므로 → 이다. 여기에 (ⅱ)의 결과를 이용하면 → 를 얻
는다. □
이다.
114 제 3 장 실함수의 극한
증명 수열 〈 〉이 에 수렴하고 임의의 에 대하여 ∈ ∖ 를 만족시킨다고 하자.
수열의 극한의 정의에 의하여 자연수 가 존재하여 인 임의의 에 대하여
∈ ′ 를 만족시킨다. 따라서 일 때 ≤ 이므로 수열의 극한
의 성질과 수열 판정법에 의하여
lim lim ≤ lim lim
→ →∞ →∞ →
가 성립한다. □
3.2.3 정리 조임 정리
3.2 디자이너앨리스
극한의 계산 115
3.2.4 정리 단조 수렴
3.3 연속 함수
116 제 3 장 실함수의 극한
3.3.2 정리 연속성과 극한의 관계
참고로 ∈ 이지만
∈ ′일 때 를 의 고립점(isolated point)이라고 부른다.
3.3
디자이너앨리스
연속 함수 117
3.3.3 정의 상대적 개집합, 상대적 폐집합
연속 함수의 다양한 성질이 극한의 성질과 연속의 위상적 정의를 이용하여 증명된다.
함수 → 와 → 가 연속이면 ∘ → 도 연속이다.
118 제 3 장 실함수의 극한
다른 방법의 증명 ∈ 이고 양수 이 임의로 주어졌다고 하자. 가 연속이므로 양수 이 존
두 함수 → ℝ 와 → ℝ 가 연속이면 와 도 연속이다. 만약 ∈ 이
고 ≠ 이면 는 에서 연속이다. Ⅲ
실
증명 만약 가 의 고립점이면 , , 는 에서 연속이다. 이제 가 의 집적점이 함
수
라고 하자. 그러면 극한의 성질에 의하여 의
극
lim lim lim , 한
→ → →
lim lim lim
→ → →
극한을 좌극한과 우극한으로 세분화한 것처럼 연속성도 좌연속과 우연속으로 세분화할 수 있다.
i f ∈
if ∉
으로 정의된 함수이다. 이때 는 에서 좌연속이지만 우연속이 아니고, 에서 좌연속이 아니
지만 우연속이다.
3.3
디자이너앨리스
연속 함수 119
보기 3.3.10 실수 에 대하여 max∈ℤ ≤ 로 정의된 함수 를 가우스
함수라고 부른다. 가 정수일 때 가우스 함수는 에서 불연속이지만 좌연속이다. 그리고 정수가
아닌 모든 점에서 가우스 함수는 연속이다.
임의의 개구간은 ∞ ∩ ∞ 의 꼴로 나타낼 수 있다. 그리고 임의의 개집합
은 개구간들의 합집합으로 나타낼 수 있다. 또한 하반연속인 동시에 상반연속인 함수는 개집합
의 역상이 개집합이 되며 그 역도 성립한다. 그런데 함수가 연속일 필요충분조건은 임의의 개집
합의 역상이 개집합이 되는 것이다. 이로부터 다음 정리를 이끌어낼 수 있다.
120 제 3 장 실함수의 극한
3.4 컴팩트 집합
3.4 디자이너앨리스
컴팩트 집합 121
3.4.3 정의 컴팩트
일 때 집합 ∈ℕ 은 의 개덮개이다. 만약 가 컴팩트라면 는 유한인 부분
덮개 ∈ 를 가진다. 즉 는 ℕ 의 유한부분집합이다. 는 공집합이 아니므
로 max 가 존재한다. 이때 임의의 ∈ 에 대하여 ≤ 이므로 ⊆ 이다. 그
런데 ∈ 이지만
∉
이므로
∉
∈
이다. 즉 는 에 의하여 덮이지 않는다. 따라서 는 컴팩트가 아니다. □
122 제 3 장 실함수의 극한
3.4.6 정리 Heine-Borel
3.4 디자이너앨리스
컴팩트 집합 123
임의의 에 대하여 ∈ ∩ 인 점 을 택하여 얻은 수열 〈 〉은 조임정리에 의하
여 에 수렴한다. 더욱이 폐집합의 성질에 의하여 ∈ 이다. 는 의 덮개이므로
∈ 가 존재하여 ∈ 이다. 는 의 내점이므로 ⊆ 인 양수 가
존재한다. 더욱이 두 수열 〈 〉과 〈 〉이 에 수렴하므로 자연수 이 존재하여
∈ 이고 ∈ 이다.
3.5 연속 함수의 성질
124 제 3 장 실함수의 극한
증명 가 컴팩트이고 가 연속이므로 도 컴팩트이다. 따라서 는 유계인 폐집합이
다. 가 유계이므로 는 에서 유계이다. 이제 sup , in f 라
고 하자. 그러면 ∈ 이고 ∈ 이므로 , 인 과
가 에 존재한다. 이때 임의의 ∈ 에 대하여 ≤ ≤ 이므로 는
에서 최댓값을 갖고 에서 최솟값을 가진다. □
보기 3.5.3 두 함수 ∞ → ℝ , ℝ → ℝ 를
,
으로 정의했을 때 , 는 모두 연속이다. Ⅲ
실
(ⅰ) 는 에서 유계가 아니지만 컴팩트 집합 에서는 유계이고 최댓값 , 최솟값 함
수
의
을 가진다. 는 컴팩트가 아니지만 는 에서 유계이다. 그러나 최댓값과 최
극
한
솟값은 갖지 않는다.
3.5.4 정리 중간값 성질
3.5 연속디자이너앨리스
함수의 성질 125
다음으로 는 에서 연속이고 이므로 일 때 인 양수 가
존재한다. 따라서 이다.
이라고 하면 이므로 ∉ 이다. 이때 ≤ 이다.
i f ∈
i f ∈
으로 정의된 함수 는 ∪ 에서 연속이다. 그러나
i f ∈
i f ∈
이므로 는 에서 연속이 아니다.
126 제 3 장 실함수의 극한
그러나 만약 이라면 일 때
→
이 성립하지 않는다. 이라면 이 되어야 위 명제가 참이 된다. 즉 의 값에 따라서
의 크기가 변한다.
3.5.6 정의 평등연속
예제 3.5.8 함수 → ℝ 가 로 정의되었을 때 는 에서 평등연
속이 아니다.
증명 이라고 하자. 그리고 양수 가 임의로 주어졌다고 하자. 라고 하자. 는
3.5 연속디자이너앨리스
함수의 성질 127
증명 양수 이 임의로 주어졌다고 하자. 가 연속이므로 각 점 ∈ 에 대하여 양수 가 존
재하여
⇒ (1)
을 만족시킨다. 이제 조건 를 만족시키는 ∈ 들의 집합을 라고 하자.
∈ 이므로 ∈ 는 의 개덮개가 된다. 가 컴팩트이므로 유한 개의 점
∈ 들이 존재하여
⊆ ∪ ∪ ⋯ ∪ (2)
이 된다. min ⋯ 이고 라고 하자. 그러면 (2)에 의하여
정수 이 존재하여 ∈ 이므로 가 된다. 또한
≤ ≤
이므로 (1)에 의하여
≤
이 성립한다.
다른 방법의 증명 결론에 반하여 가 에서 평등연속이 아니라고 가정하자. 그러면 적당한 양
수 이 존재하여 임의의 양수 에 대하여 ∈ 가 존재하여 이면서
≥ 을 만족시킨다. 따라서 자연수 에 대하여
이면서 ≥
인 과 이 존재한다. 이렇게 정의된 두 수열 〈 〉과 〈 〉은 유계이므로 수렴하는
부분수열 〈 〉와 〈 〉를 가진다. 더욱이
이므로 두 부분수열은 동일한 값에 수렴한다. 〈 〉와 〈 〉의
극한을 라고 하자.
는 폐집합이므로 ∈ 이다. 는 연속이므로
lim lim
→∞ →∞
128 제 3 장 실함수의 극한
3.6 무한대 극한
3.6.1 정의 양의 무한대에서의 극한
3.6.2 정의 음의 무한대에서의 극한
3.6 디자이너앨리스
무한대 극한 129
• lim ∞ : 는 양의 무한대에서 음의 무한대에 발산한다.
→ ∞
3.6.4 정의 한 점에서의 발산
3.6.5 정의 좌․ 우극한의 발산
130 제 3 장 실함수의 극한
(ⅳ) 임의의 음수 에 대하여 양수 가 존재하여 인 임의의 ∈ 에 대하
여 가 성립하면 는 의 오른쪽에서 음의 무한대에 발산한다 또는 에서
의 우극한이 음의 무한대에 발산한다고 말한다.
3.6 디자이너앨리스
무한대 극한 131
3.7 상극한과 하극한*
수열의 상극한과 하극한을 정의한 것처럼 함수의 상극한과 하극한을 정의할 수 있다.
•
lim : 에서 의 상극한이 이다.
→
•
lim ∞ : 에서 의 상극한이 양의 무한대에 발산한다.
→
132 제 3 장 실함수의 극한
3.7.3 정의 우극한의 상․ 하극한
•
lim ∞ : 의 왼쪽에서 의 상극한이 양의 무한대이다.
→
•
lim : 의 오른쪽에서 의 상극한이 이다.
→
3.7 상극한과
디자이너앨리스
하극한 133
3.7.4 정의 양의 무한대에서의 상․ 하극한
•
lim : 양의 무한대에서 의 상극한이 이다.
→ ∞
•
lim ∞ : 양의 무한대에서 의 상극한이 양의 무한대이다.
→ ∞
134 제 3 장 실함수의 극한
같은 방법으로 음의 무한대에서의 상극한과 하극한도 다음과 같이 기호로 나타낸다.
•
lim : 음의 무한대에서 의 상극한이 이다.
→ ∞
그리고
lim lim
→ →
인 것이다. 여기서 와 은 각각 실수일 수도 있고 ∞ 또는 ∞ 일 수도 있다.
확인 학습 기초 개념 문제 해답 352쪽
디자이너앨리스
연습문제 135
3. 극한 lim 의 정의에서 가 의 정의역의 집적점이라는 조건이 빠지면 어떠한 모
→
순이 발생하는지 예를 들어 설명하여라.
확인 학습 실력 다지기 문제 해답 353쪽
9. 다음 극한을 구하여라.
(1) lim (2) lim
→ ∞
→ ∞
(3) lim (4) lim
→ ∞ → ∞
(5) lim
→ ∞
(3) lim
(4) lim
→ →
(5) lim
→
136 제 3 장 실함수의 극한
11. 극한의 정의와 논법을 이용하여 다음을 증명하여라.
(1) lim
∞ (2) lim
∞
→ →
(3) lim ∞ (4) lim ∞
→ sin → cos
(3) lim (4) lim
→ ∞
→ ∞
Ⅲ
실
13. 가우스함수 와 양수 , 에 대하여 다음을 증명하여라. 함
수
의
(1) lim (2) lim 극
→ →
한
디자이너앨리스
연습문제 137
20. 함수 → 이 연속이면 인 ∈ 이 존재함을 보여라.
i f ∈ℚ
if ∉ℚ
이때 는 오직 한 점에서만 연속임을 증명하여라.
25. 함수 가
⋯
138 제 3 장 실함수의 극한
30. 유리수 집합의 특성함수 ℚ 에 대하여
lim ℚ 임을 증명하여라.
→
디자이너앨리스
연습문제 139
41. 함수 ∞ → ℝ 가 연속이고 lim 이면 는 ∞ 에서 평등연속임을
→ ∞
증명하여라.
42. 가 에서 단조이고 중간값 성질을 가지면 는 에서 연속임을 보여라.
140 제 3 장 실함수의 극한
확인 학습 심화 문제 해답 364쪽
∧ ⇒
디자이너앨리스
연습문제 141
55. 함수 의 정의역이 위로 유계가 아닐 때 다음 세 명제가 서로 동치임을 증명하여라.
(ⅰ) 양의 무한대에서 의 극한이 한 점에 수렴한다.
(ⅱ) [ 수열 판정법] 양의 무한대에 발산하는 임의의 수열 〈 〉에 대하여 〈 〉이
일정한 값에 수렴한다.
(ⅲ) [ 코시 조건] 임의의 양수 에 대하여 양수 가 존재하여 , 일 때마
다 이 성립한다.
lim
→ ∞
이면 lim 임을 증명하여라.
→ ∞
142 제 3 장 실함수의 극한
발전 학습 탐구 문제
디자이너앨리스
연습문제 143
′ d
⋯
제4장 ⋯ ⋯
실함수의 미분 cos sin
4.1 미분의 정의
정의역의 원소 에 대하여 ≠ 일 때
는 두 점 와 를 지나는 직선의 기울기가 된다. 만약 를 에 가깝게 접근시
킨다면 의 값은 에서 함수의 그래프에 접하는 직선의 기울기에 가까워진다. 라고
하고 극한 개념을 이용하면 접선의 기울기는
lim
→
가 된다.
144 제 4 장 실함수의 미분
따라서 의 그래프 위의 점 에서 그래프에 접하는 직선의 기울기는 라고 할
수 있다. 실제로 CAS를 이용하여 그래프를 그려보면 아래와 같이 일 때 직선
과 포물선 이 접하는 것을 볼 수 있다.
Ⅳ
실
함
수
의
미
분
이러한 개념을 이용하여 미분을 정의한다.
함수 → ℝ 와 의 원소 에 대하여 극한
lim
→
4.1 디자이너앨리스
미분의 정의 145
마찬가지로 를 번 미분한 함수를 계 도함수라고 부르며
, 또는
로 표기한다. 특히 에서 번 미분한 계 미분계수는
, 또는
로 표기한다. 사실 계 도함수는 다음과 같이 귀납적으로 정의된다.
′ ,
극한에서 좌극한과 우극한을 생각한 것처럼 좌도함수와 우도함수를 생각할 수 있다.
→ →
lim lim
lim lim lim . □
→ → →
146 제 4 장 실함수의 미분
4.2 미분의 계산
lim
→
lim lim lim lim
→ → → →
′ ′ .
또한 ≠ 일 때 다음을 얻는다.
lim
→
lim lim lim
→ → →
lim lim
→ →
′ ′
. □
4.2 디자이너앨리스
미분의 계산 147
함수 의 미분을 ′으로 표기하면 ′이다. 여기서 는 를 ′에 대응시키는 변환
으로 생각할 수 있다. 위 정리에 의하면 이고 실수 에 대하여
lim lim ′
→ →
4.2.2 정리 Leibniz 법칙
두 함수 , 의 계 도함수가 존재하면
C
(1)
C
148 제 4 장 실함수의 미분
예제 4.2.3 이 이상인 자연수이고 이면 ′ 이다.
증명 수학적 귀납법으로 증명하자. 일 때 다음을 얻는다.
′ lim lim lim .
→ → →
이라고 할 수 있다.
예제 4.2.4 이 음의 정수이고 이면 ′ 이다.
증명 은 자연수이므로 다음을 얻는다.
′ □
′ if ≠
if
이때 는 에서 연속이다. 이제 라고 하면
′
이다.
4.2 디자이너앨리스
미분의 계산 149
가 에서 연속이므로 다음을 얻는다.
∘ ′ lim
→
lim ′
→
′ lim lim
→ →
′ ′ . □
예제 4.2.6 가 아닌 유리수이고 이면 ′ 이다.
150 제 4 장 실함수의 미분
4.3 평균값 정리와 그래프의 모양
미분은 기하학적으로 그래프에 접하는 직선의 기울기이다. 따라서 미분을 이용하면 함수의 그래
프에 관련된 여러 가지 정리를 이끌어낼 수 있다.
Ⅳ
실
함
수
의
미
분
4.3.1 정의 함수의 극값
152 제 4 장 실함수의 미분
그때 접하는 점을 라고 하면 는 에서 극값을 가지므로 ′ 이 된다.
4.3.3 정리 Rolle
함수 가 에서 미분 가능하고 에서 연속이며 이면 적당한 Ⅳ
실
∈ 가 존재하여 ′ 을 만족시킨다. 함
수
의
증명 가 에서 상수함수인 경우는 자명하다. 이제 가 에서 상수가 아니고 미
분
에서 의 최댓값을 , 의 최솟값을 이라고 하자. 그러면 이거나 이다.
인 경우 인 ∈ 가 존재하는데 이때 는 에서 극댓값을 가지므
로 ′ 이다. 인 경우도 마찬가지로 인 ∈ 가 존재하여
′ 이 된다. □
4.3.4 정리 평균값 정리
함수 가 에서 미분 가능하고 에서 연속이면 적당한 ∈ 가 존재하여
′
를 만족시킨다.
증명 구간 에서 함수 를
로 정의하자. 그러면 는 에서 미분 가능하고 에서 연속이며
이다. 따라서 롤의 정리에 의하여 ∈ 가 존재하여 ′ 을 만족
시킨다. 이때
′ ′
이므로 이것을 ′ 에 대하여 풀면 정리의 등식을 얻는다. □
미분은 함수의 그래프에 접하는 직선의 기울기이다. 따라서 도함수가 항상 인 함수의 그래프는
기울기가 항상 이 되고 그러한 함수는 상수함수가 될 것이라고 생각할 수 있다.
증명 ∈ 라고 하자. 그러면 평균값 정리에 의하여 ∈ 가 존재하여
′
를 만족시킨다. 위 식의 좌변이 이므로 우변도 이고 따라서 이다. 즉
임의의 ∈ 에 대하여 이다. □
154 제 4 장 실함수의 미분
증명 라고 하자. 가 미분 가능하므로
′
인 ∈ 가 존재한다.
(ⅰ) ′ ≥ 이면 ≥ 이므로 는 단조증가이다.
(ⅱ) ′ ≤ 이면 ≤ 이므로 는 단조감소이다.
(ⅲ) ′ 이면 이므로 는 순증가이다.
(ⅳ) ′ 이면 이므로 는 순감소이다. □
Ⅳ
함수 가 임의의 ∈ 에 대하여 ′ 이면 는 에서 순증가한다. 그러나 그 실
함
역은 성립하지 않는다. 예를 들어 으로 정의된 함수 는 순증가하지만 ′ 이 수
의
므로 ′
이다.
미
분
이제 미분 가능한 함수의 역함수를 미분해보자.
예제 4.3.9 구간 에서 함수 를 sin로 정의했을 때 의 도함
수를 구하여라.
가능하다. 라고 하면
sin
이다. 양변을 에 대하여 미분하면
sin
이므로 연쇄법칙에 의하여 ′ cos 을 얻는다. 즉
′
cos
이다. cos ≥ 이므로
cos
sin
를 대입하면
′
sin
을 얻는다. □
156 제 4 장 실함수의 미분
4.4 로피탈의 법칙
4.4.2 정리 l'Hôpital의 법칙
을 만족시키면
lim (1)
→
이 성립한다. (ⅰ) 대신
(ⅰ)’ lim ∞ , lim ∞
→ →
4.4 로피탈의
디자이너앨리스
법칙 157
증명* 먼저 (ⅰ)을 만족시키는 경우를 증명한다. 일반성을 잃지 않고 이라고 하자.
이므로 으로 정의하면 , 는 에서 연속이
다. 보조정리에 의하여 인 에 대하여 인 가 존재하여
′
′
를 만족시킨다.
′
lim
→ ′
′
′
이 성립한다. 따라서 (1)이 성립한다.
다음으로 (ⅰ)’을 만족시키는 경우를 증명하자. 이번에도 이라고 하자. 임의의 양수
에 대하여 양수 가 존재하여 일 때마다
′
′
, ≠
이 성립한다.
라고 하면 일 때 보조정리에 의하여 인 가 존재하여
′
′
를 만족시킨다. 따라서
이다. 함수 를
로 정의하면 인 임의의 에 대하여
⋅
158 제 4 장 실함수의 미분
이러한 에 대하여
⋅ ⋅
≤ ⋅ ⋅
이고
이 성립한다. 따라서 (1)이 성립한다.
Ⅳ
두 가지 경우의 증명으로부터 다른 경우의 증명도 바로 나온다. 예를 들어, ∞ 인 경 실
우 함
수
의
,
미
분
로 정의하자. 와 가 →∞ 인 극한에 대하여 (ⅰ) 또는 (ⅰ)’을 만족시키면 와 는
→ 인 극한에 대하여 (ⅰ) 또는 (ⅰ)’을 만족시킨다. 또한
′
′
′
′
이므로 앞의 증명 방법을 그대로 적용하여 (1)이 성립함을 보일 수 있다. □
′ ′
(ⅲ) lim
~ lim
lim
~ lim
lim
→ ∞ → ∞ ′ → ∞ → ∞ ′ → ∞
ln ln ′
(ⅳ) lim ~ lim lim lim
→ ∞ → ∞ ′ → ∞ → ∞
4.4 로피탈의
디자이너앨리스
법칙 159
참고로 복소함수에 대해서는 로피탈 법칙이 성립하지 않을 수도 있다.
4.5 테일러의 정리
160 제 4 장 실함수의 미분
다시 이 에 얼마나 근사한지 알아보기 위하여 로피탈의 법칙을 이용하여 그 차
를 과 비교해보면
~
→ ⋅
을 얻는다. 따라서 가 충분히 작은 양수일 때
~
임을 알 수 있다. 이러한 과정을 반복하면 할수록 에 더욱 근사한 다항식을 얻게 된다.
Ⅳ
함수 가 의 근방에서 미분 가능하면 위와 같은 방법을 이용하여 → 일 때 실
함
수
→ ′ 의
미
를 얻는다. 분
4.5.1 정리 Taylor
4.5 테일러의
디자이너앨리스
정리 161
증명 상수 을
로 정의하면
을 얻는다. ∈ 에 대하여
이라고 하자. 이제 와 사이의 적당한 에 대하여 임을 보여
야 한다. 의 정의에 의하여, 를 번 미분하면 ∈ 에 대하여
을 얻는다. 따라서 와 사이의 적당한 에 대하여 임을 보여야 한다.
≤ ≤ 인 정수 에 대하여 이므로
′ ⋯
을 얻는다. 또한 이므로 와 사이에 이 존재하여 ′ 이다. 다시
′ 이므로 와 사이에 가 존재하여 ″ 이다.
이 과정을 번 반복하는 수학적 귀납법을 이용하면 와 사이에 이 존재하
여 을 얻는다. 이때 은 와 사이의 수이므로 이라
고 하면 정리의 등식을 얻는다. □
평균값 정리는 한 번 미분한 함수에 대하여 적용되는 반면 테일러 정리는 번 미분한 함수에
대하여 적용된다. 따라서 테일러 정리는 평균값 정리를 일반화한 것으로 볼 수 있다.
을 만족시키는 다항식 를 구하여라.
풀이 , 이라고 하자. 임의의 ∈ 에 대하여
이므로
을 얻는다.
162 제 4 장 실함수의 미분
그런데 ∈ 일 때 ≤ 이므로 일 때 테일러의 정리에 의
하여 ∈ 가 존재하여
이다. 즉 인 범위에서 과 의 차이는 미만이다. 따라서
구하는 다항식은
′
이다. □
Ⅳ
예제 4.5.3 테일러 정리를 이용하여 의 값을 소수점 이하 셋째 자리까지 구하여라. 실
함
수
풀이 , 이라고 하자. ∈ 와 ∈ 에 대하여 ≤ 이므로 의
미
≤
분
이다. 따라서 이고 ∈ 이면 ∈ 가 존재하여
≤
이다.
이므로 을 대입하면
≒ ⋯ ≒
을 얻는다. □
라고 하자. 그러면 이므로 롤의 정리에 의하여 ∈ 가 존재하여
′ 이 성립한다. 따라서
′ ′
이므로 이것을 에 대하여 풀면
4.5 테일러의
디자이너앨리스
정리 163
를 얻는다. 이로써 다음 정리를 얻는다.
확인 학습 기초 개념 문제 해답 372쪽
164 제 4 장 실함수의 미분
2. 함수 의 계 도함수를 라고 쓰지 않고 라고 쓰는 이유가 무엇인지 설명
하여라.
5. 두 함수 와 를
,
이라고 정의하면 명백히 ≠ 이지만 ′ ′ 이다. 이런 일이 발생한 이 Ⅳ
유를 설명하여라. 실
함
수
6. 다음과 같이 정의된 함수 의 도함수와 이계 도함수를 구하여라. 의
미
(1) (2) 분
(3) (4)
if ≤
if
if ≤
if
디자이너앨리스
연습문제 165
확인 학습 실력 다지기 문제 해답 373쪽
16. 등식 lim
→ ∞
가 성립하도록 하는 을 구하여라.
166 제 4 장 실함수의 미분
23. 함수 가 다음과 같이 정의되었다.
sin
if ≠
if
(1) ′ 임을 증명하여라.
(2) ′이 에서 연속이 아님을 증명하여라.
27. 도함수가 반드시 연속이 되는 것은 아니다. 그러나 도함수는 중간값 성질을 가진다. 가
에서 미분 가능하고 ′ ≠ ′ 라고 하자. 그러면 ′와 ′ 사이에 있는
임의의 에 대하여 ∈ 가 존재하여 ′ 를 만족시킴을 증명하여라.
′ ′ ≠
디자이너앨리스
연습문제 167
31. 함수 가 임의의 ∈ 와 ∈ 에 대하여
≤
를 만족시키면 는 에서 볼록하다(convex, concave up)고 말한다. 여기서 부등호의
방향을 반대로 바꾼 조건을 만족시키면 는 에서 오목하다(concave down)고 말한다.
가 에서 볼록할 때 다음 물음에 답하여라.
(1) 에서 의 그래프의 모양이 어떻게 되는지 설명하여라.
(2) 일 때 다음이 성립함을 증명하여라.
≤ ≤
(3) 는 에서 연속임을 증명하여라.
확인 학습 심화 문제 해답 379쪽
168 제 4 장 실함수의 미분
38. 함수 가 미분 가능하고 lim ′ 이면 lim 임을 증명하여
→ ∞ → ∞
라.
′
이 성립함을 증명하여라.
이며 이면 임의의 양수 에 대하여 ′ ′ 임을 증명하여라.
45. 디리끌레 함수 는 에서 다음과 같이 정의된 함수임을 상기하라.
i f irreducible ∈ℕ
∈ℚ
if
디자이너앨리스
연습문제 169
′ d
⋯
제5장 ⋯ ⋯
리만 적분 cos sin
적분은 함수의 그래프로 표현되는 도형의 넓이를 구하는 문제를 해결해준다. 우리는 중등학교에
서 구분구적법으로 넓이를 구하는 적분을 공부하였다. 적분 이론에는 구분구적법 외에도 리만,
스틸체스, 르벡, 다니엘의 적분이 있다. 이들은 모두 기존의 적분 개념을 보존하면서 그 단점을
보완하기 위해 고안된 것들이다. 이 장에서는 구분구적법보다 한 단계 일반화된 리만 적분에 대
하여 살펴본다.
5.1 리만 적분의 정의
직사각형의 넓이는 가로의 길이와 세로의 길이의 곱으로 정의된다. 또한 삼각형의 넓이는 직사
각형의 넓이를 이용하여 정의된다. 이렇게 다각형의 넓이를 정의하는 것은 쉽지만 곡선으로 이
루어진 도형의 넓이를 정의하는 것은 쉽지 않다.
중등학교에서는 함수의 그래프로 정의되는 도형의 넓이를 구하기 위하여 구분구적법을 도입한
다. 즉 적분 구간을 개의 등간격으로 분할하고 각 분할된 구간에서 넓이를 직사각형의 넓이와
같은 것으로 간주한 뒤 극한을 이용하여 직사각형의 넓이를 도형의 넓이에 근사시킨다. 여기서
구간을 등간격으로 분할하지 않고 임의 간격으로 분할하는 것이 더욱 편리할 때가 있다. 예를
들어 불연속 함수의 적분을 논할 때에는 적분 구간을 임의 간격으로 분할하는 것이 훨씬 편리하
다.
170 제 5 장 리만 적분
그러면
은 의 그래프의 윗부분에 닿는 사각형들의 넓이의 합이 된다.
또한 에서 함숫값 중 가장 작은 값을 라고 하면
은 의 그래프
Ⅴ
리
만
적
분
그러면 그래프 윗부분에 닿는 사각형들의 높이가 처음보다 낮아진 것들이 생기며, 그래프의 아
랫부분에서 만나는 사각형들의 높이는 처음보다 높아진 것들이 생긴다. 즉 위 사각형들의 넓이
의합
5.1 리만디자이너앨리스
적분의 정의 171
5.1.1 정의 분할, 성분구간
• 성분구간 의 길이 을 로 표기한다.
• 에서 의 상한을 또는 로 표기한다.
• 에서 의 하한을 또는 로 표기한다.
≤ ≤
• 상합 :
sup
• 하합 :
in f
172 제 5 장 리만 적분
함수 → ℝ 와 의 분할 , 그리고 의 세련분할 ′이 있다고 하자.
⋯ , ′ ⋯
′ ≤ ≤
이다. 따라서
sup
≥
sup
sup
′
5.1 리만디자이너앨리스
적분의 정의 173
5.1.3 정의 상적분(upper integral), 하적분(lower integral)
5.1.4 정의 Riemann 적분
174 제 5 장 리만 적분
증명 먼저 가 에서 적분 가능하다고 하자. 그리고 양수 이 임의로 주어졌다고
하자. 상한과 하한의 정의에 의하여 분할 과 가 존재하여
,
⋯
에 대하여 의 노름(norm)을
max ≤ ≤
⋯
라고 하면 의 모든 성분구간의 길이는 보다 작기 때문이다.
5.1 리만디자이너앨리스
적분의 정의 175
예제 5.1.6 함수 가 에서 단조이면 는 에서 리만 적분 가능하다.
증명 일반성을 잃지 않고 가 단조증가라고 하자. 만약 가 상수함수이면 는 당연히 적분 가
능하다. 이제 라고 하자. 그리고 양수 이 임의로 주어졌다고 하자. 그러면
인 분할 ≤ ≤ 이 존재한다. 의 임의의 성분
구간 에서 는 단조증가이므로
176 제 5 장 리만 적분
동일한 분할 에 대하여
⋅
Ⅴ
리
이므로 리만 판정법에 의하여 는 에서 적분 가능하다. □ 만
적
분
리만 판정법은 리만 적분 불가능함을 증명할 때에도 사용된다. 즉 가 에서 리만 적분 불
가능함을 보일 때에는 다음 명제를 이용한다.
≥ ⋅
을 얻는다. 는 의 임의의 분할이므로, 의 어떠한 분할도 의 상합과 하합
의 차를 미만이 되도록 하지 못한다. 따라서 리만 판정법에 의하여 는 에서 리
만 적분 불가능하다. □
5.1 리만디자이너앨리스
적분의 정의 177
5.2 리만 적분의 성질
5.2.1 정리 상수 곱과 리만 적분
in f is a partition of
in f is a partition of
in f is a partition of
가 성립한다.
178 제 5 장 리만 적분
이때 가 음수이므로 임의의 에 대하여
sup ≤ ≤ in f ≤ ≤ ,
in f ≤ ≤ sup ≤ ≤
이다. 따라서
⋅
이 되어 는 에서 적분 가능하다. 또한
Ⅴ
리
in f is a partition of 만
in f is a partition of 적
분
sup is a partition of
가 성립한다. □
5.2.2 정리 함수의 합과 리만 적분
5.2 리만디자이너앨리스
적분의 성질 179
이것은
≤ ,
≥
를 의미한다. 따라서
≤
≤
이므로 는 에서 적분 가능하다. 한편
≤
≤
≤
이 성립한다. 마찬가지로
≥
≥
≥
이 성립하므로
를 얻는다. □
180 제 5 장 리만 적분
정의역이 ℜ 인 함수 를
증명 구간 의 분할 ≤ ≤ 에 대하여
in f ≤ ≤ ≥
이다. 따라서
≥ ≥
이 성립한다. □
5.2 리만디자이너앨리스
적분의 성질 181
따라서 보조정리에 의하여
≥
이 성립한다. □
≤
이고
≥
≥
이다.
182 제 5 장 리만 적분
따라서
를 얻는다. □
이므로 는 에서 적분 가능하다. □
5.2 리만디자이너앨리스
적분의 성질 183
5.2.8 따름정리 부분구간에서의 리만 적분 가능성
증명 인 경우는 이미 증명하였다.
만약 이거나 이거나 인 경우는 당연히 정리의 등식이 성립한다.
인 경우는
이다. 인 경우는
184 제 5 장 리만 적분
와 를
sup , in f ,
sup , in f
라고 정의하자. 그리고
∈ℕ ≤ , ∈ℕ ≤ ≥
라고 하자. 만약 ∈ 이면 의 정의에 의하여 ≤ 이 성립한다.
sup ≤ ≤
이라고 하면 ∈ 일 때 ≤ 를 얻는다. 그런데 (1)에 의하여
≤ ≤
∈
∈
Ⅴ
리
이므로 를 얻는다. 따라서
∈
만
적
분
∈ ∈
≤
이다. 여기서 이 임의의 양수이므로 도 임의로 작은 양수가 될 수 있다.
따라서 는 에서 적분 가능하다. □
≤
≤ ≤
를 얻는다. □
5.2 리만디자이너앨리스
적분의 성질 185
5.3 미적분의 기본 정리
라고 하자. 그러면 는 에서 의 그래프와 축 사이의 넓이를 나타내는 함수가 된
다. 이제 충분히 작은 양수 가 주어졌다고 하자.
186 제 5 장 리만 적분
이제 이고 를 만족시키는 임의의 ∈ 에 대하여
≤ ≤
이므로 는 에서 평등연속이다. 따라서 연속이다.
이제 가 연속이고 ∈ 라고 하자. 그리고 양수 이 임의로 주어졌다고 하자. 그러
면 양수 가 존재하여 인 임의의 ∈ 에 대하여 이
성립한다. 따라서 인 임의의 ∈ 에 대하여
Ⅴ
리
만
적
분
이므로 ′ 이다. 는 의 임의의 점이므로 는 에서 미분 가능하
고 ′ 이다. □
이므로 이다. 즉
이다.
5.3 미적분의
디자이너앨리스
기본 정리 187
여기서 를 대입하면
5.3.2 정리 미적분의 기본 정리
적분 가능한 함수 의 부정적분을
로 표기하기도 한다. 이때 부정적분과 구분하기
위하여 적분 를 정적분(definite integral)이라고 부른다. 부정적분은 미분의 역연산을
의미하며 정적분은 함수의 그래프로 표현되는 영역의 넓이를 의미하므로 본래 서로 무관한 개념
이다. 이렇게 서로 무관했던 개념이 실제 계산에서 밀접한 연관을 맺고 있다는 것은 매우 놀라
운 일이다.
188 제 5 장 리만 적분
미적분의 기본정리에 의하여 미분 가능한 함수 에 대하여
′
이므로
lim ′ ∞
→
이다. 즉 ′은 의 임의의 근방에서 유계가 아니다. 따라서 ′은 을 포함하는 구간에서 리만
적분 가능하지 않다. 그러나 ′이 리만 적분 가능한 경우에는 다음을 얻는다.
5.3 미적분의
디자이너앨리스
기본 정리 189
증명 구간 의 분할 ≤ ≤ 이 주어졌다고 하자. 각 에 대하여 성분구간
이다. 따라서
′ ≤ ≤ ′
이고 가 의 임의의 분할이므로
′ ≤ ≤ ′
를 얻는다. 그런데 ′이 에서 적분 가능하므로
′
를 얻는다. □
5.4 치환 적분과 부분 적분
미분 가능한 두 함수 , 에 대하여
′ ′
가 성립한다. 이것은 ′ ′ 를 적분하는 경우 그 부정적분으로서 를 이용할
수 있음을 의미한다. 따라서 다음을 얻는다.
′ ′
190 제 5 장 리만 적분
5.4.1 정리 치환 적분
가 성립한다.
증명 함수 를
Ⅴ
로 정의하자. 그러면 는 리
만
′ ′ ′
적
의 한 부정적분이 된다. 따라서 미적분의 기본정리에 의하여 다음을 얻는다. 분
′
.
□
예제 5.4.2 적분
를 계산하여라.
풀이 , 라고 하면 ′ , , 이므로
ln ln ln ln.
□
다른 방법의 풀이 먼저
이다. 그리고 일 때
ln
임을 이용하면
ln ln⋅
이다. 즉 ln 은 의 부정적분이다. 따라서 다음을 얻는다.
ln
ln ln ln. □
5.4 치환 적분과
디자이너앨리스
부분 적분 191
두 함수의 곱의 미분 공식을 이용하여 또 다른 적분 공식을 유도할 수 있다. 등식
의 양변을 에서 적분하면
′ ′
5.4.3 정리 부분 적분
′
′
sin cos
sin □
을 얻는다. □
sin cos
cos
cos .
192 제 5 장 리만 적분
여기서 다시 부분적분을 이용하여 cos의 적분을 계산하면
cos sin
sin
이므로
sin
를 얻는다. □
부분적분을 이용하여 계산했을 때 우변에 다시 원래의 적분이 나타나는 경우도 있다. 이러한 문
제는 의외로 쉽게 해결된다.
Ⅴ
예제 5.4.7 구간 에서 sin cos의 적분을 계산하여라. 리
만
풀이 부분적분을 이용하여 계산하면 적
분
sin cos sin
cos sin
이다. 양변에 cos sin 를 더하고 로 나누면
sin cos
을 얻는다. 물론 이 적분은 삼각함수의 변환공식과 치환적분을 이용하여
sin cos
sin cos
으로 계산할 수도 있다. □
이 성립한다. 이때 높이가
(1)
5.5 적분의디자이너앨리스
평균값 정리 193
5.5.1 정리 적분의 제 1 평균값 정리
증명 함수 를 다음과 같이 정의하자.
여기서 는 에서 미분 가능하고 에서 연속이다. 따라서 평균값 정리에 의하
여
′
를 만족시키는 가 에 존재한다. □
5.5.2 정리 가중평균값 정리
194 제 5 장 리만 적분
증명 에서 의 최댓값을 , 최솟값을 이라고 하자. 그러면 다음이 성립한다.
≤ ≤ .
그런데 가 에서 적분 가능하므로
≤ ≤
가 성립한다. 각 변을 로 나누면
≤ ≤
을 얻는다. 따라서 연속함수의 중간값 정리에 의하여
를 만족시키는 실수 가 에 존재한다. □
Ⅴ
리
위 정리의 등식은 다음과 같이 쓸 수 있다. 만
적
,
≤≤ 분
이때 의 가정은 필요하지 않다.
증명 구간 에서 함수 를
를 얻는다.
5.5 적분의디자이너앨리스
평균값 정리 195
여기에 가중 평균값 정리를 적용하면 적당한 ∈ 에 대하여
′
를 얻는다. □
5.6 리만 합*
5.6.1 정의 리만 합의 극한
196 제 5 장 리만 적분
그러면 에서 의 상한 에 대하여
min
인 양수 가 존재한다. 이제 인 의 분할 를 택하고 ∪ 라고 하자.
그러면
≤
디자이너앨리스
5.6 리만 합 197
5.6.2 보조정리 분할의 노름과 상․ 하적분의 관계
이 성립한다. 따라서
를 얻는다.
198 제 5 장 리만 적분
같은 방법으로
≤
를 얻는다. 이로써
≤ ≤ ≤
이므로 는 에서 리만 적분 가능하다. 이상을 요약하면 다음과 같다.
5.6.4 정리 구분구적법
lim
→∞
⋯
이다. 그리고 의 각 성분구간
의 오른쪽 끝 점에서 택한 들에 의해 구성된 유한수열을 〈〉라고 하자.
이제 양수 이 임의로 주어졌다고 하자.
디자이너앨리스
5.6 리만 합 199
리만 합의 성질에 의하여 양수 가 존재하여 일 때
이 성립한다. 인 자연수 을 택하면 이므로
이므로
이다. 따라서
lim
→∞
가 성립한다. □
200 제 5 장 리만 적분
≤ ≤ 이라고 하면 적당한 자연수 가 존재하여
,
Ⅴ
리
만
적
분
이므로 는 에서 리만 적분 가능하다. 이것을 확장하여 불연속인 점이 유한 개인 경우 리
만 적분 가능함을 증명하자. 수학적 귀납법을 사용하자.
5.7.2 정의 컨텐츠 제로
(ⅴ) ∈ℕ ∧ ∈ℕ 은 컨텐츠 제로이다.
컨텐츠 제로를 확장한 개념으로 측도 제로가 있다.
5.7.4 정의 측도 제로
202 제 5 장 리만 적분
보기 5.7.5 다음은 측도 제로인 집합의 예이다.
5.7.6 정리 Lebesgue
함수 가 에서 유계이고 에서 가 불연속인 점들의 집합이 컨텐츠 제로이면
는 에서 리만 적분 가능하다.
보기 5.7.9
∈ℕ , 라고 하자. 그리고 → ℝ 를
i f ∈
if ∉
함수 를
로 정의하면 는 에서 유계가 아니다. 그러나
lim
→
lim
→
이므로
으로 정의하는 것이 자연스럽다.
로 정의한다.
204 제 5 장 리만 적분
다음으로 유계가 아닌 구간에서의 적분을 살펴보자. 함수 를
로 정의하면 임의의 양수 에 대하여 에서 는 적분 가능하다. 또한
lim
→ ∞
→ ∞
lim
이므로
∞
로 정의하는 것이 자연스럽다.
Ⅴ
리
5.8.2 정의 유계가 아닌 구간에서의 특이적분 만
적
유계가 아닌 구간에서의 특이적분을 다음과 같이 정의한다. 분
로 정의한다.
로 정의한다.
로 정의한다.
5.8
디자이너앨리스
특이적분 205
만약 특이적분이 수렴하지 않으면 특이적분이 발산한다고 말한다. 여기서 와 는 각각 실수일
수도 있고 무한대일 수도 있다.
5.8.4 정리 Cauchy의 조건
함수 가 에서 정의되었고 임의의 ∈ 에 대하여 가 에서 적분 가능하
다고 하자. 이때 에서 의 특이적분이 수렴할 필요충분조건은 임의의 양수 에 대하
여 인 적당한 실수 가 존재하여 인 임의의 실수 , 에 대하여
함수 에 대하여 특이적분
가 수렴하면 의 특이적분이 절대수렴한다고 말한다. 그리고 의 특이적분은 수렴하지만 절대
수렴하지 않는 경우 특이적분이 조건수렴한다고 말한다.
≤
206 제 5 장 리만 적분
특이적분이 수렴하는지 여부를 밝히는 공식을 판정법(test)이라고 부른다. 이제 특이적분의 수렴
에 관하여 유용한 몇 가지 판정법을 살펴보자.
5.8.6 정리 유계 판정법
라고 하자. 이때 의 특이적분
Ⅴ
이 수렴할 필요충분조건은 가 에서 유계인 것이다. 리
만
적
증명 가 음이 아닌 값을 취하므로 는 단조증가 함수이다. 따라서 단조수렴정리에 의하여 분
에서 의 특이적분이 수렴할 필요충분조건은 가 유계인 것이다. □
위 정리에서 조건을 ‘가 에서 양이 아닌 값을 취한다’로 바꾸어도 동일한 결론을 얻는다.
5.8.7 정리 비교 판정법
5.8.8 정리 극한 비교 판정법
5.8
디자이너앨리스
특이적분 207
증명 극한의 정의에 의하여 인 실수 가 존재하여 일 때
가 성립한다. 따라서 일 때
≤ ≤
208 제 5 장 리만 적분
따라서 특이적분이 발산하는 경우에도 주치는 수렴할 수 있다. 예를 들어 일 때
lim
→ ∞
lim
→ ∞
lim ∞
→ ∞
확인 학습 기초 개념 문제 해답 383쪽
디자이너앨리스
연습문제 209
6. 정적분과 부정적분이 어떠한 관계가 있는지 설명하여라.
9. 다음 부정적분을 계산하여라.
10. 극한 lim
→
를 계산하여라.
이때 다음 정적분을 구하여라.
(1)
(2)
(3)
확인 학습 실력 다지기 문제 해답 385쪽
(1) sin
(2) ln
(3) ln
(4)
210 제 5 장 리만 적분
14. 다음과 같이 정의된 함수 가 구간 에서 적분 가능한지 판별하여라.
sin if ≠
if
≤
Ⅴ
17. 함수 가 에서 연속인 도함수를 가지면 는 단조증가인 두 함수의 차로서 표현될 리
수 있음을 증명하여라. 만
적
분
18. 함수 가 에서 연속이고 음이 아니며 인 ∈ 가 존재한다고 하자. 이
때 임을 증명하여라.
증명하여라.
→∞
lim
23. 함수 가 에서 유계이고 에서 가 불연속인 점의 집합이 컨텐츠 제로이면
는 에서 리만 적분 가능함을 증명하여라.
디자이너앨리스
연습문제 211
25. 함수 가 에서 연속이고 와 가 에서 미분 가능할 때
∞ ∞
sin ln
(7) (8) sin (9)
→∞
lim
가 수렴하지만 가 에서 리만 적분 가능하지 않은 예를 들어라.
30. 함수 → ℝ 가 연속이고
이면 을 만족시
확인 학습 심화 문제 해답 393쪽
31. 리만 적분의 정의와 로그함수를 이용하여 극한 lim
을 계산하여라.
→∞
212 제 5 장 리만 적분
32. 함수 가 에서 다음과 같이 정의되었다.
i f irreducible ∈ℕ
otherwise
이때 함수 가 에서 리만 적분 가능함을 증명하여라.
발전 학습 탐구 문제
Ⅴ
리
34. 리만-스틸체스(Riemann-Stieltjes) 적분, 르벡(Lebesgue) 적분의 개념을 조사하고 리만 적분 만
적
과 비교해보자. 분
36. 고등학교 수학 교과서에 미적분의 기본 정리가 어떻게 증명되어 있는지 찾아보고 해석학의
증명과 비교해보자.
수학 역사 미적분학과 해석학의 발전
디자이너앨리스
연습문제 213
무시될 수 없다는 것이 주된 생각이었음에 반해 케플러는 무한번의 계산 과정에서 점점 작아
지는 아주 작은 양은 무시될 수 있다고 생각하였다.
214 제 5 장 리만 적분
의 미적분은 급수를 항별로 미분하거나 적분함으로써 가능하다고 생각하였다. 그러나 항상
그러한 것은 아니며 급수의 항별 미적분을 자유롭게 하기 위해서는 ‘평등수렴’이라는 조건이
필요함이 후에 19세기 초에 프랑스의 코시(Cauchy)에 의하여 밝혀졌다.
디자이너앨리스
연습문제 215
′ d
⋯
제6장 ⋯ ⋯
무한 급수 cos sin
⋯
을 으로 표기하자. 이때 수열 〈 〉의 극한
∞
lim
→∞
⋯
, ,
, ,
로 표기하기도 한다. 만약
lim
→∞
가 수렴하면 급수가 수렴한다고 말한다.
216 제 6 장 무한 급수
또한
lim
→∞
가 수렴하면 급수가 절대수렴(absolute convergence)한다고 말한다. 급수가 수렴하지만 절대수렴
하지 않는 경우에는 급수가 조건수렴(conditional convergence)한다고 말한다.
는 것이다.
Ⅵ
∞
무
예제 6.1.1 (기하 급수) 일 때
은 수렴한다. 한
급
증명 등비수열의 합 공식에 의하여 수
이다. 여기에 극한을 취하면
lim lim
→∞ →∞
일 때마다
인 것이다.
6.1 무한 급수의디자이너앨리스
수렴과 발산 217
∞
증명 급수 가 절대수렴한다고 하자. 그리고 양수 이 임의로 주어졌다고 하자. 그러면
≤
∞
이므로 는 코시 조건을 만족시킨다. 따라서 는 수렴한다.
□
은 양항 급수이다.
급수가 수렴하는지 여부를 밝히는 공식을 판정법이라고 부른다. 이 절에서는 양항급수의 다양한
판정법을 살펴보자.
6.2.1 정리 유계 판정법
lim
→∞
이므로 단조수렴정리에 의하여
∞
218 제 6 장 무한 급수
6.2.2 정리 비교 판정법
증명 인 자연수 에 대하여
∞
≤
≤
이다. 부등식의 우변의 급수가 수렴하므로 좌변의 부분합은 유계이다. 따라서 유계 판정법
에 의하여 은 수렴한다.
□
Ⅵ
∞ 무
예제 6.2.3 급수
은 수렴한다. 한
급
수
증명 임의의 자연수 에 대하여 ≤ 이다. 따라서
≤
∞ ∞
이다. 이때
은 수렴하므로
도 수렴한다. □
6.2.4 정리 극한 비교 판정법
도 수렴한다.
6.2 양항 급수의
디자이너앨리스
판정법 219
즉
이 성립한다. 이 수렴하면
도 수렴하므로 비교 판정법에 의하여 도
수렴한다. □
그러면 위 그림에서와 같이
≤ 가 성립한다.
∞ ∞
따라서 무한 급수 가 수렴하면 특이적분
도 수렴한다.
220 제 6 장 무한 급수
∞
한편 앞의 그림에서와 같이 ≤ 가 성립한다. 따라서 무한 급수 가 발
∞
산하면 특이적분
도 발산한다.
6.2.6 정리 적분 판정법
Ⅵ
무
가 수렴할 필요충분조건은 특이적분 한
∞ 급
수
가 수렴하는 것이다.
≤
≤
≤
≤
∞ ∞
이다. 따라서 특이적분의 유계 판정법에 의하여 가 수렴하면
도 수렴
한다.
∞ ∞
또한 급수의 유계 판정법에 의하여
가 수렴하면
도 수렴한다.
□
∞ ∞
위 정리에서 일반적으로
≠
이다. 즉 특이적분의 수렴과 무한 급수의 수렴
은 동치이지만 그 값은 같지 않을 수 있다.
6.2 양항 급수의
디자이너앨리스
판정법 221
함수 와 수열 〈 〉을
,
∞
예제 6.2.7 (p-급수) 급수
는 일 때 수렴하고 ≤ 일 때 발산한다.
증명 구간 ∞ 에서 함수 를
이라고 정의하자. 그러면 는 감소 함수이고 ≥ 이다. ≠ 일 때
는 ≤ 일 때 발산하고 일 때 수렴한다. □
이 수렴하는 것이다.
222 제 6 장 무한 급수
증명 (⇒ ) 먼저
이 수렴한다고 가정하자. 〈 〉이 감소수열이므로
≥ ,
≥ ,
≥ ,
≥ ⋯ ,
⋮
이다. 수학적 귀납법을 이용하면 일반적으로 자연수 에 대하여
≥ ⋯
이 성립함을 알 수 있다. 이 부등식을 변변 더하면
Ⅵ
⋯ ≥ ⋯ 무
한
이다. 즉
급
수
≥
이므로 도 수렴한다.
≤ ,
≤
≤ ⋯ ,
≤ ⋯ ,
⋮
이다. 수학적 귀납법을 이용하면 일반적으로 에 대하여
≤ ⋯
이 성립함을 알 수 있다. 이 부등식을 변변 더하면
≤
이다. 그런데 우변의 급수가 수렴하므로 좌변의 급수도 수렴한다. □
응집 판정법은 로그가 포함된 식으로 정의된 수열의 급수를 판정하는 데에 유용하게 사용된다.
6.2 양항 급수의
디자이너앨리스
판정법 223
∞
예제 6.2.9 급수
ln
은 발산한다.
증명 이라고 하자. 그러면
ln
ln
ln ln
도 발산한다. □
6.2.10 정리 비 판정법
급수 이 수렴하면 수열 〈 〉은 에 수렴한다.
224 제 6 장 무한 급수
∞
증명 급수 이 에 수렴한다고 하자. 그러면 다음을 얻는다.
lim lim lim lim
. □
→∞
→∞ →∞ →∞
정리 6.2.10의 증명 (ⅰ)
lim 이고 이라고 하자.
→∞
는 양수이므로 상극한의 성질에 의하여 자연수 이 존재하여 ≥ 일 때
Ⅵ
무
이 성립한다. 따라서 일 때 한
급
⋅ ⋅ ⋯ ⋅ 수
이다. 따라서
∞ ∞ ∞
≤
수열 〈 〉의 모든 항이 양수이고
lim
→∞
라고 하자.
(ⅰ) 이면 은 수렴한다.
6.2 양항 급수의
디자이너앨리스
판정법 225
예제 6.2.13 다음 급수가 수렴하는지 판정하여라.
∞ ∞ ∞
(ⅰ)
(ⅱ)
(ⅲ)
lim lim lim ⋅
→∞ →∞ →∞
⋅
lim
⋅
→∞ ⋅
이므로 주어진 급수는 수렴한다.
(ⅱ) 이라고 하면
lim
lim
→∞ →∞
lim
→∞
lim
→∞
(ⅲ) 이라고 하면
lim lim ⋅
→∞ →∞
lim lim
→∞ →∞
6.2.14 정리 근 판정법
양항수열 〈 〉에 대하여
lim 이라고 하자.
→∞
226 제 6 장 무한 급수
증명 먼저 인 경우를 증명하자. 는 양수이므로 상극한의 성질에 의하여 자
연수 이 존재하여 일 때
이 성립한다. 따라서 일 때
이다. 그런데 이므로 은 수렴하고 〈 〉은 양항수열이므로 비
∞
예제 6.2.15 급수
은 수렴한다.
증명 이라고 하면
lim
→∞
lim
→∞
→∞ →∞
lim ⋅ lim ⋅
∞
예제 6.2.16 급수
은 발산한다.
증명 이라고 하면
lim
→∞
lim
→∞
lim ⋅ lim
→∞
→∞
⋅
분자 ← ≪ ≪ ≪ ≪ → 분모
6.2 양항 급수의
디자이너앨리스
판정법 227
6.3 여러 가지 판정법
228 제 6 장 무한 급수
앞의 정리의 증명 과정에서 lim 이라고 하자. 그러면
→∞
⋯
⋯≤
이므로 다음과 같은 부분합의 오차의 한계 공식을 얻는다.
∞ Ⅵ
≤ 무
한
이 성립한다. 급
수
이 성립한다.
□
6.3 여러디자이너앨리스
가지 판정법 229
6.3.4 보조정리 곱 급수의 수렴
두 수열 〈 〉, 〈 〉과 부분합 에 대하여 〈 〉이 유계이고
∞ ∞
이 수렴하며 lim
→∞
이면 은 수렴한다.
∞ ∞
증명
이 수렴하므로
은 절대수렴한다. 또한 〈 〉이 유계
∞
이고 lim 이므로 lim 이다. 따라서 보조정리에 의하여
→∞ →∞
은
수렴한다. □
증명 〈 〉이 감소수열이므로
⋯
한다. □
230 제 6 장 무한 급수
증명 〈 〉이 단조 증가인 경우
⋯
⋯
도 수렴한다. □
증명 (ⅰ) lim 이라고 하자.
이므로 하극한의 성질에 의하여 자연수 이 존재하
→∞
여 일 때
≥
를 만족시킨다.
6.3 여러디자이너앨리스
가지 판정법 231
인 자연수 에 대하여 이므로 다음을 얻는다.
≥ .
수학적 귀납법을 이용하면 자연수 에 대하여
≤
≤
≤
⋮
≤
가 성립함을 알 수 있다. 부등식의 각 변을 더하면
⋯ ≤
를 얻는다. 즉 의 부분합
에 대하여
≤ ≤
이므로 〈 〉은 유계이다. 따라서 은 수렴한다.
인데
이 발산하므로 도 발산한다.
□
수열 〈 〉의 모든 항이 양수이고
lim
→∞
이라고 하자. 만약 이면 은 수렴하고 이면 은 발산한다.
lim
→∞
이다. 따라서 일 때 급수가 수렴하고 일 때 급수가 발산한다. □
232 제 6 장 무한 급수
6.3.9 정리* Bertrand 판정법
6.3 여러디자이너앨리스
가지 판정법 233
6.3.10 정리* Gauss 판정법
수열 〈 〉의 모든 항이 양수라고 하자. 그리고 가 양수이고 〈 〉의 차수가 이
며 자연수 이 존재하여 ≥ 일 때
∞
을 만족시킨다고 하자. 이때 이 수렴할 필요충분조건은 인 것이다.
여기서 〈 〉의 차수가 이라는 것은 자연수 과 양수 가 존재하여 ≥ 일
때마다 ≤
을 만족시키는 것을 의미한다.
증명 가정에 의하여 ≥ 일 때
이다. ≥ 일 때 ≤ 이므로 ≤ 이다.
일 때 lim
이므로 lim 이다. 따라서
→∞ →∞
lim
→∞
lim
→∞
∞
이므로 라브 판정법에 의하여 는 일 때 수렴하고 일 때 발산한다.
이제 인 경우를 증명하자. max 이라고 하고 정리의 조건의 등식을
변형하면 ≥ 일 때
ln
ln
이다. 그리고 ≥ 일 때
ln
ln ≤
ln
이 성립한다. 또한 일 때 lim
이므로 lim ln 이다. 따라서 자연
→∞ →∞
수 가 존재하여 ≥ 일 때
ln ≤
이 성립한다. 따라서 ≥ max 일 때
≤
ln
∞
이므로 베르트랑 판정법에 의하여 은 발산한다.
□
234 제 6 장 무한 급수
위 정리에서 , 로 두면 다음을 얻는다.
Ⅵ
무
한
∞ 급
⋅⋅⋅ ⋯ ⋅
예제 6.3.12 급수
은 수렴한다.
수
⋅⋅⋅ ⋯ ⋅
증명 이라고 하면
이다. 따라서
lim
→∞
→∞
lim
이므로 라브 반정법에 의하여 주어진 급수는 수렴한다. □
∞
⋅⋅⋅ ⋯ ⋅
예제 6.3.13
라고 하자. 이때
⋅⋅⋅ ⋯ ⋅ 은 일 때 수
렴하고 ≤ 일 때 발산한다.
증명 ≠ 인 경우 을 변형하면 다음을 얻는다.
6.3 여러디자이너앨리스
가지 판정법 235
→∞
lim
를 얻는다. 따라서 라브 판정법에 의하여 일 때 급수가 수렴하고 일
때 급수가 발산한다. 이제 인 경우를 살펴보자. 먼저 다음을 얻는다.
.
그런데
≤
이므로 〈 〉은 유계이다. 이때
이므로 가우스 판정법에 의하여 주어진 급수는 발산한다. □
∞
(ⅲ) 이고 일 때 은 발산한다.
∞
(ⅳ) ≤ 이고 일 때 은 발산한다.
∞
(ⅴ) 이고 일 때 은 조건수렴한다.
236 제 6 장 무한 급수
lim
→∞ lim
→∞
이다. 따라서 비판정법에 의하여 일 때 주어진 급수는 수렴한다.
(ⅱ) 일 때 다음을 얻는다.
. Ⅵ
무
한
, 라고 하자. 일 때 급
수
if
≤
if
이므로 〈 〉은 유계이다. 따라서 가우스 판정법에 의하여 ± 이고
일 때, 즉 일 때 주어진 급수는 절대수렴한다.
(ⅲ) 이고 일 때 이므로
∞ ∞
은 발산한다.
(ⅳ) ≤ 이고 일 때
⋯
≥
⋅⋅ ⋯ ⋅
⋯
⋅⋅ ⋯ ⋅
∞
이므로 〈 〉은 에 수렴하지 않는다. 따라서 은 발산한다.
6.3 여러디자이너앨리스
가지 판정법 237
또한
이므로 〈 〉은 순감소하는 양항수열이다.
⋯
의 양변에 로그를 취하면, 일 때 ln 이므로, 다음을 얻는다.
≤
ln ln
∞
여기서 이고 ∞ 이므로 lim ln ∞ 이고 lim 이다. 따
→∞
→∞
일 때 은 발산하므로 은 조건수렴한다.
□
6.4 급수의 합과 곱
6.3.1 정리 급수의 합
∞ ∞ ∞
두 급수
과
이 수렴하면
도 수렴하고
∞ ∞ ∞
이 성립한다.
이다.
238 제 6 장 무한 급수
양변에 극한을 취하면
∞
lim
→∞
lim
→∞
lim
→∞
∞ ∞
를 얻는다. □
이지만
∞ ∞
이므로
∞ ∞ ∞
≠
6.4 급수의
디자이너앨리스
합과 곱 239
따라서
lim lim ⋯
→∞ →∞
6.4.2 정의 Cauchy 곱
6.4.3 정리 급수의 곱
∞ ∞
두 수열 〈 〉과 〈 〉에 대하여
이 절대수렴하고 이 수렴하면 두 급수의
∞ ∞ ∞
증명 먼저 다음과 같이 정의하자.
∞ ∞
,
,
, ,
, , .
240 제 6 장 무한 급수
먼저 이므로 자연수 이 존재하여 ≥ 일 때 이 성립한
다. 이제 은 고정된 자연수이므로
max ⋯
이라고 하자. 는 양수이므로 자연수 가 존재하여 ≥ 일 때
이 성립한다. 따라서 ≥ max 일 때
≤ ⋯ ⋯
이므로
∞ ∞ ∞ ∞
이다. 한편
∞ ∞ ∞ ∞
×
이므로
∞ ∞ ∞ ∞
가 성립한다.
6.4 급수의
디자이너앨리스
합과 곱 241
6.5 급수의 재배열
⋯
⋯ ⋯
이다. 그러나 급수의 무한 개의 항의 순서를 바꿀 때에는 본래의 급수와 동일한 값에 수렴하지
않을 수도 있다. 그 예로서 다음과 같은 교대 조화급수를 살펴보자.
⋯
다음은 위 급수를 이루는 수열의 각 항의 순서를 바꾸어 양항 1개와 음항 2개가 번갈아가며 나
타나도록 한 것이다.
⋯
이제 재배열된 급수 는 수렴할 것인가, 그리고 만약 가 수렴한다면 와 동일한 값에 수렴할
것인가라는 의문이 생긴다. 의 부분합을 , 의 부분합을 이라고 하면
이다. 그런데 lim 이므로 lim 이다. 또한 비슷한 방법으로 〈 〉과
→∞ →∞
〈 〉가 모두
에 수렴함을 보일 수 있다. 따라서 가 된다.
이렇게 재배열된 급수는 본래의 급수와 다른 값에 수렴할 수도 있다.
242 제 6 장 무한 급수
이 절에서는 재배열된 급수가 본래의 급수와 동일한 값에 수렴하게 되는 조건은 무엇인지, 그리
고 재배열된 급수가 본래의 급수와 다른 값에 수렴하는 경우 그 극한이 얼마가 되는지에 대하여
살펴보자.
고 부른다.
Ⅵ
함수 에 대하여 와 를 다음과 같이 정의한다. 무
한
i f ≥ i f ≥
i f
,
i f
급
수
,
i f i f
∞
이때 급수 의 부분합
에 대하여
∞
증명 (ⅰ) 이 절대수렴한다고 하자. 〈 〉와 〈 〉는 양항수열이고 임의의 에 대하여
∞ ∞
≤ , ≤
∞ ∞
이므로 유계판정법에 의하여 와 는 수렴한다.
6.5 급수의
디자이너앨리스
재배열 243
∞ ∞
(ⅱ) 만약
와
가 모두 수렴하면
∞ ∞ ∞
∞ ∞
이므로
도 수렴한다. 이것은
이 조건수렴하는 데에 모순이다.
∞ ∞
만약
와
중 하나는 수렴하고 하나는 발산하면
∞ ∞ ∞
∞ ∞
이므로 도 발산한다. 이것은 이 수렴한다는 데에 모순이다.
∞ ∞
따라서 와 모두 양의 무한대에 발산한다.
□
이며 는 의 재배열된 급수이다. 이때 , , , 는 모두
이므로 은 절대수렴한다. □
244 제 6 장 무한 급수
이번엔 이 조건수렴하는 경우를 살펴보자. 그리고 가 임의로 주어진 실수라고 하자. 이
이다. 여기서
⋯ , ⋯ 라고 하자.
이렇게 〈
〉의 항들을 더하는 작업과 〈 〉의 항들을 빼는 작업을 거듭하면
⋯ , Ⅵ
⋯ 무
한
이 되도록 계속 , 을 정의할 수 있다. 여기서 → 이므로 급
수
⋯ →
가 성립한다. 따라서 다음을 얻는다.
다.
6.6 이중 급수*
6.6.1 정의 이중수열
6.6
디자이너앨리스
이중 급수 245
참고로 이중수열 〈 〉은 무한행렬
⋯
6.6.2 정의 이중급수의 합
이다. 즉
의 행에 의한 합과 열에 의한 합이 동일하다. □
6.6.4 보조정리 행에 의한 합과 열에 의한 합의 관계
의 열에 의한 합도 존재하고 두 합이 동일하다.
246 제 6 장 무한 급수
∞
증명
의 행에 의한 합이 존재한다고 가정하자. 즉 임의의 에 대하여
∞ ∞
이 수렴하고
이 수렴한다고 가정하자.
이다. 따라서
∞ ∞ ∞
≤
≤
∞
이다. 따라서 유계 판정법에 의하여 임의의 에 대하여
은 수렴한다. 더욱이 임 Ⅵ
무
의의 자연수 에 대하여 한
∞ ∞ ∞ ∞ 급
≤
수
∞ ∞
이므로 유계 판정법에 의하여
은 수렴한다. 따라서
의 열에 의한
합이 존재하고
∞ ∞ ∞ ∞
≤
≤
이 증명된다. 따라서
의 행에 의한 합과 열에 의한 합이 동일하다. □
6.6.5 정리 행에 의한 합과 열에 의한 합의 관계
∞ ∞ ∞ ∞
,
도 수렴한다.
≤
≤
≤
.
6.6
디자이너앨리스
이중 급수 247
∞
따라서 유계 판정법에 의하여 임의의 자연수 에 대하여
은 수렴한다. 또한
∞ ∞ ∞ ∞
≤
≤
의하여
의 행에 의한 합과 열에 의한 합이 존재하고 그들은 같다.
같은 방법으로
의 행에 의한 합과 열에 의한 합이 존재하고 그들이 같음을 보일
수 있다. 따라서
∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞
이다. 한편
∞ ∞ ∞ ∞ ∞ ∞ ∞
∞ ∞
∞ ∞
이고 같은 방법으로
∞ ∞ ∞ ∞ ∞ ∞ ∞
∞ ∞
∞ ∞
이다. 따라서
의 행에 의한 합과 열에 의한 합이 같다.
∞ ∞ ∞ ∞
≤
≤
∞ ∞ ∞ ∞
이므로
은 수렴한다. 또한 보조정리에 의하여
이 수렴하고
∞ ∞ ∞ ∞
≤
≤
∞ ∞
이므로 도 수렴한다. □
248 제 6 장 무한 급수
6.7 무한 곱*
⋯
(1)
을 으로 표기하자. 이때 수열 〈 〉의 극한
∞
6.7.1 정리 무한 곱과 무한 급수의 관계
∞
양항수열 〈 〉에 대하여 무한곱
∞
이 수렴할 필요충분조건은 무한 급수
이 수렴하는 것이다.
이 수렴할 필요충분조건은 무한 급수 이 수렴하는 것이다.
디자이너앨리스
6.7 무한 곱 249
증명 먼저 이 수렴한다 하자. 그러면 코시 조건에 의하여 자연수 이 존재하여
증명 자연수 에 대하여
,
라고 하자. 그러면
⋯ ,
⋯
이므로 ≤ 이다. 편의상 이라고 하자. 그러면
,
250 제 6 장 무한 급수
이제 〈 〉이 에 수렴하지 않음을 보여야 한다. 이 절대수렴하므로 → 이
∞ ∞
다. 따라서 → 이다. 이로써 이 수렴하고 도
수렴한다. 같은 방법으로 → ∞ 일 때
(2)
오차의 한계가 이하가 되도록 하고자 하므로 ≥ 이 되도록 해야 한다.
6.8 디자이너앨리스
급수의 계산 251
즉 소수점 이하 여섯 자리의 유효숫자를 얻기 위하여 무려 2백만 개의 항을 계산하여 더해야 하
는 것이다.
수렴값 근삿값
2 1 . 64493 40668 48266
3 (unknown) 1 . 20205 69031 59594
4 1 . 08232 32337 11138
5 (unknown) 1 . 03692 77551 43370
6 1 . 01734 30619 84449
7 (unknown) 1 . 00834 92773 81923
8 1 . 00407 73561 97944
9 (unknown) 1 . 00200 83928 26082
10 1 . 00099 45751 27818
11 (unknown) 1 . 00049 41886 04119
이 되므로
(3)
을 얻는다. (3)의 양변에 급수를 취하면 다음을 얻는다.
∞
.
252 제 6 장 무한 급수
따라서 급수 를 계산하기 위해서는
을 계산하면 된다.
여기서
∞ ∞ ∞
≒
″
′ ⋯
이때 , ≥ 에 대하여
′ ″
⋯
(5)
6.8 디자이너앨리스
급수의 계산 253
급수
∞
sin
cos
cos
을 얻는다. 이라고 하면
∞
∞ ∞ ∞ cos
가 성립한다. 우변의 마지막 급수의 값의 범위를 계산해보면
∞ cos ∞
∞
≤
sin
sin sin
∞ ∞
sin
여기서 × 이다. 그리고
∞ ∞
,
sin sin
.
254 제 6 장 무한 급수
지금까지 살펴본 방법은 리만 제타 함수의 값을 알고 있어야만 사용할 수 있었다. 급수의 변형
이 리만 제타 함숫값의 도표에 의존하지 않으려면 리만 제타 함수의 값을 구하는 급수의 변형
방법도 알아야 할 것이다. 이를 위하여 다음 급수를 소개한다.
∞
∞
∞
⋮
∞
⋯
Ⅵ
무
한
⋮
급
수
일반적으로 다음 등식이 성립한다.
위 식의 양변을 ⋯ 로 나눈 뒤에 급수를 취하면
⋯
⋯ ⋯
⋯
6.8 디자이너앨리스
급수의 계산 255
여기서 (7)에 의하여 이고 우변의 급수는 과 비슷한 속도로 수렴한다. 따라서 본
를 얻는다.
256 제 6 장 무한 급수
실제로 급수를 계산하는 과정은 이 절에서 살펴본 것보다 훨씬 복잡할 수도 있다. 예를 들어 급
수 sin 의 근삿값을 계산하기 위해서는 sin, , 의 값을 알아야
한다. 만약 이들의 값을 모른다면 다시 이들의 근삿값을 계산하되, 각각의 허용 오차를 원래 급
수의 허용 오차의 1/4가 되도록 하여 계산해야 한다. 를 이용하는 방법이 이렇게
불편한 점이 있는 반면 를 이용하는 것은 각 의 값이 정확하게 알려져 있기 때문에 비교
적 계산 과정이 간단하다. 그러나 급수를 변형하는 것 자체는 를 이용하는 것이
를 이용하는 것보다 더 어려울 수도 있으므로 상황에 따라서 적절한 방법을 택해야 할
것이다.
Ⅵ
확인 학습 기초 개념 문제 해답 394쪽 무
한
급
1. 다음 진술의 참 ․ 거짓 여부를 판별하여라. 수
은 수렴한다.
(4) 수열 〈 〉이 에 수렴하면
∞ ∞
(7)
cos
(8)
∞ ∞
ln
(9)
(10)
디자이너앨리스
연습문제 257
확인 학습 실력 다지기 문제 해답 394쪽
4. 다음 급수의 값을 구하여라.
∞ ∞ ∞
(1) ln
(2)
(3)
∞ ∞
5. 양항급수
이 수렴하면 이 수렴함을 증명하여라. 여기서 양항급수라는 조건이
∞ ∞
제거되면 은 수렴하지만 이 수렴하지 않는 예를 들어라.
∞ ∞
6. 양항급수
이 수렴하고 이면 가 수렴함을 증명하여라.
∞ ∞
7. 급수
이 수렴하고 ≥ 이면 급수
도 수렴함을 증명하여라.
i f is a prime
n
i f is not a prime
∞
이때 급수 이 수렴하는지 판정하여라.
10. 수열 〈 〉이 , 을 만족시키면 〈 〉은 수렴함을 증명하여
라.
258 제 6 장 무한 급수
13. 〈 〉이 피보나치 수열일 때 이 황금비에 수렴함을 증명하여라. 즉
lim
→∞
임을 증명하여라.
확인 학습 심화 문제 해답 396쪽
14. 자연수 에 대하여
⋯ 일 때 lim 의 값을
→∞
구하여라.
Ⅵ
∞ 무
15. 수열 〈 〉이 단조 감소이고 이 수렴하면 lim
→∞
임을 증명하여라. 한
급
수
16. 조화급수의 부분합 에 대하여 다음을 증명하여라.
(1) 임의의 자연수 에 대하여 ln ≤ 이다.
(2) 수열 〈 ln〉은 단조 감소이다.
∞
17. 급수
sin 이 수렴하는 의 값의 범위를 구하여라.
20. 수열 〈 〉의 모든 항이 양수이고 lim 이라고 하자. 만약 이
→∞
면 은 수렴하고 이면
이 발산함을 증명하여라.
디자이너앨리스
연습문제 259
21. 함수 가 ∞ 에서 정의되었고, 이며 양의 무한대에 발산하는 순증가수열
〈 〉이 존재하여 조건
(ⅰ) 각 구간 에서 의 부호가 일정하다,
(ⅱ) ∈ , ∈ 이면 이다,
(ⅲ) ≥ ,
(ⅳ) lim
→∞
라.
23. 실수 집합의 가산 부분 집합은 측도 제로임을 증명하여라.
24. ≥ 일 때 가 자연수가 아님을 증명하여라.
발전 학습 탐구 문제
로 정의하자. 이때 집합 ⊆ ∧ ℕ 이 위로 유계이면 는 합을 구할
수 있다고 말하고, 의 상한을 의 합으로 정의한다. ∈ 의 합을 구할 수 있
으면 의 원소 중에서 이 아닌 것의 개수는 가산임을 증명하여라.
27. 선형노름공간에서 정의된 급수의 수렴을 어떻게 정의하는지 조사해 보자. (Banach
summable family에 대하여 조사해 보아라.)
260 제 6 장 무한 급수
수학 역사 오일러, 정수론의 해석적 연구
⋯
⋯
⋯
⋯
라고 하자. 위의 곱에서 , , ⋯ , 의 항이 그들 이외의 항과 함께 나타나기 때문에 곱
가 ⋯ 보다 작아질 수 없다. 한편 등비수열의 합 공식에서 각 인수는 각각
, , ⋯,
보다 작다는 것을 알 수 있다. 따라서 모든 에 대하여
⋯ ⋯
가 성립한다. 그런데 소수의 개수가 유한이라고 하였으므로 우변은 상수이고 따라서 좌변은
유계이다. 유계인 양항급수는 수렴하므로 → ∞ 일 때 좌변은 수렴해야 하는데 이것은 조
화급수가 발산한다는 사실에 모순이다.
디자이너앨리스
연습문제 261
′ d
⋯
제7 장 ⋯ ⋯
함수열의 극한 cos sin
우리는 2장에서 공역이 실수 집합인 수열을 살펴보았다. 이 장에서는 실수열의 개념을 확장하여
공역이 함수들의 모임인 함수열과 그 극한의 성질을 살펴본다. 함수열의 극한을 이용하면 간단
한 함수의 극한으로서 복잡한 함수를 표현할 수 있기 때문에 더 많은 종류의 함수의 성질을 분
석할 수 있게 된다.
직관적으로 실수열은 실수를 나열하고 순서대로 번호를 부여한 것이다. 같은 방법으로 함수열을
생각할 수 있다. 예를 들어 구간 에서 으로 정의된 함수 은 첨수 이 정
해질 때마다 에 관한 함수가 된다. 이때 , , , ⋯ , , ⋯ 은 함수열이다.
7.1.1 정의 함수열
실수열에 대하여 이중수열을 생각한 것처럼 함수열도 이중수열을 생각할 수 있다. 예컨대
수열의 극한을 정의한 것처럼 함수열의 극한을 생각할 수 있다. 에서 으로
정의된 함수열 가 주어졌다고 하자. 이때
lim
→∞
if ≤
if
이므로
if ≤
if
에 대하여 lim 라고 하는 것이 자연스럽다.
→∞
262 제 7 장 함수열의 극한
7.1.2 정의 점별수렴
Ⅶ
함
7.1.3 정의 함수 급수의 수렴 수
열
위에서의 함수열 〈 〉과 임의의 ∈ 에 대하여 의
극
lim
→∞
한
if ≤
if
이므로 에서 연속이 아니다. □
if
∞ ∞
if ≠
이므로 은 연속이 아니다. □
7.1 함수열의
디자이너앨리스
평등수렴 263
보기 7.1.6 자연수 에 대하여
lim cos
→∞
이라고 하자. 그러면 가 정수일 때는 이고 그 외에는 이다. 따라서
은 리만 적분 가능하다.
lim
→∞
라고 하자. 그러면 가 유리수일 때에는 충분히 큰 에 대하여 가 정수이므로 이
다. 또한 가 무리수일 때에는 임의의 에 대하여 가 정수가 아니므로 이다. 따
라서
i f ∈ℚ
if ∉ℚ
이므로 는 리만 적분 불가능하다. □
함수열의 극한함수가 본래 함수열을 이루고 있는 함수의 성질을 보존하지 못하는 이유는 함수의
수렴이 정의역의 각 점에서 개별적으로 정의되기 때문이다. 함수열의 극한의 정의를 살펴보면
∀∈ ∀ ∃ ∈ℕ ∀∈ℕ →
264 제 7 장 함수열의 극한
함수열 〈 〉이 에 점별수렴하는 것을 → 로 표기하며 〈 〉이 에 평등수렴하는 것
을 ⇉ 로 표기한다. 정의에 의하면 명백히 평등수렴하는 함수열은 점별수렴한다. 또한 평
등수렴하는 경우 그 극한함수는 점별수렴 극한함수와 동일한 함수이다. 즉 ⇉ 이면
→ 이다. 평등수렴의 정의를 보면
임의의 ∈ 에 대하여
여기서 은 첨수가 인 실수열이므로 실수열의 극한의 정의에 의하여 다음을 얻는다.
7.1 함수열의
디자이너앨리스
평등수렴 265
예제 7.1.9 구간 에서
으로 정의된 함수열 〈 〉은 평등수렴한다.
‖
‖
‖
‖
‖ ‖ ≤ ≤
이므로 → 이다. 따라서 〈 〉은 에 평등수렴한다. □
예제 7.1.10 ℝ 에서
sin
으로 정의된 함수열 〈 〉은 평등수렴한다.
증명 먼저 임의의 에 대하여
sin
lim lim
→∞ →∞
이다. 이제 ⇉ 임을 보이자. 양수 이 임의로 주어졌다고 하자. 그러면 ≤ 인
자연수 이 존재한다. 일 때
‖ ‖
sin
이므로 → 이다. 따라서 〈 〉은 에 평등수렴한다. □
266 제 7 장 함수열의 극한
7.2 평등수렴의 성질
코시 조건을 만족시키는 수열이 수렴하는 것처럼 함수열의 극한에 대해서도 코시 조건을 생각할
수 있다.
7.2.1 정리 Cauchy 조건
7.2 평등수렴의
디자이너앨리스
성질 267
이제 함수열이 평등수렴할 때 그 극한함수가 본래 함수열을 이루고 있는 함수의 어떠한 성질을
보존하는지 알아보자.
∈ 에 대하여
을 만족시킨다. 또한 은 에서 적분 가능하므로 분할 가 존재하여
을 만족시킨다. ≤ ≤ 라고 하자.
268 제 7 장 함수열의 극한
그리고
sup , in f ,
sup , in f
이라고 하자. 이때 각 에 대하여 다음을 얻는다.
≤ ≤ ≤
따라서
Ⅶ
≤
함
수
열
의
극
한
이므로 는 에서 적분 가능하다.
이제 의 적분과 의 적분의 극한이 동일함을 증명하자. 다시 양수 이 임의로 주어졌
다고 하자. 평등수렴의 정의에 의하여 자연수 이 존재하여 ≥ 일 때 임의의 에
대하여
이 성립한다. 이때
≤
≤
7.2 평등수렴의
디자이너앨리스
성질 269
7.2.4 따름정리 함수급수의 적분가능성
증명 임의의 에 대하여 가 적분 가능하고
⇉ 이므로 정리 7.2.3에 의하여
lim lim
→∞ →∞
이다. 그러나
lim
→∞
lim ≠ lim
→∞ →∞
270 제 7 장 함수열의 극한
함수열 〈 〉의 연속성이나 적분 가능성을 보존하기 위해서는 단순히 〈 〉이 평등수렴한다
는 조건만 필요하지만 미분 가능성을 보존하기 위해서는 더욱 많은 조건이 필요하다.
Ⅶ
증명 먼저 〈 〉이 평등수렴함을 보이자. 양수 이 임의로 주어졌다고 하자. ′이 적분 함
수
가능하므로 임의의 ∈ 에 대하여 열
의
′
(1) 극
한
이다. 따라서
′
′
이므로
≤ ′
′ (2)
→∞
′ lim
lim lim
→∞
→∞
lim ′
→∞
7.2 평등수렴의
디자이너앨리스
성질 271
앞의 정리의 의미는 〈 〉의 도함수가 평등수렴하고 적절한 조건을 만족시킬 때
lim
→∞
lim
→∞
이므로 ′ ⇉ ′이다. □
272 제 7 장 함수열의 극한
7.3 평등수렴의 판정
특이적분의 수렴이나 급수의 수렴을 판정하는 공식이 있는 것처럼 함수열의 평등수렴을 판정하
는 공식이 있다. 이 절에서는 정의를 이용하여 평등수렴을 판정하기 어려운 경우 사용할 수 있
는 유용한 판정법을 살펴보자.
⋯
≤ ⋯
≤ ⋯
이므로 코시 조건에 의하여 〈 〉은 에서 평등수렴한다. □
⋯
이 성립한다.
7.3 평등수렴의
디자이너앨리스
판정 273
이때
≤
증명 결론에 반하여
⇉ 이라고 하자. 그러면 양수 이 존재하여 임의의 에 대하여
인 과 ∈ 가 존재하여 ≥ 을 만족시킨다. 동일한 양수 과 임의의
자연수 에 대하여 인 과 ∈ 가 존재하여
≥
로 ⇉ 이다. □
274 제 7 장 함수열의 극한
함수열 〈 〉의 모든 항이 연속이고 극한함수 가 연속이지만 〈 〉의 수렴성이 평등수렴이
아닐 수도 있다. 예를 들어 구간 에서 으로 정의된 함수열 〈 〉의 모든 항
은 연속이고 인 연속함수 에 수렴하지만 평등수렴하지 않는다. 즉 정리 7.2.2의 역이
성립하지 않는다. 그러나 컴팩트 집합 위에서 연속인 함수열이 연속인 함수에 단조수렴하면 그
수렴은 평등수렴이 된다.
7.3.5 정리 Dini의 조건
≥ 이므로 ⊇ 이다.
증명 라고 하면
은 연속이고 ≤ 이며 가 연속이므로 디니의 조건에
의하여 ⇉ 이다. □
7.3 평등수렴의
디자이너앨리스
판정 275
7.3.7 따름정리 교대급수의 평등수렴성
증명
이 수렴하므로 → 이다. 또한 ≤ ≤ 이므로 디니의 조건에
의하여 ⇉ 이다.
따라서 교대급수 판정법에 의하여
은 에 평등수렴한다. □
276 제 7 장 함수열의 극한
를 가진다. 여기서 당연히 〈 〉은 〈 〉의 부분수열이므로 수렴한다. 이제
자연수 에 대하여 〈 〉이 수렴한다고 가정하자. 〈 〉은 유계이므로
수렴하는 부분수열 〈 〉을 가진다. 여기서 〈 〉은
〈 〉의 부분수열이므로 당연히 수렴한다. 이로써 임의의 자연수 에 대하여
가 귀납적으로 정의되었다. 이제 라고 하면 임의의 ∈ 에 대하여
평등연속은 하나의 함수에 대해서 하나의 가 결정되는 연속성이다. 이 개념을 함수열로 확장하
여 임의의 함수에 대해서 하나의 가 결정되는 연속성을 정의한다.
Ⅶ
함
수
열
7.4.3 정의 동정도 연속 의
극
함수 집합 ∈ 가 위에서 정의되었다고 하자. 만약 임의의 양수 에 대하여 양 한
수 가 존재하여 임의의 과 인 임의의 ∈ , ∈ 에 대하여
을 만족시키면 〈 〉은 동정도 연속(equicontinuous)이라고 말한다.
7.4 디자이너앨리스
동정도 연속 277
이제 실수열의 볼차노-바이어슈트라스 정리를 확장하여 함수열에 적용해 보자.
7.5.5 정리 Ascoli
들의 모임은 의 개덮개가 된다. 이때 임의의 , 에 대하여 ∩ ≠ ∅ 인 경우
∈ ∩ 인 를 택하고 ∩ ∅ 인 경우 in f 라고 하자. 이제
∈ℕ ∈ℕ 이 정리의 조건을 만족시키는 집합임을 보이자.
명백히 는 유한집합의 가산합집합이므로 가산집합이다.
∈ 라고 하자. 만약 ∈ 인 경우 ∈
이다. 이제
∈ 이고 양수 이 임의로 주
어졌다고 하자. 그러면 인 자연수 이 존재한다. 이때 적당한 에 대하여
, , , ⋯ , 은 의 개덮개이다. 따라서 ∈ 인 가 존재한다.
여기서
이므로 ∩ ≠ ∅ 이다. 즉 ∈
이다. 따라서 ⊆
이다. □
참고로 ⊆ 이고 ⊆
일 때 는 위에서 조밀하다(dense)고 말한다. 또 집합 가 에
서 조밀한 부분집합을 가질 때 는 가분(separable)이라고 말한다. 예를 들어 ℚ ⊆ ℝ 이고
ℝ⊆
ℚ 이므로 유리수 집합은 실수 집합 위에서 조밀하다. 즉 ℝ는 가분이다. 이러한 관점에서
보조정리 7.5.6은 가 가분이라는 것을 의미한다.
278 제 7 장 함수열의 극한
정리 7.5.5의 증명 (ⅰ) 양수 이 임의로 주어졌다고 하자. 〈 〉이 동정도 연속이므로 양수
가 존재하여 임의의 과 임의의 ∈ 에 대하여
max ⋯
이라고 하면 임의의 과 임의의 에 대하여 적당한 가 존재하여
Ⅶ
≤ 함
수
이므로 〈 〉은 평등유계이다. 열
의
극
(ⅱ) 가 컴팩트이므로 ⊆
인 의 가산부분집합 가 존재한다. 정리 7.4.2에 의하 한
여 〈 〉은 에서 점별수렴하는 부분수열 〈 〉를 가진다.
편의상 이라고 하
자. 이제 〈 〉가 에서 평등수렴함을 보이자.
을 만족시킨다. ⊆
이고 가 컴팩트이므로 의 유한 개의 점 , , ⋯ , 을
택하여
≤
7.4 디자이너앨리스
동정도 연속 279
7.5 다항식 근사*
테일러 정리에 의하면 미분 가능한 함수는 다항식을 이용하여 근사할 수 있다. 이것의 조건을
약화하여 가 단순히 연속이라는 조건만으로 그러한 다항식을 얻을 수 있다.
7.5.1 정리 Weierstrass 근사 정리
≥
≥
이므로 (1)에 의하여 을 얻는다.
≤
(2)
이므로 은 다항식이다.
280 제 7 장 함수열의 극한
그러면 ≥ 이라는 사실과 (1), (2)에 의하여 임의의 ∈ 에 대하여
≤
≤
≤
이 성립한다. 따라서 lim ≤ 인데 이 임의의 양수이므로
→∞
Ⅶ
lim
함
→∞
수
이 성립한다. 즉 ⇉ 이다. □ 열
의
극
한
예제 7.5.2 함수 → ℝ 가 정의역에서 연속이고 음이 아닌 임의의 정수 에 대하여
을 만족시키면 는 상수함수이다.
증명 양수 이 임의로 주어졌다고 하자. 바이어슈트라스 근사 정리에 의하여 임의의 에 대하
여 을 만족시키는 다항식
∞
≥ ≥
7.5 디자이너앨리스
다항식 근사 281
7.6 멱급수
(1)
⋯
이다. 만약 라고 하면 (1)은
∞
의 형태로, 즉 중심이 인 멱급수로 표현할 수 있다. 따라서 멱급수의 성질을 살펴볼 때에는 중
심이 인 멱급수만 다루어도 충분하다.
멱급수
은 일 때 당연히 수렴한다. 그리고 〈 〉의 특성에 따라서 이외
의 다른 점에서도 수렴할 수 있으며 경우에 따라서는 임의의 에 대하여 수렴할 수도 있다.
⋯ (2)
⋯ □
282 제 7 장 함수열의 극한
보기 7.6.3 다음 멱급수를 살펴보자. 사실 이 멱급수는 지수함수의 정의이다.
∞
⋯
(3)
만약 ≠ 이면
÷
→
이므로 비판정법에 의하여 (3)은 수렴한다. 즉 (3)은 실수 전체 구간에서 수렴한다. □
앞서 기하급수
은 일 때 수렴하고 ≥ 일 때 발산한다. 따라서 이 급수의 수렴
반경을 이라고 하는 것이 자연스럽다. Ⅶ
함
수
열
7.6.4 정의 수렴 구간, 수렴 반경 의
극
멱급수 에 대하여 집합 한
이 수렴한다
를 수렴 구간이라고 부른다. 이때 수렴 구간의 내부를 수렴 영역이라고 부르며
sup ∈
를 수렴 반경이라고 부른다.
멱급수
이 일 때 수렴하면 인 임의의 에 대하여 멱급수가 수렴한
다. 만약 일 때 주어진 멱급수가 발산하면 인 임의의 에 대하여 멱급수가
발산한다.
증명
이 수렴하고 라고 하자. → 이므로 양수 이 존재하여 임의의
에 대하여 을 만족시킨다. 이때
이다. 여기서 기하 급수의 성질에 의하여
은 수렴하므로 비교판정법에 의하여
은 수렴한다.
도 수렴해야 하므로 모순이다. 따라서
은 발산한다. □
디자이너앨리스
7.6 멱급수 283
7.6.6 정리 수렴반경의 성질
멱급수
의 수렴반경이 이면
은 일 때 절대수렴하고 일
때 발산한다.
이 수렴하는지 또는 발산하는지 알 수 없으므로, 수렴 영역의 경계점에서 급수가 수렴
하는지 여부는 직접 계산해 보아야 한다.
∞
예제 7.6.7 멱급수
의 수렴구간을 구하여라.
≤ ≤
이므로 이다. 따라서 수렴 구간은 이다. □
7.6.8 정리 비 판정 공식
멱급수
에 대하여 극한
lim
→∞
이 수렴하고 그 극한이 이면 의 수렴반경은 이다. 만약 위 극한이 양의 무한대
lim
→∞
(4)
284 제 7 장 함수열의 극한
이때 이면
은 발산하고 이면
은 수렴한다.
따라서
의 수렴 반경은 이다.
∞
예제 7.6.9 멱급수
의 수렴구간을 구하여라.
7.6.10 정리 Cauchy-Hadamard 공식
멱급수
에 대하여
lim
→∞
라고 하자. 그리고 를
i f ∞
i f ∞
∞ if
라고 하자. 이때
의 수렴반경은 이다.
증명 급수
에 근 판정법을 적용하면
lim lim
→∞ →∞
디자이너앨리스
7.6 멱급수 285
가 도 아니고 ∞ 도 아닌 경우는 일 필요충분조건은
이므로 가 수렴반경이 된다. □
∞
예제 7.6.11 멱급수
의 수렴구간을 구하여라.
→∞
∞
예제 7.6.12 멱급수
의 수렴구간을 구하여라.
7.7 멱급수의 성질
멱급수
의 수렴반경이 이고 이면 멱급수
은 에서 평
등수렴한다.
286 제 7 장 함수열의 극한
증명 조건에 의하여 은 수렴한다.
이라고 하면 ∈ 에 대하여
≤ 이므로 -판정법에 의하여 은 에서 평등수렴
한다. □
7.7.2 정리 멱급수의 적분
멱급수
의 수렴반경이 이고 이면
∞ ∞
lim
→∞
lim
→∞
lim
→∞
∞
를 얻는다. □
7.7.3 정리 멱급수의 미분
멱급수
의 수렴반경이 이면 에서
∞ ∞
7.7 멱급수의
디자이너앨리스
성질 287
이제 인 에 대하여
∞ ∞
,
,
(1)
대신
∞
(2)
∞
증명* 이라고 하면 ≤ 이므로 은 수렴한
다. 또한 다음이 성립한다.
∞ ∞ ∞
C .
288 제 7 장 함수열의 극한
이때 이 급수는 각 성분이
C
if ≥
if
인 행렬
⋯
⋮
⋮
⋮
⋯
⋯
⋱
(3)
∞ ∞
,
C
□
7.7.5 정리 멱급수의 합
멱급수
의 수렴반경이 이고 의
수렴반경이 라고 하자. 이때
min 이면 은 수렴하고 다음이 성립한다.
∞ ∞ ∞
7.7 멱급수의
디자이너앨리스
성질 289
증명 min 이면
과
이 모두 수렴하므로 극한의 성질에 의하
여 다음을 얻는다.
∞
lim
→∞
lim
→∞
lim
→∞
∞ ∞
. □
7.7.6 정리 멱급수의 곱
멱급수
의 수렴반경이 이고 의
수렴반경이 라고 하자. 이때
min 이면
은 수렴하고 다음이 성립한다.
∞ ∞
∞ ∞
∞
∞
. □
ln
보기 7.7.7 를 멱급수로 표현해보자.
∞ ∞
이고 ln
임을 이용하면
∞ ∞
ln
을 얻는다. □
해서는 먼저 을 구한 뒤 코시 곱을 이용하면 된다.
290 제 7 장 함수열의 극한
∞
이제
의 수렴반경이 이라고 하자. 먼저 ≠ 인 경우를 살펴보자. 일
이라고 하면 양변의 두 급수는 동일한 수렴반경을 갖고 이 되기 때문이다.
∞ ∞
이므로
,
,
,
,
⋮
가 된다는 것을 의미한다.
멱급수
의 수렴반경이 이고 이라고 하자. 그리고 수열 〈 〉을 귀납
적으로 ,
로 정의하자. 이때 적당한 구간에서
∞
∞
7.7 멱급수의
디자이너앨리스
성질 291
증명* 의
수렴 반경이 양수임을 보이면 충분하다.
이라고 하자.
이므로 의 근방에서 ≠ 이다. 따라서 는 의 근방에서 정의된다.
이제 코시-아다마르 공식을 이용하여 의 수렴반경이 양수임을 보이자.
이라고 하면
은 수렴하므로 → 이다. 따라서 〈 〉은 유계
이고, 양수 이 존재하여 임의의 에 대하여 ≤ 을 만족시킨다. 따라서 임의
의 에 대하여
≤ (4)
이 성립한다. 이것을 이용하면
≤ ,
≤
이고 에 대한 수학적 귀납법을 이용하면
≤
임을 알 수 있다. 따라서
≤
이다. 양변에 극한을 취하면
≤
lim
→∞
을 얻는다. 따라서 의 수렴 반경은 이상이다.
□
∞
만약
이고 인 경우는 위 정리를 이용할 수 있도록 변형할 수 있다.
이 된다.
292 제 7 장 함수열의 극한
만약 멱급수로 표현되는 적당한 함수 에 대하여 를 계산하면 분모의 는 자연스럽게 사
라질 수도 있다. 사실 위와 같이 분모에 가 있는 경우 복소해석에서는 이것을 극(pole)이라고
부른다. 이 내용은 복소해석의 로랑 급수(Laurent series)와 관련하여 공부한다.
7.7 멱급수의
디자이너앨리스
성질 293
7.8 아벨의 정리
(1)
을 만족시킨다. 따라서 ≥ 일 때
≤
≤
이므로 코시 판정법에 의하여 은 에서 평등수렴한다. □
294 제 7 장 함수열의 극한
7.8.2 따름정리 멱급수의 평등수렴에 관한 Abel의 정리
∞ ∞
양수 에 대하여 급수
이 수렴하면 멱급수
은 에서 평등수렴한
다.
,
이라고 두면 정리 7.8.1에 의하여
∞ ∞
Ⅶ
함
수
은 에서 평등수렴한다. □ 열
의
극
한
7.8.3 따름정리 컴팩트 집합 위에서 멱급수의 연속성
∞ ∞
멱급수
의 수렴반경이 이고
이 수렴하면 는 에서 연
속이다.
확인 학습 기초 개념 문제 해답 400쪽
(1) (2) (3)
(4) ln (5) (6)
ln
디자이너앨리스
연습문제 295
∞
3. 수렴반경이 인 멱급수로 정의된 함수
가 우함수이면 임의의 자연
(3)
(4)
확인 학습 실력 다지기 문제 해답 401쪽
∞
8. 수열 〈 〉의 일반항이 다음과 같이 주어졌을 때
의 수렴구간을 구하여라.
296 제 7 장 함수열의 극한
9. 멱급수의 성질을 이용하여 멱급수로 정의된 함수를 멱급수가 아닌 형태로 바꾸는 것을 유
한 형태로 표현한다고 부른다. 예를 들어 함수 가
⋯
로 주어졌다고 하자. 양변을 미분하면
′ ⋯
이고 기하급수를 이용하면
′
를 얻는다. 따라서 양변을 다시 적분하여
Ⅶ
ln 함
를 얻는다. 다음 주어진 멱급수를 유한형태로 표현하여라. 수
열
∞ ∞ 의
(1)
(2)
극
한
∞ ∞
(3)
(4)
∞ ∞
(5)
(6)
∞ ∞
(3)
(4)
디자이너앨리스
연습문제 297
13. 자연수 과 실수 에 대하여 다음이 성립함을 보여라.
cos cos
(1)
sin
sin
sin sin
(2)
cos
sin
∞
sin
15. 가 양수일 때 급수
는 실수 전체 구간에서 수렴하며 의 폐부분구간
에서 평등수렴함을 증명하여라.
∞
cos
16. 가 양수일 때 급수
는 ≠ , ∈ℤ 인 에 대하여 수렴하며 의
20. 함수열 〈 〉,
이 유계인 구간에서는 평등수렴하지만 유계가 아닌 구간
298 제 7 장 함수열의 극한
∞
23. 급수
이 에서 평등수렴함을 증명하여라.
∞
24. 수열 〈 〉이 감소수열이고 양항수열이며
sin 가 ℝ 에서 평등수렴한다고 하자.
25. sin
일 때 가 sin에 평등수렴함을 증명하여라.
sin
26. lim
→∞
임을 증명하여라.
Ⅶ
함
수
열
의
확인 학습 심화 문제 해답 408쪽 극
한
27. 수열 〈〉가 ℕ 으로부터 ∩ℚ 에로의 전단사라고 하자. 그리고 에서 두 함수
열 〈 〉과 〈 〉을 다음과 같이 정의하자.
i f ∈ ∖ℚ
,
i f ∃∈ℕ
(1) 두 함수열 〈 〉과 〈 〉이 에서 평등수렴함을 증명하여라.
(2) 로 정의하면 〈 〉은 에서 평등수렴하지 않음을 증명하
여라.
따라서 평등수렴하는 두 함수열의 곱은 평등수렴하지 않을 수 있다.
(3) 평등수렴하는 두 함수열의 곱이 평등수렴하지 않는 다른 예를 만들어 보아라.
∞
29. 양항수열 〈 〉에 대하여
의 수렴반경이 이고 lim 이면 급
→
∞ ∞
수 은 수렴하고 임을 증명하여라.
디자이너앨리스
연습문제 299
30. 함수 가 에서 연속일 때 다음을 증명하여라.
(1) lim
(2) lim
→∞ →∞
∞ ∞
sin cos
발전 학습 탐구 문제
이 성립한다.
300 제 7 장 함수열의 극한
수학 역사 바이어슈트라스
디자이너앨리스
연습문제 301
′ d
⋯
제8장 ⋯ ⋯
실해석적 함수 cos sin
∞
이므로 〈 〉과 〈 〉은 동일하다. 따라서 어떠한 함수를 멱급수로 표현할 수 있다면 그러한
형태는 유일하다.
302 제 8 장 실해석적 함수
함수 가 에서 임의 횟수로 미분 가능하면 테일러 정리에 의하여
′ ⋯
이다. 우변에서 나머지항 을 제외한 테일러 전개 다항식을 라고 하면
가 된다. 따라서 에서 lim 임을 보이면
→∞
∞
8.1.2 정의 해석적 함수
if ≠
if
임의의 에 대하여 임을 보이자. 먼저 ≠ 일 때에는
′ ,
″
이다. 이제 자연수 에 대하여 에 대한 유리식 가 존재하여 의 분모의 차수가 분자의
차수보다 더 크고
을 만족시킨다고 하자. 그러면
′
′
이다. 여기서
′
라고 하면 은 분모의 차수가 분자의 차수보다 더 큰 유리식이 되고
이 된다. 따라서 수학적 귀납법에 의하여 ≠ 일 때 임의의 에 대하여 분모의 차수가 분모의
차수보다 더 큰 유리식 이 존재하여 이 된다.
304 제 8 장 실해석적 함수
한편
′ lim
→
이고 자연수 에 대하여 이라고 가정하면
lim
→
lim
→
이므로 수학적 귀납법에 의하여 임의의 자연수 에 대하여 을 얻는다.
이로써 는 ℝ 에서 임의 횟수로 미분 가능하다는 것이 증명되었다. Ⅷ
실
∞ 해
만약 가 에서 해석적이라면
인 수열 〈 〉이 존재한다. 이때 테일러 정리 석
적
에 의하여 함
수
이 되므로 양수 가 존재하여 ∈ 일 때
∞ ∞
≤
306 제 8 장 실해석적 함수
≤
이므로 정리의 부등식을 얻는다.
(⇐ ) 함수 가 의 근방에서 임의 횟수로 미분 가능하고 양수 , 가 존재하여 (1)의
부등식을 만족시킨다고 가정하자. 그러면 테일러의 정리에 의하여
를 얻는다. 여기서 은 의 차 테일러 다항식이고 은 과 의 오차이다. 이제
를 만족시키는 실수 에 대하여 인 가 존재하여 Ⅷ
실
해
lim lim 석
→∞ →∞
적
함
≤ lim 수
→∞
→∞
lim
8.2 지수함수
8.2.1 정의 지수함수
비 판정공식을 이용하면
lim
∞
→∞
8.2
디자이너앨리스
지수함수 307
멱급수의 곱을 이용하면 실수 , 에 대하여
∞ ∞ ∞
exp exp
∞
exp
가 된다. 그런데 exp 이고 exp가 연속이며 exp ≠ 이므로 중간값 정리에 의하여
임의의 에 대하여 exp 이다. 이상을 요약하면 다음과 같다.
8.2.2 정리 지수함수의 성질
.
308 제 8 장 실해석적 함수
또한 음의 정수에 대해서는
exp
exp
이다. 그리고 정수 과 자연수 에 대하여 이라고 했을 때
exp exp exp exp ⋯ exp
tim es
exp
이므로 exp 이다. 따라서 임의의 유리수 에 대하여
exp Ⅷ
실
이다. 이를 이용하여 다음을 증명한다. 해
석
적
함
8.2.3 정리 지수함수와 지수의 관계 수
→∞
양수 에 대하여
∞
exp
8.2
디자이너앨리스
지수함수 309
이것은 더욱 일반화될 수 있다. 자연수 이 임의로 주어졌다고 하자. 그러면 양수 에 대하여
⋯ ⋯
≥
이다. 따라서
≥
이므로 조임 정리에 의하여
lim
∞
→ ∞
이다. exp는 증가 함수이고 exp 이므로 exp의 치역은 ∞ 이 된다. 이상을 요약하
면 다음과 같다.
8.2.4 정리 지수함수의 성질
8.3 로그함수
8.3.1 정의 자연로그함수
310 제 8 장 실해석적 함수
지수함수 exp의 성질에 의하여 다음을 얻는다.
8.3.2 정리 자연로그함수의 성질
lim ln ∞
→
lim ln ∞ □
→ ∞
8.3
디자이너앨리스
로그함수 311
로그 함수의 성질에 의하여
ln
이고 ln 이므로
ln
8.3.3 정리 지수의 확장
양수 와 실수 에 대하여 ln 이다.
8.3.4 정리 실수 지수 법칙
8.3.5 정의 로그함수
이 아닌 양수 와 양수 에 대하여 로그 함수를
ln
log
ln
로 정의한다. 여기서 를 log 의 밑이라고 부른다. 밑이 인 로그 함수는 상용 로그라고
부르고 밑을 생략하여 log로 표기한다.
312 제 8 장 실해석적 함수
8.3.6 정리 지수함수와 로그함수의 미분
8.4 삼각함수
8.4.1 정의 삼각함수
∞
cos
⋯ .
이다.
디자이너앨리스
8.4 삼각함수 313
두 함수를 미분하면
∞ ∞
sin
∞ ∞
cos,
∞ ∞
cos
∞
∞
∞
sin
이제 sin cos 라고 하자. 여기서 sin sin , cos cos 이다. 그
러면
′ sin cos cos sin
이므로 는 상수함수이다. 그런데 이므로 임의의 에 대하여 이다. 따라서
임의의 에 대하여
sin cos
을 얻는다. 다음 정리는 사인 함수와 코사인 함수가 우리가 중등학교에서 공부했던 함수와 동일
함을 설명한다.
증명 (ⅰ) 함수 와 를
sin ′ cos,
cos ′ sin
라고 정의하면 ′ 이고 ′ 이므로 다음을 얻는다.
sin ′ cos, cos ′ sin.
314 제 8 장 실해석적 함수
따라서 다음이 성립한다.
sin sin sin ′ cos
cos ′ sin cos
cos cos ′ sin
.
(ⅱ) 함수 를
cos
로 정의하면 ″ 이고 , ′ 이므로 (ⅰ)에 의하여 sin이
다. 따라서
cos sin Ⅷ
실
를 얻는다. □ 해
석
적
이상을 요약하면 다음과 같다. 함
수
8.4.3 정리 삼각함수의 성질
디자이너앨리스
8.4 삼각함수 315
코사인 함수의 정의에 의하여 다음을 얻는다.
cos ⋯
여기서 교대 급수의 오차의 한계 공식에 의하여 다음을 얻는다.
따라서 cos 이다. 또한 cos 이고 코사인 함수는 연속함수이므로 중간값 정리에 의하
여 cos 을 만족시키는 가 에 존재한다.
8.4.5 정의 원주율
cos cos sin sin
이고 같은 방법으로 sin , cos , sin 이다. 다시 덧셈정리를 이용하면
cos sin, sin cos
를 얻는다. 따라서 다음 정리를 얻는다.
316 제 8 장 실해석적 함수
8.5 감마함수*
8.5.1 정의 감마함수
Ⅷ
실
감마함수를 정의한 식은 과 양의 무한대에서 특이점을 갖는 특이적분이다. 따라서 특이적분이 해
석
수렴하는지 먼저 살펴보자. 적
함
두 함수 과 를 수
∞
,
8.5.2 정리 감마함수의 성질
8.5
디자이너앨리스
감마함수 317
치환적분을 이용하면 다음 등식을 얻는다.
∞
(1)
∞ ∞
.
∞
음이 아닌 정수 에 대하여 이다.
8.5.4 정의 베타함수
318 제 8 장 실해석적 함수
베타 함수의 성질을 간단하게 살펴보자. ―판정법을 이용하면 , 일 때 가 연속이
라는 사실을 증명할 수 있다. 한편 의 정의에서
,
라고 하면 두 양수 , 에 대하여
∞
(3)
8.5
디자이너앨리스
감마함수 319
8.6 라플라스 근사화와 스탈링 공식*
lim
→ ∞
cos cos
lim
→ ∞
lim
→ ∞
이므로 → ∞ 일 때 cos는 에 근사하다고 할 수 있다.
증명
라고 하면 의 정의에 의하여
를 얻는다. 따라서 → ∞ 일 때
∞
→
이므로 양변을
로 나누면 정리의 결론을 얻는다. □
320 제 8 장 실해석적 함수
8.6.2 정리 Laplace의 근사화
가 성립하므로 ≥ 일 때
≤ ≤ (2)
를 얻는다. 이제 ≤ ≤ ≤ 인 실수 와 에 대하여
″
′
을 얻는다.
(4)의 각 변에
를 곱하고 → ∞ 인 극한을 취하면 보조정리에 의하여
→
임을 알 수 있다. 따라서
″
≤ lim
→ ∞
≤ lim
→ ∞
≤
″
가 성립한다. 여기서 은 ″을 만족시키는 임의의 양수이므로 결국
lim
→
″
∞
가 성립함을 알 수 있다. □
322 제 8 장 실해석적 함수
따라서 결국
~
를 얻는다. □
증명 먼저 인 실수 에 대하여
≤
이므로 비교 판정법에 의하여 는 절대수렴한다. 이제 앞의 정리에서와 같이
,
이다. 한편
≤ ≤ (7)
가 성립한다.
에서 로 치환하면
∞ ∞
이다. 여기서
∞
,
라고 하면
∞
가 된다. 먼저 을 조사해보면
ln
324 제 8 장 실해석적 함수
같은 방법으로 를 조사해보면 다음을 얻는다.
~
이로써
~
이므로 다음과 같은 결론을 얻는다.
→ ∞ 일 때 다음이 성립한다. Ⅷ
실
~ 해
석
적
함
수
위 근사화에서 으로 쓰면 다음을 얻는다.
lim
→∞
cos sin
(7)
(8)
확인 학습 실력 다지기 문제 해답 413쪽
4. lim sin 임을 증명하여라.
→∞
5. 부정적분
를 구하여라.
326 제 8 장 실해석적 함수
7. 두 함수 , 가 ∞ 에서 정의되었고 음이 아닌 실수값을 취하며 → ∞ 일 때
∞ ∞
~ 라고 하자. 이때 급수
이 수렴하면 급수 도
수렴함
을 증명하여라.
임을 증명하여라.
∞ ∞ ∞
(3)
디자이너앨리스
연습문제 327
12. 정의역이 ∞ 인 함수들의 모임에서 근사 ~ 가 동치 관계임을 증명하여라.
확인 학습 심화 문제 해답 415쪽
if ≠
if
∞
으로 정의한다. , 에 대하여 다음 물음에 답하여라.
328 제 8 장 실해석적 함수
(4) 앞의 (3)을 이용하여 다음을 유도하여라.
lim
⋅⋅ ⋯
→∞ ⋅⋅ ⋯
발전 학습 탐구 문제
17. 삼각함수, 지수함수, 로그함수에 대하여 중등학교의 정의와 해석학에서의 정의를 비교하고
공통점과 차이점을 서술하여라. 또한 이들 함수를 멱급수로 정의할 때의 이점을 서술하여라.
20. 정의역이 복소수 집합일 때 삼각함수, 지수함수, 로그함수는 어떻게 정의되는지 조사해보자.
디자이너앨리스
연습문제 329
발전 학습 도전 문제
24. 〈 〉이 실수열이고 가 연속인 실함수라고 하자. 그리고 임의의 자연수 에 대하여
이며 이라고 하자. 만약 가 개구간 ∞ 에서 단조증가이
면 〈 〉도 단조증가임을 증명하여라.
충분조건은
이 수렴하는 것임을 증명하여라.
330 제 8 장 실해석적 함수
28. 다음 조건을 만족시키는 그래프를 갖는 함수를 구하여라.
(1) 기울기가 일정한 곡선
(2) 기울기가 좌표에 비례하는 곡선
(3) 기울기가 좌표에 비례하는 곡선
(4) 기울기가 곡선의 길이에 비례하는 곡선
함
(2) ′ 수
∞
(3)
ln
∞
34.
이 무리수임을 증명하여라.
디자이너앨리스
연습문제 331
′ d
⋯
부록 1 ⋯ ⋯
연습문제의 힌트와 풀이 cos sin
I 실수계의 성질
1. (1) 참
(2) 거짓, 0으로 나누는 연산은 정의되지 않는다.
(3) 참. (참고로 공집합도 전순서집합이다.)
(4) 거짓, ℤ 는 최소원을 갖지 않는다.
(5) 참. (참고로 공집합도 정렬집합이다.)
(6) 거짓, 이 자연수일 때에 사용한다.
(7) 거짓, 는 복소수이다.
(8) 거짓, intℚ ∅
(9) 거짓, bdℝ ∅
(10) 거짓, extℚ ∅
(11) 거짓, 은 개집합도 아니고 폐집합도 아니다.
(12) 거짓, ∅ 과 ℝ 은 개집합인 동시에 폐집합이다.
(13) 참
(14) 거짓, 공집합은 최솟값을 갖지 않는다.
3. 가 유리수이고 이 무리수라고 가정하자. 결론에 반하여 이 유리수라고 가정하면
도 유리수가 되므로 모순이다. 따라서 은 무리수이다. 이제 ≠ 이라
고 하자. 결론에 반하여 이 유리수라고 가정하면 은 유리수가 되므로 모순이
다.
4. (1) ℝ
(2)
(3) ∅
(4)
(5)
(6) ∞
1. 실수계의
디자이너앨리스
성질 333
이제 부등호가 반대로 성립함을 증명하자. 연습문제 1-10의 결과를 이용할 것이다.
양수 이 임의로 주어졌다고 가정하자. 상한의 성질에 의하여 ∈ 와 ∈ 가 존재하여
,
을 만족시킨다. 두 부등식을 결합하면 을 얻는다. 이때 상한이 성질에 의
하여 sup ≥ 이므로
sup
이 성립한다. 여기서 은 임의의 양수이므로
sup ≥
를 얻는다. 요컨대 sup 가 성립한다.
(2) ∈ 라고 하면 ∈ 와 ∈ 가 존재하여 가 된다. 이때 상한의 성질에 의
하여 ≤ , ≤ 이므로 ≤ 이다. 즉 의 임의의 원소는 보다 크지 않
으므로 는 의 상계이다. 상계 중에서 가장 작은 것이 상한이므로
sup ≤
가 성립한다.
이제 부등호가 반대로 성립함을 증명하자. 양수 이 임의로 주어졌다고 가정하자. 는
양수이므로 은 보다 작다고 가정하여도 일반성을 잃지 않는다. 상한의 성질에 의하
여 ∈ 와 ∈ 가 존재하여
,
을 만족시킨다. 두 부등식을 결합하면
≥
이다. 이때 상한의 성질에 의하여 sup ≥ 이므로
sup
가 성립한다. 는 고정된 실수이므로 는 의 값에 따라서 얼마든지 작은 양
수가 될 수 있다. 따라서
sup ≥
를 얻는다. 요컨대 sup sup sup 가 성립한다.
17. sup ∈ , sup ∈ 라고 하자.
∈ ∈ 라고 하면 인 ∈ 가 존재한다. 이때 상한
의 성질에 의하여 ≤ 이다. 따라서 ∈ 의 모든 원
소는 보다 크지 않으므로 는 ∈ 의 상계이다. 상한은 상
계 중에서 가장 작은 것이므로 sup ∈ ≤ 를 얻는다.
18. 가 공집합이 아니므로 ∈ 가 존재한다. 이제 ⋯ 이 의 부분집
합이라고 가정하자. 은 유한집합이므로 ∈ ∖ 이 존재한다. 이로서 임의의 자연
수 에 대하여 이 정의되었다.
20. 함수 ℕ → 를
연
습
문
제
로 정의하면 는 단사이므로 는 가부번인 부분집합을 포함한다. 따라서 는 무한집합이다. 풀
이
이제 가 비가산임을 증명하자.
결론에 반하여 가 가부번이라고 가정하면 일대일 대응 ℕ → 가 존재한다. 실수의 조
밀성에 의하여 ∉ 이고 인 과 이 에 존재한다. 이제
이라고 가정하자. 그러면 실수의 조밀성에 의하여 ∉
이고 인 과 이 에 존재한다.
이로써 임의의 에 대하여 과 이 귀납적으로 정의되었다. 또한 임의의 에 대하여
∉ 이다.
∈ℕ 은 공집합이 아니고 위로 유계이므로 상한 sup ∈ℕ 가 존재한
다. 마찬가지로 in f ∈ℕ 가 존재한다. 은 ∈ℕ 의 상계이므로
≤ ≤ 즉 ∈ 이다. 마찬가지로 ∈ 이다. 임의의 에 대하여 은
∈ℕ 의 상계이므로 임의의 에 대하여 ≤ 이다. 따라서 은 ∈ℕ 의
하계이므로 ≤ 이다.
적당한 자연수 에 대하여 이라고 가정하자. 그러면 ∉ 이다. 그런
데 이므로 이것은 모순이다.
1. 실수계의
디자이너앨리스
성질 335
22. (1) ∈int 라고 하자. 그러면 ⊆ 인 양수 가 존재한다. 이때 ⊆ 이므로
⊆ 이다. 따라서 는 의 내점이므로 ∈int 이다. 이로써
∈int ⇒ ∈int 임을 증명하였으므로 int ⊆ int 가 성립한다.
(2) ∈int 라고 하자. 그러면 ∈ ⊆ 인 양수 가 존재한다. 따라서 ∈
이다.
(3) int 는 개집합이므로 intint int 이다.
(4) ∈int ∩ 라고 하자. 그러면 ⊆ ∩ 인 양수 가 존재한다. 동일한
에 대하여 ⊆ 이고 ⊆ 이므로 ∈int 이고 ∈int 이다. 따라서
∈int ∩int 이다. 이로써 int ∩ ⊆ int ∩int 를 증명하였다. 이제 포함관계
가 반대로 성립함을 증명하자. ∈int ∩int 라고 하자. 그러면 ∈int 이고
∈int 이다. 이때 양수 이 존재하여 ⊆ 이고 양수 가 존재하여
⊆ 이다. min 라고 하면 ⊆ 이고 ⊆ 이므
로 ⊆ ∩ 이다. 따라서 ∈int ∩ 이다. 이로써 int ∩ ⊇
int ∩int 를 증명하였다.
23. (1) 우함수
(2) 기함수
(3) 우함수
(4) 우함수
(5) 우함수도 아니고 기함수도 아니다.
(6) 기함수
(7) 우함수
(8) 우함수
(9) 우함수
24. 함수 ℝ → ℝ 가 주어졌다고 하자.
,
라고 하면 는 우함수이고 는 기함수이다. 또한 이다.
25. 가 에서 유계가 아닌 경우에는 (1), (2), (3)이 자명하게 성립한다. 또한 가 에서 유
계가 아닌 경우에는 (3)이 자명하게 성립한다. 따라서 와 가 에서 유계라고 가정하자.
(1) ∈ ∈ 이므로 가 성립한다.
(2) ∈ ∈ ∈ 이므로
가 성립한다.
(3) 연습문제 1-17에 의하여 성립한다.
26. (1) 만약 ⋯ 이거나 ⋯ 인 경우는 부등식이 당연히
≤
이 성립한다. 이제
,
라고 하자. ≤ 이므로 임의의 에 대하여
≤
연
습
이므로 문
제
풀
이
≤
를 얻는다. 양변에 를 곱하고 양변을 로 나누면
≤
를 얻는다. 따라서
≤
≤
≤
≤
1. 실수계의
디자이너앨리스
성질 337
이므로 양변을 로 나누면 원하는 부등식을 얻는다.
II 실수열의 극한
연
1. (1) 습
문
(2) 제
풀
(3) 이
(4)
4. (1) 완비이다.
(2) 완비가 아니다.
(3) 완비가 아니다.
(4) 완비이다.
(5) 완비이다.
(6) 완비이다.
6. 등호를 사용했다는 것 자체가 이미 극한의 유일성을 가정한 것이다.
7.
2. 실수열의
디자이너앨리스
극한 339
(6) 유계이다.
13. (1)
(2)
(3)
(4)
14. (1)
(2)
(3)
(4)
(5)
(6)
15. (1) , , , , , , , , ,
(2) , , , ,
(3) , , , , , , , , ,
(4) , ,
16. (1) 양수 에 대하여 인 자연수 을 택하면 일 때
.
(2) 양수 에 대하여 인 자연수 을 택하면 일 때
.
(3) 양수 에 대하여 인 자연수 을 택하면 일 때
.
(4) 양수 에 대하여 인 자연수 을 택하면 일 때
≤
.
(5) 양수 에 대하여 인 자연수 을 택하면 일 때
.
(6) 양수 에 대하여 인 자연수 을 택하면 일 때
≤
2. 실수열의
디자이너앨리스
극한 341
이므로 lim
이다.
→∞
19. (1) 에 수렴
(2) 에 수렴
(3) 에 수렴
(4) 에 수렴
(5) 에 수렴
(6) 에 수렴
(7) 양의 무한대에 발산
(8) 발산, ≤ ≤ 인 모든 를 집적점으로 가진다.
(9) 발산, 모든 실수를 집적점으로 가진다.
(10) 발산, 위로 유계가 아니지만 을 집적점으로 가진다.
20. (1) max
(2) max
(3) min
(4) min
일반적으로 양수 , , , ⋯ , 에 대하여
lim max ⋯ ,
→∞
lim
→∞
min ⋯
이 성립한다.
21. 이라고 하자. 그러면
lim lim
→∞ →∞
22. 이라고 하자. 그러면
이다. 그런데 ≥ 일 때 은 단조증가하고 에 수렴하므로
≤
이라고 가정하면
연
습
이다. 따라서 수학적 귀납법에 의하여 임의의 자연수 에 대하여 문
제
풀
이
이다.
24. 수학적 귀납법을 이용하면 임의의 자연수 에 대하여
≤ ≤ ≤
이 성립함이 증명된다. 따라서 단조수렴정리에 의하여 〈 〉과 〈 〉은 수렴한다. 〈 〉
의 극한을 , 〈 〉의 극한을 라고 하면
lim lim
→∞ →∞
이므로 이 방정식을 풀면 를 얻는다.
25. 의 모든 집적점이 의 원소가 됨을 증명하자. 가 의 집적점이라고 하자. 그리고
라고 하자.
먼저 ∈ 인 ∈ 가 존재한다. 은 〈 〉의 집적점이므로 에 수
렴하는 〈 〉의 부분수열이 존재한다. 따라서 인 이 존재한다. 이제 자
연수 에 대하여 〈 〉의 첨수 가 임의로 주어졌다고 하자. 그러면
∈
인 ∈ 가 존재한다. 는 〈 〉의 집적점이므로 에 수렴하는 〈 〉의 부
분수열이 존재한다. 따라서 이고 인 이 존재한다.
2. 실수열의
디자이너앨리스
극한 343
이로서 임의의 자연수 에 대하여 가 귀납적으로 정의되었다. 즉 부분수열 〈 〉가 귀
납적으로 정의되었다.
〈 〉의 정의에 의하여 임의의 자연수 에 대하여
≤
이다. 따라서
lim
→∞
,
.
(2) 명백히 ≤ ≤ ≤ 이다. 이제 자연수 에 대하여
≤ ≤
이 성립한다고 가정하자. 위 부등식으로부터
≤
⇒
≤
⇒ ≤
⇒ ≤
⇒ ≤
⇒ ≤
를 얻으며 같은 방법으로
2. 실수열의
디자이너앨리스
극한 345
≥
를 얻는다. 따라서 수학적 귀납법에 의하여 임의의 자연수 에 대하여
≤ ≤
가 성립한다.
(3) ≤ 라는 사실과 이차함수의 성질을 이용하면
≤
⇒ ≤
⇒ ≥
⇒ ≥
⇒ ≥
이므로 〈 〉은 단조증가이다. 같은 방법으로 ≥ 라는 사실과 이차함
수의 성질을 이용하면 ≤ 이므로 〈 〉은 단조감소이다.
(4) 단조수렴정리에 의하여 〈 〉과 〈 〉은 수렴한다. 〈〉의 극한을 ,
〈 〉의 극한을 라고 하면
lim
, lim
→∞
→∞
lim
lim
→∞ →∞
이므로
,
이다. 와 는 모두 양수이므로 이 방정식을 풀면
를 얻는다.
(5) 〈 〉과 〈 〉이 동일한 값에 수렴하므로
lim
.
→∞
∈
∈ℕ ∈ℕ
∈ℕ
2. 실수열의
디자이너앨리스
극한 347
이므로 〈 〉은 순증가하고 조임정리에 의하여 에 수렴한다.
이 성립한다.
38. 〈 〉의 상극한을 , 〈 〉의 상극한을 라고 하자.
만약 이라면 〈 〉은 에 수렴하므로 도 에 수렴하게 되어 부등식이 자명하
게 성립한다. 인 경우도 마찬가지로 부등식이 자명하게 성립한다.
이제 ≠ 이라고 하자. 〈 〉과 〈 〉의 모든 항이 양수이므로 와 는 양수이다.
결론에 반하여
lim
→∞
이 성립한다. 이 식을 변형하면
lim
→∞
39.
lim lim sup ≥
→∞ →∞
lim in f ≥
→∞
lim in f ≥
→∞
lim .
→∞
40. 양수 이 임의로 주어졌다고 하자. 먼저 〈 〉이 에 수렴하므로 자연수 이 존재하여
연
일 때 습
문
제
풀
이
이 성립한다. 이제
은 고정된 수이므로
을 만족시키는 자연수 가 존재한다. max 라고 하자.
임을 가정하면
≤
이 성립한다.
41. 수열 〈ln 〉이 ln 에 수렴하므로 다음을 얻는다.
lim lim exp ln
→∞ →∞
exp lim ln
→∞
2. 실수열의
디자이너앨리스
극한 349
exp lim
→∞
ln
exp ln
42. 집합 ℚ∩ 은 가부번이므로 일대일 대응 ℕ → ℚ∩ 가 존재한다. 이때
으로 정의된 수열 〈 〉은 의 모든 점을 집적점으로 가진다.
실제로 이러한 수열을 다음과 같이 구체적으로 정의할 수도 있다.
, , , , , , , , , , , ⋯
이 수열은 분모가 작은 것부터 차례대로 나열한 것이다. 에 속하는 모든 유리수를
취하는 수열이 된다.
한편 이 문제는 수열의 집적점의 개수가 비가산이므로 수열의 부분수열들의 모임이 비가산
집합임을 의미하기도 한다.
43. 먼저 ≤ 이다. 이제 이하의 임의의 자연수 에 대하여
≤ ⋯
가 성립한다고 가정하면
≤ ⋯
이 성립하므로 제 2 수학적 귀납법에 의하여 임의의 자연수 에 대하여
≤ ⋯
이 성립한다. 그런데
≤ ⋯ ≤ ⋯ ≤
이므로 〈 〉은 유계이다. 한편 ≥ 이므로 〈 〉은 단조증가
하는 수열이다. 따라서 단조수렴정리에 의하여 〈 〉은 수렴한다.
44. 〈 〉이 에 수렴하고 〈 〉의 상극한이 라고 하자. 수열의 집적점의 성질에 의하여
부분수열 에 수렴하는 부분수열 〈 〉가 존재한다. 이때
lim
→∞
lim
→∞
2. 실수열의
디자이너앨리스
극한 351
자. 그러면 에 수렴하고 모든 항이 의 원소인 수열 〈 〉이 존재한다. 이때 〈 〉의
모든 항은 의 원소이고 가 완비이므로 〈 〉의 극한 는 의 원소가 된다. 따라서
∈ 이다. in f ∈ 라는 사실도 같은 방법으로 증명된다.
(⇐ ) 의 부분집합이 공집합이 아니고 유계일 때마다 그 집합의 상한과 하한이 의 원소
가 된다고 가정하자. 그리고 〈 〉이 모든 항이 의 원소인 코시 수열이라고 하자. 그러
면 〈 〉은 ℝ 에서 극한 를 가진다. 한편 〈 〉은 단조인 부분수열 〈 〉를 가진다.
III 실함수의 극한
이 성립하므로 ∘ 는 평등연속이다.
7. 함수 는 에서 단조이고 유계이므로 에서 우극한을 가지며 에서 좌극한을 가진
다. 이때
lim , lim
→ →
3. 실함수의
디자이너앨리스
극한 353
임을 가정하면
≤
이 성립한다.
(3) 양수 이 임의로 주어졌다고 하자. min 이라고 하고
임을 가정하면
≤
≤ ≤
이 성립한다.
(4) 양수 이 임의로 주어졌다고 하자. min 이라고 하고
임을 가정하면
≤
≤
이 성립한다.
(5) 양수 이 임의로 주어졌다고 하자. min
이라고 하고
임을 가정하면
≤ ≤ ≤
이 성립한다.
11. (1) 양수 가 임의로 주어졌다고 하자. 이라고 하고
임을 가정하면
이 성립한다.
12. (1) 양수 이 임의로 주어졌다고 하자. 이라고 하고 임을 가정하면
이 성립한다.
(2) 양수 이 임의로 주어졌다고 하자.
이라고 하고 임을 가정하면
≥
이 성립한다.
3. 실함수의
디자이너앨리스
극한 355
(3) 양수 이 임의로 주어졌다고 하자. max 이라고 하고 임을 가정
하면
≤ ≤
이 성립한다.
(4) 양수 이 임의로 주어졌다고 하자. max
이라고 하고 임을 가정
하면
≤ ≤
이 성립한다.
13. (1) 가우스함수의 성질에 의하여
≤
이므로
lim
→
→
→
≤ lim ≤ lim
이다. 따라서 조임 정리에 의하여 문제의 등식을 얻는다.
(2) 양수 이 임의로 주어졌다고 하자. 그리고 라고 하자. 라고 하면
이므로
이라고 하면 ∈ℕ 은 유한부분덮개를 갖지 않는 개덮개가 된다.
(3) 컴팩트가 아니다.
,
이라고 하면 ≥ 은 유한부분덮개를 갖지 않는 개덮개가 된다.
(4) 컴팩트가 아니다.
이라고 하면 ∈ℕ 은 유한부분덮개를 갖지 않는 개덮개가 된다.
(5) 컴팩트가 아니다. 이라고 하면 각 는 딱 하나의 자연수만을 포
함한다. 따라서 ∈ℕ 은 진부분덮개를 갖지 않는 개덮개가 된다.
(6) 컴팩트이다. 증명은 (1)과 동일하다.
16. (1) 평등연속이다.
(2) 에서 연속이 아니다.
(3) 정수인 점에서 연속이 아니다.
(4) 정수인 점에서 연속이 아니다.
17. 양수 이 임의로 주어졌다고 하자. 이라고 하고 임을 가정하면
3. 실함수의
디자이너앨리스
극한 357
≤
이므로 는 에서 평등연속이다.
18. 가 임의로 주어진 실수라고 하자. 그러면 에 수렴하는 유리수열 〈 〉이 존재한다. 이
때 수열판정법에 의하여
lim lim
→∞ →∞
이 성립한다.
19. 의 원소 가 임의로 주어졌다고 하자. 그리고 수열 〈 〉을 ,
으로 정의하자. 그러면 임의의 자연수 에 대하여 이다.가
에서 연속이므로 수열판정법에 의하여
lim lim
→∞ →∞
if
if ≥
라고 하자. 그러면 는 과 에서 각각 평등연속이지만 ∪ 에서 연속이 아니다.
3. 실함수의
디자이너앨리스
극한 359
다. 즉 〈 〉의 유계인 부분수열 〈 〉가 존재한다. 〈 〉은 유계이므로 수렴하는 부분
다. 여기서
lim lim
lim
→∞ →∞ →∞
3. 실함수의
디자이너앨리스
극한 361
는 연결집합이다. 만약 가 단원집합이 아니라면 연습문제 3-60에 의하여 는 구
간이다. 의 왼쪽 끝점을 , 의 오른쪽 끝점을 라고 하자. 는 단원집합이 아니므로
이다. , 라고 하자. 가 연속이므로 는 왼쪽
끝점이 이고 오른쪽 끝점이 인 구간이 된다.
(⇐ ) 가 단조가 아니라고 가정하자. 그러면 인 세 실수 , , 이 존재
하여 이거나 이 된다. 일반성을 잃지 않
고 이라고 하자. 그러면 ∞ 는 연결집합이다. 여
기서 ∈ , ∉ , ∈ 이므로
∈ , ∉ , ∈
가 성립한다. 그런데 이므로, 만약 가 연결집합이라면 연습문제 3-59
에 의하여 ∈ 가 되어야 한다. 그러나 ∉ 이므로 는 연결집합
이 아니다.
40. 양수 이 임의로 주어졌다고 하자. 가 평등연속이므로 양수 가 존재하여 일
때마다 이 성립한다. lim 이므로 자연수 이 존재하여
일 때마다 가 성립한다. 따라서 동일한 자연수 에 대하여 일
때마다 이 성립한다.
※ 참고로 가 평등연속이라는 조건을 연속이라는 조건으로 바꾸면 이 명제는 참이 아니
다. 예를 들어
, ,
이라고 하면 는 연속이고 lim 이지만
lim lim
→∞ →∞
이다.
41. 양수 이 임의로 주어졌다고 하자. 먼저 양의 무한대에서 가 에 수렴하므로 양수 가
존재하여 ≥ 일 때마다 이 성립한다. 또한 는 에서 연속이므로
는 에서 평등연속이다. 따라서 양수 가 존재하여 인 임의의
∈ 에 대하여 이 성립한다.
이제 ∈ ∞ 이고 라고 가정하자. 만약 ∈ 이면 당연히
이 성립한다. 만약 ∈ ∞ 이면
43. (1) , ∈ℤ
(2)
(3) ,
(4)
44. (1) ,
(2) 수평 점근선을 갖지 않는다.
(3)
(4) 수평 점근선을 갖지 않는다.
45. (1)
(2)
(3)
(4) 사선점근선을 갖지 않는다.
46. ∈ ∞ 라고 하자. 그리고 양수 이 임의로 주어졌다고 하자. 함수 가 연속이므로 양
수 가 존재하여 일 때마다 이 성립한다. 동일한 양수 에
대하여 라고 하면
3. 실함수의
디자이너앨리스
극한 363
≤
이므로 는 에서 연속이다. 는 ∞ 의 임의의 점이므로 는 ∞ 에서 연속이다.
47. 양의 무한대와 음의 무한대에서 가 에 수렴하므로, 양수 가 존재하여 일 때마다
이 성립하며, 또한 음수 가 존재하여 일 때마다 이 성립한
다. 는 에서 연속이므로 에서 유계이다. 에서 의 최댓값을 이라
고 하자. 그리고 max 이라고 하자. 그러면 임의의 실수 에 대하여
≤ 이므로 는 ℝ 에서 유계이다.
이제 가 ℝ 에서 극댓값 또는 극솟값을 가짐을 증명하자. 만약 가 ℝ 에서 상수함수라면
는 당연히 극댓값과 극솟값을 가진다. 이제 가 상수함수가 아니라고 가정하자. 그러면
sup ℝ 이거나 in f ℝ 이다. sup ℝ 이라고 가정하자. 는 양의 무
한대와 음의 무한대에서 에 수렴하므로 양수 가 존재하여 인 임의의 에 대하
여
sup ℝ
이 성립한다. 다시 말하면 폐구간 의 임의의 점 에 대하여
≥ sup ℝ
이 성립한다. 는 에서 연속이므로 적당한 점 ∈ 에서 최댓값을 가진
다. 또한
≥ sup ℝ
이다. 그런데 밖의 임의의 점 에 대하여
sup ℝ
이므로 는 ℝ 에서 의 최댓값이 된다. 최댓값은 극댓값이다.
48. (1) 이므로 이다. 또한
이므로 임의의 에 대하여 이다.
이제 양수 이 임의로 주어졌다고 하자. 가 에서 연속이므로 양수 가 존재하여
일 때마다 이 성립한다. 동일한 양수 에 대하여 라고 가
정하자. 그러면 이 성립한다. 따라서 는 평등연속이다.
(2) 이라고 하자. 임의의 자연수 에 대하여
⋯ ⋯
이므로
⋯ ⋯
이므로
이다. (수학적 귀납법을 이용하면 논리적으로 증명된다.)
즉 임의의 양의 유리수 에 대하여 이다. 한편
연
이므로 임의의 유리수 에 대하여 이 성립한다. 습
문
이제 무리수 가 임의로 주어졌다고 하자. 그러면 에 수렴하는 유리수열 〈 〉이 존재한 제
풀
다. 가 연속이므로 수열판정법에 의하여 이
3. 실함수의
디자이너앨리스
극한 365
50. 실수 가 임의로 주어졌다고 하자. 그리고 자연수 이 임의로 주어졌다고 하자.
이므로
인 자연수 이 존재한다. 를 만족시키는 가장 작은 정수 를 택하자.
그러면
이다. 여기서
이라고 하면 이항정리에 의하여 적당한 정수 , 가 존재
하여
가 된다. 따라서 ∈ 이다. 이러한 방법으로 구성된 수열 〈 〉은
에 수렴한다. 또한 임의의 에 대하여 ∈ 이다. 따라서 수열판정법에 의하여
lim lim
→∞ →∞
이 성립한다.
51. (1) 명백히 임의의 ∈ 에 대하여 ≤ ≤ 이므로 는 에서 유
계이다. 또한 는 단조이므로 의 임의의 점에서 좌극한과 우극한을 가진다. 따라서
가 의 점 에서 불연속이라면 가 성립한다. 이제 자연수 에
대하여
∈
이라고 정의하자. 명백히 은 유한집합이다. 왜냐하면, 만약 이 무한집합이라면 는
유계가 아닌 것이 되어버리기 때문이다. 한편
∞
3. 실함수의
디자이너앨리스
극한 367
이 성립한다. 따라서 〈 〉은 코시 수열이므로 수렴한다.
다음으로 〈 〉의 극한이 수열 〈 〉의 선택에 관계없이 유일함을 증명하자. 〈 〉
이 에 수렴하고 ≠ 이며 모든 항이 의 정의역에 속하는 임의의 수열이라고 하자. 또
한 양수 이 다시 임의로 주어졌다고 하자. 그러면 양수 가 존재하여 이
고 일 때마다 이 성립한다. 여기서 적당한 자연수
이 존재하여 일 때마다 가 성립한다. 마찬가지로 적당한 자연수
가 존재하여 일 때마다 가 성립한다. max 라고 하
고 이라고 하면 , 이므로 이 성립한
다. 즉 lim 이므로 〈 〉과 〈 〉은 동일한 값에 수렴한다.
i f is odd
i f is even
으로 정의하면 lim , lim 이므로 〈 〉은 수렴하지 않는다.
[(ⅰ)⇒ (ⅲ)] 양의 무한대에서 가 에 수렴한다고 하자. 그리고 양수 이 임의로 주어졌
3. 실함수의
디자이너앨리스
극한 369
이 성립한다.
다음으로 ≠ 인 경우를 증명하자. 라고 하면 는 연속이고
lim
→ ∞
이므로
lim
lim
→ ∞ → ∞
이다. 따라서
lim
→ ∞
가 성립한다.
58. (1) 양수 이 임의로 주어졌다고 하자. 라고 하자. 임을 가정하면
≤
이므로 는 평등연속이다.
(2) ∈ 인 을 택한다. 그리고 자연수 에 대하여 이라고 정의한
다. 명백히 ∈ 이면 ∈ 이다. 이로써 수열 〈 〉이 귀납적으로 정의되
었다. 한편 임의의 자연수 에 대하여
≤
이 성립한다. 따라서 〈 〉은 축약수열이므로 수렴한다. 〈 〉의 극한을 라고 하자.
양수 이 임의로 주어졌다고 하자. 자연수 이 존재하여 일 때마다
이 성립한다. 따라서 일 때
≤
≤
이므로 이다.
이제 의 유일성을 보이자. ∈ 이고 가 성립한다고 가정하자. 그러면
≤ 인데 이므로 이다. 따라서
인 ∈ 는 유일하다.
59. 가 구간인 경우 명백히 ∈ 이고 인 임의의 , , 에 대하여 ∈ 가 성
립한다.
이제 역을 증명하자. 즉 ∈ 이고 인 임의의 , , 에 대하여 ∈ 가 성
3. 실함수의
디자이너앨리스
극한 371
자. 는 연결이므로 도 연결이다. 또한 ∈ 이고
∈ 이므로 ∈ 이다. 따라서 인 ∈ 가 존재한다.
IV 실함수의 미분
1. (1) 거짓
(2) 거짓
(3) 참
(4) 참
(5) 거짓
(6) 참
(7) 참
(8) 거짓
2. 다음 등식을 보라.
′ ,
″ ′
,
.
if ≤
′
if
따라서 ′은 연속이다.
11. 의 도함수는 다음과 같다.
if ≤
′ if
따라서 일 때 ′은 연속이 된다. 한편 미분 가능한 함수는 연속이므로
lim
→
′
를 만족시킨다. 양변에 를 곱하면
′
이 성립한다.
14. (1) 인 경우에는 당연히 sin sin ≤ 이다. ≠ 인 경우에는 평
4. 실함수의
디자이너앨리스
미분 373
균값 정리에 의하여 와 사이에 가 존재하여
sin sin
cos ≤
을 만족시킨다. 양변에 를 곱하면 문제의 부등식을 얻는다.
(2) ≠ 이면 평균값 정리에 의하여
를 만족시키는 가 과 사이에 존재한다. 따라서 를 얻는다. 또한
일 때에는 당연히 이다.
(3) 라고 하면 ′ 이다. ≠ 일 때 평균값 정리에
의하여 와 사이에 가 존재하여
을 만족시킨다. 이면 이므로 이다. 따라서
를 얻는다. 이면 이므로 이다. 따라서
가 성립한다.
15. (1) , 로피탈의 정리를 이용한다.
(2) , 로피탈의 정리를 이용한다.
(3) ln, 로피탈의 정리를 이용한다.
(4) , 로그를 취한 뒤 로피탈의 정리를 이용한다.
16. , 로그를 씌운 뒤 로피탈의 정리를 이용한다.
ln
17. ″, 로피탈의 정리를 이용한다.
18. 가 에서 연속임은 이미 3-17에서 증명하였다. 에서 의 좌도함수는 ′ 이고
우도함수는 ′ 이므로 에서 는 미분 불가능하다.
19. (1) ′
(2) ′ cos ′ cos
′
(3) ′ ′
(4) ′ ′ln ′ sin
20. ′ 이므로 ′ 이다. 일 때 ′ 이므로 에서 접선의
21. ′ lim lim
→ →
′ lim
→
22. ′
if
if ≤
, ″
if
if
sin
23. (1) ′ lim lim sin
→ →
(2) ≠ 일 때 ′ sin cos 이다. 연
습
문
제
,
풀
이
이라고 하면 lim lim 이지만 lim ′ ≠ lim ′ 이므로 ′은
에서 연속이 아니다.
24. 의 도함수를 구하면
sin if ≠
′
if
이다.
이라고 하면 lim 이지만 lim ′ ∞ 이므로 ′은 의 근방에서 유계가 아
니다.
25. 임의의 양수 에 대하여 이라고 하면 일 때
≤
4. 실함수의
디자이너앨리스
미분 375
을 얻는다.
27. 라고 하자. 그러면 ′ 이므로 인 이 에
존재한다. 한편 ″ 이므로 인 가 에 존재한다. 따라서 는
에서 최솟값을 가진다. 여기서 가 ∈ 에서 최솟값을 가진다고 하자. 그러면
′ 이다. 이때 ′ 이 된다.
28. 도함수는 중간값 성질을 가지므로 에서 ′의 부호는 일정하다. 일반성을 잃지 않고
임의의 ∈ 에 대하여 ′ 이라고 가정하자. 그러면 는 에서 증가하는
함수이다. 한편 와 의 부호가 다르므로 연속 함수의 중간값 정리에 의하여 와
사이에 인 가 존재한다. 는 증가 함수이므로 그러한 는 유일하다.
29. 일반성을 잃지 않고 라고 하자. 주어진 조건에 의하여 이면 ′ ≠ 이
고 ≠ 이다. 그리고 함수 → ℝ 를 로 정의하자. 그러면 임의의
∈ 에 대하여 ≠ 이므로 는 잘 정의된 함수이다. 여기서
′ ′
′ ≠
이므로 는 증가만 하거나 감소만 한다. 만약 가 단조가 아니라면 도함수의 중간값 성질
에 의하여 ′ 인 ∈ 가 존재해야 하기 때문이다. 이제 일반성을 잃지 않고
가 증가 함수라고 하자. 그러면 다음이 성립한다.
lim ∞ , lim ∞
→ →
30. 일반성을 잃지 않고 라고 하자. 가 에서 상수함수인 경우는 자명하다. 따라서
가 상수함수가 아니라고 가정하자. 그러면 의 한 점 에서 는 극값을 가진다. 따
라서 ′ 이다. ′ , ′ 이므로 롤의 정리에 의하여 ∈ 가 존
재하여 ″ 이다. 마찬가지로 ∈ 가 존재하여 ″ 이다. 끝으로
과 는 서로 다른 점이므로 이 두 점 사이에 가 존재하여 이다.
31. (1) 아래로 볼록한 모양이다. 즉 인 임의의 ∈ 에 대하여 위의 그래프 위
의 두 점 , 를 이은 선분이 의 그래프의 위쪽에 놓이게 된다.
(3) 부등식 ≤ 를 변형하면
≤
가 된다. 여기서 , , 라고 하면
≤
풀
≤ (1) 이
이 성립함을 보이자. 인 경우 은 , , 중 하나의 값을 가질 수 있다. 이 세 경
우 모두 자명하게 부등식이 성립한다.
이제 자연수 과 ≤ ′ ≤ 인 정수 에 대하여
′ ′
≤
′ ′
가 성립한다고 하자. 이 ≤ ≤ 을 만족시키는 정수라고 하자. 그러면 ≤
또는 ≤ 이 성립한다. ≤ 인 경우는
≤
≤
가 성립한다. ≤ 인 경우는 위 부등식의 와 를 바꾸어 쓰면 동일한 부등식
이 증명된다. 이로써 부등식 (1)이 증명되었다.
이제 ≤ ≤ 인 실수 가 임의로 주어졌다고 하자. 분모가 의 자연수 제곱인 분수들의
모임은 ℝ 에서 조밀하므로, 즉 집합
4. 실함수의
디자이너앨리스
미분 377
lim
, ≤ ≤
→∞
을 만족시킨다. 이때 부등식 (1)에 의하여 임의의 에 대하여
≤
가 성립한다. 는 연속이므로 양변에 → ∞ 인 극한을 취하면
≤
를 얻는다. 따라서 는 볼록이다.
33. 볼록함수에 대한 명제만 증명하자.
(⇒ ) 가 에서 볼록이라고 가정하자. 그리고 라고 하자. ,
일 때
≤
를 얻는다. 우변에 → 인 극한을 취하면
≤ ′
를 얻는다. 좌변에 → 인 극한을 취하면
′ ≤ ′
를 얻는다. 따라서 ′이 단조증가이므로 ″은 음이 아닌 값을 가진다.
(⇐ ) ″이 음이 아닌 값을 가지면 ′은 단조 증가하는 함수이다. 이제
라고 하면 이고
′ ′
이므로 ′ ≥ 이다. 따라서 는 에서 단조증가이므로 임의의 ∈ 에 대
하여
≤
가 성립한다.
34. 결론에 반하여 ″ 이라고 가정하자. 그러면
′ ′
″ lim
→
이므로 양수 가 존재하여 일 때마다
′ ′
이 성립한다. 라고 하면 인 ∈ 에 대하여 ′ 이고
인 ∈ 에 대하여 ′ 이다. 즉 에서 는 순증가하므로 ∈
에 대하여 이다. 이것은 가 에서 극솟값을 갖는 것에 모순이다.
i f ∈ℚ
36.
if ∉ℚ
37. 이라고 하자. 그러면 양수 이 존재하여 을 만족시키는 임의의
∈ 에 대하여
′
연
습
이 성립한다. 이때 평균값 정리에 의하여 ∈ 이 존재하여 문
제
풀
′ 이
을 만족시킨다. 다시 min 인 양수 가 존재하여 인 임
의의 ∈ 에 대하여
′
′
4. 실함수의
디자이너앨리스
미분 379
′ ′
이 성립한다. 또한 ′ → ′ 이므로 자연수 이 존재하여 일 때마다
′ ′ ,
을 만족시킨다. 따라서 임을 가정하면
′ ′ ≤ ′ ′ ′ ′
이 성립하므로 lim ′ ′이다.
→
를 얻는다.
39. ∈ 가 임의로 주어졌다고 하자. 그리고 ∈ 이며 ≠ 라고 하자. 그러면 테
일러의 정리에 의하여 와 사이에 가 존재하여
′ ″
이 성립한다. 라고 하면 위 식은
′ ″
가 된다. 따라서
′ ″
이므로 양변을 로 나누어 변형하면
′ ″
≤ ″ ≤
가 성립한다. 위 부등식은 임의의 ∈ 에 대하여 성립하므로
′ ≤ in f ∈
가 성립한다.
40. 는 다항 함수이므로 명백히 임의 횟수로 미분 가능하다. 더욱이 는 차 다항 함수이므
을 얻는다.
42. 문제의 조건에 의하여 ′은 에서 평등연속이다. 따라서 주어진 양수 에 대하여 양
수 가 존재하여 이고 ∈ 일 때마다
′ ′
이 성립한다. 평균값 정리에 의하여 와 사이에 가 존재하여
′
를 만족시킨다. 이때 이고 ′ ′ 이므로,
이고 ∈ 일 때마다
′
이 성립한다. (참고로 이러한 부등식 조건을 만족시킬 때 는 에서 평등미분 가능하
다고 말한다.)
43. 가 임의로 주어진 양수라고 하자. 그리고 ∞ 에서
sup , sup ′ , sup ″
라고 하자. 이면 테일러의 정리에 의하여 적당한 ∈ 가 존재하여
′ ″
를 만족시킨다. 따라서
′ ≤ ≤
4. 실함수의
디자이너앨리스
미분 381
를 얻는다. 양변을 제곱하면
≤
를 얻는다. 이때 는 유계이고 → ∞ 일 때 → 이므로 → 이다. 따라서
→ ∞ 일 때 ′ → 을 얻는다.
44. 문제의 조건에 의하여
′ lim lim
→ →
⋅ lim ′
→
을 얻는다.
45. (ⅰ) 가 보다 크고 보다 작은 유리수라고 하자. 그리고 이며 와 가 서로소인
자연수라고 하자. 그러면 에 수렴하고 모든 항이 에 속하는 무리수열 〈 〉이 존
재한다. 이때
lim
→∞
lim ∞
→∞
이므로 는 에서 미분 가능하지 않다.
(ⅱ) 가 보다 크고 보다 작은 무리수라고 하자. 그러면 에 수렴하고 모든 항이
에 속하는 무리수열 〈 〉이 존재한다. 이때
lim
→∞
이므로
lim
→∞
≥
이다. 따라서 극한의 수열 판정법에 의하여 는 에서 미분 불가능하다.
V 리만 적분
1. (1) 참 연
습
(2) 거짓, 5-27을 참조하라. 문
제
(3) 거짓 풀
이
(4) 거짓
(5) 참, 상수함수는 상합과 하합이 같다.
(6) 거짓, 5-33을 참조하라.
(7) 참
(8) 참, 다항함수는 연속 함수이다.
(9) 거짓, 불연속인 점의 개수가 무한이더라도 불연속 점들의 집합이 측도 제로이면 리만
적분 가능하다.
(10) 거짓, 유계인 함수일지라도 유계가 아닌 구간에서 적분할 때에는 특이적분을 해야 한
다.
i f ∈ℚ∖
2.
otherwise
3. 집합의 분할은 서로소인 집합들의 모임이지만 리만 적분에서 구간의 분할은 그 원소들이
서로소가 아니다.
적분은 도형의 넓이의 개념을 수학적으로 정의한 것이다. 이때 구간의 분할은 비록 서로소
는 아닐지라도 각 성분구간이 서로 겹치는 부분(교집합)의 체적(길이, 넓이, 부피)이 0이므
로 넓이를 계산하는 관점에서는 서로소와 같다고 볼 수 있다.
4. 리만 적분 가능할 필요충분조건은 리만 합이 수렴하는 것이다.
5. 리만 적분 가능하면 그 적분값을 구분구적법으로 계산할 수 있지만 구분구적법으로 계산하
는 극한이 수렴할지라도 적분 불가능할 수 있다.
6. 부정적분은 본래 도함수의 역연산이지만 정적분을 계산하는 데에 유용하게 사용된다. 특히
적분 구간을 변수로 갖는 함수는 피적분함수의 부정적분이 된다.
디자이너앨리스
5. 리만 적분 383
7. (1) 치환 적분법에 의하여 다음을 얻는다.
.
8. (1) lim
→∞
lim
→∞
(2) lim
→∞
(3) lim
→∞
lim
→
lim
→
연
습
lim 문
→ 제
풀
이
11. (1)
(2)
(3)
12. ,
13. 다음 풀이에서 는 모두 상수이다.
(1)
sin sin
cos
sin
cos
cos
이므로
sin
sin
cos
sin cos .
(2) ln
ln
ln
ln .
디자이너앨리스
5. 리만 적분 385
(3) ln ln
ln
ln ln
ln
ln ln ln
ln
⋮
ln ln ln
ln ⋯
P ln
.
(4)
.
14. 적분 가능하다. 양수 이 임의로 주어졌다고 하자. 여기서 이라고 해도 일반성을 잃
지 않는다. 이제 이라고 하자. 가 에서 연속이므로 의 분할
이 존재하여
을 만족시킨다. 그리고 가 에서 연속이므로 의 분할 가 존재하여
을 만족시킨다. 을 구간 의 한 분할이라고 하면 ≤ ≤ 이므로
≤ × × ≤
이 성립한다. ∪ ∪ 라고 하면 는 의 분할이 된다. 이때
이므로 는 에서 리만 적분 가능하다.
15. 구간 에서 의 상한을 , 의 하한을 이라고 하자. 그리고 양수 이 임의로 주
어졌다고 하자. 그러면 인 양수 가 존재한다. 또한 의 분할 이 존
재하여 연
습
문
제
을 만족시킨다. ∪ 라고 하면 는 의 분할이 된다. 여기서 풀
이
≤
이 성립하므로 는 에서 리만 적분 가능하다.
16. 일반성을 잃지 않고 가 단조 증가라고 하자. 분할 를
∈ℕ ≤ ∪
이라고 하면
,
이다. 따라서 다음을 얻는다.
≤
디자이너앨리스
5. 리만 적분 387
를 만족시킨다. 여기서 는 , 가 될 정도로 작다고 가정하여도 일반성을
잃지 않는다. 이 부등식을 변형하면
≥
를 얻는다. 이제 의 분할 를 라고 하자. 그러면
in f
in f in f
≥ in f
≥ ⋅
이므로
≥
을 얻는다.
19. 절댓값 함수는 연속이며
max ,
min
이므로 와 는 에서 적분 가능하다.
20. 결론에 반하여 적당한 ∈ 에 대하여 ≠ 이라고 가정하자. 증명의 편의를 위하
여 ≠ , ≠ 라고 하자. ( 이거나 인 경우의 증명도 비슷하다.) 가 연속이므
로 양수 가 존재하여 일 때마다
를 만족시킨다. 여기서 는 , 가 될 정도로 작다고 가정하여도 일반성을
잃지 않는다. 이 부등식을 변형하면
≥
를 얻는다. 함수 → ℝ 을 다음과 같이 정의하자.
i f ≥
i f
i f otherwise
이므로 모순이다.
21. 양수 이 임의로 주어졌다고 하자. 가 양수이고 가 적분 가능하므로 의 분할
≤ ≤ 가 존재하여
을 만족시킨다. 따라서
연
습
문
제
풀
이
≤
이 성립한다. 여기서 sup , in f 이다.
또한 가 에서 적분 가능하므로 양수 가 존재하여 일 때마다
을 만족시킨다. min 이라고 하고 인 자연수 을 택하자. 그러면
인 임의의 자연수 에 대하여 ∈ℕ ≤ ≤ 은 폐구간
의 분할이 된다. 이러한 , , 에 대하여
≤
디자이너앨리스
5. 리만 적분 389
≤
이 성립한다.
23. 에서 의 상한을 이라고 하자. 일반성을 잃지 않고 가 와 에서는 연속이라
고 가정하자. 즉 의 내부에서만 불연속점을 가진다고 가정하자. 에서 가 불연
속인 점들의 집합을 라고 하자. 이제 양수 이 임의로 주어졌다고 하자. 그러면 유한 개
의 개구간 들이 존재하여 ⊆ ∪ 이고
∪
≤
연
이므로 ℝ 에서 의 특이적분의 주치는 에 수렴한다. 습
문
25. 함수 → ℝ 를 제
풀
이
′ ′ ′ ′
.
26. (1) 발산
(2) 수렴
(3) 수렴
(4) 수렴
(5) 수렴
(6) 수렴
(7) 발산
(8) 수렴
(9) 수렴
27. 구간 에서 를 다음과 같이 정의한다.
i f ∈ℚ
if ∈ℚ
이때 는 에서 적분 가능하지 않지만
디자이너앨리스
5. 리만 적분 391
→∞
lim
→∞
lim lim
→∞
이다.
28. 에서 의 적분값을 라고 하자. 이제 양수 이 임의로 주어졌다고 하자. 가
에서 리만 적분 가능하므로 분할 이 존재하여
이 성립한다. 가 에서 리만 적분 가능하므로 분할 가 존재하여
이 성립한다. ∪ 라고 하면 는 과 의 공통세련분할이 된다. 또한
≤
≤
이므로 는 에서 리만 적분 가능하다. 한편
≤ ≤
이므로
≤ ≤
인데 은 임의의 양수이므로
이다.
29. 연습문제 5-25의 라이프니츠 적분 공식에 의하여 다음을 얻는다.
⋅
⋅
.
30. 함수 → ℝ 를
라고 정의하면 는 연속이다. 이때 적분의 평균값 정리에 의하여 ∈ 이 존재하여
31.
이라고 하면 〈 〉은 단조 감소하는 수열이고 에 의하여 아래로 유계이
므로 수렴한다. 그 극한을 라고 하면
→∞ →∞
ln ln lim lim ln
lim
→∞
ln
ln
이다. 따라서 이다.
32. 양수 이 임의로 주어졌다고 하자. 그러면 ≥ 인 자연수 의 개수는 유한이다. 따라서
∈ ≥
은 유한집합이고 ⊆ ℚ 이다. 이제 D 라고 하자. 여기서 는 의 원소의 개수를 연
습
의미한다. 그리고 문
제
풀
이
을 만족시키는 의 분할 ≤ ≤ 를 택하자. 라고 하면
의 원소를 포함하고 있는 는 많아야 개 이하이다. 즉 sup ≥ 을 만족시키
는 는 많아야 개 이하이다. 또한 는 에 의하여 위로 유계이다. 따라서
sup
≤
⋅
⋅
이다. 그리고 는 에 의하여 아래로 유계이므로
≥
이다. 여기서
이므로 는 에서 리만 적분 가능하다.
33. 함수 → ℝ 를 연습문제 5-32에서 정의한 것이라고 하고 함수 를
if ≠
if
라고 하자. 그러면 가 유리수이고 일 때 이고 그 외에는
이므로
디자이너앨리스
6. 무한 급수 393
VI 무한 급수
(3) 참
(4) 거짓. 이라고 하면 〈 〉은 에 수렴하지만 은 발산한다.
(6) 참
2. 〈 〉이 유계이므로 양수 가 존재하여 임의의 에 대하여 를 만족시킨다. 이
때 임의의 에 대하여 이고 가 수렴하므로 양항급수의 비교
3. (1) 수렴
(2) 수렴
(3) 수렴
(4) 수렴
(5) 수렴
(6) 이면 수렴, ≤ 이면 발산.
(7) 수렴
(8) 수렴
(9) 발산
(10) 수렴
4. (1) ln
(2)
(3)
이므로
∞ ∞
≤
한편 만약
이라고 하면 은 수렴하지만 은 발산한다. 따라서 문제에서 양항급수라는 조건이
일 때마다 이 성립한다. 이때
≤
연
습
문
이므로 제
∞ ∞ 풀
≤
이
≤
∞ ∞ ∞
이 성립한다.
8. 임의의 자연수 에 대하여
∞
≤
≤
이므로 은 수렴한다.
이므로 은 수렴한다.
10. ≥ 일 때
디자이너앨리스
6. 무한 급수 395
이므로 교대 급수 판정법에 의하여 〈 〉은 수렴한다.
11. (1) 수렴
(2) 발산
⋯
×
이므로 은 수렴한다.
→∞
lim ln ⋯
ln ln ln
따라서 lim 이다.
→∞
15. ,
lim 라고 하자. 그러면 lim 이다. 또한
→∞ →∞
연
⋯ ≥ ⋯ 습
문
이므로 ≤ ≤ 이다. 따라서 lim 이고 제
→∞ 풀
이
lim
→∞
이다.
16. 일 때
이므로 에서 각 변을 적분하면
ln ln
을 얻는다. 따라서
ln ln
디자이너앨리스
6. 무한 급수 397
ln ln
이므로
ln ln
이고 이것을 변형하면
ln ln
이다. 따라서 〈 ln〉은 감소수열이다.
21. 수열 〈 〉을
디자이너앨리스
6. 무한 급수 399
≤ →
VII 함수열의 극한
연
습
문
이 성립한다. 그런데 멱급수의 계수는 유일하므로 임의의 에 대하여 제
풀
이
이다. 따라서 이 홀수일 때에는 이 되어야 한다.
4. (1) 실수 전체 구간
(2) 실수 전체 구간
(3)
5. ≠
6. (1) 평등수렴
(2) 점별수렴
(3) 평등수렴
(4) 점별수렴
(5) 점별수렴
(6) 점별수렴
7. (1)
(2)
(3)
(4)
8. (1)
(2)
7. 함수열의
디자이너앨리스
극한 401
(3)
∞ ∞
9. (1)
∞
⇒
⇒
⇒
∞ ∞
(2)
∞
(3)
∞
⇒
∞
⇒ ″
⇒ ′
ln
⇒ ln ln
ln if
⇒
if
∞
(4)
∞
⇒
∞ ∞
⇒ ′
∞
′
⇒
∞
′
⇒
⇒ ′
∞
⇒
∞
⇒
연
∞ ∞
습
문
⇒
제
풀
이
⇒
⇒
⇒ ln
⇒ ln
⇒ ′ ln .
∞ ∞
(6)
∞ ∞ ∞
⇒
∞
⇒
⇒
⇒
⇒
7. 함수열의
디자이너앨리스
극한 403
⇒ ln .
10. (1) 일 때 급수가 수렴하므로 아벨의 정리에 의하여 주어진 급수는 에서
평등수렴한다. 따라서 는 에서 연속이다.
∞ ∞
lim
→
.
(2) → ∞ 이므로 는 에서 평등수렴한다. 따라서 연속이
다.
∞
∞
∞
⇒
⇒
⇒
⇒ .
(3) 주어진 급수는 에서 평등수렴한다.
∞ ∞
⋯ .
(4) 주어진 급수는 에서 평등수렴한다.
∞ ∞
∞
.
가 성립한다.
12. 가 의 내점이라고 하자. 그러면 인 가 존재한다. 그런데 은 구간
lim
→∞
≤ lim
→∞
lim
→∞
lim
→∞
lim
→∞
연
습
문
제
풀
이
이 성립한다. 여기서 이 임의의 양수이므로 문제의 등식이 성립한다.
13. (1) ≔ sin라고 하고 양변에 sin 를 곱하면
sin
sin sin
cos cos
cos cos .
(2) ≔ cos라고 하고 양변에 sin 를 곱하면
sin
sin cos
sin sin
sin sin .
14. 먼저 ≔ sin, ≔ 이라고 하자.
(ⅰ) 연습문제 7-13에 의하여
cos cos
sin
이고 ∈ 이므로 는 유계이다.
7. 함수열의
디자이너앨리스
극한 405
이므로 은 평등수렴한다.
(ⅲ) lim lim 이다.
→∞ →∞
cos cos
sin
sin
이므로 sin는 유계이다. 그리고
→ 이며
도 수렴하므로
sin
아벨 판정법에 의하여
는 에서 평등수렴한다.
.
18. lim ≤ lim ≤ lim 이므로 수렴반경은 이다.
→∞ →∞ →∞
19. 라고 하자. 그리고 자연수 이 임의로 주어졌다고 하자. 이라고 하면
이다. 은 에서 연속이고 이므로 lim 이다. 따라서
→
인 가 존재하여 ≥ 이다. 즉
≥
이므로 〈 〉은 에서 평등수렴하지 않는다.
구간 를 이라고 하면 이다. ≔ max 이라고 하자. 그러
면 이므로 임의의 에 대하여 인 자연수 이 존재한다. 따라서
이면 임의의 ∈ 에 대하여
≤
이므로 〈 〉은 에서 평등수렴한다.
이므로 은 에서 평등수렴하지 않는다.
23. 이라고 하자. 먼저 폐구간 에서
하여 lim 이다.
→∞
sin sin sin cos
≤ sin
≤ .
7. 함수열의
디자이너앨리스
극한 407
26. 적분의 성질에 의하여
sin sin
을 얻는다.
27. (2) ≔ 이라고 하고 자연수 이 임의로 주어졌다고 하자. 라고 하
면 이다. 〈〉가 전사이므로 에 포함되는 항의 개수가 무한이다. 따
라서 이고 ∈ 인 가 존재한다. 여기서
⋅ ⋅
≥ ≥ ⋅
이므로 평등수렴하지 않는다.
28. 양수 이 임의로 주어졌다고 하자. 평등수렴의 정의에 의하여 자연수 이 존재하여
≥ 일 때마다 임의의 ∈ 에 대하여
이 성립한다. 이때
≤
을 얻는다.
≤
따라서 → ∞ 인 극한을 취하면 문제의 등식을 얻는다.
(2) 에서 의 최댓값을 이라고 하자. 그리고 양수 이 임의로 주어졌다고 하자.
그러면 보다 작은 양수 가 존재하여 ∈ 일 때마다
을 만족시킨다. 이제 자연수 이 존재하여 일 때마다
을 만족시킨다. 한편
≤
≤
7. 함수열의
디자이너앨리스
극한 409
≤
.
31. (ⅰ) ≠ , ∈ℤ 인 가 임의로 주어졌다고 하자. 그러면 정수 이 존재하여
∈ 가 성립한다. 이때 양수 가 존재하여
∈ ⊆
가 성립한다. 한편
sin cos
cos ≤
sin sin
이므로 cos는
위에서 평등유계이고 수열 〈〉는
∞ ∞
sin cos
이 성립한다.
(ⅱ) , ∈ℤ 일 때 문제에서 주어진 등식은 양변 모두 양의 무한대에 발산한다.
따라서 (ⅰ)과 (ⅱ)에 의하여 임의의 에 대하여 등식이 성립한다.
32. 이라고 하면
은 수렴하므로 -판정법에 의하여 주어진 급수는 평등수
연
≥
습
문
제
풀
이
여기서 → ∞ 인 극한을 취하면 → 이므로 는 에서 미분 불가능하다.
VIII 실해석적 함수
1. (1) 참
(2) 참
(3) 참
(4) 참
(5) 거짓, sin와 는 모두 에서 해석적이지만 sin 은 에서 해석적이지 않
다.
2. 로그함수의 성질에 의하여 다음을 얻는다.
ln ln
ln ln ln ln
따라서 양변을 미분하면
′
을 얻는다. 양변에 를 곱하면
′
을 얻는다. 물론 이 식을 정리하면 더 간단한 식으로 변형할 수 있다.
8. 실해석적
디자이너앨리스
함수 411
3. (1) 기하급수의 성질에 의하여
⋯
이므로 양변일 적분하면
tan
⋯
을 얻는다.
(2) 지수함수 exp의 정의에 의하여 다음을 얻는다.
ln ln ln
ln ln ⋯
(3) ′ ∞ 이므로 는 에서 해석적이지 않다.
(4) cosh
⋯ ⋯
⋯
(5) ′ ln ln
⋯ ⋯
⋯
이므로 양변의 부정적분을 구하면
⋯
이다.
(6) ⋯
⋯
이므로 양변의 부정적분을 구하면
⋯
⋅ ⋅ ⋅ ⋅
이다.
(7)
cos
⋯
위 식을 에 대하여 적분하면 다음을 얻는다.
ln ln
8. 실해석적
디자이너앨리스
함수 413
ln ln tan .
6. 등식 의 양변에 로그를 취하면
ln ln
을 얻는다. 양변을 미분하면
′ ′
′ ln
이므로
′
′ ln ′ ln
를 얻는다.
7. 정리 6.2.5를 참고하라.
8. sin , cos ( )
9. , , 이라고 하자. 그리고 ≤ ≤ 인 에 대하여
∞ ∞ ∞
, ,
대칭 : lim 이면 lim 이다.
→ ∞ → ∞
추이 : lim 이고 lim 이면 lim 이다.
→ ∞ → ∞ → ∞
이
′
이므로
∞ ∞
′
∞ ∞
∞
∞
8. 실해석적
디자이너앨리스
함수 415
라고 하면 코시-슈바르츠 부등식과 (2)에 의하여
≤
이므로 양변에 를 곱하면
≤
을 얻는다.
16. (1) 일 때 sin 이므로
sin sin
이다. 따라서
sin
sin
이므로 수학적 귀납법에 의하여 임의의 자연수 에 대하여 문제의 등식을 얻는다.
(3) 이므로 당연히 성립한다.
(4) 부등식 을 변형하면
⋅ ⋯
⋅
⋅ ⋯
를 얻는다. 여기에 → ∞ 인 극한을 취하면 문제의 등식을 얻는다.
Shrinking if necessary, we may find for each ≤ a strongly pseudoconvex with boundary
that 연
습
⊆ 문
⊆ ⊆ ⊆ .
제
Note that each may be chosen so that and is close to . Of course 풀
이
.
≤
By the first Cousin problem with bounds, there is a solution to the Cousin I problem with
∞ ≤ .
By the stability of the Henkin estimates, the constant may be taken to be independent of . Define
, ∈ .
Then is a well-defined holomorphic function on and
∞
≤ max ≤ ≤ ∞ ∩
.
Again, the uniform continuity of may be invoked to make the last expression less than simply by
making small enough.
∞
.
8. 실해석적
디자이너앨리스
함수 417
′ d
⋯
부록 2 ⋯ ⋯
단원별 참고 서적 cos sin
1. 실수계의 성질
• Chen, Fundamentals of Analysis. Chap.1 : 순서체의 성질
• Fulks, Advanced Calculus 3ed. p.13, p.17 : 데데킨트 정리
• Fraleigh, Abstract Algebra 7ed. pp.190-196 : 유리수의 구성
• Johnsonbaugh 외 (조열제 역), 해석학 개론. 22-23쪽, 25-28쪽 : 자연수 집합의 정렬성, 정
수와 유리수의 정의
• Pinter, Set Theory. pp.124-131, pp.138-152 : 수학적 귀납법, 자연수의 구성, 무한집합
• Rudin, Principles of Mathematical Analysis 3ed. p.10, pp.17-22 : 제곱근의 존재성,
실수의 구성, 실수 지수법칙
2. 실수열의 극한
• Fulks, Advanced Calculus. pp.55-56, pp.84-88 : 오일러 상수 , 상극한과 하극한
• Rudin, Principles of Mathematical Analysis. pp.63-65 : 오일러 상수
3. 실함수의 극한
• Fulks, Advanced Calculus. pp.84-88 : 상극한과 하극한
• Rudin, Principles of Mathematical Analysis. p.91, p.94 : 컴팩트 집합 위에서의 평등연
속성, 불연속점의 종류
4. 실함수의 미분
• Fulks, Advanced Calculus. pp.120-124 : 테일러의 정리
• Rudin, Principles of Mathematical Analysis. p.101, p.108, p.110 : 함수의 볼록성, 도함
수의 중간값 성질, 테일러의 정리
5. 리만 적분
• 노정학 외, 해석학 입문. 150-155쪽, 159-160쪽 : 리만 적분의 성질, 미적분의 기본정리
• Fulks, Advanced Calculus. pp.144-147, pp.161-163, pp.166-172 : 리만 합, 적분의 평
균값 정리, 불연속 함수의 리만 적분
• Rudin, Principles of Mathematical Analysis. p.127 : 합성함수의 리만 적분
418 부록 | 단원별 참고 서적
6. 무한 급수
• Chen, Fundamentals of Analysis. Chap.7 : 무한 곱
• Fulks, Advanced Calculus. pp.483-486, pp.492-501 : 쿰머 판정법, 라브 판정법, 가우
스 판정법, 급수의 계산
• Johnsonbaugh 외 (조열제 역), 해석학 개론. 108-109쪽, 111-114쪽, 219-221쪽 : 디리끌
레 판정법과 아벨 판정법, 이중 급수, 로피탈의 정리
• Ng Tze Beng, Advanced Calculus Lecture Note : 베르트랑 판정법, 가우스 판정법
• Rudin, Principles of Mathematical Analysis. pp.75-78 : 급수의 재배열
단
7. 함수열의 극한 원
별
• Johnsonbaugh 외 (조열제 역), 해석학 개론. 316-318쪽 : 아벨의 정리 참
고
• Rudin, Principles of Mathematical Analysis. pp.145-146, pp.154-161 : 평등수렴하지 서
적
않는 함수의 예, 바이어슈트라스 근사 정리, 동정도 연속
8. 실해석적 함수
• Fulks, Advanced Calculus. pp.564-566 : 실해석적 함수의 조건
• Johnsonbaugh 외 (조열제 역), 해석학 개론. 323-337쪽 : 지수함수, 로그함수, 삼각함수
&. 그 외의 참고 문헌
• 박달원, 이덕호, 해석학 개론. 영일 출판사, 2009.
• 우정호, 수학 학습-지도 원리와 방법. 서울대학교출판부, 2005.
• Bernard R Gelbaum & John M. H. Plmsted, Counterexamples in Analysis. Holden-
Day Inc, 1964.
• George B. Thomas, Thomas' Calculus 11ed. Addison-Wesley, 2006.
• H. L. Royden, Real Analysis. Prentice-Hall Inc, 1988.
• Carl B. Boyer & Uta C. Merzbach, A HISTORY OF MATHEMATICS, John Wiley &
Sons, Inc., 1991 (양영오, 조윤동 역. 수학의 역사. 경문사, 2004.) : 역사적 소고
• Wikipedia : http://www.wikipedia.org
• Planet Math : http://www.planetmath.org
• Beng 교수 홈페이지 : http://www.math.nus.edu.sg/~matngtb/
• Chen 교수 홈페이지 : http://www.maths.mq.edu.au/~wchen/
단원별
디자이너앨리스
참고 서적 419
′ d
⋯
부록 3 ⋯ ⋯
용어 찾아보기 cos sin
420 부록 | 용어 찾아보기
리만(Riemann) 215 삭제된 폐구체
′ 85
리만 제타 함수 252 삼각 부등식 18, 59
리만 판정법 174 삼자택일법칙 15
리만 합 196 상계 29
맥클라린(Maclaurin) 급수 303 상극한
lim , limsup 92, 132
메레이(Méray) 63 상대적 개집합 118
멱급수 282 상대적 폐집합 118
무리수열 64 상반연속 120
무한 곱 249 상용로그 log
312
무한 수열 64 상적분 174
무한 집합 41 상한 sup, lub 29 용
바나흐(Banach) 142 상한노름 60, 265 어
바이어슈트라스(Weierstrass) 215, 301 찾
상합 172 아
바이어슈트라스 근사 정리 280 선형 변환, 선형 사상 71 보
기
반개구간, 반폐구간 , 19 선형 순서 17
배로(Barrow) 214 성분 구간 172
베르누이(Bernoulli) 23 세련 분할 172
베르트랑(Bertrand) 판정법 233 수렴 구간, 수렴 반경, 수렴 영역 283
베타함수 318 수열 〈〉 64
복소해석적 함수 306 수열 판정법 108, 142
볼록하다 168 점근선 140
볼차노-바이어슈트라스 정리 86, 89 순감소 77
(Bolzano-Weierstrass)
순서 관계 ≤ 17
부동점 정리 142
순서 보존 사상 74
부분 곱 249
순증가 77
부분 적분 192
슈바르츠(Schwarz) 301
부분 덮개 121
스탈링(Stirling) 형태 325
부분 수열 〈 〉
76
스토크스(Stokes) 215
부분 합 216, 229
실수열 64
부정적분 187
실해석적 함수 306
분할 172
쌍곡삼각함수 sinh, cosh, tanh 327
분할 집합 142
아르키메데스(Archimedes) 32, 213
비 판정 공식 284
아벨(Abel) 판정법 230, 294
비 판정법 224
아벨의 정리 295
비가산 집합 42
애스콜리(Ascoli)의 정리 278
비교 판정법 207, 219
양수 ℝ 15
사선 점근선 140
양항급수, 양항수열 218
사인 sin 313
에우독소스(Eudoxus) 213
삭제된 개구체 ′ 85
M-판정법 273
용어
디자이너앨리스
찾아보기 421
역도함수 187 이항 급수 236
역수 13 이항 정리 27, 328
역원
12 이항 계수 C ,
25, 236
역탄젠트 tan 327 이항 연산 23
연결 집합 142 인식론적 장애 104
연속 116 일반항 판정법 224
연속체 가설 44 자연로그 ln 310
연쇄 법칙 149 재배열 243
열에 의한 합 246 적분 판정법 221
영(Young)의 부등식 328 전순서 17
오목하다 168 절대급수 판정법 273
오일러(Euler) 261 절대수렴 206, 249, 217
오일러 상수 79 절댓값 17
오일러-마스케로니 상수 259 점별수렴 → 263
(Euler-Mascheroni)
점별유계 276
옹골 집합 122
정렬집합 28
완비성 공리 30
정적분 188
외부, 외점 ext 46
제 2 수학적 귀납법 59
우극한 , lim 111
→ 제 2 형태의 불연속 139
우도함수 ′ 146
제거 가능한 불연속점 139
우리손(Urysohn) 143 제곱근 37
우연속 119 조건수렴 206, 217, 249
우집적점 110 조밀하다 32, 278
원주율 316 조임정리 75, 85
웰리스(Wallis)의 곱 329 좌극한 , lim 111
위상 49 →
좌도함수 ′ 146
유계 29, 68
좌연속 119
유계 판정법 207, 218
좌집적점 110
유리수열 64
주치 208
유일하다 13
중간값 성질 125, 167
유한 수열 64
증가수열, 증가함수 77
유한 형태로 표현한다 297
지배 수렴 정리 300
유한 집합 41
진동 84
은유 104
질량중심 194
음수 ℝ 15
집적점 ′ 86, 132
응집 판정법 222
첨수 64
이상적분 204
초월적이다 61
이중급수 245 초항 64
이중수열 〈〉 245 최댓값 47
422 부록 | 용어 찾아보기
최솟값 47
폐포 95
축소구간 87 푸리에(Fourier) 215
축약 수열 91 푹스(Fuchs) 301
축약 함수 142 프로이덴탈(Freudenthal) 40
측도 제로(measure zero) 202 피보나치(Fibonacci) 수열 258
치환 적분 191 하계 29
칸토어(Cantor) 63 하극한 lim , limin f 92, 132
칸토어-슈뢰더-베른슈타인 정리 41
하반연속 120
(Cantor-Schröder-Bernstein)
하이네(Heine) 215
컨텐츠 제로(contents zero) 202
하이네-보렐(Heine-Borel) 정리 123
컴팩트 122
케플러(Kepler) 213 하적분 174
용
코사인 cos 313 하한 in
f, glb 29 어
찾
코시(Cauchy) 215 하합 172 아
보
코시 곱 240 함수 급수 263 기
코시 수열 89 함수열 〈〉 262
코시 조건 141, 142, 267 항등원 , 12
코시 평균값 정리 157 해밀턴(Hamilton) 215
코시-슈바르츠(Cauchy-Schwarz) 부등식 61 해석술 303
코시-아다마르(Cauchy-Hadamard) 공식 285 해석적 함수 304
코시의 나머지 식 164 해석적 연속 301
코헨(Paul Cohen) 44 행에 의한 합 246
쿰머(Kummer) 판정법 231 형식불역의 원리 40
크로네커(Kronecker) 63 확장 실수계 19
탄젠트 tan 327 횔더(Hölder)의 부등식 329
테일러 급수 303 히포크라테스(Hippocrates) 213
테일러 전개 다항식 161 힐베르트(Hilbert) 63
특성함수 109
특이적분 204
특이점 204
판정법 207, 218
페아노(Peano) 50
평균 193
평균값 정리 153
평등수렴 264
평등연속 127
평등유계 276
폐구간 19
폐구체
45
폐집합 45
용어
디자이너앨리스
찾아보기 423