최근 수정 시각 : 2024-05-17 22:59:59

병리적 함수


해석학· 미적분학
Analysis · Calculus
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"
<colbgcolor=#26455A>실수와 복소수 실수( 실직선 · 아르키메데스 성질) · 복소수( 복소평면 · 극형식 · 편각) · 근방 · 유계 · 콤팩트성 · 완비성
함수 함수 · 조각적 정의 · 항등함수 · 역함수 · 멱함수 · 다변수함수( 동차함수 · 음함수) · 다가 함수 · 함수의 그래프 · 좌표계 · 닮은꼴 함수 · 극값 · 볼록/오목 · 증감표
초등함수( 대수함수 · 초월함수 · 로그함수 · 지수함수 · 삼각함수) · 특수함수 · 범함수( 변분법 · 오일러 방정식) · 병리적 함수
극한·연속 함수의 극한 · 수열의 극한 · 연속함수 · ε-δ 논법 · 수렴( 균등수렴) · 발산 · 부정형 · 점근선 · 무한대 · 무한소 · 0.999…=1
중간값 정리 · 최대·최소 정리 · 부동점 정리 · 스털링 근사 · 선형근사( 어림)
수열· 급수 수열 · 급수( 멱급수 · 테일러 급수( 일람) · 조화급수 · 그란디 급수( 라마누잔합) · 망원급수( 부분분수분해)) · 그물
오일러 수열 · 베르누이 수열 · 월리스 곱
단조 수렴 정리 · 슈톨츠-체사로 정리 · 축소구간정리 · 급수의 수렴 판정 · 리만 재배열 정리 · 바젤 문제 · 파울하버의 공식 · 오일러-매클로린 공식 · 콜라츠 추측미해결
미분 미분 · 도함수( 이계도함수 · 도함수 일람) · 곱미분 · 몫미분 · 연쇄 법칙 · 임계점( 변곡점 · 안장점) · 매끄러움
평균값 정리( 롤의 정리) · 테일러 정리 · 역함수 정리 · 다르부 정리 · 로피탈 정리
립시츠 규칙 · 뉴턴-랩슨 방법 · 유율법
적분 적분 · 정적분( 예제) · 스틸체스 적분 · 부정적분( 부정적분 일람) · 부분적분( LIATE 법칙 · 도표적분법 · 예제) · 치환적분 · 이상적분( 코시 주요값)
미적분의 기본정리 · 적분의 평균값 정리
리시 방법 · 2학년의 꿈
다변수· 벡터 미적분 편도함수 · 미분형식 · · 중적분( 선적분 · 면적분 · 야코비안) · 야코비 공식
라그랑주 승수법 · 오일러 동차함수 정리 · 선적분의 기본정리 · 스토크스 정리( 발산 정리 · 그린 정리 변분법
미분방정식 미분방정식( 풀이) · 라플라스 변환
측도론 측도 · 가측함수 · 곱측도 · 르베그 적분 · 절대 연속 측도 · 라돈-니코딤 도함수
칸토어 집합 · 비탈리 집합
복소해석 코시-리만 방정식 · 로랑 급수 · 유수 · 해석적 연속 · 오일러 공식( 오일러 등식 · 드 무아브르 공식) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
함수해석 공간 위상 벡터 공간 · 국소 볼록 공간 · 거리공간 · 프레셰 공간 · 노름공간 · 바나흐 공간 · 내적공간 · 힐베르트 공간 · Lp 공간
작용소 수반 작용소 · 에르미트 작용소 · 정규 작용소 · 유니터리 작용소 · 컴팩트 작용소
대수 C*-대수 · 폰 노이만 대수
정리 한-바나흐 정리 · 스펙트럼 정리 · 베르 범주 정리
이론 디랙 델타 함수( 분포이론)
조화해석 푸리에 해석( 푸리에 변환 · 아다마르 변환)
관련 분야 해석기하학 · 미분기하학 · 해석적 정수론( 1의 거듭제곱근 · 가우스 정수 · 아이젠슈타인 정수 · 소수 정리 · 리만 가설미해결) · 확률론( 확률변수 · 중심극한정리) · 수치해석학 · 카오스 이론 · 분수계 미적분학 · 수리물리학 · 수리경제학( 경제수학) · 공업수학
양-밀스 질량 간극 가설미해결 · 나비에 스토크스 방정식의 해 존재 및 매끄러움미해결
기타 퍼지 논리
}}}}}}}}} ||

