최근 수정 시각 : 2022-08-14 08:56:08

병리적 함수


해석학 · 미적분학
Analysis · Calculus
{{{#!wiki style="word-break: keep-all; margin:0 -10px -5px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-6px -1px -11px; letter-spacing: -1px"
<colbgcolor=#8f76d6> 함수 합성 · 항등원 · 역원 · 멱함수( 비례·반비례) · 초등함수( 대수함수 · 초월함수) · 특수함수 · 범함수( 변분법) · 다변수 ( 동차 · 숨은 함수( 다가 함수)) · 그래프 · 대칭 · 증감표 · 극값 · 영점 · 연속 · 매끄러움 · 계단형 · 미끄럼틀형 · 볼록/오목 · 닮은꼴 함수 · 병리적 함수 · 해석적 연속 · 로그함수 · 지수함수 · 삼각함수
정리 · 토픽 좌표계 · 중간값 정리 · 최대·최소 정리 · 부동점 정리 · 오일러 동차함수 정리 · 립시츠 규칙 · 스펙트럼 정리
극한 엡실론-델타 논법( 수열의 극한) · 수렴 ( 균등수렴) · 발산 · 부정형 · 어림( 유효숫자 · 오차 · 불확도) · 근방 · 점근선 · 무한대 · 무한소 · 스털링 근사
정리 · 토픽 로피탈의 정리 · 슈톨츠-체사로 정리
수열
급수
규칙과 대응 · 단조 수렴 정리 · 멱급수 · 테일러 급수 ( 일람) · 조화급수 · 그란디 급수 · 망원급수 ( 부분분수분해) · 오일러 수열 · 베르누이 수열 · 파울하버의 공식 · 리만 재배열 정리
정리 · 토픽 바젤 문제 · 라마누잔합 · 0.999…=1 · 콜라츠 추측미해결
미적분 미분 도함수 ( 편도함수) · 도함수 일람 · 차분 · 유율법 · 변화량 · 변분법 · 곱미분 · 몫미분 · 연쇄 법칙 · 역함수 정리 · 임계점 ( 변곡점 · 안장점) · 미분형식 · 미분방정식 ( 풀이) · [math(boldsymbolnabla)] · 라그랑주 승수법
적분 역도함수 일람 · 부분적분 ( LIATE 법칙 · 도표적분법 · 예제) · 치환적분 · 정적분 ( 예제) · 이상적분 · 중적분 ( 선적분 · 면적분 · 야코비안) · 르베그 적분 · 스틸체스 적분 · 코시 주요값
정리 · 토픽 미적분의 기본정리 ( 선적분의 기본정리) · 평균값 정리 ( 롤의 정리) · 스토크스 정리 ( 발산 정리 · 그린 정리) · 라플라스 변환 · 푸리에 해석 ( 푸리에 변환 · 아다마르 변환) · 2학년의 꿈 · 리시 방법

해석
실수 · 측도론 ( 측도 · 르베그 측도) · 실직선 · 유계( 콤팩트성) · 칸토어 집합 · 비탈리 집합
정리 · 토픽
복소
해석
복소수( 복소평면) · 편각 · 코시-리만 방정식
정리 · 토픽 오일러 공식 ( 오일러 등식 · 드 무아브르 공식) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
여타 하위 학문 해석기하학 · 미분기하학 · 해석적 정수론 ( 소수 정리 · 리만 가설미해결) · 벡터 미적분학( 야코비 공식) · 확률론 ( 확률변수 · 중심극한정리) · 수치해석학 ( 유한요소해석 · 전산유체역학)
기타 뉴턴-랩슨 방법 · 디랙 델타 함수 · 카오스 이론 · 오일러 방정식 · 퍼지 논리 · 거리함수 · merry=x-mas
응용 수리물리학 · 수리경제학( 경제수학) · 공업수학 }}}}}}}}}

1. 개요2. 예시
2.1. 다카기 함수2.2. 디리클레 함수2.3. 바이어슈트라스 함수2.4. 볼차노 함수2.5. 볼테라 함수2.6. 셀레리에 함수2.7. 칸토어 함수2.8. 토메 함수2.9. 기타
3. 참고

1. 개요

/ pathological function

함수로서 일반적으로 만족시킬 것으로 여겨지는 성질들을 만족시키지 않는 이상한 함수.[1] 특히, 거의 모든 점에서 미분 불가능한[2] 연속함수 실해석학 괴물(monsters of real analysis)이라고 부른다고...

상당수가 무한급수, 조각적 정의, 또는 귀납적 정의를 통해 정의된다.

