Professional Documents
Culture Documents
4 CH
4 CH
Uploaded by
박사민Original Title
Copyright
Available Formats
Share this document
Did you find this document useful?
Is this content inappropriate?
Report this DocumentCopyright:
Available Formats
4 CH
4 CH
Uploaded by
박사민Copyright:
Available Formats
맛있는 해석학 4판 단원 마무리 문제 풀이
04. 실함수의 극한
http://www.aliceinmathland.com
개념 이해하기, 개념 응용하기, 실력 다지기 문제의 풀이입니다. (5) ∞
문제의 성격과 수준에 따라서 힌트만 있는 것도 있고 완전한 풀 (6)
이가 있는 것도 있습니다. 독자의 개인적인 생각을 묻는 문제의
풀이는 싣지 않았습니다. 각 문제의 풀이 방법은 이 해설에서 제 4.7 (1)
시하는 것뿐만 아니라 다른 방법이 존재할 수 있습니다.
∵ 이 아닌 임의의 에 대하여 sin ≤ 이고
일 때
lim sin
이다.
→∞
(2)
4.1 (1) 참
∵ 임의의 에 대하여 sin ≤ 이고
(2) 거짓
(3) 거짓
일 때
lim sin 이다.
→∞
(3) ∞
4.2 (1) 거짓
∵ 일 때
lim
∞이다.
(2) 참 →∞
(3) 참 (4)
∵ 임의의 에 대하여 ℚ ≥ 이고
4.3 점 가 의 정의역에 속하면서 동시에 정의역이 집적점인 일 때 lim ℚ 이다.
→∞
경우에는, 에서 가 연속일 필요충분조건은 에서 의 함숫값
과 극한값이 같은 것이 된다. 만약 가 가 연속이라는 조건이
없다면 에서 의 함숫값과 극한값은 아무런 관계가 없다. 4.8 (1) 양수 이 임의로 주어졌다고 하자. 라고 하고
임을 가정하면
4.4 극한의 유일성을 보장할 수 없게 된다.
이 성립한다.
예를 들어 함수 ℤ → ℝ가 로 주어졌다고 하자.
이제 에서 가 에 수렴함을 보일 것이다. 양수 이 임의로 (2) 양수 이 임의로 주어졌다고 하자. min 라고 하
주어졌다고 하자. 라고 하면 를 만족시키는 고
정의역의 점 는 존재하지 않으므로 조건문 임을 가정하면
→
은 참이다. [가정이 거짓이면 결론에 상관없이 조건문은 참이다.
이러한 명제를 빈참명제라고 부른다.] 같은 방법으로 임의의 실 ≤
수 에 대하여, 에서 가 에 수렴함을 보일 수 있다.
이 성립한다.
4.5 극한의 유일성을 보장할 수 없게 된다.
(3) 양수 이 임의로 주어졌다고 하자. min 이라
예를 들어 함수 → ℝ가 로 주어졌다고 하 고 하고 임을 가정하면
자. 이제 → ∞일 때 → 임을 보일 것이다. 양수
이 임의로 주어졌다고 하자. 라고 하면 를 만족시키
는 정의역의 점 는 존재하지 않으므로 조건문
→ ≤
은 참이다. 같은 방법으로 임의의 실수 에 대하여, → ∞
≤ × ≤
일 때 → 임을 보일 수 있다.
이 성립한다.
4.6 (1)
(2)
(4) 양수 이 임의로 주어졌다고 하자. min 이라고
하고 임을 가정하면
(3)
(4)
≤ ≤
맛있는 해석학 4판 ∙ ∙ ∙ 1 ∙ ∙ ∙ 단원 마무리 문제 풀이
이 자료를 ‘수학 나라의 앨리스’ 외의 다른 사이트에서 공유하는 것을 금지합니다.
이 성립한다.
min
4.9 (1) 실수 가 임의로 주어졌다고 하자.
이 이라고 하고 임을 가정하면
라고 하고 임을 가정하면
≥
≤ ≤ ≤ ≤
가 성립한다.
이 성립한다.
(2) 실수 가 임의로 주어졌다고 하자. min 이라
(4) 양수 이 임의로 주어졌다고 하자.
고 하고 임을 가정하면
max
≤
이라고 하고 임을 가정하면
가 성립한다.
≤ ≤
(3) 실수 가 임의로 주어졌다고 하자. min
이 성립한다.
라고 하고 임을 가정하면
4.11 양수 이 임의로 주어졌다고 하자. 함수 가 에서 평등
≥ ≥ 연속이므로 양수 이 존재하여 , ∈ , ∈
sin
가 성립한다. 일 때마다 이 성립한다. 함수 가 에서 평
(4) 실수 가 임의로 주어졌다고 하자. 등연속이므로 양수 가 존재하여 , ∈ , ∈
일 때마다 을 만족시킨다. 이때 동일한 에
min
대하여 , ∈ , ∈ 일 때마다
라고 하고 임을 가정하면
≥ ≥ 이 성립하므로 함수 ∘ 는 에서 평등연속이다.
cos
가 성립한다.
4.12 단조수렴 정리에 의하여 에서 의 우극한이 존재하고
에서 의 좌극한이 존재한다. ≔ , ≔ 라고
※ 참고로 가 충분히 작은 양수일 때 삼각함수의 테일러 전개
정의하면 는 에서 연속인 함수가 된다.
에 의하여 다음과 같은 부등식을 얻는다.
sin ≤ , cos ≤ , 4.13 양수 이 임의로 주어졌다고 하자. 그리고 이라고
하자. 임을 가정하면
sin ≥ , cos ≥
≤
이므로 는 에서 평등연속이다.
sin ≤ , cos ≤
(다른 방법의 증명) 가 에서 연속이고 이 컴팩
sin ≥ , cos ≥
트이므로 는 에서 평등연속이다.
⋮ ⋮
4.14 결론에 반하여 실수 가 존재하여 가 에서 연속이라고
가정하자.
4.10 (1) 양수 이 임의로 주어졌다고 하자. 이라고
(ⅰ) 가 유리수인 경우, 무리수의 조밀성에 의하여 에 수렴하
하고 임을 가정하면
고 모든 항이 무리수인 수열 이 존재한다. 이때 수열 판정
법에 의하여
lim lim
이 성립한다. → →∞
이므로 모순이다.
(2) 실수 가 임의로 주어졌다고 하자.
라고
하고 임을 가정하면 (ⅱ) 가 무리수인 경우, 유리수의 조밀성에 의하여 에 수렴하
고 모든 항이 유리수인 수열 이 존재한다. 이때 수열 판정
≥
법에 의하여
가 성립한다.
lim lim
→ →∞
(3) 양수 이 임의로 주어졌다고 하자.
맛있는 해석학 4판 ∙ ∙ ∙ 2 ∙ ∙ ∙ 단원 마무리 문제 풀이
이 자료를 ‘수학 나라의 앨리스’ 외의 다른 사이트에서 공유하는 것을 금지합니다.
이므로 모순이다. 법에 의하여
따라서 는 에서 연속이 아니다. 는 임의의 실수이므로 는 lim lim
→∞ →∞
어느 점에서도 연속이 아니다. 가 성립한다.
(다른 방법의 증명) 결론에 반하여 실수 가 존재하여 가 에 (다른 풀이) 문제 4.44-(2)에 의하여
서 연속이라고 가정하자. 이라고 하고, 양수 가 임의로 주 ℝ
ℚ ⊆
ℚ
어졌다고 하자.
이므로 임의의 ∈ℝ에 대하여 이다.
(ⅰ) 가 유리수인 경우, 무리수의 조밀성에 의하여
인 무리수 가 존재한다. 이때 이지만 4.19 의 원소 가 임의로 주어졌다고 하자. 그리고 수
≥ 열 을 , 으로 정의하자. 그러면 임의의
이므로 는 에서 연속이 아니다. 자연수 에 대하여 가 성립한다. 가 에서 연속이
(ⅱ) 가 무리수인 경우, 유리수의 조밀성에 의하여 고 → 이므로 수열 판정법에 의하여
인 유리수 가 존재한다. 이때 이지만 lim lim
→∞ →∞
≥ 이다. 즉 의 임의의 점 에 대하여 이므로
이므로 는 에서 연속이 아니다. 는 에서 상수함수이다.
따라서 는 에서 연속이 아니다. 는 임의의 실수이므로 는
어느 점에서도 연속이 아니다. 4.20 라고 하자. 그리고 라고 하자.
그러면 ≥ , ≤ 이고 가 연속이므로 중간값 정리
4.15 결론에 반하여 가 에서 상수함수가 아니라고 가정 에 의하여 인 점 가 에 존재한다. 이때
하자. 그러면 의 두 점 , 가 존재하여 ≠ 이므로 가 성립한다.
가 성립한다. 이때 무리수의 조밀성에 의하여 과 사 가 구간이 아닌 경우에는 인 점 가 존재하지 않을
이에 무리수 가 존재한다. 가 에서 연속이므로 중간값 수도 있다. 예컨대 ∪ , 라고 하면
정리에 의하여 를 만족시키는 점 가 과 사이에 를 만족시키는 점 는 에 존재하지 않는다.
존재한다. 그런데 는 무리수이고 ∈ 이므로 이것은 모
순이다. 따라서 는 에서 상수함수이다. 4.21 함수 가 에서 연속임을 보이자. 양수 이 임의로 주어
졌다고 하고 이라고 하자. 그리고 라고 가정하자.
4.16 (1) 최대정수함수의 성질에 의하여 실수 에 대하여 만약 가 유리수라면
≤
이고 가 무리수라면
이므로
lim
→
→ →
≤ lim ≤ lim
이다. 따라서 는 에서 연속이다.
이제 ≠ 이라고 하자. 그러면 에 수렴하는 유리수열 과
이다. 따라서 조임 정리에 의하여 문제의 등식을 얻는다.
에 수렴하는 무리수열 이 존재한다. 이때
(2) 양수 이 임의로 주어졌다고 하자. 그리고 라고 하자.
lim ≠ lim
그러면 를 만족시키는 실수 에 대하여 →∞ →∞
이므로 수열 판정법에 의하여 는 에서 연속이 아니다.
이므로 4.22 (1) 문제 2.16에 의하여 임의의 에 대하여
을 얻는다. 가 성립한다. 그런데 절댓값 함수는 연속이고 연속함수의 합성은
연속이므로 도 연속이다.
4.17 (1) 평등연속이다.
(2) 임의의 에 대하여
(2) 에서 연속이 아니고, 그 외의 점에서는 연속이다.
(3) 정수인 점에서 연속이 아니고, 그 외의 점에서는 연속이다.
(4) 정수인 점에서 연속이 아니고, 그 외의 점에서는 연속이다.
가 성립한다. 그런데 절댓값 함수는 연속이고 연속함수의 합성은
연속이므로 도 연속이다.
4.18 가 임의로 주어진 실수라고 하자. 그러면 에 수렴하는
유리수열 이 존재한다. 이때 연속함수의 성질과 수열 판정
4.23 (1) 양수 이 임의로 주어졌다고 하자. 가 에서 연속
맛있는 해석학 4판 ∙ ∙ ∙ 3 ∙ ∙ ∙ 단원 마무리 문제 풀이
이 자료를 ‘수학 나라의 앨리스’ 외의 다른 사이트에서 공유하는 것을 금지합니다.
이므로 양수 이 존재하여 , ∈ , ∈ 일 때마다 면 이다. 따라서
이다. 한편
이 성립한다. 가 에서 연속이므로 양수 가 존재하여
lim ∞, lim ∞
→ ∞ → ∞
, ∈ , ∈ 일 때마다
이므로 양수 가 존재하여 이며 음수 가 존재하여
이다. 따라서 중간값 정리에 의하여 양수 ∈ 와
이 성립한다. 음수 ∈ 이 존재하여 , 을 만족시킨다.
이제 min 라고 하자. 그리고 , ∈∪ ,
4.25 결론에 반하여 이 양의 무한대로 발산하지 않는다고
∈∪ 라고 하자. 만약 와 가 모두 의 원소이거나, 와
가정하자. 그러면 은 수렴하는 부분수열 를
가진다.
가 모두 의 원소이면
는
모든 항이 자연수인 수열이므로 자연수에 수렴한다.
의
극한을 라고 하자. 는 의
부분수열이므
이 성립한다. 이제 ∈ 이고 ∈ 라고 하자. 과 가 구간이 로 에 수렴한다. 이때
므로 와 사이에 ∈∩ 가 존재한다. 이때 ,
이므로
lim lim lim
→∞
→∞ →∞
이고 는 자연수이므로 는 무리수이다. 즉 는 무리수에
≤
수렴한다. 그러나 의 모든 항은 자연수이므로 무리수에 수
렴할 수 없다. 이것은 모순이다.
이 성립한다. 따라서 는 ∪ 에서 평등연속이다. 여기서 과 의 역할을 바꾸면 → ∞도 증명된다.
(2) 과 가 구간이라는 조건이 빠지면 는 ∪ 에서 평등연
속이 아닐 수도 있다. 예를 들어 ∪ , 4.26 [⇒] 가 에서 연속이라고 하자. 그리고 이 모든
이라고 하고 함수 ∪ → ℝ를 항이 에 속하는 코시 수열이라고 하자. 은 코시 수열이므
if 로 수렴하고, 가 닫힌집합이므로 의 극한은 에 속한다.
if ≥
의 극한을 라고 하자. 는 에서 연속이므로 은
이라고 하자. 그러면 는 과 에서 평등연속이지만 ∪ 에
에 수렴한다. 따라서 은 코시 수열이다.
서는 연속이 아니다.
[⇐] 모든 항이 에 속하는 임의의 코시 수열 에 대하여
(3) ∩ ≠ ∅이라는 조건이 빠지면 는 ∪ 에서 평등연속
도 코시 수열이 된다고 하자. 이제 결론에 반하여 가
이 아닐 수도 있다. 예를 들어 , 이라고 하
의 점 에서 연속이 아니라고 가정하자. 그러면 양수 이 존
고 함수 ∪ → ℝ를
재하여 임의의 자연수 에 대하여 ∈ 가 존재하여
if
if ≥
그리고 ≥
이라고 하자. 그러면 는 과 에서 평등연속이지만 ∪ 에 을 만족시킨다. 이때 은 에 수렴하는 코시 수열이 된다.
서는 연속이 아니다. 수열 을
※ 이 문제에서 ‘구간’이라는 조건을 ‘닫힌집합’으로 바꾸면 어떻
게 될까? 그러면 가 과 에서 평등연속일지라도 ∪ 에서
if is even
if is odd
으로 정의하면 도 코시 수열이고 에 수렴한다. 가정에 의
는 평등연속이 아닐 수 있다. 예컨대
∞ 하여 도 코시 수열이 된다. 그런데 임의의 자연수 에
,
∈ℕ
대하여 ≥ 이므로 이 코시 수열이라
이라고 하고, 는 데에 모순이다. 따라서 가 연속이 아닌 점 는 에 존재하
if ∈ 지 않는다.
if ∈
라고 하면 는 과 에서 각각 평등연속이지만 ∪ 에서는 4.27 다음 풀이에서 은 의 정의역의 원소라고 약속한다.
평등연속이 아니다.
(1) ∞, ∈ℝ인 경우
[⇒] → ∞일 때 → 이라고 하자. 그리고 양의 무
4.24 인 경우만 증명해도 충분하다. (만약 인 경
한대로 발산하는 수열 이 임의로 주어졌다고 하자. 또한 양
우는 라고 하고 에 대하여 생각하면 된다.) 그러
맛있는 해석학 4판 ∙ ∙ ∙ 4 ∙ ∙ ∙ 단원 마무리 문제 풀이
이 자료를 ‘수학 나라의 앨리스’ 외의 다른 사이트에서 공유하는 것을 금지합니다.
수 이 임의로 주어졌다고 하자. 그러면 실수 가 존재하여 [⇐] → 일 때 ↛ 이라고 하자. 그러면 양수 이
일 때마다 이 성립한다. 한편 → ∞ 존재하여 임의의 양수 에 대하여 인 가 존재하
이므로 자연수 이 존재하여 일 때마다 가 성립 여 ≥ 을 만족시킨다. 여기서 는 임의의 양수이므
한다. 즉 일 때마다 이 성립한다. 로, 임의의 자연수 에 대하여 인 이 존재
하여 ≥ 을 만족시킨다. 여기서 → , 이
[⇐] → ∞일 때 ↛ 이라고 하자. 그러면 양수 이
지만 ↛ 이다.
존재하여 임의의 실수 에 대하여 인 가 존재하여
≥ 을 만족시킨다. 여기서 는 임의의 실수이므로
4.28 (1) ∞, ∞, ∞인 경우
임의의 자연수로 바꾸어도 동일한 결론을 얻는다. 즉 임의의 자
연수 에 대하여 인 이 존재하여 ≥ 을 실수 가 임의로 주어졌다고 하자. 그러면
만족시킨다. 여기서 → ∞이지만 ↛ 이다. ∃∈ℝ →
∃∈ℝ →
(2) ∞, ∞인 경우
이다. max 라고 하면 일 때마다
[⇒] → ∞일 때 → ∞라고 하자. 그리고 음의 무
≥ ,
한대로 발산하는 수열 이 임의로 주어졌다고 하자. 또한 실
≥
수 가 임의로 주어졌다고 하자. 그러면 실수 가 존재하여
이므로 → ∞, → ∞이다.
일 때마다 가 성립한다. 한편 → ∞이므로
(2) ∞, ∞, ∈ℝ인 경우
자연수 이 존재하여 일 때마다 가 성립한다. 즉
일 때마다 가 성립하므로 → ∞이다. 먼저 ≥ 인 경우를 증명하자.
[⇐] → ∞일 때 ↛ ∞라고 하자. 그러면 실수 실수 가 임의로 주어졌다고 하자. 그러면
가 존재하여 임의의 실수 에 대하여 인 가 존재하여 ∃∈ℝ →
∃∈ℝ →
≤ 를 만족시킨다. 여기서 는 임의의 실수이므로 임의
의 음의 정수로 바꾸어도 동일한 결론을 얻는다. 즉 임의의 자연 이다. min 라고 하면 일 때마다
수 에 대하여 인 이 존재하여 ≤ 를 만족시 ≥ ≥
킨다. 여기서 → ∞이지만 ↛ ∞이다. 이므로 → ∞이다.
다시 실수 가 임의로 주어졌다고 하고 ≠ 이라고 하자.
(3) ∈ℝ, ∞인 경우
[⇒] → 일 때 → ∞라고 하자. 그리고 에 수렴하
∃∈ℝ →
지만 각 항이 는 아닌 수열 이 임의로 주어졌다고 하자.
실수 가 임의로 주어졌다고 하자. 그러면 양수 가 존재하여
∃∈ℝ →
이다. min 라고 하면 일 때마다
일 때마다 가 성립한다. → 이므로
자연수 이 존재하여 일 때마다 가 성립
≥ ≥
한다. 즉 일 때마다 가 성립하므로 → 이므로 → ∞이다.
∞이다.
다음으로 인 경우를 증명하자.
[⇐] → 일 때 ↛ ∞라고 하자. 그러면 실수 가
실수 가 임의로 주어졌다고 하자. 그러면
존재하여 임의의 양수 에 대하여 인 가 존재하
여 ≤ 를 만족시킨다. 여기서 는 임의의 양수이므로, 임
∃∈ℝ →
의의 자연수 에 대하여 인 이 존재하여
≤ 를 만족시킨다. 이때 → , ≠ 이지만
∃∈ℝ →
이다. min 라고 하면 일 때마다
↛ ∞이다.
(4) ∈ℝ, ∈ℝ, → 인 경우
[⇒] → 일 때 → 이라고 하자. 그리고 이 이므로 → ∞이다.
에 수렴하고 인 임의의 수열이라고 하자. 양수 이 임의
다시 실수 가 임의로 주어졌다고 하자. 그러면
로 주어졌다고 하자. 양수 가 존재하여 일 때마다
이 성립한다. → , 이므로 자연수 이
∃∈ℝ →
존재하여 일 때마다 를 만족시킨다. 즉
∃∈ℝ →
일 때마다 이 성립한다.
이다. min 라고 하면 일 때마다
맛있는 해석학 4판 ∙ ∙ ∙ 5 ∙ ∙ ∙ 단원 마무리 문제 풀이
이 자료를 ‘수학 나라의 앨리스’ 외의 다른 사이트에서 공유하는 것을 금지합니다.
이므로 → ∞이다.
다시 실수 가 임의로 주어졌다고 하자. 그러면
이므로
≤
∃ →
이다. 따라서 → ∞이다.
(3) ∈ℝ, ∞, ∞인 경우
∃ →
이다. min 라고 하면 일 때마다
먼저 → 일 때 → ∞임을 증명하자. 실수
가 임의로 주어졌다고 하자. 그러면
⋅
∃ → 이므로 → ∞이다.
∃ →
이다. min 라고 하면 일 때마다 4.29 (1) ∞, ∞인 경우
≤ → ∞일 때 → ∞라고 하자. 그리고 실수 가 임
이므로 → ∞이다. 의로 주어졌다고 하자. 그러면 실수 가 존재하여 일 때
다음으로 → ∞임을 증명하자. 다시 실수 가 임 마다 가 성립한다. 이때 ≥ 이므로 동일한
의로 주어졌다고 하자 그러면 실수 에 대하여 일 때마다 가 성립한다. 따라
∃ → 서 → ∞일 때 → ∞이다.
∃ → (2) ∞, ∈ℝ인 경우
이다. min 라고 하면 일 때마다 만약 ∞이면 자명하게 정리의 결론을 얻는다. 따라서
≥ ≥ 이 실수라고 하자.
이므로 → ∞이다.
결론에 반하여 이라고 하자. 그리고 라고
(4) ∈ℝ, ∞, ∈ℝ인 경우 하자. 그러면 은 양수이므로
∃∈ℝ →
먼저 ≥ 인 경우를 증명하자.
∃∈ℝ →
실수 가 임의로 주어졌다고 하자. 그러면
이다. min 라고 하면 일 때마다
∃∈ℝ →
∃∈ℝ →
이므로 ≤ 라는 조건에 모순이다. 따라서 ≤ 이
다.
이다. min 라고 하면 일 때마다
(3) ∈ℝ, ∞인 경우
≤
이므로 → ∞이다. → 일 때 → ∞라고 하자. 그리고 실수 가 임의로
주어졌다고 하자. 그러면 양수 가 존재하여 일
다시 실수 가 임의로 주어졌다고 하고 ≠ 이라고 하자. 그
때마다 가 성립한다. 이때 ≤ 이므로 동일한
러면
양수 에 대하여 일 때마다 가 성립한
∃∈ℝ →
다. 따라서 → 일 때 → ∞이다.
∃∈ℝ →
(4) ∈ℝ, ∈ℝ인 경우
이다. min 라고 하면 일 때마다 → 일 때 → 이라고 하자. 함수 가 의 근방에서
유계이고 ≤ 이므로 는 의 근방에서 위로 유계
⋅ ≥
이다. 따라서 ≠ ∞이다.
즉 이므로 → ∞이다. 만약 ∞이면 자명하게 정리의 결론을 얻는다. 따라서 이
다음으로 인 경우를 증명하자. 실수라고 하자.
실수 가 임의로 주어졌다고 하자. 그러면 결론에 반하여 이라고 하자. 그리고 라고
하자. 그러면 은 양수이므로
∃ →
∃ →
∃ →
∃ →
이다. min 라고 하면 일 때마다
이다. min 라고 하면 일 때마다
≤
이므로 ≤ 라는 조건에 모순이다. 따라서 ≤ 이
맛있는 해석학 4판 ∙ ∙ ∙ 6 ∙ ∙ ∙ 단원 마무리 문제 풀이
이 자료를 ‘수학 나라의 앨리스’ 외의 다른 사이트에서 공유하는 것을 금지합니다.
다. 한다고 하자. 실수 가 임의로 주어졌다고 하자. 그러면
∃ →
4.30 (1) , 이므로 단순불연속이다. ∃ →
(2) 에서 의 좌상극한과 우상극한은 이고, 좌하극한과 우하 이다. min 라고 하고 , ∈ 라고 하
극한은 이므로 제 2 형태의 불연속이다.
자. 그러면 ≤ 또는 ≤ 인데, 어
(3) 에서 의 좌상극한과 우상극한은 이고, 좌하극한과 우하
느 경우에건 가 성립한다. 따라서 에서 가 양의 무
극한은 이므로 제 2 형태의 불연속이다.
한대로 발산한다.
(4) 의 근방에서 가 유계가 아니므로 제 2 형태의 불연속이
다.
4.35 양수 이 임의로 주어졌다고 하자. 가 평등연속이므로
양수 가 존재하여 일 때마다 이 성
4.31 단조수렴 정리에 의하여 단조인 함수는 정의역의 임의의
립한다. lim 이므로 자연수 이 존재하여 일
점에서 좌극한과 우극한을 가진다. (단, 그 점이 정의역의 좌집
때마다 가 성립한다. 따라서 동일한 자연수 에
적점이면서 우집적점일 때.) 따라서 단조함수는 제 2 형태의 불
연속점을 갖지 않는다. 대하여 일 때마다 이 성립한다.
※ 참고로 가 평등연속이라는 조건을 연속이라는 조건으로 바
4.32 에서 의 함숫값을 바꾸어 가 에서 연속이 된다는 꾸면 이 명제는 참이 아니다. 예를 들어
것은 에서 의 좌극한과 우극한이 존재하며 그 값이 일치한다
, ,
는 것을 의미한다. 따라서 는 에서 단순 불연속이다.
※ 참고로 가 에서 불연속이고 가 의 정의역의 좌집적점이 이라고 하면 는 연속이고 lim 이지만
지만 우집적점은 아닐 때에는 에서 의 좌극한만 존재하면
는 에서 단순불연속이다. 가 의 정의역의 우집적점이지만
lim lim
→∞ →∞
좌집적점은 아닐 때에도 마찬가지로 정의한다. 이다.
4.33 [(1)⇒(2)] 정리 4.3.23에서 증명하였다. 4.36 → ∞일 때 → 라고 하자. 그리고
[(2)⇒(1)] 가 컴팩트가 아니라고 하자. 그러면 는 유계가
라고 하자. 그러면 함수 는 ∞에서 연속이고 → ∞
아니거나 닫힌집합이 아니다.
일 때 → 이다.
가 유계가 아닌 경우 위에서 함수 를 으로 정 양수 이 임의로 주어졌다고 하자. 양수 가 존재하여
의하면 는 에서 연속이지만 평등연속이 아니다. 일 때마다 이 성립한다. 또한 는 에서
가 닫힌집합이 아닌 경우 ∈ ′∖ 가 존재한다. 이때 위 연속이므로 평등연속이다. 따라서 양수 가 존재하여
에서 함수 를
로 정의하면 는 에서 연속 , ∈ , ∈
이지만 평등연속이 아니다. 일 때마다 이 성립한다.
[(1)⇒(3)] 정리 4.3.15에서 증명하였다. 이제 ∈ ∞이고 라고 하자.
[(3)⇒(1)] 가 컴팩트가 아니라고 하자. 그러면 는 유계가 만약 와 가 모두 에 속한다면 당연히
아니거나 닫힌집합이 아니다.
가 유계가 아닌 경우 위에서 함수 를 으로 정 이 성립한다.
의하면 는 에서 연속이지만 최댓값을 갖지 않는다.
만약 와 가 모두 ∞에 속한다면
가 닫힌집합이 아닌 경우 ∈ ′∖ 가 존재한다. 이때 위
≤
에서 함수 를 로 정의하면 는 에서 연속이
지만 최댓값을 갖지 않는다. 이 성립한다.
만약 앞의 두 가지 경우가 아니라면, 즉 는 에 속하
4.34 가 에서 양의 무한대로 발산한다고 가정하자. 그리고 고 는 ∞에 속한다면
실수 가 임의로 주어졌다고 하자. 그러면 양수 가 존재하여
, ∈ 일 때마다 가 성립한다. 따라서 ≤
또는 일 때 모두 가 성립 ≤
한다. 즉 에서 의 좌극한과 우극한은 모두 양의 무한대로 발
산한다.
이 성립한다.
역으로 에서 의 좌극한과 우극한이 모두 양의 무한대로 발산
맛있는 해석학 4판 ∙ ∙ ∙ 7 ∙ ∙ ∙ 단원 마무리 문제 풀이
이 자료를 ‘수학 나라의 앨리스’ 외의 다른 사이트에서 공유하는 것을 금지합니다.
따라서 는 ∞에서 평등연속이다. 이므로 값을 가진다. 가 ∈ 에서 최댓값을 갖는다고 하자. 그
도 ∞에서 평등연속이다. 러면
≥ sup ℝ
4.37 가 증가함수인 경우만 증명해도 충분하다. [가 감소함
수인 경우에는 라고 하고 에 대하여 증명하면 된다.] 결 이다. 그런데 밖의 임의의 점 에 대하여
론에 반하여 가 의 점 에서 연속이 아니라고 가정하자.
sup ℝ
만약 가 에서 연속이 아니라면 이다. 이때 이므로 는 ℝ에서 의 최댓값이 된다. 최댓값은 극댓값이
인 임의의 에 대하여 가 되는 다. ℝ에서 의 상한이 음수인 경우에도 같은 방법으로 ℝ에서
는 존재하지 않으므로 는 중간값 성질을 갖지 않는다. 이것은 가 최솟값을 가짐을 보일 수 있다.
모순이다. 가 에서 연속이 아니라고 가정해도 동일한 결론을
얻는다. 4.40 가 증가함수이고 이 양의 무한대로 발산하는 수열
이제 라고 하자. 그러면 이며 의 정의역이 을 포함하고 이 에 수렴한다
또는 고 하자. 가 증가함수이므로 임의의 에 대하여 ≤ 이
이다. 인 경우 인 에 대하여 다.
가 되는 는 존재하지 않으므로 는 중간값 성질을
양수 이 임의로 주어졌다고 하자. 그러면 양수 이 존재하여
갖지 않는다. 인 경우 인 에
일 때마다 이 성립한다. 이라고
대하여 가 되는 는 존재하지 않으므로 는 중간값
하자. 그러면
성질을 갖지 않는다. 이것은 모순이다.
따라서 는 의 모든 점에서 연속이다.
이 성립한다. 그런데 가 증가함수이므로 일 때마다
≤
4.38 이고 가 에서 연속이 아니라고 가정하자. 가 이 성립한다. 따라서 → ∞일 때 → 이다.
단조증가하므로 이다. 라고
가 감소함수인 경우에도 같은 방법으로 동일한 결과를 얻는다.
하자. 가 연속이므로 양수 가 존재하여 인 임의
의 에 대하여 을 만족시킨다. ≤
4.41 [⇒] 함수 가 연속함수라고 하자. 그리고 가 열린구간
이므로 일 때 이다. 그
이라고 하자. 그러면 정리 4.3.4에 의하여 는 열린집합이
런데 이므로 에서 의 좌극한이
다.
라는 데에 모순이다. 따라서 는 에서 불연속일 수 없다.
에 대해서도 같은 방법으로 증명한다. [⇐] 함수 에 의하여 임의의 열린구간의 역상이 열린집합이
된다고 하자. 그리고 가 열린집합이고 라고 하자.
4.39 양의 무한대와 음의 무한대에서 가 에 수렴하므로, 양 ∈ 이면 인 가 에 존재한다. 는 열린집합이므
수 가 존재하여 일 때마다 이 성립하며, 음수 로 ∈ ⊆ 인 열린구간 가 존재한다. 가정에 의하여
가 존재하여 일 때마다 이 성립한다. 는 는 열린집합이고 ∈ ⊆ 이므로 는 의 내
에서 연속이므로 에서 유계이다. 에서 의 최 점이다. 는 의 임의의 점이므로 는 열린집합이다. 즉 에
댓값을 이라고 하자. 그리고 max 이라고 하자. 의한 임의의 열린집합의 역상이 열린집합이 된다. 따라서 정리
그러면 임의의 실수 에 대하여 ≤ 이므로 는 ℝ에서 4.3.4에 의하여 는 연속함수이다.
유계이다.
이제 가 ℝ에서 극댓값 또는 극솟값을 가짐을 증명하자. 만약 4.42 ∈ℤ ∈ℤ라고 하자. 먼저 가 ℝ에서
가 ℝ에서 상수함수라면 는 당연히 극댓값과 극솟값을 가진 조밀한 집합임을 보이자. 인 두 실수 , 가 주어졌다고
다. 이제 가 상수함수가 아니라고 가정하자. 그러면 ℝ에서 하자. 인 정수 을 택하자. 그리고 인 가장
의 상한이 양수이거나 하한이 음수이다. ℝ에서 의 상한이 양 작은 정수 를 택하자. 그러면 ≤ 이므로
수라고 하자. 는 양의 무한대와 음의 무한대에서 에 수렴하므
로 양수 가 존재하여 인 임의의 에 대하여 가 성립한다. 이때 ∈ 이다. 즉 임의의 서로 다른 두 실수
사이에는 반드시 의 원소가 존재한다.
sup ℝ
가 성립한다. 다시 말하면 닫힌구간 밖의 임의의 점 다음으로 가 상수함수임을 증명하자. 실수 가 임의로 주어졌
에 대하여 다고 하자. 그러면 임의의 자연수 에 대하여
을 만족시키는 점 이 에 존재한다. 이때 은 모든 항이
sup ℝ
에 속하고 에 수렴하는 수열이 된다. 그런데 임의의 에 대
가 성립한다. 는 에서 연속이므로 에서 최댓 하여 이므로
맛있는 해석학 4판 ∙ ∙ ∙ 8 ∙ ∙ ∙ 단원 마무리 문제 풀이
이 자료를 ‘수학 나라의 앨리스’ 외의 다른 사이트에서 공유하는 것을 금지합니다.
lim [(2)⇒(3)] 닫힌집합 가 임의로 주어졌다고 하자. 그리고
→ ∞
라고 하자. 그러면 ⊆ 이다. 만
이다. 여기서 는 임의의 실수이므로 는 상수함수이다.
약 ∈ 이면
4.43 이므로 이다. 또 ∈
⊆
⊆
한 실수 에 대하여
이므로 ∈ 이다. 요컨대 ⊆ 이므로
, 즉
는 닫힌집합이다.
이므로 임의의 실수 에 대하여 이다. [(3)⇒(1)] 를 열린집합이라고 하고 ℝ∖라고 하자. 그
이라고 하자. 임의의 자연수 에 대하여 러면 는 닫힌집합이다. 따라서 는 에서의 닫힌집합이
⋯
된다. 그런데
ℝ∖ ℝ∖ ∖
⋯
이고 ℝ∖ 가 열린집합이므로 는 열린집합이 된
다. 즉 에 의한 열린집합의 역상이 열린집합이므로 는 연속함
수이다.
이므로
4.45실수 가 임의로 주어졌다고 하자. 그리고 자연수 이
이다. 임의의 자연수 에 대하여 임의로 주어졌다고 하자.
이므로
⋯
인 자연수 이 존재한다.
⋯
을 만족시키는 가장
작은 정수 를 택하자. 그러면
이므로
이다. 여기서
이라고 하면 이항 정리에 의하여
적당한 정수 , 가 존재하여
가 된다. 따라서
이다. (수학적 귀납법을 이용하면 논리적으로 증명된다.) 즉 임 ∈ 이다. 이러한 방법으로 구성된 수열 은 에 수렴하
의의 양의 유리수 에 대하여 이다. 한편 고 모든 항이 에 속한다. 가 연속함수이므로 수열 판정법에
의하여
이므로 임의의 유리수 에 대하여 이 성립한다. lim lim
→∞ →∞
이제 무리수 가 임의로 주어졌다고 하자. 그러면 에 수렴하는
이 성립한다. 즉 는 상수함수이다. [이 문제를 42번 문제와 비
유리수열 이 존재한다. 가 연속이므로 수열판정법에 의하
교해 보아라.]
여
lim lim 4.46 가 증가함수인 경우만 증명해도 충분하다.
→∞ →∞
이 성립한다. 따라서 임의의 실수 에 대하여 (1) 명백히 임의의 ∈ 에 대하여 ≤ ≤ 이
므로 는 에서 유계이다. 또한 단조수렴정리에 의하여
가 성립한다. 는 의 임의의 점에서 좌극한과 우극한을 가진다. 따라서
가 의 점 에서 불연속이라면 가 성립
4.44 [(1)⇒(2)] 가 에서 연속이라고 하자. 그리고 ⊆ 한다. 이제 자연수 에 대하여
라고 하자. ∈ 라고 하면 인 ∈
양수 이 임의로 주어졌다고 하자. 그러면 는 연속이므로
가 존재한다.
∈
이라고 정의하자. 명백히 은 유한집합이다. 왜냐하면, 만약
는 를 포함하는 열린집합이 된다. 따라서 양수 가
이 무한집합이라면 는 유계가 아닌 함수가 되기 때문이다.
존재하여 ⊆ 를 만족시킨다. 그런데 ∈
이
한편
므로 동일한 에 대하여 ∩ ≠ ∅이다. 여기서
∞
⊆ 이고 ∩ ≠ ∅이므로 ∩
≠ ∅이다. 그런데 은 임의의 양수이므로 ∈ 이다. 이라고 하면 는 유한집합의 가산 합집합이므로 가산집합이다.
요컨대 ∈ 인 임의의 에 대하여 ∈
이므로
는 또한 는 에서 가 불연속인 모든 점을 포함한다. 만약
의 부분집합이다. 가 또는 에서 불연속일지라도 가산집합에 유한 개의 원소
를 추가한 집합은 가산이므로 에서 가 불연속인 점들의
맛있는 해석학 4판 ∙ ∙ ∙ 9 ∙ ∙ ∙ 단원 마무리 문제 풀이
이 자료를 ‘수학 나라의 앨리스’ 외의 다른 사이트에서 공유하는 것을 금지합니다.
모임은 가산이다.
(2) 구간 에서 가 불연속인 점들의 모임을 이라고
이 성립한다.
하자. 그러면 (1)에서와 같은 논법에 의하여 은 가산집합이다.
동일한 에 대하여 , 일 때마다
여기서
≤
∈ℤ
이 성립한다. 즉 는 코시 조건을 만족시킨다.
이라고 하면 는 ℝ에서 가 불연속인 모든 점을 포함하며 가
[⇐] 양수 에 대하여 양수 가 존재하여 ,
산집합이다.
일 때마다 이 성립한다고 가
4.47 가 유리수인 점에서 불연속임을 증명하자. 정하자.
∈ 이 임의로 주어진 유리수라고 하자. 그러면 이제 이 에 수렴하고 ≠ 이며 모든 항이 의 정의역
이다. 이라고 하자. 그리고 양수 가 임의로 주어졌다 에 속하는 임의의 수열이라고 하자. 그러면 자연수 이 존재하
고 하자. 그러면 무리수의 조밀성에 의하여 인 무리수 여 일 때마다 를 만족시킨다. 동일한 자연수
∈ 이 존재한다. 이때 ≥ 이므로 에 대하여 일 때
는 에서 불연속이다. ,
다음으로 가 무리수인 점에서 연속임을 증명하자. 이므로
∈ 이 임의로 주어진 무리수라고 하자. 그리고 양수 이
이 성립한다. 따라서 은 코시 수열이므로 수렴한다.
임의로 주어졌다고 하자. ∈ ≥ 이라고 하
자. 그러면 명백히 ∉ 이다. 또한 는 유한집합이다. 왜냐하 다음으로 의 극한이 수열 에 관계없이 유일함을 증
면 명하자.
≥ , 이 에 수렴하고 ≠ 이며 모든 항이 의 정의역에 속
을 동시에 만족시키는 자연수 쌍 , 의 개수가 유한이기 때문 하는 임의의 수열이라고 하자. 또한 양수 이 다시 임의로 주어
이다. 이제 ∅인 경우는 로 두고, ≠ ∅인 경우에는 졌다고 하자. 그러면 양수 가 존재하여
의 원소 중에서 에 가장 가까운 것을 택하여 그 원소와 와 ,
의 거리를 라고 하자. 즉 일 때마다
min ∈
라고 하자. 그러면 는 양수이다. 이제 라고 가정하면 이 성립한다. 여기서 자연수 이 존재하여 일 때마다
∉ 이므로 이다. 즉 가 성립한다. 마찬가지로 자연수 가 존재하여
일 때마다 가 성립한다. max
이다. 따라서 는 에서 연속이다.
라고 하고 이라고 하면 , 이므로
[무리수인 점에서 연속이라는 명제의 다른 증명] 이 성립한다. 즉 lim 이므
가 에서 임의로 주어진 무리수라고 하자. 이 에 로 과 은 동일한 값에 수렴한다.
수렴하고 모든 항이 에 속하는 임의의 수열이라고 하자.
그러므로 수열 판정법에 의하여 는 에서 수렴한다.
의 항 중에서 무리수인 항 에 대해서는 이다.
의 항 중에서 유리수인 것을 분모와 분자가 자연수인 기약 4.49 [⇒] 양의 무한대에서 가 에 수렴한다고 하자. 그리
분수로 나타냈을 때 분모를 이라고 하자. 만약 이 무리 고 양수 이 임의로 주어졌다고 하자. 그러면 실수 가 존재하
수라면 이라고 정의한다. 그러면 임의의 에 대하여 여 일 때마다 를 만족시킨다. 동일한 실
수 에 대하여 , 일 때마다
≤ ≤
≤
이 성립한다. 그런데 이 무리수에 수렴하므로 문제 4.25에
의하여 은 양의 무한대로 발산한다. 따라서 조임정리에 의
이 성립한다.
하여 lim 이다. 따라서 수열판정법에 의하여
는 에서 연속이다. [⇐] 가 코시 조건을 만족시킨다고 하자. 그리고 이 양의
무한대로 발산하며 모든 항이 의 정의역에 속하는 수열이라고
4.48 [⇒] 먼저 에서 가 수렴한다고 가정하자. 그러면 임의 하자. 그러면 가정에 의하여 은 코시 수열이고, 따라서
의 양수 에 대하여 양수 가 존재하여 일 때마 수렴한다.
다
맛있는 해석학 4판 ∙ ∙ ∙ 10 ∙ ∙ ∙ 단원 마무리 문제 풀이
이 자료를 ‘수학 나라의 앨리스’ 외의 다른 사이트에서 공유하는 것을 금지합니다.
이제 수열 에 관계없이 이 일정한 값에 수렴함을
증명하자. 이 양의 무한대로 발산하며 모든 항이 의 정의 4.52 [⇒] 가 구간인 경우 명백히 ∈ 이고 인
역에 속하는 수열이라고 하자. 그리고 양수 이 임의로 주어졌 임의의 , , 에 대하여 ∈ 가 성립한다.
다고 하자. 그러면 코시 조건을 만족시키는 실수 가 존재한다. [⇐] ∈ 이고 인 임의의 , , 에 대하여 ∈
그런데 과 이 모두 양의 무한대로 발산하므로 자연수 가 성립한다고 가정하자.
이 존재하여 일 때마다 , 가 성립한다. 가 위로 유계가 아니고 아래로 유계가 아닌 경우를 증명하자.
즉 일 때 이 성립한다. 이것은 이때 임의의 실수 에 대하여 인 ∈ 가 존재한다.
lim 따라서 ∈ 이다. 즉 임의의 실수 에 대하여 ∈ 이므로
→∞
ℝ ∞ ∞이다.
을 뜻하므로 과 은 동일한 값에 수렴한다. 이로
써 정리 4.4.6에 의하여 → ∞일 때 는 수렴한다. 가 위로 유계이지만 아래로 유계가 아닌 경우를 증명하자.
sup 라고 하자. 인 임의의 실수 에 대하여
4.50 이고 라고 하자. 무리수의 조밀성에 인 ∈ 가 존재한다. 따라서 문제의 조건에 의하여
의하여 인 무리수 이 존재한다. 을 에 수렴하고 ∈ 이다. 이것은 ∞ ⊆ 를 의미한다. 한편 보다 큰 모
든 실수는 의 원소가 아니다. 따라서 ∈ 라면 ∞ 가
모든 항이 에 속하는 유리수열이라고 하자. [유리수의 조밀성에
되고 ∉ 라면 ∞ 가 된다.
의하여 그러한 수열이 존재한다.] 그리고 을 분모와 분자가
자연수인 기약분수로 나타냈을 때 분모를 이라고 하자. 그러 가 아래로 유계이지만 위로 유계가 아닌 경우는 위와 비슷한
면 문제 4.25에 의하여 은 양의 무한대로 발산하므로 방법으로 증명된다.
≥ 가 유계라고 가정하자. 만약 가 공집합이라면 명백히 는 구간
lim lim lim ∞
→ →∞ →∞
이다. 가 공집합이 아니라고 하자. 그리고 inf , sup
이다. 즉 에서 의 상극한은 양의 무한대로 발산한다. 따라서
라고 하자. 그러면 인 임의의 실수 에 대하여
는 구간 에서 위로 유계가 아니다.
인 ∈ 가 존재한다. 따라서 ∈ 이다. 이
것은 ⊆ 를 의미한다. 한편 보다 작거나 보다 큰 임의
4.51 (1) 양수 이 임의로 주어졌다고 하자. 라고 하자.
의 실수는 의 원소가 아니다. 따라서 , 가 의 원소인지의
임을 가정하면
여부에 따라 는 왼쪽 끝점이 이고 오른쪽 끝점이 인 열린구
≤
간, 닫힌구간 또는 반열린구간이 된다.
이므로 는 평등연속이다.
(2) ∈ 인 을 택하자. 그리고 자연수 에 대하여 4.53 (1) [⇒] 가 연결집합이라고 하자. 결론에 반하여 적당
이라고 정의한다. 명백히 임의의 자연수 에 대하여, 한 ∈ 와 적당한 ∈ 가 존재하여 ∉ 라고 가정
∈ 이면 ∈ 이다. 이로써 수열 이 귀납적 하자. 여기서 ∩ ∞ 와 ∩ ∞는 열린
으로 정의되었다. 한편 임의의 자연수 에 대하여 집합이고 공집합이 아니며 서로소이다. 또한 ∪ 이므로
≤ 는 분할되었다. 이것은 모순이므로 그러한 , , 는 존재하
이 성립한다. 따라서 은 축약수열이므로 예제 3.6.4에 의하 지 않는다. 즉 는 구간이다. (문제 4.52 참조)
여 수렴한다. [⇐] 가 연결집합이 아니라고 가정하자. 그러면 공집합이 아
니고 서로소인 열린집합 , 가 존재하여
의 극한을 라고 하자. 양수 이 임의로 주어졌다고 하자.
⊆ ∪ , ∩ ≠ ∅, ∩ ≠ ∅
자연수 이 존재하여 일 때마다
이다. 일반성을 잃지 않고 ∈ ∩ , ∈ ∩ , 라고 하
자. ∩ ∩ 의 상한을 라고 하면 ∈
∩ 이다. 따라
이 성립한다. 따라서 일 때 서 ∉ ∩ 이므로 ≤ 이다. 만약 ∉ ∩ 이면
≤ 이므로 ∉ 이다. 만약 ∈ ∩ 이면 ∉
∩ 이
므로 이고 ∉ ∩ 인 이 존재한다. 따라서
≤ 이고 ∉ 이다. 이것은 가 구간이 아님을 의미한
이다. 여기서 은 임의의 양수이므로 이다. 다.
이제 의 유일성을 보이자. ′∈ 이고 ′ ′ 이 성립한다 (2) 는 연결집합지만 는 연결집합이 아니라고 가정하자.
고 가정하자. 그러면 그러면 서로소이고 공집합이 아닌 두 열린집합 , 가 존재하
′ ′ ≤ ′ 여
인데 이므로 ′ 이다. ⊆ ∪ , ∩ ≠ ∅, ∩ ≠ ∅
이다. ∩ , ∩ 라고 하면 ∪
따라서 인 ∈ 는 유일하다.
맛있는 해석학 4판 ∙ ∙ ∙ 11 ∙ ∙ ∙ 단원 마무리 문제 풀이
이 자료를 ‘수학 나라의 앨리스’ 외의 다른 사이트에서 공유하는 것을 금지합니다.
이다. 는 연결집합이고 , 는 서로소이고 에서 열린집합이 ≤
므로 와 중 하나는 공집합이다. ⊆ 이므로 ⊆ 이라고 하자. 그리고 , 이라고 하자.
이다. 그런데 가 연속이므로
는 닫힌집합이고 즉 의 정수부분을 , 소수부분을 라고 하자. 그러면 다음이
성립한다.
⊆ 이다. 따라서 ⊆ 이다. 이고
∩ ∅이므로
∩ ∅이다. 마찬가지로 ∩
∅이
≤
다. 따라서 ∪ 는 분할되었다. 이것은 ∪ 가 연결집합
⋯
이라는 데에 모순이다.
(3) 함수 → ℝ가 연속이고 라고 하자. 그
리고 라고 하자. 는 연결집합이므로
도 연결이다. 즉 는 구간이다. 또한
∈ , ∈ ≤
이므로 문제 4.52에 의하여 ∈ 이다. 따라서
인 ∈ 가 존재한다.
.
4.54 [⇒] 함수 가 에서 증가한다고 하자. 그리고 가 즉 일 때
연결집합이라고 하자. 만약 가 공집합이면 도 공집합이 ≤
므로 당연히 연결집합이다. 따라서 가 공집합이 아니라고 하 이다. 이 부등식은 의 값이 충분히 클 때 의 그래프
자. 의 왼쪽 끝점을 , 오른쪽 끝점을 라고 하면 는 가 일차함수 의 그래프의 아래쪽에 있다는 것
왼쪽 끝점이 , 오른쪽 끝점이 인 구간이 된다. 따 을 뜻한다. 일 때 위 부등식의 양변을 로 나누면
라서 는 연결집합이다.
≤
가 에서 감소하는 경우에도 비슷한 방법으로 증명된다. 을 얻는다. 이 식의 양변에 → ∞인 극한을 취하면
[⇐] 함수 가 에서 단조함수가 아니라고 가정하자. 그러 ≤
lim
→∞
면 에 , , 이 존재하여
을 얻는다. 그런데 ≥ 이므로
이면서
또는 lim
→∞
이면서
을 얻는다.
이 성립한다. 첫 번째 부등식이 성립하는 경우
다음으로 인 가 존재하는 경우를 증명하자.
max
인 에 대하여 라고 하면 는 구간이므로 연결집 라고 하면 는 연속함수이고 임의의 양수 에 대
하여 ≥ 이며
합이지만 는 연결집합이 아니다. 두 번째 부등식이 성립
하는 경우
lim
→∞
min 이므로 앞의 경우에 의하여
인 에 대하여 라고 하면 는 구간이므로 연결집
lim
→∞
합이지만 는 연결집합이 아니다.
을 얻는다. 즉
4.55 먼저 이고 임의의 양수 에 대하여 ≥ 인 경
→∞
lim
우를 증명하자. 양수 가 임의로 주어졌다고 하자. 그러면 자연
이므로
수 이 존재하여
→ lim
→∞
를 만족시킨다. 이제 의 값이 충분히 크면 함수 의
을 얻는다.
증가 속도가 일차함소 의 증가 속도보다 느리다는 것을
끝으로 ≠ 인 경우를 증명하자. 라고 하면
보여야 한다. 이 사실을 논리적으로 보이는 것이 증명의 핵심이
는 연속이고
다.
lim
함수 는 닫힌구간 에서 연속이므로 이 → ∞
구간에서 최댓값을 가진다. 가 이 구간에서 최댓 이므로
값을 갖는 점을 이라고 하자. 그리고 이라고 하자.
lim
lim
→ ∞ → ∞
즉 임의의 ∈ 에 대하여 다음이 성립한다.
맛있는 해석학 4판 ∙ ∙ ∙ 12 ∙ ∙ ∙ 단원 마무리 문제 풀이
이 자료를 ‘수학 나라의 앨리스’ 외의 다른 사이트에서 공유하는 것을 금지합니다.
이다. 따라서
lim
→ ∞
가 성립한다.
4.56 결론에 반하여 가 불연속인 점의 개수가 유한이라고 하
자. 그리고 그 점들 중에서 보다 작은 것들을 작은 것부터 순
서대로 , , ⋯, 이라고 하고, 보다 큰 것들을 작은 것부
터 순서대로 , , ⋯, 이라고 하자.
∞ , 이라고 하고 미만의 자연수
에 대해서는 라고 하자. 또한 ,
∞이라고 하고 미만의 자연수 에 대해서는
이라고 하자. 각 와 는 연결집합이므로
와 도 연결집합이다. 또한 각 와 위에서 는 일대일함
수이므로 단조이다. 따라서 또는 가 각각 원소로 가지고 있
는 끝점의 개수만큼 와 도 각각 끝점의 개수를 원소로
가진다. 예컨대 가 반열린구간이면 도 반열린구간이며,
가 열린구간이면 도 열린구간이다.
모든 와 의 합집합은 ℝ 이므로 ℝ 는 개의 구간
으로 나누어지며, 이들 구간들의 끝점의 개수는 ∞, , ∞를
제외하고 이다.
모든 와 의 합집합은 의 치역인 ℝ와 같으므로 ℝ는
개의 구간으로 나누어지며, 이들 구간의 끝점의 개수
는 ∞, ∞를 제외하고 이다.
그런데 는 구간 또는 의 끝점들을 정확히 또는
의 끝점에만 대응시키고, 이들은 겹치지 않으므로, 정의역
ℝ 를 나눈 구간들의 끝점들의 개수와 치역 ℝ를 나눈 구간들
의 끝점들의 개수는 일치해야 한다.
이것은 모순이므로 의 불연속점의 개수는 유한이 아니다.
만든이 이슬비 | designeralice@daum.net
펴낸곳 수학 나라의 앨리스 | http://aliceinmathland.com
수정일 2018년 6월 10일
맛있는 해석학 4판 ∙ ∙ ∙ 13 ∙ ∙ ∙ 단원 마무리 문제 풀이
이 자료를 ‘수학 나라의 앨리스’ 외의 다른 사이트에서 공유하는 것을 금지합니다.
You might also like
- 5. 급수Document81 pages5. 급수이학송 (레미연)No ratings yet
- 함수easy임 211201 153115Document6 pages함수easy임 211201 153115ᄋᄃᄃᄋNo ratings yet
- 수리논술나침반 04 (2012)Document297 pages수리논술나침반 04 (2012)hannibalNo ratings yet
- 공미적 답안Document110 pages공미적 답안권예진No ratings yet
- (2022 ) ( ) 2-1Document8 pages(2022 ) ( ) 2-1h9c7wqnp85No ratings yet
- 수학201함수의극한 hwpDocument63 pages수학201함수의극한 hwplovely070929No ratings yet
- 수학201함수의극한Document63 pages수학201함수의극한조수목No ratings yet
- (2024 ) ( ) 3-1 (Q) 1Document13 pages(2024 ) ( ) 3-1 (Q) 18j2j4nbsnsNo ratings yet
- (2024년 기출변형) 수지고등학교 (경기 용인시 수지구) 3-1 중간 미적분 족보 (q) 2회Document11 pages(2024년 기출변형) 수지고등학교 (경기 용인시 수지구) 3-1 중간 미적분 족보 (q) 2회sunrony6516No ratings yet
- (2023년 기출변형) 태원고등학교 (경기 성남시 분당구) 2-2 중간 수학ⅱ 족보 (q) 2회Document12 pages(2023년 기출변형) 태원고등학교 (경기 성남시 분당구) 2-2 중간 수학ⅱ 족보 (q) 2회jeonyejun73No ratings yet
- 1 - 1 - 함수의 극한 - 개념+유제 - 정답Document6 pages1 - 1 - 함수의 극한 - 개념+유제 - 정답kdh1jkmmNo ratings yet
- (미적분) 1학기 중간 5회Document8 pages(미적분) 1학기 중간 5회카일로No ratings yet
- 近衛 모의고사 (공통과목) - 정답Document5 pages近衛 모의고사 (공통과목) - 정답Medic DeiNo ratings yet
- 1 ( )Document14 pages1 ( )4dysfyhs4sNo ratings yet
- 미래엔 답지Document8 pages미래엔 답지동예은No ratings yet
- 2808 6618Document14 pages2808 6618choco080228No ratings yet
- 1 - 1 - 함수의 극한 - 개념+유제 - 문제Document5 pages1 - 1 - 함수의 극한 - 개념+유제 - 문제kdh1jkmmNo ratings yet
- (2024년 기출변형) 수지고등학교 (경기 용인시 수지구) 3-1 중간 미적분 족보 (Q) 1회Document11 pages(2024년 기출변형) 수지고등학교 (경기 용인시 수지구) 3-1 중간 미적분 족보 (Q) 1회sunrony6516No ratings yet
- 수열의 극한Document115 pages수열의 극한박영선No ratings yet
- ( ) - 2022Document10 pages( ) - 2022gjwd77nwhrNo ratings yet
- Lim LimDocument8 pagesLim Limp57b5y5xrkNo ratings yet
- Lim LimDocument8 pagesLim Limp57b5y5xrkNo ratings yet
- 1 Ii-1Document12 pages1 Ii-1jtqcb88q8gNo ratings yet
- 2013 - 1 - 1 - 2 ( )Document6 pages2013 - 1 - 1 - 2 ( )colipoc957No ratings yet
- (꼭) 자이 수2 합본Document17 pages(꼭) 자이 수2 합본김태형No ratings yet
- 2023학년도 고려대 편입 기출문제 해설 (수학－비수학과)Document12 pages2023학년도 고려대 편입 기출문제 해설 (수학－비수학과)이찬형No ratings yet
- 1장 - 수열의 극한 lim lim lim lim lim lim lim lim limDocument3 pages1장 - 수열의 극한 lim lim lim lim lim lim lim lim limdkvrbg6zjrNo ratings yet
- ［전자책］랑데뷰 N제 수학2 － 킬러극킬＿내지 해설Document89 pages［전자책］랑데뷰 N제 수학2 － 킬러극킬＿내지 해설cdy751219No ratings yet
- 0225해설Document4 pages0225해설gabbyhyunNo ratings yet
- 0204테스트Document6 pages0204테스트gabbyhyunNo ratings yet
- [서초고 미적분]Document11 pages[서초고 미적분]gjwd77nwhrNo ratings yet
- 25학년도 수능CCTV미적분Document240 pages25학년도 수능CCTV미적분lovely070929No ratings yet
- 미적분 공식 정리 2Document7 pages미적분 공식 정리 2peeNo ratings yet
- 2022년 가을 운호고등학교 고2 -Document5 pages2022년 가을 운호고등학교 고2 -servereslump90No ratings yet
- The 3Document6 pagesThe 3ddxfbvd7v4No ratings yet
- 수열의 극한 참거짓93Document11 pages수열의 극한 참거짓93d8b79nyjq7No ratings yet
- 대수 이론 총정리Document27 pages대수 이론 총정리hdz7z9nxgrNo ratings yet
- 1.+수열의+극한 복사본Document16 pages1.+수열의+극한 복사본바다솜No ratings yet
- (자연-오전) 2022학년도 인하대학교 논술고사 문제Document12 pages(자연-오전) 2022학년도 인하대학교 논술고사 문제문정훈No ratings yet
- Lim Lim LimDocument17 pagesLim Lim Lim22-10323No ratings yet
- 23한성과고7월개강반테스트1 해설Document3 pages23한성과고7월개강반테스트1 해설jayknow2backNo ratings yet
- 2장 함수의 극한과 연속성240228Document19 pages2장 함수의 극한과 연속성240228dbtjdwls0700No ratings yet
- 2017-2022 ( - 2)Document9 pages2017-2022 ( - 2)yj.kim060407No ratings yet
- 3 CHDocument8 pages3 CH박사민No ratings yet
- (미적분) 1학기 중간 8회Document10 pages(미적분) 1학기 중간 8회카일로No ratings yet
- (2022년 예상) 서귀포고등학교 (제주 서귀포시) 2-1 기말 수학ⅡDocument17 pages(2022년 예상) 서귀포고등학교 (제주 서귀포시) 2-1 기말 수학ⅡCharile JangNo ratings yet
- ( ) 3-2-2. (06) (25 ) (Q)Document8 pages( ) 3-2-2. (06) (25 ) (Q)8j2j4nbsnsNo ratings yet
- 미적분 완성본 - 210326수정Document79 pages미적분 완성본 - 210326수정nomukhun00No ratings yet
- (고난도완성) 5.함수 - 고1 수학 (Q)Document12 pages(고난도완성) 5.함수 - 고1 수학 (Q)woosza01No ratings yet
- 2021년 9월 고3 모의고사 수학 확률과통계 정답&해설Document29 pages2021년 9월 고3 모의고사 수학 확률과통계 정답&해설장지연No ratings yet
- MathDocument13 pagesMathoktb 8896No ratings yet
- 미적분 2주차 학습활동지Document3 pages미적분 2주차 학습활동지븨또낙No ratings yet
- (심화문제) 수학 (상) Ⅱ방정식과부등식 2이차방정식Document9 pages(심화문제) 수학 (상) Ⅱ방정식과부등식 2이차방정식박세현No ratings yet
- 숖ㄱDocument13 pages숖ㄱkdh0611232No ratings yet
- (미적분) 1학기 중간 4회Document8 pages(미적분) 1학기 중간 4회카일로No ratings yet
- e^x2 극한 조사Document10 pagese^x2 극한 조사홍승혁No ratings yet
- 경신고등학교 1학년 2023 2학기중간 수학 (하) (집합~함수)Document7 pages경신고등학교 1학년 2023 2학기중간 수학 (하) (집합~함수)innoki75No ratings yet
- (2023년 예상) 인천원당고등학교 (인천 서구) 2-2 기말 미적분 족보 (Q) 2회Document13 pages(2023년 예상) 인천원당고등학교 (인천 서구) 2-2 기말 미적분 족보 (Q) 2회goi99113No ratings yet
- (2023년 예상) 인천원당고등학교 (인천 서구) 2-2 기말 미적분 족보 (Q) 3회Document10 pages(2023년 예상) 인천원당고등학교 (인천 서구) 2-2 기말 미적분 족보 (Q) 3회goi99113No ratings yet
- 2 CHDocument6 pages2 CH박사민No ratings yet
- 6 CHDocument5 pages6 CH박사민No ratings yet
- 3 CHDocument8 pages3 CH박사민No ratings yet
- 1 CHDocument7 pages1 CH박사민No ratings yet
![[서초고 미적분]](https://imgv2-2-f.scribdassets.com/img/document/726187833/149x198/1b396b6147/1713954748?v=1)
