{{위키데이터 속성 추적}}
{{구별|바이어슈트라스 타원함수}}
[[파일:WeierstrassFunction.svg|300px|섬네일|구간 <math>[-2,2]</math> 위의 바이어슈트라스 함수의 그래프. [[프랙탈]]로서 [[자기 유사성]]을 띤다, 즉 부분을 확대하면 (빨간 원) 자기 자신과 유사하다.]]

[[수학]]에서 '''바이어슈트라스 함수'''(-函數, {{llang|en|Weierstrass function}})는 [[칸토어 함수]]의 한 예이다. 모든 점에서 [[연속함수|연속]]이나, 모든 점에서 [[미분]] 불능이다. [[독일]]의 수학자 [[카를 바이어슈트라스]]가 제안하였다.

바이어슈트라스 함수는 '모든 연속함수는 많아 봐야 [[고립점]]들의 집합에서만 미분 불가능'이라는 생각의 처음 출간된 (1872) 반례이기에 역사적 중요성을 띤다.<ref>바이어슈트라스 이전에 적어도 두 명의 연구자가 모든 곳에서 미분 불능인 연속 함수를 만들었다, 하지만 그들의 발견은 그들의 생전에 출간되지 않았다.

약 1831년에 체코의 수학자 및 철학자 [[베르나르트 볼차노]]는 이러한 함수를 구성하였지만 1922년에야 출간되었다. 다음을 참조.

