Bolzanofunktion

Bernard Bolzano

Die Bolzanofunktion ist historisch die erste Konstruktion einer Funktion, die zwar stetig, aber nirgends differenzierbar ist. Sie ist nach ihrem Entdecker Bernard Bolzano benannt, sie wurde von ihm um 1830 gefunden und in seinem Manuskript Functionenlehre präsentiert (das aber erst 1930 veröffentlicht wurde).[1]

Bekannt wurde die Möglichkeit der Existenz stetiger, aber nirgends differenzierbarer Funktionen durch Karl Weierstraß (Vortrag vor der Berliner Akademie 1872), was damals auf viele schockierend wirkte. Weierstraß’ Beispielfunktion wurde durch Paul Du Bois-Reymond 1875 veröffentlicht. Auch Bernhard Riemann präsentierte eine solche 1861 in seinen Vorlesungen, und seitdem wurden viele weitere konstruiert.

Definition

Die Bolzanofunktion ist als der Grenzwert einer Funktionenfolge definiert. Ferner kann man Definitionsbereich und Bildmenge als beliebige abgeschlossene Intervalle reeller Zahlen auswählen.

Sei also [ a , b ] {\displaystyle [a,b]} der gewünschte Definitionsbereich und [ A , B ] {\displaystyle [A,B]} die gewünschte Bildmenge.

Transformation eines linearen Stückes von B k − 1 {\displaystyle B_{k-1}} (gestrichelt) zu einem Bestandteil von B k {\displaystyle B_{k}} (durchgezogen)

B 1 {\displaystyle B_{1}} wird als lineare Funktion mit den Eckpunkten B 1 ( a ) = A {\displaystyle B_{1}(a)=A} , B 1 ( b ) = B {\displaystyle B_{1}(b)=B} definiert:

B 1 ( x ) := A + B − A b − a ( x − a ) {\displaystyle B_{1}(x):=A+{\frac {B-A}{b-a}}(x-a)}

B 2 {\displaystyle B_{2}} wird als stückweise lineare Funktion auf vier Intervallen definiert, mit den folgenden fünf Eckpunkten:

  1. B 2 ( a ) = A {\displaystyle B_{2}(a)=A}
  2. B 2 ( a + 3 8 ( b − a ) ) = A + 5 8 ( B − A ) {\displaystyle B_{2}\left(a+{\frac {3}{8}}(b-a)\right)=A+{\frac {5}{8}}(B-A)}
  3. B 2 ( 1 2 ( a + b ) ) = A + 1 2 ( B − A ) {\displaystyle B_{2}\left({\frac {1}{2}}(a+b)\right)=A+{\frac {1}{2}}(B-A)}
  4. B 2 ( a + 7 8 ( b − a ) ) = B + 1 8 ( B − A ) {\displaystyle B_{2}\left(a+{\frac {7}{8}}(b-a)\right)=B+{\frac {1}{8}}(B-A)}
  5. B 2 ( b ) = B {\displaystyle B_{2}(b)=B}

B 3 {\displaystyle B_{3}} wird als lineare Funktion definiert, indem man jedes lineare Stück von B 2 {\displaystyle B_{2}} so transformiert, wie man B 1 {\displaystyle B_{1}} zu B 2 {\displaystyle B_{2}} transformiert hat, indem man neue Werte für a {\displaystyle a} , b {\displaystyle b} , A {\displaystyle A} und B {\displaystyle B} einsetzt, sodass ( a , A ) {\displaystyle (a,A)} und ( b , B ) {\displaystyle (b,B)} den Eckpunkten des linearen Stückes entsprechen.

B k {\displaystyle B_{k}} definiert man für ein beliebiges k ∈ N , k ≥ 2 {\displaystyle k\in \mathbb {N} ,k\geq 2} , indem man jedes lineare Stück von B k − 1 {\displaystyle B_{k-1}} so transformiert, wie man B 1 {\displaystyle B_{1}} zu B 2 {\displaystyle B_{2}} transformiert hat, indem man neue Werte für a {\displaystyle a} , b {\displaystyle b} , A {\displaystyle A} und B {\displaystyle B} einsetzt, sodass ( a , A ) {\displaystyle (a,A)} und ( b , B ) {\displaystyle (b,B)} den Eckpunkten des linearen Stückes entsprechen.

Die Bolzanofunktion B {\displaystyle B} ist der punktweise Grenzwert dieser Funktionenfolge: B ( x ) = lim k → ∞ B k ( x ) {\displaystyle B(x)=\lim _{k\to \infty }B_{k}(x)} .

Quellen

  • Bernard Bolzano: Functionenlehre. Herausgegeben und mit Anmerkungen versehen von Karel Rychlik. In: Bernard Bolzanos Schriften, herausgegeben von der Königlich Böhmischen Gesellschaft der Wissenschaften, Bd. 1, Prag 1930.
  • Johan Thim: Continuous Nowhere Differentiable Functions. (pdf; 650 kB) Masterarbeit, Luleå University of Technology. Oktober 2003, S. 11–17, abgerufen am 16. September 2013 (englisch). 

Einzelnachweise

  1. ↑ Hans Wußing: Vorlesungen zur Geschichte der Mathematik, Berlin, VEB Deutscher Verlag der Wissenschaften, 1979, S, 225/6