1. 개요2. 예시
2.1. 다카기 함수2.2. 디리클레 함수
2.2.1. 토메 함수
2.3. 민코프스키 물음표 함수2.4. 바이어슈트라스 함수2.5. 볼차노 함수2.6. 볼테라 함수2.7. 셀레리에 함수2.8. 칸토어 함수2.9. 기타
3. 여담4. 관련 문서5. 외부 링크

1. 개요

La logique parfois engendre des monstres
논리는 때로는 괴물을 만들기도 한다
앙리 푸앵카레[1]

병리적 함수( , pathological function)는 함수로서 일반적으로 만족시킬 것으로 여겨지는 성질들을 만족시키지 않는 함수를 의미한다.[2]

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

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

특히, (거의) 모든 점에서 미분 불가능한[4] 연속함수 실해석학의 괴물(monsters of real analysis)이라고 부른다. 위의 바이어슈트라스 함수가 대표적이다.

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)이라 부르기도 한다.

전 구간에서 연속이고 이진 유리수 집합[5]에서 미분불가능하다는 특이한 성질을 가지고 있다. 거의 모든 점에서 미분가능하면서도 미분불가능한 점이 조밀하다.

2.2. 디리클레 함수

파일:상세 내용 아이콘.svg   자세한 내용은 지시함수 문서
2번 문단을
부분을
참고하십시오.
[math({\bold 1}_{\mathbb Q}(x) = \begin{cases} 1 & (x \in \mathbb{Q}) \\ 0 & (x \notin \mathbb{Q}) \end{cases} \qquad )]

모든 점에서 불연속인 함수인 완전 불연속 함수의 대표 주자이다. 당연히 모든 점에서 미분이 불가능하고 리만 적분 불가능한 함수이다.[6]

디리클레 함수를 적당히 변형해서 특이한 함수들을 만들어 낼 수 있다. 예를 들어서 [math(x{\bold 1}_{\mathbb Q}(x))]는 모든 점에서 미분 불가능하나 [math(x=0)]에서만 연속, [math(x^{2}{\bold 1}_{\mathbb Q}(x))]는 [math(x=0)]에서만 연속이자 미분 가능하게 된다.

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

2.2.1. 토메 함수

Thomae's function. 토메 함수는 아래와 같이 정의되는 함수이다. 그래프는 여기에서 볼 수 있다.
[math(f(x) = \begin{cases} 1& x=0 \\ \dfrac{1}{q}& x=\dfrac{p}{q},\:\gcd(p,\,q)=1,\:q>0 \\ 0 & x \notin \mathbb{Q} \end{cases})]
무리수일 때 0이고 유리수일 때 0이 아닌 값을 가진다는 점에서 윗문단의 디리클레 함수와 유사하나, 성질에는 많은 차이가 있다.

유리수에서 불연속이고 무리수에서 연속이며, 모든 점에서 미분 불가능하며, 리만 적분 가능한 함수이다. 자세한 내용과 증명은 위키백과 참고.

반대로 유리수에서 연속이고 무리수에서 불연속인 함수는 존재하지 않는데, 증명은 이 곳을 참고.

2.3. 민코프스키 물음표 함수

Minkowski's question-mark function

증가함수임에도 불구하고 미분계수가 양수인 점이 존재하지 않는 함수이다. 좀 더 정확히는, 거의 모든 점에서 미분계수가 0이고, 나머지 점에서는 미분계수가 존재하지 않는다. 자세한 내용은 영문 위키백과 참고.

2.4. 바이어슈트라스 함수

파일:상세 내용 아이콘.svg   자세한 내용은 바이어슈트라스 함수 문서
번 문단을
부분을
참고하십시오.
대표적인 미분 불가 연속함수이다.

2.5. 볼차노 함수

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

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

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

2.6. 볼테라 함수

파일:상세 내용 아이콘.svg   자세한 내용은 볼테라 함수 문서
번 문단을
부분을
참고하십시오.
모든 점에서 미분가능한 함수이다. 그런데, 특이하게도 도함수가 유계인데, 리만적분이 불가능하다.[8]

