HANKEL, DR HERMANN.

M ber
Untersuchungen
die MFt~~dMc/t 0/~
OSC~Mr~Ft~eFtund
unstetigen Functionen

Ludwig Friedrich Fues

yM~~~M 1870

.avs;
~-i.
;tt:w

Tht

"V^

',:Y. ~r..

BNLABCNG
~)

AKADEM8CHEN

FEEB

SENER

XA&t

DES

~EB~Tg~MS

KAJTESTT

VM

DES

KNMS

W~T~

~~D

AW~M~em~ztewa;

~BcE~
m

.i

NAMMSKMMS~B A!tm<~m!)!SATS
DER

K$NTCMCHEN EBEMARMARLS.tNtVE&StTAT TCBN~N.

BEMB~&TMTEtNEABHANDLUNat

DNTTEBSUCHUNGEN

~ER DIE CNENDUCH

OFTOSCIUIRENDEN
UNDUNSTETIGEN
'FUNCMNEN
'MX
DK.HBML~HjUnSBL,
CttDBttTMONOt ~M~MMB

DM XA-mMtATMt.

TCBNGEN,
DRDCK

VON

I.DDWa

FBIBDBICB
1870.

?UB9.

Uasere Dochochule
wird den am 6 MerzbevoMtehenden
Geh)mt6t<~
Seiner

uBseres
MajestM
gn&digsteB Knigs
im gewohnter We!se darch einen eo~nnenAct begebea. Die Feehwde
wfrd voa demReotor

ProfesserDr. ReinholdK$Mer
<
<!
~ehattenwerden
Hber
~4~'

die UmgestaltamgdesSM~ichenSondes nnd der 8~B<Me&!ar~~d'

heitspitegein Deutschland.
Zu dieserakademischen
Feier werdenaBe Mitg~Meder
undFreuadeder
UnivemiMtaaf dea gonanntenTa~ Vormittags
nachBeendigangr
des OSmtlichenGottesdienstes,in den Festsaat geziemendst
e:BgeMeN.

RectorundakadernscherSnat.

EMeitendeBemerkungentb~

dML~i~M

Nioht allein entsohiedeneVorliebe Hir~ Synt~f~nd

gaaz!Iohe Verlaagnung aUgemeinerMethodenohaMkterMitt~EnSeMathema<&
gegenBber
unserer neueren Wissensohaft;es gibt neben diesemmehr Suaserem, ~rmaten,
nocheinen tieSiegenden realen Gegenstttz,weloherM8 der verschiedenenSteUung
entspringt, in welohesioh beide zu der WMBeaschafHichen
VefwenduBgdea Beder
VerKndetUchkeit geaetzt h&beD.
gnSes
Dena wShrend.die Alten den BegrMfder Bewegung, dos rSumItcheNAuedruokeeder VerS!)derh,hkeit,aus Bodenken,die aus der philosophischeaSchnie
der Eleaten auf oie Ubergegangpnwaren, in ihrem strengen Systeme niemals
und auch in der BehandhmgphoronomischerzettgterCurven nur TorabergeheNd
~erwenden, 60d&iitdie neuereMathematikvondem Augenblicke, as DMOARTM
von der rein algebraischonBehandiang der Gteiohungea, dasm iort6chritt, die
m untersuohen, welcheein algebraischer A~adrack er
GrossenYerSmderungen
leidet, indem eine in ihm aUgemoinbezeichneteGrosse eine stetige Folge von
Werthen darch~ift.
Die Abh&ngigkeit,in weloherhienachdieWerthreihenzweier vernderliober
GtSssen stehen, findet ibren anschaulichet)Auadruckin dem VerhMtniMder
Ordinate zur AbscMBeeiner krummenLinie, und bedurfte so lange keines besonderen Termiau~, ais man sioh auf die Untemuchangspecieller FaUeboschrMcte.
Die Entdecktmgdes Mnitesimaloalculs aber mit seinen um&saendenMethoden drangte zu einerallgemeinenBezeicbnung
disesAbh&ngigkeitsverh&ttnisses,
das nach LamNiTZENs
Jon.
BmtttOttLu
') Vorgange
') im Jahre 1718 ab ~FnmcHon"
bezeichnete.
Der Begriff der Function iet von da an der fundamentale Ausgangspunkt
fr die Analysis geworden, deren epochemachendenFortschritte aufs Eagsto
mit der AusbildungzasammenhSagen,welcheer aUmahlicherlitten hat.
1) AetaErudit.t69~.Aprilp.t70,und1694.J)t)ip. 816.
et Joh. Bernoullil
eemmere.
epht.
!) Operaomnia.t. II. p. M!. Ve~i. auchLeibnitil
t. p. 8M, undJM. BemeaU:,
Oper.omn.t. n. p. ?88.

a
EcMB, der das wiaaenschaMiche BewnsBtaeinin der Mitte des vorigen
Jahrhunderts amVoUstandigsteavertritt, definirt in wesentUcherboMinatimmung
mit BeinenVorgangem'):
~Fonctio quantitatis TariabiUa est expmMioanalytica quomodoonnqne composita ex illa quantitate variabibiet numeria seu quantitati'
bus constantibus."
Wir haben uns unter einem eolchen ~anatytischen Auadruck", dessen
Bedeutung EnuM BNherzu bestimmen nicht fttr n8tMg Mit, nichts anderes za
denken, als eine naoh dem Typua algebraisober Functionengebildete GrCsaenabhSBgigkeit. Donn die tranMoendentenFunotionen dachte man sioh duroh Entwickelungenbestimmt,welobeaus einerunendlichenAnzaMvonEle~emtaroperationen
(Addition, Subtraction, Multiplication und Division) ebensogebildet werden, als
die atgebraisohen duroh eine end!icheAnzahl aoloher, ohne dass man sioh <iber
die ZMiaasigkeiteiner sotchen grnzenlosenFortsetzung der Operationen, Bedenkea
gemacht batte. Zu jenem vier Speoiestraten dann aoch die Differentiationund
Intgration als die der Analysis eigenen Operationen Mnzu.
Indem man sioh immer an jenes Vorbild der atgebraiechen Funotionen
anlebute, so &bertrug man alle atigemeinen Eigenachaften, die man an den
algebraisohen Functionenbemerkte, ihre besondere Stetigkeit, ihre Singalari~ten,
ihre besondere Weise, unstetig oder nnendiich zu werden, ohne Weiteres auf
alle Funotionen. Da man bei den algebraischen Functionendie Reihenentwiokelung nach Potenzeneines Incrementes, den DiNerentialquotientenund das Integral
direct ableiten konnte, so hielt man sioh nicht nur fUrborechtigt, die Exiatenz
einer solchen Reihe, des DMferontialquotientenund Integrales ganz allgemein
fur atle Functionen anzunehmen, sondern man kam nberhaupt nieht anf den
Gedanken, dass hierin eine Behauptung, sei es nun ata Axiom oder Thoorem
liegt, so setbatverstandacherschien dise, von der geometrisahenAnschauang
der die Fnnctionen reprasentirenden Curven scheinbar untorstutzte tfbortragung
der Eigenschaften algebraisoher Funotionen auf die Transaoendenten; und Beispiele, in denenrecht eigentlich analytische Functionen'), Singulari~tenzeigten,
1) ntred.la an. M. 1748.t. p. 4.
2) Wietin

tmTextegeee, , t .u.a.<!tt<Bs:0. ZamBewetMdM

l+e~
l+ew'
z. B. 4*AM)M)MT
BBet.
det'AcMt.BetHaM)'t747.p. M6.
Mgten,<UMM

g_
die von deuen der atgebraiMhenFunotionen~eMnttich veNchiedenwaren, blieben
gitMdiohanbMtChtet.
Wenn beUebig gMeiohneteCurven in irgend einer Beaehttng von dem
Verhalten atgebrMMherCarven abwichen,so aannte maa aie 1) ~carvae diacoatinuae seu nuxtae seu irregtdMea" im Gegeneatze zu den in Einer Gleiohang
enthaltenon ~urvM contiauM", und WMder 'Oberze~tmg, dass jwo awf keine
Weise duroh eine MMttytisohe
Ieichung daratcUbM*seien. Indem man jedoch
der
d~obh&agigkeit Ordinate sotchorCarYenvon der Abscisse als wUUdUu'Mche
Fanotion in dem Problem der SaitenachwingungeneinNthrte, ging man bMeita
Hber die eigenttioheDeamtiondes FaaotMmsbegriSea
hiatme nnd d'A~MBNRT
batte
Recht, wenn er behMtptete, dies aei contre les r&glead'analyse" ').
Im aooh viel at~rkeremMaasseaber gesohahdies, indem man aich gedfSagt
die
fr ein gewissesIntervall der Vet&nderliohenwohl de&tirten Funotionen
sah,
auf ein weitetea Gebiet tmazadeiNten,und FuNctionenfr ae reeilen Wertho
des Argumentes zn bestimmen, wenn auch ihre M'aprUngUche
DeSnition noth*
wendig auf ein bestimmtes QeMet beMhrSnkt war. Das erste Beispiel einer
Michen Fortsetzung war die Bestimmung der Logarithmen negativer Zahlen.
Damit aber hatto man den Boden g&nztichverlassen, auf den mtm sioh duroh
die DeSmiioa der AmconeUenAbhan~gkeitgestellt batte, und ein nenes Princip
gesohaffen, das ioh etwa fbIgendermaMonausaprechen zu Monen ~aube:
Wenn fr ein Gebiet der Verandertiohen eine Entwiokelunggegeben
ist, welche nioht tmmittelbar ~ber die GreMea deBselben fortgoMtzt
werden k&BD,weil sie auBBerbaib
ihre Bedeutang verliert, wenn ferner
fUr ~ein anderes Gebiet der VerSadoriioheneine andere Entwickelung
gegeben ist, welchein daa erste Gebiet nicht fortgesetat werden kann,
und es keine far beide Gebiete giltige Entwiokeluag gibt, so sollen
beide Entwickelungenals su Einer Funotion gohong angeseben werden,
wenn die Funotion in jedem der beiden Gebiete dieselben Eigenschaften zeigt.
Dass man biemit einen wasentliobneuen Funotionabegrift'gesetiA batte,
konnte um so weniger bemerkt werden, ala man memals dieses Princip a!a
!httod.inan.int. t. n. p.6.
1) But.B)t,
BMth.t . p. 82. Mo gMM
diesieh<tbe)f
du Problemdeohm~Bvibran2)Op'Me.
Po]em!k,
ttbMzwitchend'AHt<<M&T,
undLAO~moB
EoMm,DAtt.BmxomM
ethob, und MMYoUtSM}gen EtnNiekin dieAMetxtmmgen
gewahrt,diemandMMbmit domFuMttoMbeg)~verband,
ht in nMhtetheOtM'
WebevonBoitt~odaft~tcUtwordon(Cb.d. Daretollbarkeit
eine)'Function
d.
oiaotfigMt.
Rdhe. t867.Abb.d.tKitt.QM. 18.Art.1).
1

solohea erkannte, wenigatena nioht atmdriioHichformulirte, und so sah man sich

denn auch mcht veraatasst, genauer zu antersachen, welche Eigensohaftenund
ReJationen zwisohen den FunctioaawertheNdazu er&rderMoheeieo, um die Emheit der ~mctioneUenAbhangigtceitin zwei veraoMedenenanaJytischenEntwickelungen ~r Tersohiedene GroMengeMeteza verbiirgen.
Eine ganze Reihe von mureiohend oder feblerhaft arwiesenem, aicht geniigend determinirten, sowie von durohaus Mechen S&tzem') legen genagendM
Zeugnim davon ab, wie unsicher das Fundament war, auf das man die ganze
Punctionentheorie gebaut batte.
Diese ganzeAuftassuDgdes FanotioBsbegn~es,die ioh knrz ais die Et)MMsche bezeichnen werde, erhieit den ersten schwerenStoss im Jahre 1807 dnroh
FocMBB's bedeutende Entdeokung'), dass es mogKchist, durch penodiBcho
otwa daneben in Potenzreihen entwickelbare
.Reiben nicht nur analytische,
Funotionen (funct. continuae), sondern auch. ganz beliebige, keinem einfachen
Gesetz geniigende, oder verscMedeNeGesetze in ihren verschiedenen Theilen
folgende Functionen (funot. disooNtinuae), die ich il!egitime nennen werde,
darzustellen.
Damit aber war, wia man, &'eiHchzgemd anotkannte, der ganze attere
Begriff MamSglichgeworden: Wenn jene fMactionesdiscontinuae auch durch
analytische AuadrKcke darstellbar waren, so konnten die Eigensohaftenalgebralcher Functionen nicht mehr als typisch auf all Tranascendenten Mbertragen
werdeu; und wenn eine und dieselbeReihe fUr verschiedeneaneinandersto88ende
Gebiete der VeraNderlichenverBoMedene
analytischeGesetze rep~eeNtirenhoante,
so 6e! das oben formulirte Princip der Fortsetzung in mcb selbst zusammen.
Es blieb nur brig, das Axiom, dass jene Eigenachaftender atgebraischea
Funetionen, die sich auf ihre Stetigkeit, ihr Entwickelbarkeit in Potenzreihen
U
OMO.
In
dieMr
hh nuran LtOKAttOB'a
Beweia
deeTAt.ox'Mhea
1)
Be::ehungorinnore
I.ehTMtMa,
w!eer thnnoh)81S(thor.(t.foxet.2 <M.)
gab, und, (h)M
CAUCHY
(Le~.uni'lecaJc.di<f.
p.105)t829
w!<dietetS~t):xuweitoa
daM(tAUM
d.K<.(hnct.
~eatdcekte",
~enddfaut"iet; femerd<u'!),
(Tho)-,
dem.tettia,art. 4) ent 1816iabestitmater
WeiM
aufdieJMuMtti~eit
einerntegMt" 0~ MtondHoheWetthederFttnetionhiawic<j
daMeMt1826AetL(Crette,
Journ.1.1. p.81t) oiner!eMg9BederPotensund derMnent!tchen
Betheliefote,naehdem
PotMO!)
aafveneMedMe
ParaethMmung
doxioenin dieserBeisiehnog
au~erteamgemacht,undtiehMamter,
wiePotXBOT
(Rceb.sur)'a<Mt)yM
d. eect!omangal.1MC)und videanderevergtbMch
mit domAuMwB);
beMhMMgt
hattenj{ehMinnere &~Mran dievietfaehenuttgenOgenden
und fehterh~ften
die aHgemeine
VerMche,
BegrNb.
Facultaten
fBrgebroohene
undnega~eWerthederVtraader!Mten
su
besthnmmtgderanmertechen
Jomn.t.61.p. 1) t8Mdutchderettrtehti~ DeNoitioa
geben, dieoretWtitBMTeAte
(Cret!e,
ereetitte,
u. e. w. a. t.w.
t. Lp. 112.
2) BnU.d.Mienc.
p. 1.Mo.pMIomatiqtte.

&
u. s. w. beziehen, allen anatytisohea FunotionenebeH&Uszakommen, und daher
auoh die Forderung, eine Function solle aaatytiaoh daretellbar eein, als eine
bedeutttageh'se &Uenza !aasen; und indemman ao den Kaoten zerMeb,folgende
ErkHb'ang zu geben:
Eine Funotion heM9ty von <e, wenn jedem Werthe der veranderlichen
GrSMe ? innerhalb eines gewiMenIntervalles ein beetimmter Werth
von y entapncht; gteichviel, ob y in dem ganzen IntorvaNenaoh demaelbenGeaetze von <e abhangt oder nioht; ob die Abh&ngigkeitdaroh
mathematiacheOperationen ausgedr<icktwerden kann oder nicht.
Dieaereine Nominaldefinition,der ich im Folgenden denNamenDmoHUN''a
beilegen werde, weil sie soinenArbeiten ber die FouNM'achenReihen1), welche
die Unbaltbarkeit jenes SIteMn Begri~B sweifellosdargethan haben, iiuGrunde
liegt, reicht nun aber fKr die BedNr&tiaaeder Anatycis nicht aus, da Funotionen
dieser Art aUgemeineEigenschaften nicht besitzen, und damit alle Beziehungen
vonFunotionawerthenfUr verschiedeneWerthedes Argumentesin Weg&Ukommen.
Es ist ao eine empnadMoheMoke in den snatytisohonFuadamentalbegtiSen
entstanden, die, obgleich aie Uberati mit Stillachweigenubeganganwird, doch
nicht minder vorhanden ist; wie ein BUokselbat auf die besseren Lehrbuoher
der Analyais lehrt. Das eine definirt die Funotionen wesentlichim EoMR'sohen
Sinne, das zwoitovertangt y solle Bien ~esetzmassig" mit aadam, ohne dass
eine ErUaruag dieses dunklen BegriS'eBgegebeniet, das dritte denoirt aie in
der Weise DtBtOHLET's,
das vierte gar nicht; aUe aber leiten ans ihrem Begriffe
die
nioht
in ihm enthalten sind.
ab,
Folgerungen
Es war nSthig, &ber den DlKMm.ET'aohen
BegriffMnausimgehen,wie bereits
CAUOHY
dies seit dem Jahre 1815 zu thun begann. Aber ont in neuester Zeit
mit echt philosophischemGeiste ein fester Grand neu
(1861) ist duroh RtaMAMt*)
gelegt worden, indem er, von dem Dm[om)H''MhenBegriffe amgehehd, den der
(monogenen)Funotion einer complexen Variabelen begrandete, und sojener
leeren Definitionwiedereinen Inhalt gab, der sioh dem des atteren BegriSes
annaherte.
Es war dam Gritnder der Funotionentheoriecomplexer Veranderlieherloider
nicht vergnnt, sein System allseitig und nach dem einheitlichenPlane au&abauem, desBenGroMartigkeitwir aus den schonen uns bekannten Bntohst&cken
noch eracMieBaenMnnen.
t) Bepwt.d. Phyaik,ber.T.Dovat. t88T p. 1M.
f.o.<tt)gNt).
Theor.d.Funet. (Mttfn~en.
2) Ofnndh~en

