[[분류:병리적 함수]]
[include(틀:해석학·미적분학)]
[목차]
== 개요 ==
'''병리적 함수'''([[病]][[理]][[的]] [[函]][[數]], pathological function)는 함수로서 일반적으로 만족시킬 것으로 여겨지는 성질들을 만족시키지 않는 함수를 의미한다.[* 이와 대척점에 있는 용어로는 참한 함수(well-behaved function)가 있다. 이상한 반례들 생각 안하고, 적당히 좋은 조건의 함수들만을 생각하려고 할 때, 참한 함수라는 단어를 쓰는 것. 흔히 말하는 [[초등함수]]가 전부 참한 함수이다.] 특히, 거의 모든 점에서 미분 불가능한[* 미분 가능한 점들의 집합의 [[르벡 측도]]가 0인 집합] [[연속함수]]를 [[실해석학]]의 괴물(monsters of real analysis)이라고 부른다.

상당수가 [[급수(수학)|무한급수]], [[조각적 정의]], 또는 [[수열의 귀납적 정의|귀납적 정의]]를 통해 정의된다.

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

== 예시 ==
=== 다카기 함수 ===
[math({\rm blanc}(x)=\displaystyle\sum_{n=0}^{\infty}\dfrac{s(2^{n}x)}{2^{n}})]

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