2.7. 셀레리에 함수

[math(\displaystyle f(x) = \sum_{k=1}^\infty \frac{\sin( a^{k}x)}{a^k})]

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

2.8. 칸토어 함수

악마의 계단 함수라는 악명이 붙은 이 함수는, 다음과 같은 방법으로 얻어지는 함수 [math(f_{n})]의 극한이다.
[math(f_{0}(x)=\dfrac{1}{2})]
[math(f_{n}(x)=\begin{cases}\dfrac{1}{2}f_{n-1}(3x)&\left(0\le x<\dfrac{1}{3}\right)\\\dfrac{1}{2}&\left(\dfrac{1}{3}\le x\le\dfrac{2}{3}\right)\\1-f_{n}(1-x)&\left(\dfrac{2}{3}<x\le1\right)\end{cases})]
이 함수에 악마의 계단 함수라는 이름이 붙은 이유는, 모든 점에서 연속이면서, 거의 모든 점에서 미분계수는 0인데, 단조 증가 하면서도 상수함수가 아닌 특이한 현상을 보이기 때문이다. 자세한 내용은 칸토어 집합 참고.

이 함수는 고등학교 내신에서도 종종 등장한다.

2.9. 기타

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

3. 여담

수학에서 병리적(pathological)이라는 말을 가끔 들을 수 있는데, 수학적 현상이 직관에 어긋날 때 병리적이라고 부른다. 이런 병리적인 요소들은 기존의 이론의 한계를 보여주었고, 결국에는 수학의 발전에 있어서 결정적인 역할을 한 때가 많았다. 아주 유명한 것들만 따져도 수학사적으로 매우 큼직한 것들이다.

4. 관련 문서

  • 프랙털 이론
    그래프가 프랙털인 함수들은 병리적인 성질을 지닌다. 위에서 제시된 여러 함수들도 그래프가 프랙털인 경우가 많다.
  • 베르 범주 정리
    베르 범주 정리를 이용해 어느 곳에서도 미분 불가능한 연속함수의 존재성을 보이고 그 분포를 확인할 수 있다. 구간 [math([0,1])]의 어느 곳에서도 미분 불가능한 연속함수의 집합은 연속함수 공간 [math(C[0,1])]에서 베르 제2 범주 집합이다. 즉, 어느 곳에서도 미분 불가능한 연속함수의 집합은 연속함수 공간에서 ‘빈약한’ 집합(meager set)의 여집합이다.

5. 외부 링크

  • Marek Jarnicki, Peter Pflug, Continuous Nowhere Differentiable Functions - The Monsters of Analysis #
    미분가능한 점이 없는 연속함수에 대해 많은 예시와 함께 잘 설명해 놓은 책

[1] 직관주의자였던 앙리 푸앵카레는 이런 병리적 함수를 굉장히 싫어했다. [2] 이와 대척점에 있는 용어로는 참한 함수(well-behaved function)가 있다. 이상한 반례들 생각 안하고, 적당히 좋은 조건의 함수들만을 생각하려고 할 때, 참한 함수라는 단어를 쓰는 것. 흔히 말하는 초등함수가 전부 참한 함수이다. [3] 비슷하게 직관을 과신했다 피를 본 사례로 러셀의 역설이 있다. [4] 미분 가능한 점들의 집합의 르벡 측도가 0인 집합 [5] 기약분수로 나타내었을 때 분모가 2의 거듭제곱꼴인 유리수. 이진법으로 나타내었을 때 유한소수가 되는 유리수이기도 하다. [6] 불연속인 점들의 집합이 비가산 집합(기수가 [math(aleph_0)]보다 큼)이면 리만 적분이 불가능하다. 따라서 완전 불연속 함수는 리만 적분이 가능할 수가 없다. 반대로, 아랫문단의 토메 함수 같은 경우는 불연속인 점들의 집합이 가산 집합인 유리수 전체 집합이므로 리만 적분 가능하다. [7] 결과적으로는 균등수렴한다. [8] 즉, 볼테라 함수의 도함수는 부정적분은 가능한데, 정적분은 불가능하다. 르벡적분은 가능하다.