6
Die Grandpfeiler des neuen Systme werden hie und da noch nicht fur
sicher nnd &st genug gehatieo, um von ihnen Me das ganzeGeb&udeder Ana'
in ed!er Beaoheidenheitnaoh
tyeia au&ufuhren, und namentliohdas von RtBMAtm
DtmoHM!fbenannte Princip ist neuerdingsmehrfach angegriNenund vertheidigt
worden.
Die Bedenken aind hergemommenvon gawiesen a priori denkbaren Au9mthmei&Uen,in denen die FunotionenUnatetigkeiten zeigen,die nioht ohne ~eiteMs auagesoMoaaenwerden Mnnen und dooh die ScMUsBe,die man auf alle
der De&tMomgenitgendenFunotionenanzuwendenhoffen dnrfte, alteriren.
Ich glaubte nun, dasa der einzigeWeg, um tiber dieee Unstetig~eiten in's
K~te zu kommenund damit den Entsoheid ber die Natar der Ftmoti'oae&vorzubereiten, der mi, siob von allen Vomtollungen,wie aie auoh dem modematem
Mathematiker noch aus dom EomB'Bohen
Fnnctionsbegriffeanhaften, loazaaagem
und ZMaNchsteinmal die Mannigfaltigkeitder in dem reinen DimoB.NT'aohen
FnnctiontfbegnSiaenthatteneN, mgHchenGr6ssonboziebungenzweier Verander~
lichen a~semanderzalegen, dabei aber besonder Aufonorksamkeitden biaher wenig oder gar nicht beachteten, den itiegitimen
Funotionen za
schenken.
In der folgenden Abhandtnnghabe ich den Versuoh gemacht, diese Paradoxieen der Funotionen im behandeln, indem ion mien zunaohstauf reelle Variabele nnd reelle endliche Werthe der FunotionenEiner VerandorUchenbe.
Mhranke.
Nachdem in . 1 der Sian, den ioh in dieser Abhandhmgmit dem Worte
,Fanctiom" verbinden werde, &8tgelegt, in . 2 die veMoMedenendenkbaren
Arten der Stetigkeit und Unetetigkeitvon Functionen in Pankten erortert sind,
M gehe ich in . 3 zu der Betraohtung stetiger Functionen im Allgemeinen
iiber und zeige, dass ausser den gew8hnlichenanatytiMhenFunotionenmit endlichen, in endlioher ZaM auf einem gowissenIntervalle liegendenOaciUationea,
auch Functionen mit unendlich vielen Oscillationenunendiioh kleiner Amplitude
denkbar sind. AuMcMiessHch
solcheFunotionen dieser Klasse,we!chenur in der
Nachbarschaftmaner Punkte jene unendMchvielenOsciUationenzeigen, sind bisher, soviel mir bekannt, duroh analytiaoheAusdrilokedM'geeteUtwordon.Mit Hil&
einesPrincipes, auf welches ich durch ein BeispielRiEMANN'6')
aunnorksam.wurde
und welches ioh das der Condensation
von Singularitaten
nenne (.4),
1) <~).d. Darat.e. Fnnct. )tt.6.

?
ist es mir gelungen, in 8. B Mtatytieche,anbediagt cdnvergenteReihenau&n'
ateUea, die ia ganzen Intervallen durohaus oeciUiren.
Wahrend nun alle dise Funotionen stets der Intgration unteKogemwerden
konnon, so Metet die Frage nach der Existenz eines Differentialquotienton eigenthMmtiohe
Sohwierigkeitec dar. Es ist dieae bisher aur selten einer
ErSrtenmg imterzogenworden'), weUmandie Exietenz einer TMtgentean jedem
Punkte einer Cnrve als aaa unmittelbarer goometrisoherAnschaunngg6wiM,und
fUr eine aelbstveMtSndUche
Folge der "les coatinnitatis" MtMth,die manwieeine
im Gebiete der Mathematik respeotirte. Wenn aber
Naturnothwendigkeit
auoh dies daaUe ~Gosatz der Stetigkeit'* in der That alle Bewegmtgeain der
Nattu*beherreohenaoUte, so darf es doohdas Gebiet der reinen Mathematik
auf iMineWeise be8chrS.nkea; und jene unmittelbare intuitive Ge~sheit httt
man selbst in durohaua geometrisohenGeMetenab so trUgenaohbefunden,dass
Bieaaf den Rang eines wiMenschaMchenBeweisesnicht mehr Anspruobmachen
darf. Nach demVorgange von GAoas'), DiNOHMT,
JAcoBt")u. a. ist dann, auoh
die Cberzeugang,'dass die Existenz eiaes DiSerentiatquotieBtonstetiger Funotiouen keine nothwendige
Folgeder Stetigkeit sei, sondem eine besondore
unter
den
neueren Mathematikern eine ziemliohaUge*
Voraussetzunginvolvire,
meine geworden, obgidoh nooh gar Manoheran stetige Funotionenohne Differentialquotienten ~nicht zu glauben" erklart. tch darf hofFen, in . 6 diesen
Unglaubenab ein Vornrtheil dargethan zu haben, indem dort vUigbestimmte
Funotionender angegebeMnArt in analytisohem Ausdrucke duroh unbedingt
convergenteReihen dargestellt werden.
In . 6 und 7 habe ich die linear r unstetigenFunotionen untersucht,
d. tt. solche, welcheauf einem endlichen Intervalle eine uneadUoheAnzahlvon
LSauNgender Continuitatzeigen, und diese nach ihrem inneren Charakter in zwei
die punktirt-, unddie-in -Linien total unstewesentHohveFMMedeaeKIaasen,
tigen getheilt, die sioh auch (. 8) insofern wesentliohversohieden verhalten, ata
die ersteren immer, die !etzterea niemals integrabel sind. In . 9 sind beide
Klassenunstetiger Funotionen durch analytisohe Auadr&okedargestellt.
In den ScHuMbetrachtangenhabe ioh endlioh die erhaltenen Besaltat zu
mirMMcnt,dndgaVeHneh
e:M<Mtehota prioriMr
1)Der, MYM
AmtM'e,dte ExhtWt
<UeFonoMotten
znerwcben
(Joum.det'A),polyt.Mh.N!, t906.p.148)ht g<m)!
wmngMckt.
!) Allg.Lehtt.{nBez.aufd.imvwJt.Verb.t.art.t6.
naohsollJACoatlnMinen
iiuweitea
bemerkthobe)),
8) MCedMehtt
Vortetungen
OberMefe)'m)g
Curven
mitmMadMeh
violonBpitMn
deattea."
~mmMnaes!ohetoHge

g
einer Kritik des Fuactionabegrittesverwendetund zu zeigenversucht, dass dise
Definitionflibrt, an welche sioh in der
mit Nothwendigkeit auf die Bn~sche
IH.Note einige Bemerkungen liber die lineare Unstetigkeitvon Funotionon complexer VerSnderlioher aMoMiMeen.
Soviel zur vor!SuSgonOnentirung liber diMen Beitrag zar Metaphyaik unMter Wissensch~, den ich in FolgendemdemUrtheile der Matbematiker unterSchriften,
breite. loh verdankedie Anregang zn diesonStudienweeeattichBtBMAttti's
ia's Besondere seiner gMazendeoArbeit ber die trigonometrischenReihen, naoh
derem Encheinen es keiner Entschuldigungmehr bedatt, sich mit dieMn B'rRgen
zn besohMtigen,we!che, wie ihr VeffMeerin Cbereinstimmungmit Dmicm-ETbemerkt, "mit den Principien der nanitemmairechnangin der engatenVerbindung
stehen und dazu dienen konnen, diese zu grSsMrerKlarheit und Bestimmtheit
zu bringen". SoUte mein VeMnch, auf einem so schUipMgen,bisher nnr selten
betretenen Boden &aten Fuss m fassen, theilweise misalangensein und es den
AbsoMussfeUen, M glaube ich
Rosattaten hie und da an dem wiinschenswerthen
auf einige waMwoMende
Naohsicht rechnen zu d<h*~n.Denn es war bei der gelegentlichen VotSSentMchangdieser Gedankenmeine einzigeAbsioht, andere Golehrte zm veranhMsen,ihr Interesse anch diesen 6tndamenta!eBProblemen der
Wissensoha~ zuzuwenden, wekhe die neuere Functionenlebrenicht mehr abznweisengestattet.

S. t.

Begrif der Fonction.

Um alle Unbestimmtheitzu beseitigen, erklre ich hier, dass im Fo!gendeo,.

mit Ausnabme wenigerStellen, an denen dies besoaders bemerkt werden wird,
nur von reellen Werthen derVerSnderMcheDund von reellen Functionen die
der Function ~beraU ausgeRede sein wird, und ein Unendlichwerden
scUossen sein scU. Demgemassdefinire ich:
Eine Fnnction von x nennt man f(;r), wenn zu jedem Werthe von
a? innerhalb eines gewissen Intervallesein einziger bestimmter Werth
von /'(a*)gehort.
Es ist dabei gleichgiiltig, woher und wie man /(.e) bestimme, ob durch
analytische Grossenoperationemoder auf andere Weise. Nur muss der Werth

9
von /'(w) iibefaU eindentig und beatimmt sein. 80 ware ~(f) = ~t
m eiaem
a)s=0
nmgebeoden htervaUe keine itberaU bestimmte FanotioB,so lange aie nut
durch ihren aualytisohen Aaadmok deSmrt wird. Dena dieser wird ig a's:00
umbestimmt,wShread er in jedem ~ssO noch eo nahen
vS! MabMtimmbtH'und
bestimmt
ist. SoU sie obigemBegriffeeiner vSUigbestimmten'
Punkte allerdinge
Funotiongentigen, M moss der Werth /'(0) noch besonders,etwa =0, oder = 1
j
oder andeM ~atgesteUt seia. Ebenso wenig ist f('B)s= e in s= 0 beatimmt,
da es fUr positive uBendIichzn Na!t abnehmende if nnendMohzu-, ~r ngative
ra anendiich abnimmt. Wobl aber ist
<<a.e a<M2.c
*<tt8<B
+
r~=
T.2trotz ihrer Spriinge eine iiberall bestimmte FaNction.
S. 2. Begriff der Stettgkeit.
Eiae Function /'(<f), welche fttr .c=:<t eiaen bestimmteneadUchen
Werth /'(<') bat nennt man in diesem Ptakte atetig, wenn t steta
so klein angenommenwerden kann, daaa die Di~erenz:
/'(<.+S)-~(<.)
fUr atte 8, die numerisoh<( c sind, numerischkleiner, ats eine beliebig
kleine &r8Bse f ist.
Uastetig heisst sie im Ptmktea:=:<t, wenu s nicht so kloin genommen werden kann, dM8

/'(+~(")

B!r a lie &, die numensoh < e eind, numerisoh unter jeder beliebig
kleinen Grosse tiege.
Es leuchtet ein, dass wenn die FunctMNin ;B=:" ateg ia~ das s so klein
beatimmtwerden kann, dass, wieauch S < s angenommenwerden moge,~(a-j-e)
(<t+~) numoMch MoiNerals jede gegebeneGrSesea bMbt; nicht aber um
gekehrt. Denn wenn tetaitereBedingungerfiillt ist, M kMm daraus &urgeschlossen werden, dass sich /'(<)-:) mit mnendiichabnehmendemt einer Grenze 1)anaaheTe,die jedoch von /() ganz versohiedensein kann, wie dae BeispiotFoNMMsoher Reihenan ihren Unstetigkaitspunkten geniigend beweiet.
Notet.
desBt~Set derG~nMimAtthM~
1)8.d!6genauePaManf:

