불연속점의 분류
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
1. 개요
불연속점의 분류는 실수 함수의 불연속성을 좌극한과 우극한의 존재 여부에 따라 제1종과 제2종으로 나누는 것이다. 제1종 불연속점은 제거 가능 불연속점과 비약 불연속점으로, 제2종 불연속점은 무한 불연속점과 진동 불연속점으로 세분된다. 불연속점의 성질, 리만 적분 가능성, 도함수의 불연속성 등과 관련된 내용을 다루며, 디리클레 함수, 토메 함수 등을 예시로 든다.
더 읽어볼만한 페이지
불연속점의 분류 |
---|
2. 정의
실수 함수의 경우, 불연속점은 좌극한과 우극한의 존재 여부에 따라 '''제1종 불연속점'''과 '''제2종 불연속점'''으로 분류된다. 제1종 불연속점은 좌극한과 우극한이 일치하는지에 따라 '''제거 가능 불연속점'''과 '''비약 불연속점'''으로 분류되며, 제2종 불연속점은 무한대인 좌극한이나 우극한이 있는지에 따라 '''무한 불연속점'''과 '''진동 불연속점'''으로 분류된다.
구체적으로, 정의역이 실수 열린구간 , 공역이 실수 집합 인 함수 가 주어졌다고 하자.
실수 축 위의 점 ''x''0의 근방에서 정의되는 실수 변수 ''x''의 실수 값을 갖는 함수 ''f''가 점 ''x'' = ''x''0에서 불연속인 경우를 생각한다.
:
를 각각 ''x'' = ''x''0에서의 ''f''의 좌극한 또는 우극한으로 한다. 또한, ''L''− = ''L''+일 때는 이 일치하는 값을 단순히
:
로 나타낸다.
== 제1종 불연속점 ==
제거 가능한 불연속점과 도약 불연속점을 통칭하여 '''제1종 불연속점'''이라고 한다.
=== 제거 가능 불연속점 ===
''L''−와 ''L''+가 유한 확정(존재하고 유한)이고 같지만 ''f''(''x''0) ≠ ''L''일 때, ''f''(''x'')는 ''x'' = ''x''0에 '''제거 가능한 불연속점''' removable discontinuity영어을 갖는다고 한다. ''f''(''x''0)의 값을 변경하여 "''x'' = ''x''0에서도 연속이 되도록 할 수 있다"는 의미에서 이 불연속성은 제거할 수 있다. 더 명확히 말하면, 함수
:
는 ''x'' = ''x''0에서도 연속이 된다.
"제거 가능한 불연속성(점)"이라는 말은, ''x''0의 좌우 양쪽에서의 극한이 유한 확정이고 같지만, 함수는 ''x''0에서 정의되지 않는 경우에 잘못 사용되는 경우가 있다.[13]。그러나 함수의 연속성과 불연속성의 개념은, 함수의 정의역에 속하는 점에 대해서만 정의되므로, 이러한 용법은 부적절하다. 이러한 부정점은 정확히는 제거 가능한 특이점이다.
=== 비약 불연속점 ===
''L''−와 ''L''+가 유한 확정이나 같지 않은 경우
:
을 함수 ''f''의 ''x''0에서의 '''도약''', '''점프''' jump영어, '''계단''' step영어 또는 '''간극''' gap)영어 등이라고 하며, ''f''는 ''x'' = ''x''0에서 도약 ''j''의 '''도약 불연속점''' jump discontinuity영어, '''계단 불연속점''' step discontinuity영어 또는 '''간극 불연속점''' gap discontinuity영어을 갖는다고 한다. 이 불연속성에 대해서는 ''f''(''x''0)의 값이 무엇인지는 영향을 미치지 않는다(그러나, ''x''0에서 좌연속 또는 우연속 중 하나로 만들 수 있다).
== 제2종 불연속점 ==
제2종 불연속점은, 한쪽 극한이 존재하지 않는 경우(진성 불연속점)를 말한다.
=== 무한 불연속점 ===
=== 진동 불연속점 ===
2. 1. 제1종 불연속점
불연속점 가 다음 조건을 만족시키면, '''제1종 불연속점'''이라고 한다.- (좌·우극한 존재) 와 가 둘 다 존재한다.
편의상,
:
를 각각 ''x'' = ''x''0에서의 ''f''의 좌극한 또는 우극한으로 한다.
제거 가능한 불연속점과 도약 불연속점을 통칭하여 '''제1종 불연속점'''이라고 한다(제거 가능한 불연속점은 도약이 0인 도약 불연속점으로 생각할 수 있다).[13]
== 제거 가능 불연속점 ==
''L''−와 ''L''+가 유한 확정(존재하고 유한)이고 같지만 ''f''(''x''0) ≠ ''L''일 때, ''f''(''x'')는 ''x'' = ''x''0에 '''제거 가능한 불연속점''' removable discontinuity영어을 갖는다고 한다. ''f''(''x''0)의 값을 변경하여 "''x'' = ''x''0에서도 연속이 되도록 할 수 있다"는 의미에서 이 불연속성은 제거할 수 있다.
== 도약 불연속점 ==
''L''−와 ''L''+가 유한 확정이나 같지 않은 경우
:
을 함수 ''f''의 ''x''0에서의 '''도약''', '''점프''' jump영어, '''계단''' step영어 또는 '''간극''' gap)영어 등이라고 하며, ''f''는 ''x'' = ''x''0에서 도약 ''j''의 '''도약 불연속점''' jump discontinuity영어, '''계단 불연속점''' step discontinuity영어 또는 '''간극 불연속점''' gap discontinuity영어을 갖는다고 한다. 이 불연속성에 대해서는 ''f''(''x''0)의 값이 무엇인지는 영향을 미치지 않는다(그러나, ''x''0에서 좌연속 또는 우연속 중 하나로 만들 수 있다).
2. 1. 1. 제거 가능 불연속점
제1종 불연속점 가 다음 두 조건 중 적어도 하나를 만족하면 를 '''제거 가능 불연속점''' 또는 '''없앨 수 있는 불연속점'''이라고 한다.
- (좌·우극한 일치)
- (극한 존재) 가 존재한다.
- (제거 가능) 인 연속 함수 가 존재한다.
예를 들어, 1은 다음과 같은 함수의 제거 가능 불연속점이다.
:
제거 가능 불연속점은 함수의 재정의를 통해 연속점으로 만들 수 있다. 예를 들어, 위 함수를 다음과 같이 재정의한다.
:
그러면, 1은 새로운 함수의 연속점이 된다.
다음과 같은 구간 함수를 고려해 본다.
:
점 은 ''제거 가능한 불연속점''이다.
음의 방향에서 오는 단측 극한:
:
양의 방향에서 오는 단측 극한:
:
에서 ''모두'' 존재하고, 유한하며, 과 같다. 즉, 두 단측 극한이 존재하고 같으므로, 가 에 접근할 때 의 극한 이 존재하고 이와 같은 값과 같다. 만약 의 실제 값이 과 ''같지 않다면'', 를 '''제거 가능한 불연속점'''이라고 한다. 이 불연속점은 가 에서 연속이 되도록 제거할 수 있다. 더 정확하게는, 함수
:
는 에서 연속이다.
''제거 가능한 불연속점''이라는 용어는 때때로 두 방향의 극한이 존재하고 같지만, 함수가 점 에서 정의되지 않은 제거 가능한 특이점을 포함하도록 확장되기도 한다. 그러나 함수의 연속성과 불연속성은 함수의 정의된 점에 대해서만 정의되는 개념이기 때문에, 이러한 용어의 사용은 부적절하다.
실수 축 위의 점 ''x''0의 근방에서 정의되는 실수 변수 ''x''의 실수 값을 갖는 함수 ''f''가 점 ''x'' = ''x''0에서 불연속인 경우를 생각한다.
:
를 각각 ''x'' = ''x''0에서의 ''f''의 좌극한 또는 우극한으로 한다. 또한, ''L''− = ''L''+일 때는 이 일치하는 값을 단순히
:
로 나타낸다.
''L''−와 ''L''+가 유한 확정(존재하고 유한)이고 같지만 ''f''(''x''0) ≠ ''L''일 때, ''f''(''x'')는 ''x'' = ''x''0에 '''제거 가능한 불연속점''' (removable discontinuity)영어을 갖는다고 한다. ''f''(''x''0)의 값을 변경하여 "''x'' = ''x''0에서도 연속이 되도록 할 수 있다"는 의미에서 이 불연속성은 제거할 수 있다. 더 명확히 말하면, 함수
:
는 ''x'' = ''x''0에서도 연속이 된다.
제거 가능한 불연속점과 도약 불연속점을 통칭하여 '''제1종 불연속점''' (discontinuity of the first kind)영어이라고 한다(제거 가능한 불연속점은 도약이 0인 도약 불연속점으로 생각할 수 있다).
"제거 가능한 불연속성(점)"이라는 말은, ''x''0의 좌우 양쪽에서의 극한이 유한 확정이고 같지만, 함수는 ''x''0에서 정의되지 않는 경우에 잘못 사용되는 경우가 있다.그러나 함수의 연속성과 불연속성의 개념은, 함수의 정의역에 속하는 점에 대해서만 정의되므로, 이러한 용법은 부적절하다. 이러한 부정점은 정확히는 제거 가능한 특이점이다.
2. 1. 2. 비약 불연속점
제1종 불연속점 가 다음 두 조건 중 적어도 하나를 만족하면 a를 '''비약 불연속점''' 또는 '''뜀 불연속점'''이라고 한다.
- (좌·우극한 불일치)
- (극한 부재) 가 존재하지 않는다.
예를 들어, 1은 다음과 같은 함수의 비약 불연속점이다.
:
함수
에서, 점 은 ''''이다.
이 경우, 좌극한 과 우극한 은 존재하고 유한하지만 서로 같지 않기 때문에(), 단일 극한은 존재하지 않는다. 그러면 을 ''점프 불연속점'', ''계단 불연속점'', 또는 ''제1종 불연속점''이라고 부른다. 이러한 유형의 불연속점의 경우, 함수 는 에서 임의의 값을 가질 수 있다.
실수 축 위의 점 ''x''0의 근방에서 정의되는 실수 변수 ''x''의 실수 값을 갖는 함수 ''f''가 점 ''x'' = ''x''0에서 불연속인 경우를 생각할때,
:
를 각각 ''x'' = ''x''0에서의 ''f''의 좌극한 또는 우극한으로 한다. ''L''− = ''L''+일 때는 이 일치하는 값을 단순히
:
로 나타낸다.
''L''−와 ''L''+가 유한 확정이나 같지 않은 경우
:
을 함수 ''f''의 ''x''0에서의 '''도약''', '''점프''' (jump)영어, '''계단''' (step)영어 또는 '''간극''' (gap)영어 등이라고 하며, ''f''는 ''x'' = ''x''0에서 도약 ''j''의 '''도약 불연속점''' (jump discontinuity)영어, '''계단 불연속점''' (step discontinuity)영어 또는 '''간극 불연속점''' (gap discontinuity)영어을 갖는다고 한다. 이 불연속성에 대해서는 ''f''(''x''0)의 값이 무엇인지는 영향을 미치지 않는다(그러나, ''x''0에서 좌연속 또는 우연속 중 하나로 만들 수 있다).
2. 2. 제2종 불연속점
불연속점 가 다음 조건을 만족시키면, '''제2종 불연속점'''이라고 한다.- (좌/우극한 부재) 와 가운데 적어도 하나가 존재하지 않는다.
실수 축 위의 점 ''x''0의 근방에서 정의되는 실수 변수 ''x''의 실수 값을 갖는 함수 ''f''가 점 ''x'' = ''x''0에서 불연속인 경우를 생각한다. 편의상,
:
를 각각 ''x'' = ''x''0에서의 ''f''의 좌극한 또는 우극한으로 한다.
제2종 불연속점은, 한쪽 극한이 존재하지 않는 경우(진성 불연속점)를 말한다.
2. 2. 1. 무한 불연속점
제2종 불연속점 가 다음 조건을 만족시키면, '''무한 불연속점'''이라고 한다.
- (좌/우극한 무한대) 와 가운데 적어도 하나가 사영 무한대 이다.
예를 들어, 1은 다음과 같은 함수의 무한 불연속점이다.
:
2. 2. 2. 진동 불연속점
가 다음 조건을 만족시키면, '''진동 불연속점'''이라고 한다.- (좌·우극한 무한대 아님) 가 사영 무한대 가 아니며, 가 사영 무한대 가 아니다.
예를 들어, 1은 다음과 같은 함수의 진동 불연속점이다.
:
필수 불연속점의 경우, 적어도 한쪽의 극한은 에서 존재하지 않는다. (한쪽 또는 양쪽 극한이 일 수도 있다.)
다음 함수를 생각해 보자.
이때, 점 은 ''''이다.
이 예시에서, 과 둘 다 에서 존재하지 않으므로 필수 불연속점의 조건을 만족한다. 따라서 는 필수 불연속점, 무한 불연속점, 또는 제2종 불연속점이다. (이것은 복소 변수 함수의 연구에서 종종 사용되는 본질적 특이점과는 다르다.)
제2종 불연속점은, 한쪽 극한이 존재하지 않는 경우(진성 불연속점)를 말한다.
3. 성질
함수의 연속점 집합은 항상 Gδ 집합이다.[2] 함수의 불연속점 집합은 항상 Fσ 집합이다.[2]
실변수 실숫값 함수의 제1종 불연속점 집합은 가산 집합이다. 특히, 실변수 실숫값 단조함수의 불연속점은 항상 제1종 불연속점이므로, 단조함수의 불연속점 집합은 커야 가산 집합이다. 이를 '''프로다의 정리'''(Froda's theorem영어)라고 한다.[3][4][5]
함수 *f*가 구간 *I* ⊆ R에서 정의되었다고 가정하면, *D*를 *I*에서 *f*의 모든 불연속점의 집합으로 나타낸다. *R*은 *f*가 *x*0에서 ''제거 가능한'' 불연속성을 갖는 모든 *x*0∈ *I*의 집합을 의미한다. 유사하게 *J*는 *f*가 *x*0에서 ''점프'' 불연속성을 갖는 모든 *x*0∈ *I*로 구성된 집합을 나타낸다. *f*가 *x*0에서 ''본질적인'' 불연속성을 갖는 모든 *x*0∈ *I*의 집합은 *E*로 나타낸다.
- 집합 *D*는 집합이다.
- 구간 *I*에서, *f*가 단조 함수이면, *D*는 최대 가산이며, *D* = *J*이다. 이것은 프로다 정리이다.
토메 함수는 모든 유리수 점에서 불연속이지만, 모든 무리수 점에서 연속이다. 디리클레 함수로 알려진, 유리수 전체의 집합의 지시 함수는 모든 곳에서 불연속이다.
4. 리만 적분 가능성
르베그의 정리(르베그-비탈리 정리)에 따르면, 유계 함수 f가 I = [a,b]에서 리만 적분 가능할 필요충분조건은 불연속점 집합의 르베그 측도가 0인 것이다.[10]
이는 모든 종류의 불연속성이 유계 함수 f가 [a,b]에서 리만 적분 가능하지 않게 만드는 데 동일한 비중을 갖는 것처럼 보이지만, 가산 집합은 르베그 측도 0인 집합이고, 르베그 측도 0인 집합들의 가산 합집합 역시 르베그 측도 0인 집합이므로, 그렇지 않다. 집합 R ∪ J ∪ E2 ∪ E3의 불연속성은 f의 리만 적분 가능성과 관련하여 중립적이다. 주요 불연속성은 제1종 본질적 불연속성이다.[10]
따라서 르베그-비탈리 정리는 다음과 같이 다시 쓸 수 있다.
만약 E1 = ∅ 이라면, 이는 유계 함수 f : [a, b] → ℝ의 리만 적분 가능성에 대한 고전적인 보완적인 상황에 해당한다.[10]
5. 도함수의 불연속성
다르부 정리에 따르면, 도함수는 중간값 성질을 만족한다. 즉, 연속 함수가 아니더라도 중간값을 취한다.[11] 도함수의 불연속점은 제거 가능 불연속점이나 점프 불연속점이 될 수 없고, 본질적 불연속점만이 가능하다.[11] 특히, 극한값이 무한대가 되는 불연속점은 도함수의 불연속점이 될 수 없다.[12]
6. 예
디리클레 함수는 모든 점에서 불연속이며, 이 불연속점은 모두 진동 불연속점이다. 토메 함수는 모든 유리수 점에서 불연속이며, 이 불연속점은 모두 제거 가능 불연속점이다.
전체 유리수를 나열한 수열 에 대하여, 함수
7. 한국 사회와 불연속점
참조
[1]
웹사이트
Mathwords: Removable Discontinuity
http://www.mathwords[...]
[2]
서적
An Introduction to Classical Real Analysis
American Mathematical Society
[3]
서적
Mathematical Analysis
Addison and Wesley
[4]
서적
Principles of Mathematical Analysis
McGraw-Hill
[5]
서적
Op. cit.
[6]
서적
Op. cit.
[7]
서적
Op. cit.
[8]
서적
The Century Dictionary: An Encyclopedic Lexicon of the English Language
https://books.google[...]
T. Fisher Unwin and The Century Company
[9]
간행물
Advanced Advanced Calculus: Counting the Discontinuities of a Real-Valued Function with Interval Domain
http://about.jstor.o[...]
1989-02
[10]
간행물
On Riemann Integrability
https://doi.org/10.1[...]
1971
[11]
서적
Op.cit.
[12]
간행물
On a discontinuity of a derivative
http://dx.doi.org/10[...]
2000
[13]
웹사이트
Mathwords での定義の最後の一文
http://www.mathwords[...]
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com