[[https://commons.wikimedia.org/wiki/File:Blancmange.svg|그래프의 개형]]이 [[푸딩]]의 일종인 [[블랑망제]]를 닮아서 그래프를 블랑망제 곡선(blancmange curve)이라 부르기도 한다.

=== [[집합 판별 함수#유리수 판별 함수(디리클레 함수)|디리클레 함수]] ===
[include(틀:상세 내용, 문서명=집합 판별 함수, 문단=2)]

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

모든 점에서 불연속인 함수의 대표 주자이다. 또한 이 함수는 모든 점에서 미분 불가능하며 [[리만 적분]] 불가능한 함수이다.[* 불연속인 점들의 집합이 비가산 집합(기수가 [[초한기수#s-3|[math(\aleph_0)]]]보다 큼)이므로 리만 적분 불가능하다. 반대로, 아랫문단의 토메 함수 같은 경우는 불연속인 점들의 집합이 가산 집합이므로 리만 적분 가능하다.]

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

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

==== 토메 함수 ====
Thomae's function. 토메 함수는 아래와 같이 정의되는 함수이다. 그래프는 [[https://en.wikipedia.org/wiki/Thomae%27s_function#/media/File:Thomae_function_(0,1).svg|여기]]에서 볼 수 있다.
 <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}</math>
무리수일 때 0이고 유리수일 때 0이 아닌 값을 가진다는 점에서 윗문단의 디리클레 함수와 유사하나, 성질에는 많은 차이가 있다.

유리수에서 불연속이고 무리수에서 연속이며, 모든 점에서 미분 불가능하며, 리만 적분 가능한 함수이다. 자세한 내용과 증명은 [[https://ko.wikipedia.org/wiki/토메_함수|위키백과]] 참고.

=== [[바이어슈트라스 함수]] ===
[include(틀:상세 내용, 문서명=바이어슈트라스 함수)]
대표적인 미분 불가 [[연속함수]]이다.

=== 볼차노 함수 ===
볼차노 함수는 다음과 같이 재귀적으로 정의되는 함수열의 점별 극한이다.[* 결과적으로는 균등수렴한다.]
 1. 구간 <math>J_{0,1}=[0,1]</math> 위의 함수 <math>y=x</math>를 생각하자.
 1. 구간 <math>J_{0,1}=[0,1]</math>을  <math>J_{1,1}=[0,3/8]</math>,  <math>J_{1,2}=[3/8,1/2]</math>, <math>J_{1,3}=[1/2, 7/8]</math>, <math>J_{1,4}=[7/8,1]</math>의 소구간으로 나누자.
 1. 각 소구간의 끝 점에 좌표 <math>(0,0)</math>, <math>(3/8,5/8)</math>, <math>(1/2,1/2)</math>, <math>(7/8,9/8)</math>, <math>(1,1)</math> 를 찍고, 각 소구간 위에서 [[조각적 정의|조각적]] 1차 함수가 되도록, 양 끝점의 좌표를 선분으로 잇는다.
 1. 소구간 <math>J_{n,m}=[a,b]</math>를 아래와 같이 더 작은 4개의 소구간으로 나눈다.
  <math>J_{n+1,4m-3}=\left[a,a+\dfrac{3}{8}(b-a)\right]</math>,
  <math>J_{n+1,4m-2}=\left[a+\dfrac{3}{8}(b-a),a+\dfrac{1}{2}(b-a)\right]</math>,
  <math>J_{n+1,4m-1}=\left[a+\dfrac{1}{2}(b-a),a+\dfrac{7}{8}(b-a)\right]</math>,
  <math>J_{n+1,4m}=\left[a+\dfrac{7}{8}(b-a),b\right]</math>
 1. <math>J_{n,m}=[a,b]</math>의 끝점에서 좌표가 <math>(a,A)</math>,<math>(b,B)</math>일 때, 각 소구간 <math>J_{n+1,i}</math>의 끝점에 아래와 같은 좌표를 찍고, 각 소구간 위에서 조각적 1차 함수가 되도록, 양 끝점의 좌표를 선분으로 잇는다. 
  <math>(a,A)</math>,
  <math>\left(a+\dfrac{3}{8}(b-a),A+\dfrac{5}{8}(B-A)\right)</math>,
  <math>\left(\dfrac{1}{2}(a+b),\dfrac{1}{2}(A+B)\right)</math>,
  <math>\left(a+\dfrac{7}{8}(b-a),A+\dfrac{9}{8}(B-A)\right)</math>
  <math>(b,B)</math>
 1. 4,5를 무한히 반복한다.
[[https://demonstrations.wolfram.com/BolzanosFunction/|이것을 n=0에서 7까지 반복한 그래프는 여기에서 확인할 수 있다.]]

=== [[볼테라 함수]] ===
[include(틀:상세 내용, 문서명=볼테라 함수)]
모든 점에서 미분가능한 함수이다. 그런데, 특이하게도 도함수가 유계인데, 리만적분 불가능하다.[* 즉, 볼테라 함수의 도함수는 부정적분은 가능한데, 정적분은 불가능하다. 르벡적분은 가능하다.]

=== 셀레리에 함수 ===
 [math(\displaystyle f(x) = \sum_{k=1}^\infty \frac{\sin( a^{k}x)}{a^k})]

Cellérier's function. 그래프는 [[https://www.researchgate.net/figure/Celleriers-function-Cx-with-a-2-on-0-p_fig1_255669824|이렇게]] 생겼다. [math(a>1)]일 때, 셀레리에 함수는 연속이고 모든 점에서 미분 불가능하다는 것이 하디에 의해서 증명되었다. 자세한 내용은 [[http://www.diva-portal.org/smash/get/diva2:1022983/FULLTEXT01.pdf|이 pdf 문서]]의 Theorem 3.2 참고.

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

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

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

== 관련 문서 ==
 * [[프랙털 이론]]
 그래프가 프랙털인 함수들은 병리적인 성질을 지닌다. 위에서 제시된 여러 함수들도 그래프가 프랙털인 경우가 많다.

== 외부 링크 ==
 * Marek Jarnicki, Peter Pflug, Continuous Nowhere Differentiable Functions - The Monsters of Analysis[[http://www.kyobobook.co.kr/product/detailViewEng.laf?ejkGb=BNT&mallGb=ENG&barcode=9783319126692&orderClick=LAG&Kc=|*]]
 미분가능한 점이 없는 연속함수에 대해 많은 예시와 함께 잘 설명해 놓은 책