불연속성의 분류
정의1
- 거리공간 에서 정의된 함수 이 주어졌다고 하자. 만약 가 에서 연속이 아니면, 는 에서 불연속하다discontinuous 고 하거나 에서 불연속성discontinuity 을 갖는다고 한다.
이라고 하자.
가 에서 불연속하고, 에서의 좌/우극한 , 이 존재하면 가 에서 제1 종 불연속성discontinuity of the first kind을 갖는다 고 하거나 는 간단 불연속simple continuity이라고 한다.
제1 종 불연속성은 다시 두가지로 나뉜다.
만약 이면 가 에서 제거가능 불연속성removable discontinuity을 갖는다고 한다.
이면 가 에서 점프 불연속성jump discontinuity을 갖는다고 한다.
가 에서 불연속하고, 에서의 좌/우극한 , 중에서 하나라도 존재하지 않으면 가 에서 제2 종 불연속성discontinuity of the second kind을 갖는다 고 한다. 특히 좌극한, 우극한 중 하나라도 무한대로 발산하면 가 에서 무한 불연속성infinite discontinuity을 갖는다 고 한다.
제2 종 불연속성은 essential discontinuity라고도 한다.
설명
가 에서 제거가능 불연속이면 에서의 함숫값을 바꿔주는 것만으로도 에서의 불연속성을 없앨 수 있다.
Walter Rudin, Principles of Mathmatical Analysis (3rd Edition, 1976), p94 ↩︎