Sie sind auf Seite 1von 2

Ein einfaches Beispiel einer nicht-differenzierbaren stetigen Funktion.

Von

B.

L. van

d~r Waerden

in Groningen 1).

Es sei f.(x)der Betrag. der Differenz der reellen Zahl x mit dem niichstbenachbarten n-stelligenDezimalbruch:

f,,(x)= mi~ Ix-m.lo-"{.

(1)

ist

Behauptnng.

iiberall

stetig

(m

ganz)

Die Funktion

co

f(x) = Zf.(x)

1

und

besitzt

nirgends

eine

')

endliche

Ableitung.

 

I

.

f,(x)

 
 

Bewe]s

(yon Dr. A. Heyting).

ist

eine stetige Funktion

von x

(es

ist

n~imlich

If~(Y)-- f~(x)l ~

lY--

x!).

Wegen

fn(x) ~

10 -~

kon-

vergiert

die

Reihe (1)

gleichm~il~ig;

daher

stellt

sie

eine stetige

Funktion

von

x

dar

Nun

sei

x

eine

beliebige,

als

Dezimalbruch

darges~ellte,

 

reelle

Zahl.

Ist

die q-re

Stelle

yon

x

gleich

4

oder

9,

so setzen

wit

y

~

X-

10 -q,

1) Das Beispiel wurde yore Verfasser zuerst in den ,Wiskundige Opgaven" des

,Wiskundig genootschap" 15, H. 1 (1930) publiziert. Die von Herrn Dr. A. Heyting eingesandte L/isung war vie1 einfacher als mein urspriinglicher Beweis. Einen im wesentlichen tibereinstimmenden Beweis sandte auch Herr Dr. H. H. Buzeman ein,

g) Diese Funktion ist ein Spezialfall einer yon K. Knopp (Math. Zeitschr. 2 (1918i,

S. 18) betracht~ten Funktion

1

Der Knoppsche Beweis der Nichtdit~erenzierbarkeit stimmt abet nut wiLhrend oben eb = 1 ist (die ,Zacken" der Summanden fn(x) werden

w/ihrend sie bei Knopp immer steiler werden). Daftir hat auch die Knoppsche Funk-

tion nirgends eine unendliche Ableitung, w~hrend die obige Funktion f(x) z. B. fiir

fiir ~b ~> 4, nicht steiler,

B. L. v. d. Waerden.

Nicht-differenzierbare

stetige

Funktion.

475

sonst y = X-F 10 -q. Dann sind fiir n < q die

den n-stelligen Dezimalbriiche dieselben, und z und y liegen auf derselben Seite dieses Bruches (er wird niimlich gefunden durch Abbruch dex Dezimal- bruchentwicldung nach der n-ten Stelle und Addition einer" Einheit zur n-ten Stelle, falls die (n-i-1)-ste Stelle ~ 5 war]. Mithin gilt fiir n < q:

zu x und y n~ichstliegen-

 

f,(y)

-

f,,(x)

=

:j:(y

--

x).

Fiir n ~_ q gilt aber:

 

f,,(y)

--

f,(x)

=

O,

mithin ist

 

f(y)

f(x)

-~

s (y

--

x),

wo seine ganze Zahl darstellt, die fiir gerades q ungerade und fiir un- gerades q gerade ist. Der Differenzenquotient s nimmt also in jeder Um- gebung der Stelle z sowohl gerade a]s ungerade ganzzahlige Werte all; daraus folgt die Nichtexistenz einer endlichen Ableitung. Bemerkung. Die Funktion f(x) besitzt auch keine reehtsseitige

Das ergibt sich aus

folgendem Hilfssatz: Besitzt eine Funktion f(x) eine endliehe Rechts-

ableitung f/(z),

endliche Ableitung (und

ebenso keine linksseitige).

= fr'(z).

so ist hm f(Z+2h)-f(x+h)

h-*o

h

'

Beweis.

f(x+2h)-f(~+hl_2f(x+2~-2f(x

h

--

)

--

flx+h)-f(x)

h

--, 2 f/(x)

-- f'(x).

anzuwenden,

h ~--10 -q, so ergibt der obige Beweis, wenn die q-re Stelle yon x keine 4

oder

Setzt man,

9

ist:

um den I-Iilfssatz

atff unsere Funktion f(x)

f(z

+ h) - h

f(x)

=~s,

dagegen im Ausnahmsfall, wenn die q-te Stelle eine 4 oder 9 ist:

f(x+2h)-f(x§

h

=-t-s.

Man

erhiilt

also

in

iedem Fall

fiir

q----1, 2, 8

weehselnd geraden und miil~te, was nicht geht.

ungeraden Zahlen,

die

eine Folge

von

ab-

gegen

f,'(x)

k0nvergieren

(Eingegangen

am 20. Mai

193~).)