수학사적으로 의미가 큰데, 기하학적 직관을 과신했던 수학자들의 뒤통수를 매우 크게 후려갈겼기 때문이다. 특히 카를 바이어슈트라스가 최초로 발표한 '모든 점에서 연속이지만, 어디에서도 미분 불가능한 함수'가 충격적이었는데, 그 대수학자 카를 프리드리히 가우스조차 '모든 점에서 연속인 함수는 미분가능한 구간이 반드시 존재한다'라고 생각했고, 수학자들 사이에서 이는 일종의 정리로 여겨졌는데 바이어슈트라스가 이 정리를 박살내 버렸기 때문이다. 이후로는 직관이 아무리 좋아도 엄밀한 정의와 연역적인 증명을 통해야만 한다는 것을 깨닫게 해 주었다.[3]

2. 예시

가나다순으로 정렬한다.

2.1. 다카기 함수

[math({\rm blanc}(x)=\displaystyle\sum_{n=0}^{\infty}\dfrac{s(2^{n}x)}{2^{n}})]

단, [math(s(x))]는 [math(x)]와 가장 가까운 정수와의 거리이다.

그래프의 개형이 푸딩의 일종인 블랑망제를 닮아서, 그래프를 블랑망제 곡선(blancmange curve)이라 부르기도 한다.

2.2. 디리클레 함수

[math({\bold 1}_{\mathbb Q}(x) = \begin{cases} 1 & (x \in \mathbb{Q}) \\ 0 & (x \notin \mathbb{Q}) \end{cases} \qquad )]

모든 점에서 불연속인 함수의 대표주자이다. 자세한 내용은 디리클레 함수 참조. 디리클레 함수를 적당히 변형해서 특이한 함수들을 만들어 낼 수 있다. 예를 들어서 [math(x{\bold 1}_{\mathbb Q}(x))]는 [math(x=0)]을 제외한 모든 점에서 불연속인 함수이고, [math(x^{2}{\bold 1}_{\mathbb Q}(x))]는 [math(x=0)]을 제외한 모든 점에서 불연속이지만, [math(x=0)]에서는 미분 가능한 함수가 된다. 또한 이 함수는 임의의 구간에서 리만 적분이 불가능하다.

특이하게도, 주기함수의 정의를 어떻게 하느냐에 따라서 주기함수가 되기도 하고 아니기도 한다. 주기함수의 정의를 최소 주기가 존재하는 함수로 정의하면, 주기함수가 되지 않는다. 최소 주기가 존재하지 않아도 무방하면, 임의의 양의 유리수가 주기인 주기함수가 된다.

2.3. 바이어슈트라스 함수

바이어슈트라스 함수는 푸리에 급수로 정의되는 아래의 함수이다.
[math(f(x)=\displaystyle\sum_{n=0}^{\infty}a^{n}\cos(b^{n}\pi x),\quad)]([math(0<a<1,\:b)]는 양의 홀수, ab>1+3π2ab>1+\dfrac{3\pi}{2})[4]

모든 점에서 연속이면서, 모든 점에서 미분 불가능한 함수이다. 아래의 그래프는 a=0.5, b=12일 때, 급수를 n=4인 항까지 계산 한 것의 그래프이다.
파일:바이어슈트라스 함수2.png

2.4. 볼차노 함수

볼차노 함수는 다음과 같이 재귀적으로 정의되는 함수열의 점별 극한이다.[5]
  1. 구간 J0,1=[0,1]J_{0,1}=[0,1] 위의 함수 y=xy=x를 생각하자.
  2. 구간 J0,1=[0,1]J_{0,1}=[0,1]J1,1=[0,3/8]J_{1,1}=[0,3/8], J1,2=[3/8,1/2]J_{1,2}=[3/8,1/2], J1,3=[1/2,7/8]J_{1,3}=[1/2, 7/8], J1,4=[7/8,1]J_{1,4}=[7/8,1]의 소구간으로 나누자.
  3. 각 소구간의 끝 점에 좌표 (0,0)(0,0), (3/8,5/8)(3/8,5/8), (1/2,1/2)(1/2,1/2), (7/8,9/8)(7/8,9/8), (1,1)(1,1) 를 찍고, 각 소구간 위에서 조각적 1차 함수가 되도록, 양 끝점의 좌표를 선분으로 잇는다.
  4. 소구간 Jn,m=[a,b]J_{n,m}=[a,b]를 아래와 같이 더 작은 4개의 소구간으로 나눈다.

    1. Jn+1,4m3=[a,a+38(ba)]J_{n+1,4m-3}=\left[a,a+\dfrac{3}{8}(b-a)\right],
      Jn+1,4m2=[a+38(ba),a+12(ba)]J_{n+1,4m-2}=\left[a+\dfrac{3}{8}(b-a),a+\dfrac{1}{2}(b-a)\right],
      Jn+1,4m1=[a+12(ba),a+78(ba)]J_{n+1,4m-1}=\left[a+\dfrac{1}{2}(b-a),a+\dfrac{7}{8}(b-a)\right],
      Jn+1,4m=[a+78(ba),b]J_{n+1,4m}=\left[a+\dfrac{7}{8}(b-a),b\right]
  5. Jn,m=[a,b]J_{n,m}=[a,b]의 끝점에서 좌표가 (a,A)(a,A),(b,B)(b,B)일 때, 각 소구간 Jn+1,iJ_{n+1,i}의 끝점에 아래와 같은 좌표를 찍고, 각 소구간 위에서 조각적 1차 함수가 되도록, 양 끝점의 좌표를 선분으로 잇는다.

    1. (a,A)(a,A),
      (a+38(ba),A+58(BA))\left(a+\dfrac{3}{8}(b-a),A+\dfrac{5}{8}(B-A)\right),
      (12(a+b),12(A+B))\left(\dfrac{1}{2}(a+b),\dfrac{1}{2}(A+B)\right),
      (a+78(ba),A+98(BA))\left(a+\dfrac{7}{8}(b-a),A+\dfrac{9}{8}(B-A)\right)
      (b,B)(b,B)
  6. 4,5를 무한히 반복한다.