* Martin Jašek (1922) [http://dml.cz/bitstream/handle/10338.dmlcz/121916/CasPestMatFys_051-1922-2_2.pdf "Funkce Bolzanova"] {{언어링크|cs|de}} (볼차노 함수), ''Časopis pro Pěstování Matematiky a Fyziky'' (Journal for the Cultivation of Mathematics and Physics), vol. 51, no. 2, pages 69 - 76 .
* Vojtěch Jarník (1922) "O funkci Bolzanově" {{언어링크|cs}} (볼차노 함수에 대하여), ''Časopis pro Pěstování Matematiky a Fyziky'' (Journal for the Cultivation of Mathematics and Physics), vol. 51, no. 4, pages 248 - 264 (in Czech). [http://dml.cz/bitstream/handle/10338.dmlcz/109021/CasPestMatFys_051-1922-4_5.pdf (체코어)]. [http://dml.cz/bitstream/handle/10338.dmlcz/400073/Bolzano_15-1981-1_6.pdf (영어)].
* Karel Rychlík (1923) "Über eine Funktion aus Bolzanos handschriftlichem Nachlasse" (원고대로 있는 볼차노의 저작에서의 함수에 대하여), ''Sitzungsberichte der königlichen Böhmischen Gesellschaft der Wissenschaften'' (Prag) (Proceedings of the Royal Bohemian Society of Philosophy in Prague) (for the years 1921-1922), Class II, no. 4, pages 1-20. (''Sitzungsberichte'' was continued as: ''Věstník Královské české společnosti nauk, třída matematicko-přírodovědecká'' (Journal of the Royal Czech Society of Science, Mathematics and Natural Sciences Class).)

약 1860년, 제네바 대학교의 수학, 역학, 천문학 및 자연지리학 교수 찰스 셀레리에(1818 - 1889)는 바이어슈트라스 함수와 매우 유사한 모든 곳에서 미분 불능인 연속 함수를 독립적으로 만들어냈다. 하지만 그의 발견은 그의 사후에 출간되었다. 다음 참조.

* Cellérier, C. (1890) [http://books.google.com/books?id=HMghAQAAIAAJ&lpg=PA142&ots=FTe0fVlywQ&pg=PA142#v=onepage&q&f=false "Note sur les principes fondamentaux de l'analyse"] {{언어링크|fr}} (해석학의 기본 원리에 대한 주석), ''Bulletin des sciences mathématiques'', second series, vol. 14, pages 142 - 160.</ref>

== 정의 ==
[[파일:Weierstrass Animation.gif|섬네일|<math>a=0.5</math>, <math>b</math>는 0.1부터 5까지 선형 증가.]]

아래는 바이어슈트라스의 논문 원본에서의 정의이다.

:<math>f(x)= \sum_{n=0}^\infin a^n\cos (b^n\pi x)</math>

(단, <math>0<a<1</math>, <math>b</math>는 양의 홀수, <math>ab>1+ \frac{3}{2}\pi</math>)

위 조건을 만족하는 <math>b</math>의 최솟값은 <math>b=7</math>이다. 이 함수의 정의와 모든 점에서의 미분 불가능성의 증명은 1872년 7월 18일 바이어슈트라스가 [[프로이센 과학 아카데미]]에 제출한 논문에서 처음 발표되었다.<ref>On [http://books.google.com/books?id=G-YaAAAAYAAJ&pg=PA560#v=onepage&q&f=false page 560] {{언어링크|de}} of the 1872 ''Monatsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin'' (Monthly Reports of the Royal Prussian Academy of Science in Berlin), there is a brief mention that on July 18th, "Hr. Weierstrass las über stetige Funktionen ohne bestimmte Differentialquotienten" (Mr. Weierstrass read [a paper] about continuous functions without definite [i.e., well-defined] derivatives [to members of the Academy]). However, Weierstrass's paper was not published in the ''Monatsberichte''.</ref><ref>Karl Weierstrass, [http://books.google.com/books?id=1FhtAAAAMAAJ&pg=PA71#v=onepage&q&f=false "Über continuirliche Functionen eines reellen Arguments, die für keinen Werth des letzeren einen bestimmten Differentialquotienten besitzen,"] {{언어링크|de}} (On continuous functions of a real argument which possess a definite derivative for no value of the argument) in: Königlich Preussichen Akademie der Wissenschaften, ''Mathematische Werke von Karl Weierstrass'' (Berlin, Germany: Mayer & Mueller, 1895), vol. 2, pages 71–74.;</ref><ref>Karl Weierstrass, ''Abhandlungen aus der Functionenlehre'' [Treatises from the Theory of Functions] (Berlin, Germany: Julius Springer, 1886), [http://books.google.com/books?id=fltYAAAAYAAJ&pg=PA97#v=onepage&q&f=false page 97] {{언어링크|de}}.</ref>

[[실해석학]]에서 바이어슈트라스 함수는 흔히 그와 비슷한 정의와 성질을 가진 함수를 지칭하는 데 쓰인다. 그 예로 무한급수 안의 코사인 함수를 [[삼각파]]로 대신한 것이 있다.

<math>0<a<1</math>, <math>ab\ge 1</math>의 전제 하에 모든 점에서 미분 불능임을 [[고드프리 해럴드 하디]]가 증명하였다.<ref>Hardy G. H. (1916) "Weierstrass's nondifferentiable function," ''Transactions of the American Mathematical Society'', vol. 17, pages 301–325.</ref>

== 연속성과 미분가능성 ==
바이어슈트라스 함수는 모든 점에서 [[연속함수|연속]]이나, 모든 점에서 [[미분]] 불능이다.

모든 점에서의 연속성은 [[바이어슈트라스 M-판정법]]에서 <math>M_n=a^n</math>을 취하면 쉽게 증명된다.

모든 점에서의 미분 불가능성을 증명하려면, 임의의 <math>x\in\mathbb{R}</math>가 주어질 때, 두 수열 <math>x_n,x_n'</math>을 구성하여 아래를 증명하면 된다.

:<math>\liminf_{n\to\infty}\frac{f(x_n)-f(x)}{x_n-x}>\limsup_{n\to\infty}\frac{f(x_n')-f(x)}{x_n'-x}</math>

위에서 <math>\liminf</math>와 <math>\limsup</math>는 각각 [[하극한]]과 [[상극한과 하극한|상극한]]이다.

모든 연속함수는 모든 점에서 미분 가능하거나 아주 작은 집합에서만 미분 불가능이라는 관념은 오래 존재해왔다. 바이어슈트라스의 논문에 의하면, [[카를 프리드리히 가우스|가우스]]를 비롯한 초기 수학자들은 이를 자주 기정 사실로 취급하였다. 반례를 찾아내기가 어려운 것이 이유일 수 있다. 실제로 일부 더 강한 조건의 연속성(예를 들어 [[립시츠 연속성]])은 [[거의 어디서나]] 미분 가능임을 함의한다([[레이드매처의 정리]]). 우리가 연속 함수를 그릴 때에도 결과물은 대개 립시츠 연속성 등의 더 좋은 성질을 가진다.

== 프랙탈 ==
바이어슈트라스 함수는 최초의 [[프랙탈]] 중 하나로, [[자기 유사성]]을 지닌다. 따라서 곡선을 확대해도 직선에 가까워지지 않으며 임의의 두 점 사이에서 단조성이 없다. 바이어슈트라스 함수의 [[하우스도르프 차원]] <math>D</math>는 <math>2+\frac{\ln a}{\ln b}</math>를 상계로 갖는다. 일반적으로 <math>D=2+\frac{\ln a}{\ln b}</math>라고 추측하나 아직 증명되지 않았다.<ref>Kenneth Falconer,''The Geometry of Fractal Sets'' (Cambridge, England: Cambridge University Press, 1985), pages 114, 149.</ref><ref>Brian R. Hunt (1998) [http://www.ams.org/journals/proc/1998-126-03/S0002-9939-98-04387-1/S0002-9939-98-04387-1.pdf "The Hausdorff dimension of graphs of Weierstrass functions,"] {{언어링크|en}} ''Proceedings of the American Mathematical Society'', vol. 126, no. 3, pages 791-800.</ref>

== 횔더 연속성 ==
다음은 바이어슈트라스 함수의 동등한 표현이다.

:<math>W_\alpha(x)=\sum_{n=0}^\infty b^{-n\alpha}\cos(b^nx)</math>

이 중 <math>\alpha</math>는 <math>0<\alpha<1</math>을 만족한다. <math>W_\alpha(x)</math>는 α-[[횔더 연속성]]을 가진다. 즉, 상수 <math>C</math>가 존재하여 임의의 <math>x,y</math>에 대하여<ref>{{인용| language=en | last1=Zygmund | first1=A. | title=Trigonometric series. Vol. I, II | origyear=1935 | url=http://matwbn.icm.edu.pl/kstresc.php?wyd=10&tom=5&jez=en | publisher=[[Cambridge University Press]] | edition=3rd | series=Cambridge Mathematical Library | isbn=978-0-521-89053-3 | mr=1963498  | year=2002}}, p. 47.</ref>

:<math>|W_\alpha(x)-W_\alpha(y)|\le C|x-y|^\alpha</math>

더 나아가 <math>W_\alpha(x)</math>는 임의의 <math>0\le\alpha<1</math>에 대해 α-횔더 연속이지만 [[립시츠 연속]](즉 1-횔더 연속)은 아니다.

== 모든 곳에서 미분 불능인 함수의 조밀성 ==
바이어슈트라스 함수가 소수 특례인 것은 아니다. [[병적 현상|병적]]이지만 연속함수에게는 일반적이라는 것이다.

* [[위상수학]]의 관점에서, <math>[0,1]</math> 위의 [[연속함수|연속]] [[실가함수|실가]] 함수의 [[균등 수렴 위상]]을 가진 [[벡터 공간]] <math>C([0,1];\mathbb{R})</math>에서, <math>[0,1]</math> 위의 온 곳에서 미분 불능인 함수의 집합은 [[나머지 집합]]을 이룬다.<ref>{{저널 인용|language=en|author=Mazurkiewicz, S..|title=Sur les fonctions non dérivables|journal=Studia. Math.|issue=3|year=1931|pages=pp. 92–94}}</ref><ref>{{저널 인용|language=en|author=Banach, S.|title=Über die Baire'sche Kategorie gewisser Funktionenmengen|journal=Studia. Math.|issue=3|year=1931|pages=pp. 174–179}}</ref>
* [[측도론]]의 관점에서, 공간 <math>C([0,1];\mathbb{R})</math>에 [[고전적 위너 측도]] <math>\gamma</math>를 부여했을 때 적어도 한 점에서 미분 가능한 함수의 집합은 γ-[[영측도]]이다.

== 같이 보기 ==
* [[코크 곡선]]
* [[블랑망제 곡선]]
* [[바이어슈트라스 시그마 함수]]
* [[바이어슈트라스 제타 함수]]

== 각주 ==
{{각주}}

== 참고 문헌 ==
* B.R. Gelbaum and J.M.H. Olmstead, ''Counterexamples in Analysis'', Holden Day Publisher (June 1964).
* Karl Weierstrass, [http://books.google.com/books?id=1FhtAAAAMAAJ&pg=PA71#v=onepage&q&f=false "Über continuirliche Functionen eines reellen Arguments, die für keinen Werth des letzeren einen bestimmten Differentialquotienten besitzen,"] {{언어링크|de}} in: Königlich Preussichen Akademie der Wissenschaften, ''Mathematische Werke von Karl Weierstrass'' (Berlin, Germany: Mayer & Mueller, 1895), vol. 2, pages 71–74.; English translation: On continuous functions of a real argument that do not possess a well-defined derivative for any value of their argument, in: G.A. Edgar, ''Classics on Fractals'', Addison-Wesley Publishing Company, 1993, 3–9.
* G.H. Hardy, "Weierstrass's nondifferentiable function," ''Trans. Amer. Math. Soc.'', 17(1916), 301–325.
* K. Falconer, ''The Geometry of Fractal Sets'', Oxford (1984).

== 외부 링크 ==
* {{매스월드|id=WeierstrassFunction|title=바이어슈트라스 함수}}
* [http://www.apronus.com/math/nodiffable.htm Nowhere differentiable continuous function] {{언어링크|en}} [[바나흐 고정점 정리]]에 의한 존재성 증명.
* [http://www.apronus.com/math/nomonotonic.htm Nowhere monotonic continuous function] {{언어링크|en}} [[베르 범주 정리]]에 의한 존재성 증명.
* {{웹 인용 | language = en | author = Johan Thim | url = http://epubl.ltu.se/1402-1617/2003/320/index-en.html | title = Continuous Nowhere Differentiable Functions | work = Master Thesis Lulea Univ of Technology 2003 | accessdate = 28 July 2006 | archive-date = 2017-02-22 | archive-url = https://web.archive.org/web/20170222141554/http://epubl.ltu.se/1402-1617/2003/320/index-en.html | url-status =  }}
* [http://jonas.matuzas.googlepages.com/mathematicalbeauties Weierstrass function in the complex plane] {{웨이백|url=http://jonas.matuzas.googlepages.com/mathematicalbeauties |date=20090924022258 }} {{언어링크|en}} 아름다운 프랙탈.
* [http://www.springerlink.com/content/u321137tm5568222/ SpringerLink - Journal of Fourier Analysis and Applications, Volume 16, Number 1]{{깨진 링크|url=http://www.springerlink.com/content/u321137tm5568222/ }} {{언어링크|en}} Simple Proofs of Nowhere-Differentiability for Weierstrass’s Function and Cases of Slow Growth
* [http://stemblab.github.io/weierstrass/ Weierstrass functions: continuous but not differentiable anywhere] {{언어링크|en}}

[[분류:연속 함수]]
[[분류:측도론]]
[[분류:실해석학]]
[[분류:프랙탈 곡선]]
[[분류:함수의 종류]]