te
loh wiUdie Eigenaohafteiner Fonction:Wenn das positive e stets so klein
gedaoht werdenkann, daas /*(a+<) -y(a+S) fltr jedes vonNuII versohie.
donoe <
s numerischkleiner a!s eine beliebig kleineGrosse <rist,
daduroh
bezeiohnen,dass ich sage:
Die Function soi in unmittelbarer
Nahe des Pnnktes :t'=a
auf dor rechten Seite stetig.
Es kann dies also stfttt&Mten,ohne dass die Funotionim Pankte !r = t
aelbat stetig ist, aber nioht amgokehrt. Die Stetigkeit in einemPunkte ziehtsteta
die Stetigkeit in seiner umnittetbaren NShe. und zw<Hr
rechter und linker Seits
nach sich. Es kann &noer /'(a') in jedem <B=a beliebig nahe kommen.
den Punkte 9'=:<t-{-6 stetig sein, ohnedoohin n demPunktea'==a oder nur in
seiner nnmittelbareB
N&he stetig zn sein. Ein Beispiel hieiur liefert die
Function
/~)=:~

a;a
welche in jedem )B==noch so nahenPunkte atetig ist, ohne ea in :c=c selbat
ZMsein, wie man auch den durch die analytisohe Deanition nioht bestimmten
Werth dorselbenin <e=:<t annehme. Aberauch in unmittelbarerNahe von ~=a
ist aie nioht stetig; denn man wird nie s so klein maohen konnen, dasa
~t 1
/-(<!-}-:)- /'( + &)==~t
fBr jedes vonNnit verschiedene < unterhatb einer beliebig kleinenGrosse
liegt, da diese Differenz fortwahrond zwischenden Grenzon 1 hin- und hersohwankt. Dagegenist die Function,wieschonbemerkt, fUrjedM a!= a c, wie
+
klein auch < sei, stetig; denn vorstehendeDifferenz tMst sich, wenn constant
gehalten witd, durch Annaherang des S an e beliebig klein machen.
Ich denke, man kann diesen FaU, dass /1(:r)in jedem a'==a a beliebig
nahen
Punkte stetig ist, dadurch bezeichnen,daB6man sagt:
Die Function sei bis in unmittelbare
Naho von<e= stetig.
daraus
nicht,
dass
aie
in
Es Mgt
unmittelbarerNahe von fc=f< stetig sein muMe.
Und umgekebrt: Es kann oine Functionin ein~m Punkte und in seiner unmittelbaren Nahe stetig scia, ohne es bis in seine unmittelbareNShe zu sein, wie
dies Beispiele des . 9 gentigend beweisen.
Es knnen sich ferner ~)-S) und /1(<t-8) mittnendiich abnehmendemS
zweienGrenzen nabom, welche von einander und von/() versohiedensind. Man
sagt dann, die Function mache hier einen~Sprung", und nennt jene Grenzendie
Sprungwerthe. Es kann aber /() mit demGrenzwerthe von /(a+~) zusammea.

n
&UeNund von demGrenzwerthe des /'(<'~) veracMedenBeia. Dannwerdenwir
Mgon, die Ftmotion sei im Punkte <c=:e auf der reohten Beite stetig, !mbaber
nicht
Endtioh knnen die Grenzwerthe /'(+&) und ~(<t~) g!eich, der Werth
von ihnen versohieden sein~).
aber
/(<t)
S. 3.

8tet!ge FmMtteneB.

Sohtechthin
stetig nennen wir solche Functionn, welche in jedem
endiiohen I&terv&Ue<tber<dt,mit Aaenahme$mer endHehen AnzaM vonPunkten
stetig sind. Wir beachrankenUMhier auf die Betraohtung derjenigen intervalle,
welohe zwisQhen solohenUnstetigkeitapaaktenUegon, in denen atao die Funotionen durchaus
atetig, endlioh und bestimmt sind.
F<ir die meiaten aaatytischen Funotionen,die man bisher in Untersuohung
gezogen bat, MsBtsioh in jedem Punkte a~ssa ein positives latervaU so.be.
atimmen, daM f!ir alle S < e die DMerenz~("-)-~) /'() nioht allein numerisoh
kleiner as eine beliebig kleine Grosse e, sonderu auch einertei ZeiohenBs
ist und die Differonzmit &bnehmenden S immer abnimmt; ein eben sotches
Intervall aber auch auf der anderen Seite des Punktes :e=:<t vorhandonist
Sind in diesem IMIo dioZeichenderDiSerenzen /'(<t-{-&)() und /'(a!)
f(a) dieselben, so ist a ein Maximum oder eia Minimum; aind die Vorzeiehen
versohieden, so ist keins von beiden vorhanden. Auf einMaximum folgtim Ver.
laufe einer Michem Fuaotion ein Minimumund umgekehrt. Man nennt ein sol.
chee Stuok der Funotion zwiBcheneinem Maximum und Minimum eine Oscil.
lation, die Ditferenzdes Maximal-undMinimalwerthesdie Amplitudederselben').
Die Funotionen der angegebenenArt haben auf jedem endliohen Intervalle
eine endliohe Anzahlvon OaoiUationen.
Naoh dem BHde dieser Function, welche die AnatyMafast allein kannt,
kann man Moh nun die anderen stetigen Funotionen denken, in denen, wie klein
man auoh 8 nehmen m8ge, doch ~(+S)f(a)
nichtSir aUe X<~e deBeelbea
Zeichens und nioht mit 8 immer abnehmend ist. Ein Beispiel eines aolchen
Vernaltens liefert die Funotion
t
y(<c)=~e<H~
hat(6mBd).
f.e.allg.Th. p.14)diMe
ab Botcho
1) RttWAtttt
UMtetigkettea
b~~ohaet,w)MM
deeFaatUoxewetthe*
lu EtnonPMhtehebbar"eied.
,daMhAhan~eruNg
m!ehhierderBeM!chnang
~fon
Jcam. t. 6S.p. :<t6).
Ltptctttw(CttEu.B,
2) IchbetMeNe
1
a*

M
welche ia a'cs0 den Worth /'(0)s=0 bat und gewiM etetigist; denn man kann
die Differenz:
/-(~-f(o)==8.<

jodentaUs beliebig Hein machea, obgleich aie fUr abnehmende3 immertort zwiechen positiven und negativenWerthen osoillirt. Wir Mnoeadies Verhaltenwohl
so bezeiohnen,da6B /'(<f)in der unmittelbaren NShe vona' ==0
unendlioh
viele OsotHationen
mit unendlioh
kleiner
habe.
Amplitude
Was hier nur in unmittelbarer Nihe eines einzelnenPunktes atatt~ndet,
kann fiir gewisse Functionen in einer uneDdMcheD
Anzahlvon Punkten gesohehen,
die uneDdUchdicht bei einander liegen; Beispiele solcherFunctionen sind ia I.
und II. des . 5 gegeben. Charakieristiach bleibt aber fr dieae Funotionen,
dass, wie klein man au~ das von Null verschiodene<Tannehmenm8ge, die Anzahl der MiUationen, deren AmpMtuden.><:a sind, immer eine endliche ist,
jedoch unbegrenzt wachst, wenn c unbegrenzt abnimmt.
Manhat wohl anch von stetigen Functionen geBprochen,welcheeine unendliche Anzahl von Oscillationea
mit endlioher Amplitude enthalten
sotlen, d. h. bei denen in jedem noch so kleinen IntervalleOMitIationonvorkommen sollen, deren Amplitudeneine gewiseeconstante Groeee
? 17fibersteigenund hat
dabei etwa an /'(;) =
1 in a-==0 gedacht. Es ist aber leicht zu zeigen, daes
diese Annahmeeinen innerenWiderapruch involvirt. Denn, wenn an dem Punkte
<c==<tkein Intervall e existirt, innerhalb dessen fr alle s,
nu.
f(<t+6)-()
merisoh kloiner, as eine beliebig kleine GrosBeist, sondern, wenu die Werthe
dieserDiSerenz innerbalb des Intervalles um jene constante Amplitude~>e sohwanken, so ist eben die Function, dem Begrife der Stetigkeit nach, nichtatetig;
~ie denn auch sohoa /-(!<-)
= <{tt in ;c=:0 0selbstnicht stetig, sondern gandich
unbestimmt ist.
Mr alle stetigen Functionen ist daher die Anzahl der
Oscillationen,
welche > sind,
in jedem Intervalle endlich, wie nahe anch a der NuU
kommen moge. Sie zer&Uenaber in folgende zwei Klassen:
I. FnnctiMen mit endiichen OsclUattonen,d. h. diejenigen,in denendie An.
zahl der OsoiU&tionen> a ilber eine beatimmte Grenzenicht hinausgeht, wie
klein auoh T genommen werde.

M
Hieher geMren aHe algebraisohen,
tmd die meiate)) der bekannten tUMtytMohen Funotionen, denen, mit Auan&hme oiniger kritischen Punkte, wie in
oder /'(u) ss ?'' t
/'(a') s= eiM
des Punktes <e= 0, Ubendt ein bestimmter,
endlioher DM~rentiatquotieat
zuzukommen pSegt.
Es lassen sioh indessen t'umotionea
denken, wdohe zw&r UberaU atotig
sind, und !!u der KtMM der Funotionen
mit endlichen OaciJtationen gehren
und doch in unendlich violen Punkten emosInterYaUa anendMch groMeMBereNtiatalso gleiohaani .unpndMch viele Spitiien" haben '). In m und V,dM
solohe Funotionen in anatytiecher. Reihen&rm dargestellt,
in denen
6ich die DiSerenz /'(a + <)
/'() in unendlich vielen Punkten <B= a bequotienten,
. 8 sind

z<ig!ich wie e~nnd

M~t

verMtt.

Es gibt aber auoh, was frilher gelSagnet zu werden pSegie,

transcendente
Curven, welche stetig verlaufen, jedooh einzelne Punkte

einfaohe
besitzen,

1) les liegt tththt ~m, MtcheCtftveMmit ut)ent1)!chvielen SpititeoOchetwa ant' folgendeWehe

<amhMttch vomutteHen: MMtheile om Qnntbttt von der MtoniBagaA)Mh <tq)t!~ttantehcrhionttte
tmd vertthato FaMJMen in oinNott von jt' ttfeiaoren Qundmten:1 mangehedann von derotn~nEeke
dos groMet)Quadrates )t) MtMmmeahaMgeadMn
Zuge Mch
gegen(t))MtitKet)de)t
Echo, indem man
d&be:immer :n jenanFaMMenbMbt.tioh also bald in hod)!<'ntmter,bttM
ieymtiMerBiehtung hewe~t.
Die Mngo des Wegt, danman Mebeidnrchnt~tt, it humer(UMetbeund ~M c 2, wie man auch die
MMchenJeneft NetMftdafchhnfb. Man wttMejettit cinen xatehM)Wcg, dersieh ntSgtichotm die Dia.
und treppentSrmig vo)t domehten Eckpunkte Mch demandenat au&teigt, indom
goB&to6n<M}tt!:eMt.
die Di)~tMt!e aUa auMj,.mgm)da)t
Ecken der 8tuf<mtfia. MantaMe)MW:). beliebig wachMa; joner
tMppM<!)nn!geWeg wM t)e)) dann, wooner lmaier in gbifhcr WeiM''-oMtmirt wird, der U!ap)M!o
iMMermeh~ M)!t(hen), und soinAbttand von dtefer beMebi~klein wrdet)! wMtrenda)~-)-die Tangonte
derDJagonate {!tr a))e thre P)mkta ttenaethenWerth bMtttt. Machwa~kt die jettM treppenOnnigat
Zuget fortwtthrondiiwMten 0"und 90, und die LKngedes)ettere)tbleibtcuncbtnt = 2, wahrenddie
derDiagonateeinen anderenWerth namtich t besitiit.
DM man non jt onendtich waehoen, M
Mheint man durch dteMn 0)feM<H!)-gang
itn oiner Unit m ge!anp)n, dio iiwar in !hM)uganiien
ttuMerenVertaufe mit einer gemdon Linie MMammenOtUt,itt ihtw innetvn Nnt'))-aber wesentUch
anaeM tteMhanbn lot, indom ihtp Bichtung in jedem Punktc j~MHeh tU)b.tt)M'))tund !h)'e Lange
von der der Qotden Y~rtchtedenht. Dies (der bc!tam<tenrota AriatofMexvcrwand~ Paradoxen
bentht !ndcm at)feu)e)' ErseMeMmnff,indem dabei aMUMhwefgend
derSat: angenommenwird: .Wenn
aM) otneSohaar von Curven atetig einer Gret)!!eMrve
nahert, oogottendie EigentehaftenJeMf Sohaar
auohNfdieftrenMUtve.
Dieter 6atz, vor deeeen atmMhweigondo'Anwendo~eioh MMoh selbst
bedontendeMathematiker nioht immer bewahrt hab<m, itt ahef im AUgHMhMnn:eht nur anerw~eiich, sondern auoh <aheh; dennes sind genug Beiopictebeizabringen, wooineSchaa)-von Cat-venmit
atetig YersndeifMceer
Bichtn~ nnd tMmmuag tien stetig oinerQMMeurYtnahert, weMtepMtidMte
Andefungen der Biehtang ond Krammung soigt. In unMMmobigen RtUe <tndetdu Mttgekehrte
atatt: e!MBeihe von Cnrvenmit fpt-ingendenDinbrentiaiqMetiMten
athert tteh otat~ oinerCurve von
coMtaater Richtnng.

M
i~welchen dieGrenzen, welohensiohdie durch jene feston Pankteund bemtohbM-te
Cttneapnakte getegte SeoMtea &nn&hem,zu beiden Seiten TereoMedenaiad,
M d<t98abo m diesen Punkten zwei Zweige der Curve anter einem eadtiohen
WinkelznsMnmenstOesen.
Ein BeispielMofar ist:
1/1

i+~
wodie Fnnct!on unter dem ntegra!zeiohenitber&tlendiich Mdbt, wenn y reelle
Werthe darcMSaft, und nur f!ir y = 0 unbestimmtwird. Es ist aber geichwoM
o
~(0)=f-~
1+ey

bestimmt, und

<

/(.)-(0)==f
=< s
1 + e~
o 1 +y
wo S ein zwieoheB0 und < liegender Werth ist. Da nun der Grenzwerth von
0
1
.! positive t.
-,=~
1 ~.e~tive''
negative'
1+~
80 ist

~)=~,

je naohdem man sich von der reohten oder MnkenSeite demNaUpunktenahett.

halich verhMt aioh das Integral jeder Function, die zu boiden Seiten
einesPunktes verschiedeae Werthe amummt.
Am Endo des . 8 sind nun stetige Funotionen in <HMJytiaoher
Form aa.
gegeben,welohe in unendlioh vieten Punkten einea endiicheninter~diee dieselbe
Eigensohaftzeigen.
n. Funotionenmit miendiichvielenOseiH&tioMn
amMdRchkleinerAmplitude
sind eolohe, bei denen die Anzahl der Osoillationen '>? mit abnehmendema
aber alle Grenzen wSohst.
Hieher geMrt die Funotion ~(:e) = m <iM welche wenigstensin einem,

M
= 0 mittachMcMenden
Intervalle die aogegebeNenEigenschaftea zeigt. Andere
welchedieselbe
Fuctionon,
in nnondtiohvielen Punkten jeder
EigenthUmMohkeit
atrecke beaitzen, sind in 1 und II des g. 0 gegebea.
Was die M&MntiatqttctMnten betriNt, M kann aa aUerdingBFnBotioaeN
dieser zweiten Kiasse angeben, welche in unendlichvielen Puakten keine besitzeo (wie 1 des . 6); es gibt aber auch Miche, bei welchon sioh die OMit!atioa g!eichaan) so abflaohen, daes in jedem Punkte ein bestimmter Differ e nt i a 1quot i enexistirt') (verg!.11des .5). Eia~cher ist die Unterauchcag
der Integrale und es mag hier sogleioh bemerkt werden, dass in . 8 gezeigt
werden wird: die stetigen Functioaen beider Klassen aind steta iategrabeL
WM die Entwiokelungstetiger Funotionenin FommM'scheReihen betrMRt,
M sind die UntetsaohungeB PtmomfE'r'B
'), welche aasdr&cMichauf die erste
BaMe beBohraNktwaren, darch die Arbeiten von LawomTz') und RtmhmN4)
dahin vervoUatandigtworden, dass aUeetetigen Funotionenin periodischeReihen
mit unendlich abnehmendenCoeffioientenentwickeltwerden Mnnen.
S. 4.

CMtdeBMttMtder 8!njsr)darMteM.

Ea muas der Fortgang der theoretiacheBEotwickehmg hier nnterbrochen

werden, um das Princip auseinanderMsetzen, welches die im vorigen . angefahrten illegitimen Fnnctionon analytisch daMusteHeMgestattet.
Es Bei<p(y) eine Funotion, welche fUr aUe Werthe von y itwischen- 1
und + 1, mit Ausnahme von y = 0, einen voUigbestimmten, tiwiaohen-}-11
und - 1 liegenden Werth hat und das normaleVerhalten analytischer Funotionen
fUr ein genfigondkleinesSnach dem TAYMR'schen
Migt, daas (y +
Lehtsatze
itt, atettge fnnotionenattatytheh
d)tr!t"te)t6t)
)) Ohefm0g)ich
(oderauohnurxndcaken),
wolcho
in keincm PooMeeineoendttehen
letervaUea
etxenbestJmmtMt
endUchea
DiabrenttatqMot!enten MtMa, etehtdahin.DennmanmusaMebe!
obin einemg~etiMM
FaUe
gensuuntenmhoMMt,
detDiaMonti~'Mtinnt
fmoifhtmbettimmt
odcr
nurin oinerFormereohotnt,
derM)
Werthwlr
iet,
niohtMthestitamen
80Mtet B.dieFunetio))
vN'mCgeo.
x
/-M=~(-')"+'~
in <U<Mr
form UttonUMeten~tqaotitmten
weildieMeiheztt soMeoht
unbestimmt,
um
convet~irt,
MchMOMten
Mothoden
die DMbtenz/(~+t) /(<-) mr abnehmMdet
gewShtiUehen
bettimmtn
auhM<manetohaber:<t (z)= 1uadkahtetw<~s
wtxotimmt.
Jowm.t. 4. p. 169wirdvaMMgMetiit,
2) CNM.M!,
daasmtreineendUehe
Ant~htvonM<}(!)nia
undMinimh
<
~orhaNden
ttnd.
Journ.t. 68.p. 801wirddieEetwieMbarMt
8) CMK.M,
mf Fonetietm,tn
naeheewieeen
ehe positivePotensvont.
(tenM/(+ <)/(<!) mit<Mh~Hetabnimmt,ab ttgood
art.10.
4) Mb.d. DatttteHhMk.

M
+ =~(y)+ S~'(y)+ } ~"(y)
+

entwiokelt werden kann. In y=-o&ber habe diese Funotion eine 8mgut&ritSt,

welchedie Entwickelungvon <p(y)naoh gfmzenPotenzen von y unzttMsaigmacht;
dooh Mi ihr Werth auoh in d!eMmPMkte bestimmt und zw&r~(0)=s0.
MMe Singn~nt&t, welhe derFuacHoa ~(~) nur fitr einen einzebenPunkt
y==0 zukomtnt, kann nun emer Funotion /'(a') so impragnirt werden, dass sie
dicae in unendlich vieten Punkten eines endiichen Intervalle8 beeiM, und zwM*,
indem man eetzt:
~)=S

a=t

Wenmt > 8 YormNgeaeiad:

wird, M conrefgift dieae Reihe, weilihre Glieder
numerisoh nioht gTSssersind, als die der coaTergentea Reihe:
ce <
<t=:i

Die Fumcti<m~(ic)ist daher immer endUch und bestimmt, wenn der FuncoB ~(y), wie vorausgesetzt, diese Eigensohaftenzukommen.
Um nua die Siagalarit&ten der neuen Funotion ~a;) zu unteraaehen,so bemerke man zunaobst, dass nach bekannten R~ein:
oo
<&.
ttesnt~-l

~(,-l)~-t

nnd daher:
~)=j;

.<L~)

..=. 1

wo A einen echten Brnch bezeichnet. Somit ist, wenn A' ebenMs einen echten
~BruchvorsteUt:
/'(a,-)-,)~~)=:~

<p(<~M[~ +

<~)
<p (~t Ma~) 91
118
<t=il
fI=1
Hierm bedeutet m eine beliebiggtoaM, e eine beliebig Heine Z&hl,deren
WaohsttMunund Abnahme wir in beUobigeVerbindungmit einandereetzen konnen. Wir woUenvorfmsMtzen,daes, wie gross auch m Bel, immer~t unter einer
beliebigMeinen Grsse liege. Da somitum eo mehr ae oine behebig kleineGrase
damtellt, so ist die Entwickehng:

H
=

Mt~ CM MiCW..<))' (M tt[.e +

+
<p(<iM t(d-w)
X!)~) )
(wo x ein echter Bruoh) gostattet, wenn nioht <<ttKa!~=:0.
Dioser Fall aber tritt Mr kein OMeddar Reihe ein, wenn x eine irra.
tiona!e GrsBe Mt; ea ist dann:
~(Mtt

[.P+e)w)

~+,)~=

ttf~
~?'(~~+~) H<t
M)*!
M==l
Die Be!he rechter Haud Mt convergent, wenn <>3, wie wir vojrausgesetzthabea;
und es hum soant d~rch Verkieinerang von a die Differenz/1(w+e) -)
im.
mer beliebig klein gemaoht werden.
Die Funetion /'a) ist daher in jedem irrationalen Punkte stetig, und
noch mohr: Me h&t in jedem solchonPunicte emon vSUigbestimmten,
endtiohen Di&rentMquotienten.
Denn ea ist:
/'(?+:)(!?)_

~<j''(~+-!tOK)
~_i+~t

Nun nShert Biohmit stetig abnehmendom UDterdorVorauBsetzung <~>88

die Reih jedonM!6 der GrenM
m'~ht )ia:')t) io8 rlma
In S-. ~P
M'-r
MC=i

und wenn man jene Beziehungzwischea dem Wachathumvon m und der Abnahme von t genauer so determinirt, dass :M zwarunendiich abnehmeN,tM'i 1
=em. M'- aber unendlich wachsen soll, was z. B. durch die Substitution
"'=~,1>?>~
bowirkt werden kann, so sieht man, dan der Rest vemohwmdet, also der
DiSerontialquotient
f~ = ? <P'
f(.c)
~g
M=t 1

,r-'

"~) CM~w

in jedem irrationaloa Pankte eiodeutig bostimmt und von der Abnahme des t
ganz nnabhangig ist.
Die Function verhalt aioh demnach in jedem irrationalen Punkt ganz legitim einen wosentliohvorschiedonenCharakter hat sie dagegeBin den Punkten,
3 80


womeinen rationalen

t8

Werth, der m aeinepreducirtenForm a?== Min m8ge,

besitzt.
FMsen wir in der Reihe, welche /*(.<+ e) /*(~)bcBthnmt:
(<<ttM{(B-t-e]~) ~('~ M<B1t)
)tc=l

zm~ohat die Glieder zasanmen, fr welche H kein MwMptamvon jt, Bobilden

meeine Reiho, welchedie eben besprocheNenEigeaschaftenhat, und mit t C bezeichnet werden mag; die brigen Glieder aber, in denenftir ganzzaMiger, Mssjtfr
ist, b&ben eine ganz andere Natur; sie geben, da

(t<t<
==
tt~w)
== (0) also nach unserer Vorauaasotzung= 0 wird, die Reihe:
~( KMr~:w)
1
wo r alle ganzen Zablwerthe von 1 bis zu der unter

(tin r~)

liegenden ganzen Zahl

zu nebmen ist, je B&chdemrw gerade oder

durchtauft, und dae Yo'xcicLea
ist.
Man
kann
wenn
e abnimmt und trotz der Zunahme des
ungerade
hiefr,
doch immer M: beliebig klein werden soll,
1
c(''[~)
ra
und
sieht
wie
echreiben,
die Singutarit&t, welche ~(~) fiir y==0 hsitt,
jetzt,
sich auf unsere Function ubertrSgt. Denu es leuchtet ein, dass immer so groBS
genommen werdeK kann, dass das erste Glied diMerReihc, also:
?( t~~)
die SiaguJantat wesentlich bestimmt.
Wenn die Entwiokelung v<m<p(S)cach Potenzen von S nioht mehr gilt und
die Function ~(~ f~)
seibst fUr die kleinsten Werthe von e nicht m dem
Grade wie 6 abnimmt, so sieht man, dass ~te Divisionder Gieichung:
~+.=.t+~t<~+~
durch e auf kemon bestimmten Grenzwerth fUr
+ e) f(~)

t9
fuhMnwird.Mad daher
die FunctionA~) einen DiNerentia!quotientenfur rationale Werthe vom
<cnioht beaitzt.
M<p(y) auch im Punkte y==0 stetig, so ist aus dem voretehendonWerthe
der Differenz/'(<p-)-<) /'(ie) orsichtiich, daaa /'(a?) in allen, auch in den rationalen Punkten a: Btetigint, ohne doch in diesen einen Diiferenttatqnotienten
zn haben.
Die Siagu~ritat von ~(y) in dem Paakte y==0 wird also auf jed~n
ratio nalen Punkt
der Fanction y(.c) ubertragon, indom sioh fUr
solche a) in der Reihe:
~=~

M=:i

immer Glieder imdon, welche jeae Eigonheitenbesitzen; wahrend fr

irrationale a! sich alle Glieder legitim vorhalten.
Die unendlich vioton 8iogu!aritaten, welohe y(~Hyit) naoh den vorausgesetzten Eigensohaftender Funotion in den diBcreteaPuakten y == 0, 1, 2, S.
besitzt, drSngen sioh in der Function /(.'<-)gewissermassenauf eine endlicheStrecke
zusammenund ich habe daher das Prinoip, von solchen Functionen zu den
der Singntaritaton
bezeichnen
herzugehen, als das der Condensation
zu konnen geglaubt.
Die weitere Auefiibrungfur bestimmte Fanctionea wird im Folgendenin
versoMedenenBeispielengegeben werden. Im AUgemoinenkann man noch bemerken, dass die Singularitittin einem rationalen Punkte um so stiirker ansgepragt erscheint, je ein&cher der Werth a)==-, d. h. je kleinerder Nenner ~ist.
Die der Function y eigene Singularitt ubertrSgt sich namtichauf die Funotion
nnr in 4em Verhaltniss von jA< 1. Die Function nimmt daber, je nliher man
einem irrationalen Punkte kommt, immr mehr den in solchen vorhandenen
Charakter der Stetigkeit an.
5..

Stetige Fancttonen mit unendlich vielen StngalarMtem.

L Dise aUgemeinonBemerkungenBoIlnim Besonderenanf die Function,

1
<p(y)=y<w~
nenancn viele,
angewandtwerden, welche UberaUstetig ist, aber in y==0 nnend!ich
vieie, un.
8*

M
endlich kloine OMiUationenbesitzt aad daher nach au&teigendenPotenzen von
y nioht entwickeibar ist.
Die Funotion
/'(a') =

Hssi

#8$
t<tt n<pw.<<M(--

<

ist nnn, wie aus vorstehenden Betrachtungon erhellt, in aUen irrationalenPun]tten m stetig und diSerentilbeJ.
Ist abera'==

rational, Bo enthalt /'(<r+e) aaaser einer Reihet C nooh

die Glieder:

~ttruew.
r N<K

{--
\~Kt'jtew/
die man, wenn < gen~end klein angenommenwird, bis auf Gliederboherar OrdnMg, duroh
-1VJf'*
f~ew
~ti
ersetzen kann, so dass
+~+~
+~==~S~
geeetzt werden darf. Da sieh Dunf!h' eiaigermasBen grosse < die Summe
~'1,1
~ae' f'-t
t'~t~
wesentlich auf ihr erstes Glied reducirt, 80 verhalt sich
~+')Die Funetion /~<B)ist d&herin den rationalen Iunkten a! zwar atetig, aber
nicht in der Weise, daB8ihrem DifferentialquotienteNein bestimmterWerth znk&me.'Viohnehr kann um sokbe Punkte herun) kein IntervaU vonsoloherKleinimmerabnShme,
heit angegeben werden, daas in ihm dieDifferenz A~+s)~)
Zeiohen
Wir
kOBMndiea
oder nur ein und dasselbe
behielte.
Verhalten,welohes
dahin
bezeiohnon: diee
dem uaaerer jetagen Function <~(y)in y==0 gleicht,
PMnkto m nnendiioh
Function. /'(a;) macht iN jedem rationalen
viele unendlich
kleine Oscillationen,
ohnejedoehjemabwnstetigzu
werden.

M
H. Setztm&n
?<y) =
ao Bndon in Bozng auf das OscitUrenin jedom rationalen Punkte gan! ShnBohe
Verha!tniMe bei der Function:
/'(<c)=

n~w)' ~t
M*(<<M
\<t M.'r~

wie bei der in der vorigen Nr. statt. Man hat aber jetzt, wenn die frtiheren
Bezeichnungenbeibehalten werdon
/'(.)-e)-(<.)
t
1
V
$
g
-
=C+.
~
wo die, fiir abnehmende< und zunehmendeM veraohwindendenReatgUedersogtaich weggetassen sind. Halten wir nun die VorausBetzunga > 8 fest, so versohwindetmit unendlich abnehmendeme das Product jener oonvo~entenS in s
und es cahert sich der Quotient
:) /'(<e)der
/'(? +
Grenze 6.
Q
Obgleich daher, wie man sieht in jedem rationalen Punktemauohjetist
unendlich viele, unendlich kleine OsciUationenvorhanden sind, be~itzt die
Function doch in jodem Punkte einen vllig bestimmten DHderGrund hievoDist in der RloinheitdieeerOsoillaferentiaJquotienten');
tionen zu suchen, die eineunendlich kleine Amptitwdeder zweitenOrdnunghaben,
ebensowie die der Function
<{)~)= <~ oht in a; = 0,
wahrend die Amplitudenin Nr. I unendlich Hein von erster Ordnnng~ind.
1)Doot)lothiervMMeht
ttiehtObera<it)'Ig,
dassdieDer)virte/'(z)
dieBomorktmg
tb Function
vonx an({eMh<Mt,
eiohkeine:w~bc!AnnNheMag
dos!ean einettrationalen
WerthJeeMarenite
Q
oondem
fortwtUtrend
N)o)th9tt,
wiederWerthvon
MiMirt,
/'(~ = <&</ pzx f(~ nxitr
'~1
tt*
L
''<)'/J
ofertM'gt. GanzMxdeg!et<tWM
MrdbFmMtion
=<e't'ttL
detGtOMwetth
Ton
<~(z)
~~)~
Madalsot '(0)= 0. tm AUgoatetnen
bMthnmt,
<(hMht:
'(.)

=S

Z tttt

a*

1
x

nDddaher~'(e) eiae Gt)tme,wetchebet abnehmendeo

x fo-twNtrend
OMiHM
end t!ehn!eht dM
QfNtM
~'(0)s=0anntthert.


II.

Setztman
<p(y)s=y~,

und.bildet demgemasa
~)==S~
so hat man hKrin oine durchaus atetige,
reell Funotion, wenu unter der
Cubikwurzd stets ihr reeHr Werth veratanden wird.
Fr ein rationnes .c ==

Ist:

~+.)-~)=~+~+~
und man sieht, dass die Function zn der ersten KiMse der in . 3 betraohteten
mmmt mit e fortwahrondab, ohnedageMrt; deandieDiSerenz ~+t)/t~)
bei ibr ZeicheNzu wochsein; die Function /'(a') beaitzt demn~oh keine
OsciU&tionen; gleichwohl aber exiBtirtfiirvorliegeBdeFunoHonkeinend<
licher Differentif~quotieDt;
vielmehr wSchst

`i`~_) w tfT,
pc~
mit wa-chaeNdema ber aile Grenzen.
Wenn man will, kann man das rSumUcheCorrelat der Fnnction /'(a:) aine
stetige Carve mit unendlich Yielen Spitzen nennen.
IV. An Stelle vieler a.hnHcherBeispiele sei nur nooh das eine erwahat, wo
m
und0 <~ )t < Dann

**

100

zeigt
'W

fr ein rationa!eB <B==die

~r

_L_
,a;~

Differenz

~+.)-~)=~+~
undes wird daher
_
= o 4- i <&f
~+~) e
e
x (rjjnw)"
mit abnehmendemk immer in's negativ UaendMchewachMn.


S. 6.

!N

DeCnttten <md Bebptete von linear aMtetigea Funetionen.

nant
maneine Funotion f(w), wenn es
Unstettg im Punkte a?==
unter denWorthen, welche die Differenz/'(H-J-S)-H) fUr a!!e positiven und negativen die numerisch <~sind, annimmt, immer solohe
gibt, die eine gewisse endlicherSsse <tnumerischUbersteigen,wie Hein
man aaoh e annehmen mbge.
lob werde von einer solchen Funotion sagen: aie mMhe im Punkte fessaa
Sprtinge, die~><ysind.
Zur bequemeren AusdrucheweisefUhro ioh noch bei der Behandiumgder
Unstetigkeiten einen neuen Begriff ein und versteheunter
der Schwankung ') einer Funotionin einem gewissenIntervalle die
Differenz des gr8s6ten und kleinsten Werthes, welchen die Functionin
jenem Intervalle annimmt.
Die Sohwankungeiner Function innerhalb eines Intervalles, welches einen
Punkt <B==<!
umgibt, in dem ~a:) 8pr!ingo><tmacht, ist daher jedenfalls >
Sind die Spriinge in dem Punkte <' T, so kann immer oin kleines Intervall um
den Punkt a:==a herum angegebenwerde, innerbalb dessen die Schwankung
weniger betrSgt als 2 <f.
Die schlechthin stetigen Functionen machensolche Sprnge in einzelnen
Punkten, welche nur in endlicher Anzahl auf einerStrecko vorhanden sein dtirfen, und zwischensich immer ein endlichesIntervallenthalten, in demdie Fnnc.
tion durchaus stetig ist. Solche pnnktaelle
konnen sich aber
e Unstetigkeiten
auch in unendlicher Anzahl auf einer Strecke zasammendrangenund erzeugenso
1i a e artJnstettgkeiten, zu deren BetrachtungwiruNSjetzt wenden, indem wir
definiren:
Linear unstetige Fnnctionen sind solche, welche in unendlich
vielen Punkten einer endliohenStrecke unstetig sind.
Die Sprnge, welche die Function in diesen unendlichvieten Punkten macht,
Manen icdeBSinsofern ein sehr vet-achiedeneB
Verh&ltenzeigen, as entweder die
Zahl der Punkte, in denenSprnge grsser als eine bestimmtoendiiche Grossec
vorkommen, unendlich ist, oder deren Zaht nur unendlichwSchst, wenn nn.
endlich a~nimmt. Obgleiohim letzieren Falle die Punkte, in denen die Spriinge
grMer als eine bestimmte endliche Grosse <rsind, nur in endlicher Zahl vorkommen, so sind doch diese Functionen von den scblecbthin stetigen, wolche
b.dieDorst.ut 6,
1) NachRtBMAW]),

-1

berbaupt nur in einer endiiohen MaMvon Punkten unstetig werden, wesonttica versohieden.
Die manuigtachen EigenthumKohkeiten,welche die linear unstotigen Funotionen zeigen konuen, mogen ztmitchst an einer Reihe von Beispielenvorgef'hrt
werden, in denen wir die VeraudMiiehe ;e daa Intervall voNN!==0 bis icssi 1
durchtttufet)lassen.
L FUrjades ra<,iona~a!8ei/'(~)s=0,Nirjedosirratioti&te~)
==!'). Daun
sind in jedem noch so Heineu Intervalle unendlich vietoPunkte, in denen beiderssita SprUagevonder Grosse 1 vorkommen,enthalten, und es gibt nirgends einen
Punkt ~=, in dem /'(<)-&) ~(H) fUr alle ~<<, wie klein man aueh an.
nehme, numerisch <~ 1 w&re.
Il. Die Function habe den Werth /*(<c)==l,f!ir die Streoke von .f=0 bis
a:= 1 mit Ausnahme unendlich violer Intervalle von der Grosse i~ welohe
in den Punkten a; =: (-)

(von M== 1bis M=oo) ihre Mitteipunktohaben; in je.

dem dieser Intervalle aber sei die Funotion in dersolbeu Weise unstetig, ais die
unter I. beschriebene, d. h. sie nohme den Werth 0 fur aile rationalen, den
Werth 1 fur alle irrationalen Werthe des Argumentes an. Die Gesammtgrosse<
der Inter valle, in denen ilberall Schwankungen== 1 vorkommen,betrtgt:
8~t~~sa~
,==!:+'+~+.==~
1Zwischen zwei solchon IntorvaIIen liegt immer eine Streoke, in welcher die

Function stetig ist; denn die Punkte (~)", (~)"

sind nmgeben von Intervatlen
~"+~mit endliohen Schwankungen; zwischondiesen bleibt oin Rawm:
+
((~ -~)-((~
~=(y+
{i -(~.(i
+o) }
der, wenn etwa <~ fur &!te H positiv ist und mit wachsondentt unbegrenzt
abnimmt.
III. Die Function habe den Werth f(.B)== l Hir alle Werthe des Arga.
mentes ansser den Punkten x =
(')" (von M= 1 bis M= oo), in denen /(!c)=00
sein moge. Die Unstetigkeit ist hier auf einzelne, wenn auch unendlioh vielo
Punkte beschrankt, in denen Sprunge von der Grosse 1 vorkommen. Es gibt
nirgends ein ganz mit Unstetigkeiten erfii!)Ms Intervall. Soll ein den Punkt
Funetionen
batDmtom.KT
1) Auf't)otche
(Crollq,Joum.t. IV.p. t69)aufmerkmtn
gemaoht.

<es= (~) umgebendeanterMtUmMdie in diMMnPunkte attttt&ndendeUnetetigkeit

eiBMMiMsen,eo kaan es beliebig klein genommenwerden. Ja noch mehr die
& aller latervaUe dieser Art kann beMeMgklein gemMhtwerden.
GMMBmtgrme
Denn

Mmmt man t" als die Gr~Bsedes, einen Pnakt ? = (~)'' eiMoUieMenden
laterv&Uos, so kana jene Summe:
~<~)tAf<>~
~-
.=,+~-)-+.
mit t beliebig YerMeinMtwerden.
== 1, von
IV. Die Funotion habe von <c= 1 bis
ic~-~~tM~~
d~ WMta/'(<c)
W
i
i
ma i
aUgemeinvon<c= (~ Ma t= (~)"
<c s= bis a) s= (~) dan Werth
ti
1"
den Werth f(:c) =s (~)*. Diese Funotion, welchenur m den Punkten x (~)*'
unstetig wird, und in denselbenum (') 6pringt, bat nioht, wie die biaher betraohteten Beispiole, eine unendlioheAnzahl von Pankten, in denen ihre SprUnge
eine gewisse endliche Gra~eHbettreSen; vielmehr ist die Anzahl der Spriinge,
die > e sind, mr jedes crendUoh,nimmt aber mit abnehmendemc &)rtwahrend
und ohne Grenze za. DioGesammisrsseder Intervalle, in denen Spr&nge~> o
vorkommen, lama offenbarfor jedes'abeliebig Hein gemaoht werden, da die
AmaM der Intervalle eine endliche ist, und dise nnr die Unstetigkeitspunkte
nothwendig urnsoUiosseNm<iMen.
S. 7.

Theorie und KlassUteaticnder Unear unstetigen Fanetienen.

Die vorstehenden Beispiele lasseu dentMohzwei Klassen von linear unstetigen Funotionenunterschoiden Solche,welohe innerhalb ganzerIntervalle total,
und solche, welche nur in zerstreuten, wenn auch unendlichzahlreichenPunkten
unstetig sind. Doch bedrfondiese Begnfb noch einer pr&oiserMFassung.
Wenn auf einer Streoke eine Schaar von Pankten liegt, denen eine
gewisse Eigenschaft sukommt, so sage ich, dass diese Pnnkte
die Strooke orfutten, wenn in dor Strecke kein noch 60 kleines
Intervall angegebenwerden kana, in dem nicht wenigatensEin Punkt
jener Schaar ISge;
4

M
daas dagegen dise Sohaar von Punkten die Streoke nioht orfaUt,
sondern die Punkte xerstrout
auf ihr liegen, wenn zwisohen.je zwei
beliebig nahen Punkten der Streoke immer ein Intervall angegebenwerden kann, in dem kein Punkt jener Sohaar Megb
Wir betrachten nun diese beiden F&Ueemzeh!:
I. Wenn eine Strecke nicht von solohea Pankten erfHtist, in denen
SprUNge> o at&tt&ndea,sondern diese zemtreut, immerhin in unendlicheroder
in eiMt mit aabegrenzt abnehmendem a unondiioh zanebmendenAnzahl in ihr
liegen, M gibt es der DeBuition nach, zwischenzwei sotchenPunkten immer ein
Inten&U,in dem kein solcher Punkt mit Spr&ngen> liegt, in dem also auoh
die Schwankungen der Function < 2 <tsind nad es gilt nun der Le~~tz:
WeNn.eine8treoke nicht vonPunkten erfNlltMt,indenen8priinge><t
8t&tt8nden, so k&nn die Ge~ammtgrosBOt der
in donen die
Intervalle,
Schwanknngen~> 2<Tsind) beliebig Mein angenommenwerden.
Beweis.
Die Intervalle, welche zueMnmonsetzen, liogen herum umjene
zeratrewten UMtetigkeitspnnkto, in denen die Function Sprnge vonder Grssea
zeigt. Ist d&her die AnzaMjener Punkte ondiioh, 60 kann die Ges&mmtgrSsse
der IntervaUe, da man jedes derselben beliebigklein machen kann, auch beliebig
verkleinert werden. Im Falle, dass die Auzahljener Punkte unendlich groas ist,
zwischenihnen aber nach obiger Bemerkungnoch Zwiachenraumeliegen, in denen die 8chwankung<~ 2a ist, kann man so verfahren: Man theile die ganse
Streoke, die man betrachtet in Intervalle, von denen jedes einen dieser Unatetigkeitspunkte mit Sprtingen > umgibt, und w&Mediese Intervalle so gross,
dass sie.zusammengenommen die ganze Strooke orMIen. Denkt man sich dann
jedes dieser Intervalle zusammengezogenauf den aten Theil, jedooh so, dass es
auch jetzt noch den betreffenden Unstetigkeitspunkt umgibt, so ist der <ibrige
Theil der Strecke von Sprungen > <!frei; die Summe jener Intervalle abor,
in denenSprnge > < vorkommen ist der MteTheil der gesammtenStreoke und
kann daher durch VergrSsserung von Mboliebig klein gemachtwerden. v. e. d.
Es gilt aber auch die Umkehrang, namiioh das Theorem:
Eann die 'Seaammtgrosse
der Intervalle, in denen Sohwanknngen> o
vorkommen, beliebig klein gemaoht werden, so kommen Pnnkte, in denen die
Function um mehr ala c apringt, nur zeratreut vor.
Beweis. Erfllten namiich diesePunkte mit Spriingen > orauch nnr ein
kleines Intervall h, so wiirde in diesemdie Schwankungimmer > e sein, und

a?
daher die Geaammtaummeder Intervalle, in denen Sohwankungen> c vorkommen, jeden&Uanicht < Awerden Mnnen, was der VoranMetzungwideMpncht.
~.e.<<.
II. Wir betraohten analog den Fall der eine Streoke erfullenden Untetigtigkeiten und beweisen den folgenden Lehmatz:
Wenn Punkte, in denenSprUnge> <TetattNnden, eine Streoke orfittlen,
so kann aaa dieser nirgends ein Intervall he-rausgenommen werdea, in
dem die Schwankung <. < wSro.
Beweis. Denn g&bees ein Miches Intervall, in dem die Sohwankung<; a
wSre, undreiohte dasselbe vonfessa bis a:s=a-e, ao wSre /*(a-t-~(a-S')
immer numerisch -<. <r,wenn S, in dom Intervall e liegen. Nun gibt es aber,
da die Punkte mit Sprungen> <tdie ganzo Streoke erfUMen,zufo~e der Defi.
mtion dises BegriEFea,in jedem Intervall, also auoh in dem s, wonigstenaeinen
Paakt a! = a-t-Y, in dem SprUnge> a stattfinden; d. h. es gibt jedenfalls ein
80 dM3 /'(<'+Y'+~)"+Y)
numerisoh > <Tiet, wo Y und Y+~ in jenem
Intervalle e liegen. SetKtmandaher Y-(-~==: y=:S', ao waro/'(<t- ~)<t-}.)
numerisch ~>a, was dom Vorigenwiderspnoht. q. e. d.
Es gilt aber auch die Umkehrung, namiich der Satz
Wenn, in jedem Intervalle oiner Streoke die Sohwankung>'?iat, so ist
die Strocke erfllt mit Punkten, in denen SprUnge>?< gtattSadeo.
Bewois.. Denn w&redie Streoke nioht erfullt mit solohenPunkten, so gabe
es in ihr ein Intervall von ie==a bis a'==<}-e, so dass die Dinerenzen/'(t-t-S)
(<!) und /*(<)-S')y(a) numerisch <
waren, wenn S und &' < e sind.
Dann mussto aber /'("S)(a-)
numorisch<~ <f,also die Sohwankungin
diosem Intervalle <J <rsein, was der Vorauasetzung widersprioht.q. e. d.
Die vorstehenden ErISatorungenwerden geniigenddargethan haben, dass die
linear unstetigen Fumctionenin zwei principiell versohiedeneKlassen ver&Ilen:
I. Klasae. Die punktirt uMteUgemFunctionen oder solohe, welchenur in
zerstreuten Punkten linear unstetig sind; genauer geiasst wird ihre Definition
60 lauten
Pmnktirt
unstetig heisMn Bolohelinear unstetigen Funotionen, bei
welohen die Punkte mit Sprangon > < nur zeratreat
vorkommenund
keinee 8 t r o okernUlon, wie klein auoh die, von Null verschiedene,
Gtrsao<fsei.
Die beiden unter 1 entwickeltenSatzo lassen sofort erkennen:
DftCU
i
4*

?
Die nothwendige und hmreichende BedingungdaSir, dass eine linear
unstetige Funotion za den punktirt unstetigen gehart, ist die, dan die
GesammtgrosM aller Intervalle, in denen Schwankungen> vorkommen, &t jedea kleine, aber vonNull veracMedenec, beliebig klein gomaoht werden kann.
Insofern diese punktirt unstetigen Fuuctionen sioh voa denjenigen stetigen
Functionen, die eine endliche AnzaMvon Unterbrechungender Continuitat beMtzea,Mterscheiden sollen, mUssensie eine nnendUcheAnzahlsolcher enthat~em.
Dies kann aber entweder so geschehen, dase die Anzahl der Punkte, in denen
SprNnge~> c vorkommen,schon fUr ein endUcheae eine unendlicheist, oder erst
mit unendlich abnehmendeme <iberalle Grtmzen w~chst.
Zu der ersten Art geMrt die in III des vor. . beschriebeneFunction, sowie berhaupt alle Functionen, die aas etetigen dadurch entstanden sind,
dass eine unendliche Anzahl zerstreuter Punkte ans dom Zuaammeah&nge gerissen und um endliche Groseeoverschobensind.
Zu der zweiten Art gehrt die Fnnction IV des vor. ., sowie &berhaupt
alle linear unstetigen Functionen, welche auf einem endlichen InterT&Uenur eine endliebe Anzahl Maxima und Minima haben. Denn betrachten wir z. B. ein Intervall zwischeneinem Minimumund einem fbIgeNden
Maximum, so werden in diesem entweder nur eine endliche Anzahl von SprRngen vorkommen und dann bat man keine linear unstetige Function oder es
ist eme unendliche Menge von Sprtingenvorhanden: da aber duroh alle dise
nur ein WachseN um eine endlicbe Grsee erzielt wird, so konnen unter den
Sprangen,die sich successivezu den Fnnctioaswerthenaddiren, nur eine endliche
Anzahl solcher vorhnden sein, welche eine beliebig kleine Grosse ~bertreNen.
Za dieser Art gehren ferner die in I, Il und III des . 9 analytisch
dargestellten Funotionen.
Gemeinsam allen Functionen dieser Klasse ist folgende sehr bemerkenswerthe Eigensohaft:
Die punktirt unate~genFunotiomensind 1) in unendiioh vielen Punkten
Nahe jedes Unstetigkeitspunktesstetig.
stetig und 2) in unmittelbarer
Bewei s. 1) Zwiachenzwei fmfeinandorMgendenPunkten,in denen Spriinge
> a vorkommen,gibt es nach dem Begriffe der punktirt unstetigen Functionen
jedeNNIs ein Intervall, in dem die SprBnge< c sind. Aus diesem Intervall
scheide man die Punkte aus, in denen Sprnge >~ vorkommen und &Me
zwischenihnen ein Intervall in'a Auge, in domdie SprUngedaher <~ eind. 80

M
fahre man fort, indem man die Grosse der Spruage immor balbirt, und au dem
ntefvati zwischenPunkten mit Spriingen > (~) 0 eines in'a Auge fasst, in dem
die Sprunge< (.) a sind. Maoht mandieae Opration MneadUch
oft, ao wird das
tibrig bleibendeIntervall entweder von endlioher Grossesein und dann ist dM
Behtmptete erwiesen, oder das Intervall nimmt uoendiiohab. In diesem Mte
a.uf einen Punkt conoentnren, der allen jenen
jedooh wird es sich aUm&Mioh
IntervaUen gemeinachajMichist; um diesen iagm sioh, aUmShUohsich erweitemd,dieIntervaUe,dMvonSp)'Uagen~>(~) T. > (J ~frei8ind,nnd
es wird daher immer ein Intervtdl s angegebon werdeo konnen, eo dasa ftir alle
tHunensch <. t' sei, wio Mdn auch <' soi; d. h. atw:
S < <<f("+S)(/')
des Punktes
die Funotiot)ist in
stetig. berdem zeigt diese ConstructioMweise
endiichenStrecke
viele
soloher
Punkte
dass
es
auf
unendlich
gibt.
u,
jeder
2) ManSxire einen Punkt .t'=: , in dem Sprunge~>? atatt&tden; dann
in dem Sprilage~><Tvorkommen;in
suche man den nSchaten Pankta'=:<A,
dem dazwiBchenliegendenIntervalle werden die Sohwankungen<; 2<tund daher
die DiSereM A~-t-s) /'(."+8) numerisch <( 2e' soin, wenn S, :-< h sind. Wird
nun c beliebigTerMeinert, so wird sich zwar das Intervall h, das den Abstand
Yen bis zu dem n&cbstenPunkte mit Sprungen > <t angibt, verkleinern konnen, immeraber wird in diesem Intervalle /'(f-{-s)('<-{-~) numerisch < 2<f
sein, wie klein man auch die von NuU verschiedeneu and S anaehme. Es nahert sich daher /*(<{-!) einer bestimmten, und zwar nach Voraussetzungvon /'(<*)
verschiedenen Grenze und dies gibt nach der in . 2 eiogefUhrtonTerminologie
obigen Satz. q. <<<
Die punktirt unstetigen Functionen knnen, wie 1 des . 9 zeigt, in den
besitzon. m
Punkten, in welchen sie stetig sind, Differentiatquotienten
wird
dass
ihnen
ein
gezeigt werden,
Integral unbedingt zukommt,
folgenden.
und sie immer in FoumBB'acheReihen entwickelt werden konnen.
Die Functionen dieser Klasse stehen, wie man sieht, in ihrem Verhalten
dea stetigen nahe, und es kannte bei solohen Functionen, wie I, II, III des . 9
selbat tmpaMenderscheinen, aie unendlioh oft auf einer endlichen Strecke unstetig zn nennen, da in jeder Strecke nur eine endtiche Anzabl von Spr&ngen
vorhanden ist, die eine beliebige endliche Grosse a Hbersteigen.
Die punktirt unstetigen Funotionen bilden den Ubergang von den nur
punktue II (in einzolnen Punkten endlicher Anzahl) unstetigen, im Allgemeinen

-M
aber stetigan Fanctionen zu der folgendenK!aese, welche aHe anderen UneMunatetigen Funotionen um&sat:
H. Klasse. Total unatetige Funotionensind solche, welohein ganzen IntM'vaBendurchaus nnste~g sind, oder in strenger Definition:
Total linear nnstetig heisBensolohe Fnctionen, in denen Punkte
mit Sprangen, die eine gewiMeendlicheGrosse UbertMtfen,ganze Inteyvtttio erfUtten.
Ea versteht sioh, daas solche Funotionenauch in Intervallen nar punktirt
unstetig, oder gar atet~ sein knnen; die S&tze,die oben unter U erwiesen sind,
zeigenaber:
Die nothwendigeund hinreichendeBedingang datUr, dass eine tinear
~nstetige Fanotion za den total unstetigen geh8rt, ist die, dass die Gesaauntgrosse aller Intervalle, in denen SchwankungengrSesor als eine
beliebig kleine GrSsse vorkommen,nicht beliebig klein gemacht werdeu
kann, sondera eine bestimmte untere Grenze hat.
Die in 1 des vor. . beschriebeneFunotion ist in allen Theilen der betrachteten Strecke total unstetig; die in unendlich viekn Intervallen total unstetige Function II des vor. . ist dagegen in unendlich vielenStrecken Mgar
atetig.
Cberati da, wo eine Function total unstetig iat, besitzt sie, wie nnmittelber
einlenchtet, keinen Differentialqaotienton,nnd, wie im fbigenden. naohgewiesen werden wird, aach kein Integral. Die in Linien total unstetigenFunctionen
kSnnen also den eigentiich analytischen Operationen nicht unterworfenwordon;
gleichwohlgibt es unter ihnon solche, welcheduroh einen analytischeaAnadruck
dargestellt werden kSnnen, wie in IV des . 9 gezeigt werden wird.
. 8. Die Integrale linear anstetiger Functlonen.
Wahrend man sich biaher darauf beMhrSBkte,die Existenz von Integtaien
scUechthin stetiger Functionen mit einer endlichen Anzahl von OaoiUationen
al~emein nachzuweisen, so hat RtE!t.ucfden Begrim des Integrales auch anf
linear unstetige erweitert und den feinen Satz bewiesen1)
Die nothwendige nnd hinreichendeBedingung fur die Exiatenz eines
Integrales
trt.5.
1)Cb.4.D<M-stettb.

8t

ist die, dass die Geaammtgrosaoder Intervalle, in denen die Schwanhmgen der Funotion f(<f) grosaer ah eine beliebigeGrosee<t aind, steta
beliebig klein gemacht werden kann.
Es brtmoht kaum erwMmtau werden, daas hienaohdie stetigen Funotionen
mit Nnendiiohvielen, unendliohkleinen Oscillationenatete ein Integral bemtzea.
Es ist jedoch wichttg zu bemerken, dasa naohdenohM'aktenstiaohenEigenachaften der beidon von UMunterseMedeneaKlassen linear unstetiger Funotionen
behauptet werden kann:
Die in Linien total unstetigen Functionen sind niemata, die punktirt unstetigen immer integrabel.
So ist daa Integral der in IV des . 6 bebobriebenenFunction /'(a-)aua
den CHeiohungen:
t
(.)"
J'(~~=~

j'~)~=(~'+\
G)'.+t 1
leicht zu finden. Es ist nSmUchz. B.
i
J'~)..=~+~+..+(~'=;[l~(y~].
?"+' 1
Bei punktirt unstetigen Functionen kann stets die Summe der laterv&Ue,
in denen Schwankungen grsser ais eine beliebig kleine GroBsec vorkommen,
und daher attch derBoitrag, den dieseIntervalle znm Integrale leisten, beliebig
verMeinert werden. Findet aleo in .c s=a ein Sprung '> <t statt, so fatit dieser
Punkt in einea jener Intervalle, deren Beitrag zu dem Integrale verachwindend
klein ist, und es ist daher der Functionswerth/(a) selbst auf das Integral ohne
EinanM, wie denn z.B. daa Integral der in III des . 6 beachriebenenFunction /'(.f)
f /'(a') == .T
o
iat, was auch x soi, trotz der unendlichvielen au: dem ZaBammenhangegeISsten Punkte. Da, Integral ist uaabhangig von den Unstetigkeiten, welche

M
durch Abandernng des Functionawerthes in einzelnenPankten hebbar sind. Dagegen ist daa Integral wesentlich bestimmt dureh die Grenzwerthe, denen sich
aaoh pag. 28, /*(/<
mit abnehmendem annahem; also:
D<i.sIntegral einM punktirt uastetigea FunotioB ist aMbhSagig von den
Werthen in den UmtetigkeitspunMeaselbst, dagegen nicht UMbh&ngig
von den
Werthen in unmittelbarer
Nghe derselben.
Durch das Integral ~(.c) einer punktirt unstetigen Func~on
x
~)=

j')~
0

ist aine Function ~) vollkommen eindeu~ bestimmt. Um ihre Stetigkeit zu

nntersuohea, betrachte rnM:
.+.
~( + e) (a) =; f f(.t) <<a;= t JM,
0

wo tMeinen Mittelwerth bezeichnet zwiachendem grasten undklemsten Werthe,

den ~(.r) in dem Intervalle von .c== abis;c ==-{-:annimmt,von den particuISren Werthen der f(!e) in den UnctetigkeitsateUenselbst a~bgeeehen.Sind x
und h eohte Bruche und bezeichnet <rdie Sohwankungin diesemIntervalle, so
kann man Jtf==/'(a-)-it6)-+-A<Tsetzen, und es ist:
~~A(~~)~e
Nimmt nun e unendlicb ab, so verkleinern sich die Sprtinge in dem IntervaU
unendtioh; denn ist e einer jener Pankte, in denen f(x) stetig iat, so leuchtet
dies vonselbat ein; ist aber a' ==:a ein Unstet~keitapankt, M ist dooh (s. pag. 28)
die Function in seiner anmttelbaren Nhestetig, und es nahert sich die Schwankung < im Intervalle s, aus dem der Punkt .<;==aelbat ausgeschlossenist, mit
abnehmendeme ebenfallsder Nnll.
Somit ist in beiden FaUen die Function (x) stetig und
!imP' f ~r.-+-.$). P~~) ` !im,)'(m-f s);
~+~=~~+~
d. h. der Differentialquotientdieser stetigen Fuuction ~(.)!) ist im Punkte .f=
gloichdem Grenzwerthe, dem sioh /'(~-t-:) oder /'(<!s) nahert, je nachdem er
nach reohts oder links hin genommen wird.
Iat die Unstetigkeit in einem Pankte .e=:a nicht darch AbSnderungdes

M
Fanctionswerthes /'() zn haben und nahern sich also f(a-t-t) und /'(ae)vefaoMedenenGrenzen, so ist /t(~) eine stetige Punktfolgevon der Eigenth&mliohkeit, daM in unendlioh vielen Punkten, die sioh von linksund rechts her tre~enmit oinfmder einschliessea.
denZweigeeineuWinkel
(Vergt.p.14.)
bleibt
bei
den
Doch
Integralen aller in . 6 und 9 gegebonon punktirt unetetigen Funotionen, die Anzahl der Punkte, in denea die Zweige einen Winkel
~><! mit einander machen, endiieh, wie klein auch <teei.
Aus der Integrabilita.t der punktirt unetetigen Funotionen Mgt nach RiEKriterien der Sat!
MAMt's~)
Jede punktirt unstetige Function, wolche in ihren Unstetigkeitspunkten das
arithmetisohe Mittel der beiden Grenzwerthe in unmittelbarerNi~hedarsteUt, ist
in eine FocRR'acheReiho mit unendlioh abnehmendenCoeSiciontenentwiokelbar.
Dieser Satz ist Mr unseren Zwcok besonders deshalb 'wiohtig, weil er die
analytiache Darstellbarkeit aller moglichen punktirt unstotigen Functionen
beweist, die den angegeben Charakter in den Unetetigkeitepunktenhaben.
Ala Beispiel mag nur die Functiou IV des . 6 dienen, die in die Reihe:
~)

==
entwickelt, die Coefficienten
~~{<S~~(
pu
fUr x ==(~)
besitzt, wenn flir
beaitzt,
= 2)
S. 9.

,,=1
r;r
/'(.r) = '2 (*)"
'2' genommenwird.

Anatyttsche DaMteUnng linear unstetiger FtmteMen.

Das Princip der Condensation von 8ingu!aritaten liefert uns die mannigfachaten linear unstetigen Functionen; zunSchst punktirt unstetige:
I. Essei <p(y) eine, von y= 1 bis y=c+l turaHe Argumente, mit Ausnahme des Punktes y=:0, stetige und nach dem TA-YMR'schen
Satze entwickelbaro Funotion, die, wenn y sioh dem Punkte ~==0 von der rechten Seite her
nahort, die Grenze -1 erreicht, wahrend aie fr negative,zu Null werdende y den
Grenzwerth
1 hat.
Anaty~ech ka.QM,wie bektumt,'jede solche Function in eine nach dom Mo1) A.a. 0. Mt. 10.
5

M
dni Sit periodiache Sinuareihe entwiokelt, oder durch eh F~RnsR'Bchea
Integral
dargestellt werden.
Die aua ~(y) abgeleitete Reihe
/-(.)=
~~??)
ist dannftir alle irrationalen
m stetig und boeitzt in diosen Punktcn eogar
einen DifferentialquotieoteB.
F&'rationaloa'==;~

in ihrer reducirten Form ist von aolchenGliedern,

r
welche ach mit abaohmeadem < der Null nabem, abgeaehcn:
f(~ -L s)

/'f~ =: -L ~C'

VEt

)~

r~l

wenn wir statt <p(ft<) sogteich den Werth 1, je nacMem fv gerade oder
ungerade ist einsetzen. Ferner ist:
U
u
t 00
1~
/-(" -6) -(')=i'V
Die Fuactionist atso in diesen Pankten ao unstetig, daes aie, je nachdemman
von a' = nach der poaitiven oder negativen Seite ibrtachreitet, mn dieselbe
Grosse ateigt oder Mit; ihr Werth in jedem aolchen UMtetigkoitspunkteist aiso
daa anthmetische Mittel der beiden Werthe, denen aie aich beidoraeitsaimahart.
Die Sprangesind an den Punkten .c == mit geradem Zahler aodere ala an denon mit ungeradem. Denn aie sind an jenen ==

-i~-s~=<)~
<-=!

L, an diesen =

& wo

f=i 1

Der Verlauf der Function /*(a:) haan Ntm, wenn < betr&oMich groea genommen wird, etwa ao beechneben werden: Die Werthe der Funotion /'(a;) aind
von denen der atetjgon Fanction<?(<<<cw) nicht betrachtiich versohieden,und
es beatimmtalso ~(<iM<cK)
den uagefabren Verlauf der PuDktreihe, weJohe/*(~)
darstellt. In allen irrationalen PuBkten x gleicht /'(a;) einer atetigen Curve und
besitzt einen Differentialquotienten. Nahert man sich aber von linka her einem

3f,

rationalenWorthe

mit gerademZ&Uer v, eo springt, wenn man zu dieeem

.== t*
Werthe selbst gelangt, die Funotion pl8tz!ich
in die Hohe; und Ust
um
man aich x weiter nach der positivenSeite bewegen, ao tritt nochnmisein Sprung
von derselben GrSsse ein. N&hertman sich dagegen einem.);=~
ungeramit
t
dem Z&hler, ao atUrzt /'(.K)plotzlich um
L' abwSrts, und zeigt denselben
r
Abfall noohmata,wenn mM weiter vorwarts geht.
Die grossten SprUDge6nden statt in x =
u. 9. &; je mehr j*
wSchst, d. h. in je weniger einfachenZahlen der rationale Werth x aasgedriiokt
werden kanm, um so kleiner sind die Spr~nge. Wenn man sich von dem Ver!aufe von /*(ip)durch eine Zeichnungeine Vorstettung verMhaSenwill, so wird
man bald an die Grenze kommen, von wo an die Sprnge nicht mehr siohtbar
sind. Denn es gibt nur eine endliche,bestimmte Anzahl vonPunkten, in denen
Sprunge >? vorkommen, wie klein auoh sei; man kann diesetbenaus & >oc
<f
welcher Bedingungstets, so lange fi
bestimmen; sie entspreohen den <; (
von Null vorachioden,nur eine endlicheAnzahl von ganzonZaMen genugen.
Je naher das rationale

einer irrationalen Zahl kommt,urnsogrMor

.e==t~
werden v, j~, also um so kleiner die SprNage,und es ist leraus begroiflich,wie
f(x) in irrationalen Punkten den Charakter einer stetigen Funotion annehmen
kann: Die Werthe von /'(.e) bildeo keinen oigentlichen Curvenzug,sondem eine
auigeloate Reihe von Pankten, welchesicb. jedoch nm die irrationalenx so zasammendrangen, dass sie f!ir ein unendlichkleines Intervall in deren Umgebung
as eine stetige Punktfolge angesehen werden konnen.
n. Man verstehe unter ~(y) eine Funotion, we!che sich ebenso verhalt,
wie die unter I, nur dasa sie auch in y==-l
und yss1 verschwindetund
in unmittelbarer Nho jonor Punkte die Grenzwerthe -1 1 und 1 hat Beispiele
soloher Functionon geben die periodischenReihen, z. B.
4
.M-S~~+.I)~
?M-~

efrt(2 u
0

1) ~rr

2~+1

In diesem FaUe hat die abgeleitete Function:

6*

36

~)

etwas oompUoirtereUnstetigkeiten. INirr&tionalenund M~lMBftttiooalen ss

in denen ungerade ist, verh&lt aie sich, wie die ~orh~ betMtchtet, in den
Punkten .)t=
2j<.

aber ist:

/.(L+,)_+
~~

(~)"
(2r)'

(-1/
~(2'-+Y)''

.(-1)~
+

ine man bei aaherer Betrachtuog leicht finden wird; un4 es ist nioht, wie bisdas arithmetisohe Mittel der beiden beaachbaftei Spmagwerthe.
her,(~)
III, Das Quadrat einer t'unction, wie sie in 1 at~oommea warde, alao
etwa von:
9M=~

~"+~.
~'+~

Y.

ist eine swischen wONd+K den Wertb-{-1 repraaentbende Function, welche

nur in dem Punkte ~=0 eine ptotziibhe Unstetigkeit zeigt, 4i6 durch Ab.
Snderung eines einzigen FnnctMoswertheshebbar 'w&re
BHdetman nun:
/'M = ~S~ ~(~P
K<
so untersoheidet sieh /'(a') in allen irrationalen Punkten<p nicht von der Constanten
~=T ~a

tt"

nur in den rationalen Punkten

stilrzt aie plotztioh wa

herab. Die
a-=~
stetige Pnnktfolgeist also nur in diesen unendlich vielen Paokton wterbroohen;
und Mnnte durch Ab&nderungder Functionswerthein die~a Punkten zu eioer
atetigm gemachtwerden.
bemerktwerden
1)Wirhabea,wieaa<d)-)t<)i:tid)
mag,tn [?(y)]'einMMio!e<aw<natyt:)toh
dMtteUbat-ett
Rtaetion,welche
joueSiagatarittit
zeigt.

3?
IV. Was nun die inStrecken total unstetigen Funetionenbetrint, so !ae6t der
Umstand, daes sie den anatyttBchenOperationen des Mnerontiirensund Integrirene
niemals unterworfen werden konnen, die Vermuthung aufateigen, dass Bie sich
der DarsteUung duroh analytische Formen entziehen mohtenund hier die Grenze
sei, welche die den Natytikerinteressirenden Funtionen vonden transcendentalen, d. h. als mSgUchnur denkbaren trenne. Diese AMicht be~tatigt sioh jedoch
nioht, dettMich hoSFeein einwurfsfreiesBeMpieD'oinertotatunstetigenFunotion
durch eine ModiScatioodes Princips der Condensationgefunden zu haben
Bedeutet aamiich dieselbe Function, als zuvor (unter Nr. Kl), 60 ist:
co
11

M~t)J
(<"H
WL~
r

_L_T

eine Function, welche fUr alle irrationalen .f den Werth

1
~==Y'
G
tf
besitzt; fiir all rationaten Werthe von a' aber unendUcheGHederin aich 00fasst, welche, da sie sSmmtHch positiv sind, sioh nicht gegenBeitigzerstorenMn~
nen; die Function ist also far aUe rationalen x unendlich groes. Wenn wir
jedoch unendiicheWerthe der Function auch hier ausschliesBon
woUen,ao haben
wir in dem Quotienten

-1
S~
' K<t_<p
(<<n aw)J
eine fUr all Werthe des Argumentes a- voHigbestimmte, total unstetige
Function, welohe fiir alle irrationalen
;f den Werth 1, fur alle rationalen
.f den Wert!t 0 besitzt.
~
t) ZwerOndMhc))voa RtMAt!!)
art. t8) in deaFanKc)!):
(L'b.d. D<Mt.
S ~(~),E
~(~)
S~,
vonFanctionen
wetche
z
wfMhett
M!Mhen
zwc!nceh
Worthen
deoArgntnentM
nnMapioto
g<~eben,
endUoh
oft&N)t
damEndUchen
in'BUnendMche
Daaberdortnurvonrationalen
Werthoi
bettpr!ngen.
voao die Rodeiet, so btoibtes zweiMbaH,
obniohtdieEe!henfth-in-atioMie
ineinerWebediYerWeMhmeh)-Mpt))Mnti)-ea.
MemtehaberUabetttmmthettendcr
tf:Mn,<taMsiokeinenbeatimmten
Fanctionenvonmeinm)
MtMUengtaotte,tege:chetn!Unters<Mhanpn
vo)'MnBg
gaM<HMoeM:6MM
gesQow!chtdamaf,daesta der imTextegegebenMt
ReiheJedaUnbcetimmthoit
bomitigthtt, indem
<!eausoinerMte tauterpoeittveraMeder
entweder
endUch
undbeethnmt,
oder
besteht,dereaSumme
wendUo!)gtOM
ht.

38
Ein anderes weniger einfachesBeispiel einer sotohen total unstetigen Funotion ist in der II. Note im Anhang behandelt worden.
S. tO. SehiMHbetMoMaBgenznr FeststeHang de!) FmMttoNsbegrWM.
Bticken wir nun auf das durchwanderte Gebiet zurUck, und frageu wir,
welchenNutzen unsere Untm'suchungenfr die Aufk!Srung des FunctiooabegnSes
gebracht haben.
Es war von vornherein gewiss, das8 wenn wir den DtMouLBT'schen
Begriff
der Function zu Grunde legen, es allgemeineEigenschaften aller Functionen, die
untor densethen fallen, nicht geben kann.
Aber man ist geneigt, za vermutheu, dass wenn der !Utete EcMB'acheBegriS zn Grunde gelegt, und unter einer Function nur eine in Reahnungeoperationen gesetzm&ssigdargesteUte GrSmenbeziehungverstanden wird, die so de.
nirten Funotionen einen eageren, in sich organisch abgeschlossenenKreis bilden
mochten, dem eine Anzahl gemeinsamerEigenschaften aUerdicgs mkSme, in's
Besondere: die Stetigkeit, die DiSerentiirbarkeit, die IntegraMMt, Bestimmtheit
und EntwickelungsfaMgkeitnach dem 'i'ALojt'sohenLehrsatze
bei allen diesen
Eigenschaften einzelue singuliire Pnnkte ausgenommen. Diese Vermuthung hat
sich nioht best&tigt. Wir haben gezeigt,dass es durch convergenteReihen von
Grossenoperationen moglich ist, Functionen darzustellen, welche in unendlich
vielen Ponkton oines endlichon Linienstttckes unstetig oder unendlich in der
verschiedenstenWeise, oder unbestimmt1) werden, welohe nirgendsintegrirt und
in Potenzreihen entwiokeltwerden kbnnen,und welche selbst, wo sie stetig sind,
einen bestimmten DiSerentialqaotientennioht besitzeu. Kurz: Jene beiden Begriffe der Functionen, so verechiedensie auf den ersten Bliok zn sein scheinen,
welche
ia einxottten
Punktou
1) Ne FMMtioMm,
odergarLinionttnbeetimtntwetden,haben
undo<mag daherhterbemerhtweHiea,
dass
~!rMeunMtenoMgenBettMhtuagen
ansgetchtotten,
Michein Mmtytiechor
mittolsdesPrincipe:
derCondeMation
D&MteUn))~
= fv
/(.<!)==
I\~)
0==t

?~)
s <t*

t~eht gegeben
werden~noMt, wenn? (~) einoMr y = u nicht)'nbe<t!mmt
heinende,Bondern
wikUeh undnothwendig unbostimmtoStCMe
ist. Setztmant!.B.
(y) =: ottt
odor~~)=; !
1 +~
M!at/(~) far&nefrr<ttion<tJen
hMtimmtundendtieh,ftirrattonate.);
ahw durohMe
tmtxMthnmt.

M
haben sioh inso&ra wesentUchversohieden nicht erwieaen, aie wir Functionen
aller mgliohen Arten ') daroh <HMt!ytMche
Formeln darzustellen im Stande
waren.
Beide Begriffosind somit unzureichend, um die Grundtageeiner allgemeinen
Theorie der Fnnctionon bilden zu Mnnen. Denn die Aufgabe aller Mathematik
Mt die, a,M gegebenenRel&tionea,die eioh auf ein Gebietvon Objeotenbeziehen,
neue abzuieiten, indem man dabei die allgemeinenEigenschaften des BegrMfes,
dem td!e jene Objecte unterstehen, zur Anwendungbringt. Sind aber sotohe
allgemeinen Eigensohaften nicht vorhanden, M bleibt jede Transformationder
gegebenen Relationen eine leere Tautologie.
80, wenn es sich z. B. darum handelte, eine Funotion /'(a') aus der FanctionalgleichMng:

/'(.)-+y)=/-(..)+/-(y)
abzuleiten, so ergibt sich sofort fUr alle rationalon jt:
~)==jA/'(!);
ebenso konnen all Fanotionswerthe fUr Argumente
welcherationalvon einer
und derselben irrationalen Grosse abhangen, duroh den Funotioneworth/'(~)
dargestellt werden, indem /'(j~) = ~(~). Auoh stehen die Funotionswerthefiir
rationale und irratiohale Werthe des Argumentes, und letztore unter einander
vieHach in Zusammenhang, duroh Gleiohungon wie z. B.

00

/'(2+ ~S)+ ~(2~8)= y(4)

u. s. w. Trotzdem ist, soviet ich sehe, es nioht mgUch, direct anzugeben, wie
/'(a') von seinem Argumente abhangt; denn die verseMedenenWerthreihen fur
die wesentlich versohidenen Irrationalitaten, z. B. /'(j~2), /'([<-~6), /'(;<-VT)
u. s. w. stehen ausser Zusammenhang mit einander; und, wie es auoh sei, es
liogt jedenfalls nicht in dor Absioht eines Analytikers, der auf jene Fonotionalgloiohung bei seinen Untersuchungen stosst, in diese intricaten Verhgtnisse der
Irrationali~ten einzugehen. Manwird vielmehr die Bestimmung /'(~)=jj.(i) sofort auch fur irrationaleII- in Anspruoh'nehmen, d. h.:
Macht man die Vorausaetznng, die Fuaction solle berall atetig sein (oder
die engere, ~(y) solle sich in unendlicher Nahe von y=:0 stetig der Null n&hem, von der dann die allgemeine Stetigkeit die Folge ist), so ist dasProblem
mit einem Schiago golost, indem die Funotionswerthefur irrationale x sioh zwiachen die y(.c) = a:(l) fur rationale x stetig einordnen.
obIlobeinzetne
donneeht noehniohtMsgemMht,
1) Metht cumgranoMUazu veMtehenj
denkbtreMmeatehtdoehdM'ANttyehent~hen.

j~
Oder ein anderes Beispiel: Es sei eine Funotion Mr alle Werthe von a'
zwiMhen0 und 1 durch die uuendUohe Reihe
xe
.c.'
= 1 + +
r(~)
+
+,
~)=1+'~+~+~'+.
gegeben; welche Werthe hat f(<B)Mr andere x? Diese FrageietscMechterdings
nicht zu beantworten, so lange wir den DiHicHusr'schenFuttCtioMbegriS'
zu Grunde
legen, weil eben gar kein Zusammenhang zwischen den benaohbarten Functionewerthen besteht, mit anderen Worten: weil eine Function bishernicht ein Gesetz reprasentirt, sondera ihre Werthe ganz wHtkuhrIich &ufein&nderfo!gen.
Ein Gesetz ist ~berall da vorhanden, wo aus einer Reihevon Merkmalen
auf das Vorhandensein anderer, nioht gegebeNeroder beobMhteter geschlossen
wird. Die Fauctionen unter unserem bisherigen Begriffe, der rein nominell und
ohne rea!en Inhalt ist, sind daher gesetzlos, illegitim
zu nennen; sie Mnnen
aber zu legitimen
werden, indem sie sieh einem Gesetze unterordnen.
Welches soll nun das Gesetz sein, dem diese Functionen unterworfen werden? Es ha!t nicht schwer, sich xu Uberzeageh, dass, soll anders der FnnotionsbegrifFangemessen sein nnd deu Bedurihissen des nalytikersentsprechen,
wir uns des allgemcinen hodegetischen Principes bedienen mUssen
) das ioh bereits in meiner Theorie der complexen Zablen als das jedes systematischenFortschrittes fUr jenes Gebiet nacbgewieseN, und das Princip der Permanenz
formater Gesetze genannt habe~).
Ich bin dort von den ganzen Zablen und dem auf aie bezagHchenelementaren Reohtmngsoperationenausgegangen, und zeigte, wie tnan von diesen aus
das Zablengebiet aUmahlich erweitert, indem man zur AufIoBungvon Aufgaben,
die in dem bekannten Gebiete unrealisirbar sind, ueue Zeicben, Xahlen eini'nhrt,
welche denselben formalen Operationsgeaetzen, ais die 4 Speoiessie enthalten,
unterliegon. Nachdem so das Gebiet bis auf das der gemeinencomplexen Zahlen erweitert war, wurde nachgewiesen, dass jede Aufgabe, welche nur eine
endUcheAnzabl jener Operationen zu ihrer Aufstelltmg voraussetzt, in dem Gebiete der gemeinen complexen Zahlen ihre LSsung findet, undM ein organischer
Abschlues in diesem Zah!engebiete gefundenwird. GteichwoMwaren noch andere
complexeZahlensysteme moglich, welche theilweise anderen formalenGesetzen
folgten, und es war nothig, dies festzustollen, weil nur dadurch die EigenthUm*
lichkeit der gemeinen complexen Zablen in helles Licht gesetzt wurde.
ZablonundihreFunctionen.Leipzig1867.Th.L p. 10)8.
1) Vorles,Cb.d. comploxen

In ahniioher Weise nun, als fur das Systemder Zahlen (oder Grossen) dM
ganzen Zahlen und ihre Operationsgesotzetypiechwaron, und weiterhin fur permanent orktart wurden, so musaen nun fitr das System der Fnnotionendie aigebraischen AusdrUcke, als die aus den vier Speoies direct abgeleiteten, die
permanenten Gesetze an die Hand geben. Dena wie dort die ganzen Zahlen gewissormassen daa GerUst bilden, auf dM mehr oder weniger direct &Ueanderen
Zahlon gestUtzt werden, 90aind die algebraieohenFunotionen, als die, deren
Werthe eigentlioh bereohnetwerden kannen, die typisohenFormenf!ir Funotio.
nen im Allgemeinen, die, iMofem sic eben GroMeabeziehangead~rateIIoN,und
aich daher bereohnen iMBensollen, ebenfalledurch die vier Eiementaroperationen auBgedriloktwerden milssen; aur werdendiesetransoendenten Funotionen
durch eine endliobe Reihe von Operationen nioht erschpft, sondern bedUrfen
eines unendlichen Processes.
Die so nach dem Typns algebraischer ganzerund gebroohener Ausdriicke
gebildeten transcendenten Futtctionen entsprecheMnun in gewisser Weise den
irrationalen und gemeinen complexenZahlen, die nach dem Typus der ganzen
und rational gebroohenen Zahlen gebildet sind; und ebenso, wie es unendich
vielo Ktasseo z. B. von irrationalen GrSssen gibt, so auch unendlich vieleKlassen transceodenter Fuuctionen.
Wie ferner hShero complexeZahlen gedacht undconstrturt werden Mnaea,
die sich don formalen Gesetzen der Arithmetik nicht unterordnen'), so auch
illegitime Funotionen, welche sieh nicht an den Typus algebraischer Formen
anlehnon. Gan:! obeuso aber, wie die Betrachtungdieser hohereu Zahlensystemo
Ma systematisohes BediirfnMSwar, um sich einerseitseriahrungsmasMgvon der
MogUchkeitdorsetben, anderorBeitsdavon zu iiberzougen, dass der Begriff der
gemeinen complexn Zahlen den allgemeinen BegriS'der Zah! keineswegs erder Existenz,von Functionen
achopfe, so ist auch die thatsacMicho NachweMung
der UlegitimstenArten, wie ioh sie in dieser Abhandlung zu geben versucht
habe, nothwendig gewesen, um unzweifethaftdarzuthun, dass die Legitimitat der
Functionen uns keineswegsvoneiner mystodosen, eisemenNothwendigkeitdictirt
wird, die in der ,,Natur der Sache" liegt, wie man haung horon kann, sondern dass sie eine conveationeUo,aber weise und adSquate Beschraakung ist, die
wir uns auferlegen,
und uber deren Grenzen wireben desshalb nochnicht im
Reinen sind.
1) jbid.p. 99.
66

42
Wenn es sich namiioh nun darum handett, das bestimmte Systemder Be.
dingungenauizusteUea, wetchesliber die Legitimitat der Funotionen entsoheidet.
80 werdenwir dasselbe zunacbst so wahien, dass es mit den VorausMtznngen,
die man zuweilen bewnsst, meistens unbewnsBt,bei anatytischen Untereuchungpn
au mMhenp8egt, bereiMtimmt, und nenoen
legitime Functionen solobe, wetohei&r all reellen Werthe des Argumentes, mit Ausnahme einzelner, auf jedem endliohnIntervall in niemals unendlicher ZaM vorbandener Punkte, bestimmt, endlioh und stetig
sind, und deren sammtMchoDifferentialquotiontendieselben EigenBohaften besitzen.
Solche Funotionen sind aber nach dem TAYMB'schen
Satze immer entwickelbar,
d. h. es laeet sich 8tetBem Intervall fr o angeben, in dem die Entwickelung
von ~o-{-.):) nach aufsteigeodea Potenxen von f convergirt, so lange. a nicht
mit einem der Punkte zusammenfaHt, in dem die Fonction oder einer ihrer
Difierentialquotienteu unbestimmt, unendlich oder unstetig wird. Die Werthe
einer Function sind daher zwischenzwei Unstetigkeitspunktenimmer in der Weise,
mit einander verbunden, dass, wenn nur die Funetionswerthe fr das Memste
endtiche Intervall bekannt sind, aie fHr die ganxe Strecke mit Kothwendigkoit
bestimmt sind. Sind in einer solchen Strecke fiir zwei endliche Intervalle zwei
Reihen TONWerthen gegeben, ao kann es niemals zweiflhaft.sein, ob aie zu
derselben Function gehoren, oder nicht.
Wie steht es aber mit der Fortsetzung einer sotchenFunction ber jene UnReihen reichenber diese nicht binaus,undes
atetigkeitBpunkte?DieTAYMK'schen
bleibt ganzlich unbestimmt, was wir unter einer, zwiMhen'zwei Unstetigketts.
punkten vSIHgbestimmten Function ausserhalb dieser Strecke verstehensollen.
Jene Punkte trennen, wie Barriren, die verschiedenenStrecken, und es kann
oach der gegebenen Definition Dicht entschiedenwerden, ob zwei, durch einen
solohen Pnnkt getrennte Werthreihea zu einer und derselben Function gehoron,
oder nicht.
In welcher Weise man durch. Emfuhrung eines neuen Principes dise Hindernisse zn Uberwinden versucht hat, ist schon oben p. 8 gezeigt; eine unzweideutige und annehmbare Form ist aber diesem Principe weder jemals gegeben
worden, noch darfte aie sich uberhaupt &ndenlassen.
Die Wissenscbaft musste andere Mittel suchen, um die Fnnctionen tiber
jene Unstetigkeitspunkte hinaus fortzusetzen; und man entdeckte, dass man,
anstatt diese Punkte gewissermassen zu uberspringen, sio vielmehr umgehen

43

Mane, indem man die Variabetnnicht nur reelle, sondera auch complexe e
Werthe durcMaufen lasst.
Ist Medurch dargethan, dass man bei der Besohrankungder VariaMUt&t
auf reelle Werthe des Argamentes za einer, die Bedur&MMder Analyse bofriedigenden Definitionder Funotionnicht gelangen kann, se iet damit das Ziel
erreicht, das wir uns in dieser Abhandlung geeteckt ht~ben.
Sind wir aber einmatim Gang, so wird es ertaubt sein, noch einigeSobritte
weiter zu thun, Mmaine Perspectivein das neuo Gebiet zu gewinnen.
Eine Fanotion ? zweierVariabelenx, y wird daim as die Einer VeriinderUohen (aj+y<) angeseben werden konnen, wenn Mo sich in eine Form bringen
llisst, dus x und y in ihr nur in der Verbindung ~+yt) erscheinen. Diese
vorlaungo Definition Mt nur dann eine Bedeutung, wenn die Function nach dem
Typus aigebtfUMherFunotionengebaut ist, d. h. aus ibren Veranderlichenduroh
die vier arithmetischen Grundoperationenabgeleitet. Sie hat dann, wenn ihre
DiSerentiatquotienten berhaupt bestimmt sind, die Eigenschaft, dass
.~w
~<p
Wattrend nun jene Definitionihro Bedeutung verliert, wenn te nicht durch arith.
metische Operationen bestimmtwh'd, so behait diese Gteichung ihre Bedeutang
in jedem FaUe; und wir dennirea nun eine Function ? zweier Veranderlichen
ip, y as eine monogene Fanotionder oomplexen Veranderlichen(.c-t-y<), indem wir letztere Eigenschaftfiir permanent erktaren.
Damit ist aber zugloichgesetzt, dass jene Differentialquotienten
,j
c.) vy
ilberhaupt existiren, einen bestimmten und endlichen Werth haben; dennMtten
die Quotienten der ncrementevon <ound a), y innerbalb eines endIiohenStiickes
der Ebene, in welcher die complexeYerandertiche (<c+y<) dargestellt wird, keine
bestimmten und endlichen Grenzwerthe, so liesse sich in demselbon gar nicht
constatiren, ob die Funotionals die Einer complexen Variabelen angesehen werden kann. So ergibt sich die Vorausaetzung, dass eine legitime Function im
Allgemeinen bestimmte und endlicheDiSerentiaJquotienten hat, als eine fundamentale, und wir de6niren nun:
Eine monogeneFunotionvon(.B-i) heisst eineveranderliohecomplexe
Grosse w, wennsie siehmit x und y so andert, dassim Allgemeinen,d.'h.
abgesehen von einzelnenPunkten und Linien, die Differentialquotienten
., uborall bestimmt und ondtioh sind und der Bedinguag
6*

M
~tP
~a-

_~W
tr

genugen.
Dies ist nun daa allgemeine einfache Gesetz, dem alle legitimen, d. h. moDenogenen Funotionen untergeordnet werden, und daa wir als die RtBMANN'sohe
Snition') zu bezeichnen haben. Da nach bekannten Siitzen mit derEndiichkeit,
Stetigkeit und Bestimmtheit der Function selbst und ihrer ersten DifFerentialquotienteh, dieselben Eigeoechaften auch fr alle anderen Differentialquotienten
gMetzt sind, so kanu eine monogene Function immer uaah dem T~YMR'schen
Lehrsatze entwickelt wefdea, und die obige Bestimmung der im reellen Gebiete
stetigen Function ersoheint jetzt unserer neuen Definition untergeordnet.
Nun erst gewiont das Problem, eine fUr eine endtiohe Strecke oder innerhatb eines endlichen FIachpnBtUokesgegebeneFunction foftzuaetzen, d. h. dr
aUe Punkte der ganzen Ebene zu bestimmen, eine feato Bedeutung, wenn man
eben die Function obiger Bedingung unterwirft. Nun stehen die Fuactionswerthe
fr die verschiedenen Argumentein uotoslicher Verbindung mit einander und es
wird nicht zweiMbaft sein, ob zwei in versohiedenenTheilen der Ebene gegobene
Wertbreihen zu derselben Function gehoren,
wenn sich nicht jetzt, wo wir
jene, die Fortsetxungim reellen Gebiete storenden, und aile anderen DnBtetigkeitspunkte, leicht umgehen konnen, neue Barriren erhebeninestattvonLinien,
in denen die Function aufbrt, bestimmt, endlich und stetig zu sein. Obgleich
wir namtichUnstetigkeiten, die ber ganze Ftachenstucke ausgedehnt sind, durch
obige Definitionder Monogeneitat ausgeschlossen baben, so konnten wir nicht
umbin, Unstetigkeiten'in Punkten und Linien zuzulassen, wennsie sich.mitNothwendigkeit aus dem Verlaufe der Function in ihren stetigen Theilen ergeben.
Dass solche Linien, in denen die Funktion punktirt oder gar total unstetig ist,
trotz der Monogeneitat in der That vorkommen, ist im Anhang (Note III) gezeigt,
und zwar seheidet in den angeftihrten Beispielendiese Unstetigkeitslinieals Kreis
den inneren Raum, in dem die Function zunachst festgestellt gedacht wird, in
der Weise von dem Susseren ab, dass beide durch keinen Flgchenstreifenvon
endncher Breite, in dem die Fonction die zur legitimen Fortsetzung nothwendigen EigenMuaftenbatte, mit einander zusamtnenhangen.
Die Function ist dann auf die innere KreisBache beschrankt, sie verliert
fSr Pankte ausserhalb des Kreises ihre Bedeutung, d. h. unser Functionabegriff
f.e. ail. Th. p. Z.
t) GrN))dt.

45
gibt keinerlei Au&cMusadaruber, was wir uns unter FunctioNswerthen
im ausserenRaumezu denken haben.
Es ist nun aber in der Note HI dM merkwUrdigeFactumhervorgebobeo,
dasses trotzdem analytischeEntwickehngensoloherFnnctionengebenkann,
welehoauch ausserhalbihre Bedeutungnicht verHeren,Bondeminnerhalbnnd
ausserhalbdesKremeain gleioherWeisegebildet,und mit Ausnahme
jener KreisperipherieHber~Uconvergentund monogensind.
Insofern man nun solchen Entwtckdungen, welche zu beiden Seiten der
geschlossenenUnatetigkeits!inMn dieselbeo bleiben, die Kraft nicht abeprechen
kann, die innerbalb gegebene Funetion auch ausserbalb des Kreises zu repra~
sentiren, so erhebt sich die Frage:
In welchem Sinne sind diese beiden, durch eine unfibersteigliche
Sobranke
getrennten Werthreihen als.zu Einer Function gehorig aMusehen?

Note 1 (itu pag. 9).

Begriff

der

Urenxe.

GegeMnberden h&uSgmangelhaften, theiis xu viel, theitsM wenigenthattenden Definitionon des in unsere Untersuchungen tief eingreifeudenDgriffsder ,,Gren!:e", glaube
ich hier seine sti-enge Bestimmung in aller Karxe geben zu sollen, indem ich h) Bezog
anf die Begrandung des Folgenden auf eine andere kleine Arbeit von mir verweise').
Der Begriff Function ist hier im Sinne von . 1. zu nehmen:
Wenn es fur eine Function /'(a:) eine bestimmte cndUdte Grosse <<gibt,
und ein Intervall von dem festen Pmthto a'==<ifaus bis a'=<)-)-e fur jedes
beliebig tdeine a bestimmt werden kann, so dass die Differenz ~(-)-S)
jene Grosse e nnmerisch nicht Obersteigt,wahrend S aile innerhatb jenes In.
tervaUes 0 bis s liegenden Werthe, 8==0 ansgeschtnsseu,
darchtftaft, so
heisst die Grenze, welcher sioh /'(-)-o) mit unenaUchabachmendemo an.
endUch aunghert.
Wird bierin e positiv voransgesetzt, so habe ich, indem ich /'(a') als Ordinate za
der Abscissea' eonstruirt denke, A die Grenze genannt, weichersich /'(a') nahert, wenn
man von rechts her xa dem Pankte <== gelangt. Die Grenze, der sich f(aS)
na.
hert, nenne lob die Grenze aaf der linken. Seite.
t) EnoyMcpMtavon Emoh u. Gruber. Art.GrenM.

4C
Wenn es da~egen keine bestimmteendliche Grosse
gibt, so dasa dte
DKferenz~(-{-~)
On-aile von Nutt verschicdenen ~<; t m me)' nu'
mcriseh kleiner, a!s eine beiiebig Moine Grosse <Tbleibt, wie k)ei)t man auch t
bestimmen toogo, so sagea wir, es nahere sich /'(-}-&) ?)' unendlichabneh*
meade S kciner Grenxe.
In vieien, und xwar JMden nteisten uus oben intercssirettdea Fimen iat es nicht
mOgUch,jena Gronxworthe,denen sich Functionen tmnahern, Ihrer wtrMtchanGrOsMnaeh
zn bestimmen; vietmehr wird man sich begnOgenmaMen, die Exhtenz etner Grenze
Nberh&uptfostzustellen, uud os dieut d<Mufolgender aus dem BegriCe der Greuze abgetoiteter Sat~:
Wenn sich ein Intervall 6 Bo bestimmen Msst, dass ft)r aMe in diesom ent.
baltenen, von Null verschiedenendie DiCerenz:
/'(<'+t)-("+S)
tnunerisch Meiner, ata eine beUebigkleine GrOsse<rist, M n~hert sich f(a~)
mit anendtich abnehmeaden& einer endlichen besUmmten Grenze.
Man bemerM;abrigens, daas nach der in . 2. festgesetzten Tenninotogie der Begriff auch so go&sst werden kGnnte:
Einer Grenze Ntthert sich ~(~S)
fQr unendlich abnehmende S, wenn /'(.t') in
unouttelbarer Nithe von a:==(anf
der rechten Seite) stetig ist.

Note tt (zu pag. 3?).

Beispiele von Ponc~eBen,

welche in ganzen Mnien

total

nBsteMg sind.

Ein in mancher Hinsicht intressantesBeispiel einer total onstetigen Fanction gibt

die Reihe:
00
m
<
~(M~M.
eohten
Bmch bedeuten Mit.
worin M einen poaitiven
;f
erscheinenin
dieser Reihe Glieder, die oinen verachwinden*
Ist
rational,
so
.den Nenner
ma;!t habon, und es wird daher fr sotcho a?, das aus lauter positiven
Gliedern bostehende ~(a;)=:<c.
die ganze Zabi '1
Ist fc irrational,
so bestimme man for ein Glied m==
dass
so,
j<.a: ==: 6~
mOgUchstMein werde und erhalt:
v
MH<na!~== (1) titt
e.

47
Es fragt sich nnn, ob <~ so Me!n werdn, und [t:~ mit wachMndem
j* in dem Grade
unendlich abnehmen Mnoe, dass die obige Reihe zu ciner divergenten wird.
Um diese Frago zu entscheiden, maasen wir uns die irrationate GrOsMa: in eiNep
onendHchoo Kettenhracb
~="+-t''+~+-.

in
in infin.
in6n.
entwickott donken, in dem, was immer angenommen we!-denkann, die a,, a,,
ganze positive Zahlen sind.
Die NahemNgsbracho, welchesich bekantttUct)von oben und unten demWerthe m
tmbegretMtaonahera, Beien

mn ibre Diffcrenzenvon M*selbst zu prhalten, Mtren wir

t*M
mittols der Relationen:
=="+J

=~+~-

~t

~.+t 1--1

ein und erhalten, wie bekannt:

(h.
[~(~r'M+t~-t)'
Ist nun der Summationsbuchstsbem in obiger Roihe einem solchen Nahernngsnenner
welche ~.Bv)
am MeiMteamaoht,
gteich, Bo ist diejenige ganze Zaht
bekannttict) ~==y,, und die Differenz j~,a!v,,s=:e,
wo sieh
zr.

(-L
t~~+~-t
bestimmt.
Es bestehen Bnn for groese (~ die Gieichnngon:
_l_.t!
tt_
M ~tf
)t,, MMjA,,<Mr
jA,,
und es ist daher, wie man leicht sieht:
<

tA,,

Es tasst sich nnn zeigen'), dass far aUe.Verthe des M, welchezwisehendem NN)erm)gsnenaer {t,, and dom foigeaden j~j., Uegen, dasseibe GrOssenverhMtniss
besteht, and
daher die Somme:
za weit
wett
1) M' Mauem, dMS!ch tue MangetM Rautngezwun~enMa, diMonBoweio,~Mau
h) dte Thoriede)' KeMenbrttehe
MhrenwOrde,aufetne andereaek(~)Mt MveMeNebeo.

?
!*<!+t"~
~E
~=~

~~<

< ~.+~

.E

<~==~+~

und somit
?
~S.
~<
<tHtM~w)'
<==!'(M

("+~(~+')

M "S
n

sodas::
/'M <

(.+ a)' +

Sf~"

+ ~'1

Bedenkt msn nnn, dass die Naherangsnenner ~ihti+~

ans don po.
sitiveu zttMtBtnengesetzt, vie! schneHer ats dte an Mtbst zunehmen, so teachtet oin,
dass dise Reihe ftn' unendUch viele irratiotMtte convergiren W)rd; so z. B. for die
Quadratwtu'mtnrationner Zahten, welcho sich bckanntMchin periodische KettenbrOcha
der vertaNgtenArt entw!ckeh< !assen, in denen die Nennor an endtich sind. Ferner
conver~irt unsereReihe ?)* die irratiomten XaMen~==p, a'==

<c==t<!Hl
1 u. s. w.,wie

die GAUas'MhenKettenbrtche for < ~Ky zeigen, in deuan die NemMt-alle positiv
gemacht werdenMnnen und Behr langsam in's Unendtiohewachsen.
Divergiren wird die Beihe Rtr atle diejemgen it-rationatenWerthe, fOrwetoho a~
mit M so rapid und stossweise wacNSt,dass (~t)
M~* nicht in gehOriger Weise
za Null abnimmt. Die geringe Ausbildung dor Thorie numerischer Ketteubrttchowird
zu specieiien Angaben, welche IrtatiomtUt&tenMexu gehOrott,nicht Mnreichea; indesseu
bedarf es soMter auch nicht f&r ansern Zweok.
Dena es gonOgt zn wissen, dass unsere Fanction /*(tc) for nnendMchviete
irrationale Wertho von x, vou denen immer weuigstens ciner aaeh in den
kleinsten Intervalle angegoban werdeu kann, ondiich bloibt, ?)' gawisse irrattonatennd fur t)!)erationaien x unendHch ist, nnd somit in jed~m betiobig
kleinen Intorvalte uueudtichot't vom Endiiehenxum Unendtichenund umgekehrt
obeMpringt.
Ein ShntichesBeispiel gibt die Rciho:
(~<<t

M~'

welclie for aHe ratiouaten x nnend!ict) wird. For Irrationate x wird der Nenner niemab der Nntt gloich; die kteiMten Werthe nimmt er au, wonn fn dom Nenner aines
Nahernngsbraches[~ gieich ist; )tnd zwar ist dann das betreffende Glied:

M
M~"
-==
('.t~

(M,.+8)'
~"r

~'M~
.M
fi

und auuh dises wird, obgieich schwitcher,as dits der vorigenReihe, for uueudUchvielee
In'attonaiiUtten so stark abuehmen, dass die Reihe ccuvorgireu kann.
Note !n (zu.pag.
Pau~ttonen

eomplexer

YeraMderttci~r,

44).

wetche !tnear nnstettg

werden.

Fancttonon complexer Vartabcten, deren reeUer Thoil in ganzoNUniea unstetig

w<rd, kann man !eioht constraircn:
Ist uemUch .c duo complexeVeriIndN-Hohe,
r irgeud ein besthnmterModulus, sind
fernor die /< M~ bot <
abnehmender reoller
ReibengewiiiserendHcheroderMnendUch
so
ist
bekannt!ich
die
Retho:
GrOMen,
01:11
/-(..<.)==~(.)~')"
eine f(h- atto r, dore)) Modut <~t-ht,
syuekttsche (d.h. nebst atten ihren DM'erontMtqaoMenten, bostimmte, eindentige) Fanction, die &r a'==re?' den reeUeu Theit:
X (~ t'OWM<j)
+ &MMM~)
besitxt; dieso Reihe aber taum die aHe)'veMchiedenste)tUnstetigkelten besitiien.
Umgekehrt gibt jeds it) eine FoumER'sche Heihe entwichetbare Fnnction
~(~) == S ( t-OsK~-}- & <h'"<?),
wie unstetig sie audt soi, xn ciuet'innet'haibeiocsKt'eiscssynektisuhotFunctiouVemntassung.
Es kann demuach eine monogenoFaction einer comptexenVet'ttndcrtichenin einef
KreisperiphcWe puuktirt unstetig wot-den.
Ich kann jedoch auch Beispielemonogetterund int A)igemoiue&
synektischar Fnnctionon goben, die in oinetn ganzen Krcise total unstetig wordon: lu der Reihe:
~6t

MM

is
(.rsei M ein positiver, t'eoUer echter Brach, aber die complexeVariabeto. Wenn Mo~. y
von 1 vorschiedea ist, wird der ~fenuer nicht verschwindenuud die Couvergenzder Reihe
hangt ab von dem Gretmwet'the des Quotienten:
.<
+
~m-t-1~
\+.(m+i)J
fIlr anondiich wachsende m. Dioser ist aber, wenn me<<.~<~ 1 ist, M~ und da nach
Yoraussetzung M <L 1 a!so auch Me<<.
M~ <; 1, so convergirtdie Reihe fth' aile q, deren
77

Modni <( 1 fst. Wenn M<< ;> 1, so ist der Grenzwerth

daher ebenbtb f0r aile 9 deren Modal > 1.

ond die Reiheeonvergh-t

Die Convergenstann nur anfhCren, wennM'ed.~==1. Seizen wir namiieh~~e~t

soist:
'

~<<MW!BW)'
LetzterM ist aber die ans ans vorhergeheuder Note bekanate Reihe.
Es wird atso dnroh jene nnendttehe, ftr aUe aasser M0<<.
y := 1, convergente
Reihe ehte Fonction der complexen VeranderUchen q dargestellt, we!cbe aosBerhatb b
and innerhalb des Kreises mtt dem Radius 1 synektisch
ist, Mfder Priphrie
des Kreises aber total anstetig,
indem sie fOr aMePnnktedeKetben, detenANomatie
ia fatiouaien)Verhattniss zu 8n steht und far eine gawiese Art irrattonaIerABOtnaMeen
naeNdUchist, far andere nneBdUchviele irraMonateWerthederAnomaUeaber endUchMeibt.
Um dies UnendMchwerdengenauer m untersnchen, setze man
~=(1-:)<
wo s einekldne, positive, za NoU abaehmende Grasse beMichnenMU; fur eiBrationales
?

werden nur die GUedor in f(~), deren M==jtr ist, mit abnehmendeme anend= f~
liob wachMnnnd wir brauchen daher aur diese, deren Snmme:
1

1
&

M~(l--t)~
[1~(1-:)~'

in Betracht zn ziehen, aus der man 6M:e!)t, dass sich wesentlich

r(l-:1-g

<'

) wie

CeM<f.

verMtt, wenn unendiich abnimmt, indem sich

e'~1-t
)
daan einer emtUchenGreMe nahert.
Man.!aum dies Yorhatten etwa so beschreiben: Geht man radial von dem MittelpnnMe der eomptexenEbene Bach allen Seiten aas, so aadert sich ~) stetig, bis man
an den Kreis mit dem Radins 1 gelangt, in wetchem die stetige Reihe von Werthen,
die /'(~) bis dtMn auf einem Kreise zeigte, zerreisst, oder, so zn sagen, exptodirt und
zn einer total mstetigen wird.
hnUeheEigenthmMchkeitenMigt /~), wenn man sieh von aassen denMetben
Kreise aaheft.

tu

A_'die Reihe:
Gam< anatoge Betntobtmgen otnd
aind 6ft'lltftl'u.a"
anwendbar mf
,),(.)

M~

'.)"
seiche for at)e q synektiochtat, deren Modut von 1 verschiedentt.
WennoMM~ssi,
M iat:
alM =; e'
'Kc']t==-'
J)

T*
4~(~)!
Dise Reihe iet aber M) SchinMevon Note n beaproehen, nnd es teaehtet
ein,
da<6 <K~) ebenfatte eine in demKreise mit dem Radias 1 total anstotige FameMeneein
wird, obgloich sie easserhatb and imnerhatb des KreiMs syneMMh iet.
Die Function ~(y) !tBamaa abrigea: aach dnreh die fUeiobmtg

<K.)==-z
anf die Fanction <{<(?)reduciren, wo:

~~t

'=-

X
~.)
eine ebeDM: tberaU mitAmnahme des <no<<?==lconvergente Ent~cketangiet.
FoacMon <p(~) aber,' die nnter derselben Bedtngnng f(tr aach in der Fonn:
-o
=

MeM

~t("')~"
(-1)~

emcheint'), wird daroh die nnendUcheaProdakte

00
<( 1
<p(~ == n ~~?"' M) fOTMMM<~
<t=.0
nnd
?(?) =

tr M'< >
~-~
-A
n /i-~
.=0~
~+~

dargeateUt, deren Be~iehnngenza den JAcoBt'schen Fanctienen 0 anf der Hand Hegen.
d. mtth.-phyt.KtMee. Leipdg186! p. 98.
1) VM~t.ScMtBBBa,MtMoefber.