이것을 n=0에서 7까지 반복한 그래프는 여기에서 확인할 수 있다.

2.5. 볼테라 함수

모든 점에서 미분가능한 함수이다. 그런데, 특이하게도 도함수가 유계인데, 리만적분 불가능하다.[6] 자세한 내용은 볼테라 함수 참조.

2.6. 셀레리에 함수

f(x)=k=1sin(akx)akf(x)=\displaystyle\sum_{k=1}^{\infty}\dfrac{\sin( a^{k}x)}{ a^k}

Cellérier's function. a>1a>1 일 때, 셀레리에 함수는 연속이고 모든점에서 미분불가능하다는 것이 하디에 의해서 증명되었다. 자세한 내용은 이 pdf 문서의 Theorem 3.2 참고.

2.7. 칸토어 함수

악마의 계단 함수라는 악명이 붙은 이 함수는, 다음과 같은 방법 의해 얻어지는 함수이다.
  1. x[0,1]x\in[0,1]를 삼진법으로 나타낸다.
  2. xx의 삼진법 표현에 1이 있을 경우, 첫번째 1 이후의 모든 자리의 숫자를 0으로 바꾼다.
  3. 남아있는 모든 2를 1로 바꾼다.
  4. 이렇게 얻어진 수가 사실 2진법 표현이였다고 생각하고, 이를 f(x)f(x)의 값으로 삼는다.
이 함수에 악마의 계단 함수라는 이름이 붙은 이유는, 모든 점에서 연속이면서, 거의 모든점에서 미분계수는 0인데, 단조 증가 하면서도 상수함수가 아닌 특이한 현상을 보이기 때문이다. 자세한 내용은 칸토어 집합 참조.

2.8. 토메 함수

토메 함수는 아래와 같이 정의되는 함수이다.
f(x)={0xQ1x=01qx=pq,gcd(p,q)=1,q>0f(x) = \begin{cases} 0 & x \notin \mathbb{Q} \\1& x=0 \\ \dfrac{1}{q}& x=\dfrac{p}{q},\:\gcd(p,\,q)=1,\:q>0 \end{cases}

유리수에서는 불연속이고, 무리수에서는 연속이며 모든 점에서 미분불가능하며, 리만 적분은 가능한 이상한 함수의 예이다.

2.9. 기타

  • f(x)=x2sin1x,f(0)=0f(x)=x^{2}\sin\dfrac{1}{x},\:f(0)=0 : 미분가능한 함수이지만, 도함수가 x=0x=0에서 불연속인 함수.
  • f(x)=e1x2,f(0)=0f(x)=e^{-\frac{1}{x^2}},\:f(0)=0 : 무한번 미분가능한 함수이지만, 테일러급수가 자신과는 다른 함수.

3. 참고

  • Marek Jarnicki, Peter Pflug, Continuous Nowhere Differentiable Functions - The Monsters of Analysis *
    미분가능한 점이 없는 연속함수에 대해 많은 예시와 함께 잘 설명해 놓은 책
  • 프랙탈 이론
    그래프가 프랙탈인 함수들은 병리적인 성질을 지닌다. 위에서 제시된 여러 함수들도 그래프가 프랙탈인 경우가 많다.

[1] 이와 대척점에 있는 용어로는 참한 함수(well-behaved function)가 있다. 이상한 반례들 생각 안하고, 적당히 좋은 조건의 함수들만을 생각하려고 할 때, 참한 함수라는 단어를 쓰는 것. 흔히 말하는 초등함수가 전부 참한 함수이다. [2] 미분가능한 점들의 집합의 르벡 측도가 0인 집합 [3] 비슷하게 직관을 과신했다 피를 본 사례로 러셀의 역설이 있다. [4] 이 조건은 바이어슈트라스가 제시한 조건이며, 이후에 하디에 의해서 0<a<10<a<1, ab1ab\geq 1의 확장된 조건에서도 모든 점이 미분불가능 하다는것이 증명되었다. [5] 결과적으로는 균등수렴 한다. [6] 즉, 볼테라 함수의 도함수는 부정적분은 가능한데, 정적분은 불가능하다. 르벡적분은 가능.