바이어슈트라스 함수(Weierstrass function)는 수학에서 연속이지만 모든 점에서 미분 불가능한 함수의 한 예시로, 1872년 독일의 수학자 카를 바이어슈트라스(Karl Weierstrass)가 발표했다. 이 함수는 당시 수학계의 직관, 즉 '연속인 함수는 대부분의 점에서 미분 가능하다'는 믿음에 반하는 충격적인 발견이었다.
정의 바이어슈트라스 함수 $W(x)$는 다음과 같은 무한 급수 형태로 정의된다.
$W(x) = \sum_{n=0}^{\infty} a^n \cos(b^n \pi x)$
여기서 $a$와 $b$는 상수이며, 일반적으로 다음 조건을 만족한다:
- $0 < a < 1$
- $b$는 양의 홀수 정수
- $ab > 1 + \frac{3}{2}\pi$ (바이어슈트라스가 원래 제시한 조건 중 하나이며, 더 일반적으로는 $ab > 1+a$가 미분 불가능성을 보장하는 핵심 조건으로 사용된다.)
이 조건들 중 특히 $ab > 1$ (더 엄밀하게는 $ab > 1+a$)이라는 조건은 함수의 미분 불가능성을 보장하는 핵심적인 요소이다.
특성 및 의의
- 연속성: 바이어슈트라스 함수는 매개변수 $a$가 $0 < a < 1$인 조건에서, 각 항 $a^n \cos(b^n \pi x)$이 $M_n = a^n$으로 상한을 가지며 $\sum M_n$이 수렴하므로, 바이어슈트라스 M-판정법(Weierstrass M-test)에 따라 절대적이고 균등하게 수렴하는 무한 급수의 합이다. 따라서 이 함수는 모든 실수 $x$에 대해 연속이다.
- 미분 불가능성: 그러나 위에서 언급된 $a$와 $b$ 조건, 특히 $ab > 1+a$가 충족되면, 이 함수는 어느 한 점에서도 미분 가능하지 않다. 이는 함수가 너무 "들쭉날쭉"하고 "거칠어서" 어떤 점에서도 유일한 접선을 정의할 수 없기 때문이다. 직관적으로 각 항이 더해질수록 함수의 주기는 짧아지고 진폭은 작아지지만, 그 작은 진폭의 빠른 진동이 더해져 전체 함수는 끊임없이 요동치게 된다.
- 역사적 중요성: 바이어슈트라스 함수가 발표되기 전까지는 대부분의 수학자들이 연속 함수는 거의 모든 점에서 미분 가능하다는 직관을 가지고 있었다. 이 함수는 그러한 직관이 틀릴 수 있음을 엄밀하게 증명함으로써, 수학적 엄밀성의 중요성을 강조하고 19세기 후반 해석학의 발전에 큰 영향을 미쳤다.
- 프랙탈 기하학: 바이어슈트라스 함수는 스스로 반복되는 패턴(self-similarity)을 보이는 특징을 가지고 있으며, 이는 훗날 프랙탈 기하학(fractal geometry)의 개념을 이해하는 데 중요한 초기 사례가 되었다. 이러한 "병리적 함수(pathological function)"의 발견은 순수한 직관에 의존하는 수학적 추론의 한계를 보여주었다.