Você está na página 1de 56

HANKEL, DR HERMANN.

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

Ludwig Friedrich Fues

yM~~~M 1870
.avs;
~-i. ',:Y. ~r..
;tt:w

Tht
"V^
BNLABCNG
~)

AKADEM8CHEN FEEB DES ~EB~Tg~MS

SENER KAJTESTT DES


KNMS

XA&t VM
W~T~

AW~M~em~ztewa; ~~D

~BcE~

.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 ?UB9.

1870.
Uasere Dochochule
wird den am 6 MerzbevoMtehenden
Geh)mt6t<~
Seiner MajestM uBseres 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 OSmt-
lichenGottesdienstes,in den Festsaat geziemendst
e:BgeMeN.

RectorundakadernscherSnat.
EMeitendeBemerkungentb~ dML~i~M
Nioht allein entsohiedeneVorliebe Hir~ Synt~f~nd gaaz!Iohe Ver-
laagnung 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 Be-
gnSes der VerKndetUchkeit geaetzt h&beD.
Dena wShrend.die Alten den BegrMfder Bewegung, dos rSumItcheNAue-
druokeeder 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
GrossenYerSmderungen m untersuohen, welcheein algebraischer A~adrack er
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 beson-
deren Termiau~, ais man sioh auf die Untemuchangspecieller FaUeboschrMcte.
Die Entdecktmgdes Mnitesimaloalculs aber mit seinen um&saendenMe-
thoden drangte zu einerallgemeinenBezeicbnung disesAbh&ngigkeitsverh&ttnisses,
das nach LamNiTZENs ') VorgangeJon. BmtttOttLu
') 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.
!) Operaomnia.t. II. p. M!. Ve~i. auchLeibnitilet Joh. Bernoullil
eemmere.
epht.
t. p. 8M, undJM. BemeaU:, Oper.omn.t. n. p. ?88.
1
a

EcMB, der das wiaaenschaMiche BewnsBtaeinin der Mitte des vorigen


Jahrhunderts amVoUstandigsteavertritt, definirt in wesentUcherboMinatimmung
mit BeinenVorgangem'):
~Fonctio quantitatis TariabiUa est expmMioanalytica quomodo-
onnqne 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 GrCsaen-
abhSBgigkeit. Donn die tranMoendentenFunotionen dachte man sioh duroh Ent-
wickelungenbestimmt,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 Reihenentwioke-
lung 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 Bei-
spiele, in denenrecht eigentlich analytische Functionen'), Singulari~tenzeigten,

1) ntred.la an. M. 1748.t. p. 4.

2) Wietin ee, , t .u.a.<!tt<Bs:0. ZamBewetMdM


tmTextege-
l+e~ l+ew'
Mgten,<UMM
z. B. 4*AM)M)MT
BBet.
det'AcMt.BetHaM)'t747.p. M6.
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 diacoa-
tinuae 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
sah, die fr ein gewissesIntervall der Vet&nderliohenwohl de&tirten Funotionen
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 Eigen-
schaften 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,
2)Op'Me.BMth.t . p. 82. Mo gMM diesieh<tbe)f
Po]em!k, du Problemdeohm~Bvibran-
ttbMzwitchend'AHt<<M&T, EoMm,DAtt.BmxomM undLAO~moB 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 Em-
heit der ~mctioneUenAbhangigtceitin zwei veraoMedenenanaJytischenEntwicke-
lungen ~r Tersohiedene GroMengeMeteza verbiirgen.
Eine ganze Reihe von mureiohend oder feblerhaft arwiesenem, aicht ge-
niigend 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)MM-
sche bezeichnen werde, erhieit den ersten schwerenStoss im Jahre 1807 dnroh
FocMBB's bedeutende Entdeokung'), dass es mogKchist, durch penodiBcho
.Reiben nicht nur analytische, otwa daneben in Potenzreihen entwickelbare
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 Eigensohaftenalgebra-
lcher 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.
1) In dieMrBe::ehungorinnorehh nuran LtOKAttOB'a Beweia deeTAt.ox'Mhea I.ehTMtMa,
w!eer thnnoh)81S(thor.(t.foxet.2 <M.)gab, und, (h)M CAUCHY(Le~.uni'lecaJc.di<f.
p.105)t829
~eatdcekte", w!<dietetS~t):xuweitoa
~enddfaut"iet; femerd<u'!),
daM(tAUM d.K<.(hnct.
(Tho)-,
dem.tettia,art. 4) ent 1816iabestitmater
WeiM aufdieJMuMtti~eit einerntegMt" 0~ Mtond-
HoheWetthederFttnetionhiawic<j daMeMt1826AetL(Crette, Journ.1.1. p.81t) oiner!eMg9Be-
ethMmung derPotensund derMnent!tchen Betheliefote,naehdem PotMO!) aafveneMedMe Para-
doxioenin dieserBeisiehnog au~erteamgemacht,undtiehMamter, wiePotXBOT (Rceb.sur)'a<Mt)yM
d. eect!omangal.1MC)und videanderevergtbMch mit domAuMwB); beMhMMgt hattenj{ehM-
innere &~Mran dievietfaehenuttgenOgenden und fehterh~ften
VerMche, die aHgemeine BegrNb.
besthnmmtgderanmertechen Facultaten
fBrgebroohene undnega~eWerthederVtraader!Mten su
geben, dieoretWtitBMTeAte Jomn.t.61.p. 1) t8Mdutchderettrtehti~ DeNoitioa
(Cret!e, ereetitte,
u. e. w. a. t.w.
2) BnU.d.Mienc. p. 1.Mo.pMIomatiqtte.
t. Lp. 112.
&

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 dem-
aelbenGeaetze 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
Folgerungen ab, die nioht in ihm enthalten sind.
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
(1861) ist duroh RtaMAMt*) mit echt philosophischemGeiste ein fester Grand neu
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&a-
bauem, desBenGroMartigkeitwir aus den schonen uns bekannten Bntohst&cken
noch eracMieBaenMnnen.
t) Bepwt.d. Phyaik,ber.T.Dovat. t88T p. 1M.
2) Ofnndh~en f.o.<tt)gNt).
Theor.d.Funet. (Mttfn~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'
tyeia au&ufuhren, und namentliohdas von RtBMAtm in ed!er Beaoheidenheitnaoh
DtmoHM!fbenannte Princip ist neuerdingsmehrfach angegriNenund vertheidigt
worden.
Die Bedenken aind hergemommenvon gawiesen a priori denkbaren Au9-
mthmei&Uen,in denen die FunotionenUnatetigkeiten zeigen,die nioht ohne ~ei-
teMs 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&vor-
zubereiten, 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 bia-
her wenig oder gar nicht beachteten, den itiegitimen Funotionen za
schenken.
In der folgenden Abhandtnnghabe ich den Versuoh gemacht, diese Para-
doxieen der Funotionen im behandeln, indem ion mien zunaohstauf reelle Va-
riabele 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 end-
lichen, 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 bis-
her, 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 Differentialquotien-
ton 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
Naturnothwendigkeit im Gebiete der Mathematik respeotirte. Wenn aber
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 Fun-
otiouen keine nothwendige Folgeder Stetigkeit sei, sondem eine besondore
Voraussetzunginvolvire, unter den neueren Mathematikern eine ziemliohaUge*
meine geworden, obgidoh nooh gar Manoheran stetige Funotionenohne Diffe-
rentialquotienten ~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
wesentHohveFMMedeaeKIaasen, die punktirt-, unddie-in -Linien total unste-
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

1)Der, MYM mirMMcnt,dndgaVeHneh AmtM'e,dte ExhtWt e:M<Mtehota prioriMr


<UeFonoMotten
znerwcben(Joum.det'A),polyt.Mh.N!, t906.p.148)ht g<m)!
wmngMckt.
!) Allg.Lehtt.{nBez.aufd.imvwJt.Verb.t.art.t6.
8) MCedMehtt naohsollJACoatlnMinen
OberMefe)'m)g Vortetungeniiuweitea
bemerkthobe)),
~mmMnaes!ohetoHge CurvenmitmMadMeh violonBpitMndeattea."
g
einer Kritik des Fuactionabegrittesverwendetund zu zeigenversucht, dass dise
mit Nothwendigkeit auf die Bn~sche Definitionflibrt, an welche sioh in der
IH.Note einige Bemerkungen liber die lineare Unstetigkeitvon Funotionon com-
plexer VerSnderlioher aMoMiMeen.
Soviel zur vor!SuSgonOnentirung liber diMen Beitrag zar Metaphyaik un-
Mter Wissensch~, den ich in FolgendemdemUrtheile der Matbematiker unter-
breite. loh verdankedie Anregang zn diesonStudienweeeattichBtBMAttti'sSchriften,
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-ETbe-
merkt, "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
Rosattaten hie und da an dem wiinschenswerthen AbsoMussfeUen, M glaube ich
auf einige waMwoMende Naohsicht rechnen zu d<h*~n.Denn es war bei der ge-
legentlichen VotSSentMchangdieser Gedankenmeine einzigeAbsioht, andere Go-
lehrte zm veranhMsen,ihr Interesse anch diesen 6tndamenta!eBProblemen der
Wissensoha~ zuzuwenden, wekhe die neuere Functionenlebrenicht mehr abzn-
weisengestattet.

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
Rede sein wird, und ein Unendlichwerden der Function ~beraU ausge-
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=0nmgebeoden htervaUe keine itberaU bestimmte FanotioB,so lange aie nut
durch ihren aualytisohen Aaadmok deSmrt wird. Dena dieser wird ig a's:00
vS! MabMtimmbtH'und umbestimmt,wShread er in jedem ~ssO noch eo nahen
Punkte allerdinge bestimmt ist. SoU sie obigemBegriffeeiner vSUigbestimmten'
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
~= T.2- + r-
trotz 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 ge-
nommen 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 &urgeschlos-
sen werden, dass sich /'(<)-:) mit mnendiichabnehmendemt einer Grenze 1)an-
aaheTe,die jedoch von /() ganz versohiedensein kann, wie dae BeispiotFoNMM-
soher Reihenan ihren Unstetigkaitspunkten geniigend beweiet.

desBt~Set derG~nMimAtthM~
1)8.d!6genauePaManf: Notet.
2
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 ~t 1
fBr jedes vonNnit verschiedene < unterhatb einer beliebig kleinenGrosse
liegt, da diese Differenz fortwahrond zwischenden Grenzon 1 hin- und her-
sohwankt. 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.
Es Mgt daraus nicht, dass aie in unmittelbarerNahe von fc=f< stetig sein muMe.
Und umgekebrt: Es kann oine Functionin ein~m Punkte und in seiner unmit-
telbaren 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
/(<t) aber von ihnen versohieden sein~).

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 Funotio-
nen 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).
1) RttWAtttt f.e.allg.Th. p.14)diMe
UMtetigketteaab Botcho
b~~ohaet,w)MM
,daMhAhan~eruNgdeeFaatUoxewetthe* lu EtnonPMhtehebbar"eied.
2) IchbetMeNem!ehhierderBeM!chnang ~fon Jcam. t. 6S.p. :<t6).
Ltptctttw(CttEu.B, 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 zwi-
echen positiven und negativenWerthen osoillirt. Wir Mnoeadies Verhaltenwohl
so bezeiohnen,da6B /'(<f)in der unmittelbaren NShe vona' ==0
unendlioh viele OsotHationen mit unendlioh kleiner
Amplitude habe.
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 An-
zahl 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 un-
endliche Anzahl von Oscillationea mit endlioher Amplitude enthalten
sotlen, d. h. bei denen in jedem noch so kleinen IntervalleOMitIationonvorkom-
men 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 sohwan-
ken, 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 tUMty-
tMohen Funotionen, denen, mit Auan&hme oiniger kritischen Punkte, wie in

/'(a') s= eiM oder /'(u) ss ?'' t

des Punktes <e= 0, Ubendt ein bestimmter, endlioher DM~rentiatquotieat zu-


zukommen 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 groMeMBereNtiat-
quotienten, also gleiohaani .unpndMch viele Spitiien" haben '). In m und V,dM
. 8 sind solohe Funotionen in anatytiecher. Reihen&rm dargestellt, in denen
6ich die DiSerenz /'(a + <) /'() in unendlich vielen Punkten <B= a be-

z<ig!ich wie e~nnd verMtt.



M~t
Es gibt aber auoh, was frilher gelSagnet zu werden pSegie, einfaohe
transcendente Curven, welche stetig verlaufen, jedooh einzelne Punkte 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 Echo, indem man
gegen(t))MtitKet)de)t
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.
goB&to6n<M}tt!:eMt. und treppentSrmig vo)t domehten Eckpunkte Mch demandenat au&teigt, indom
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~e-
iich, 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
<
=< s
/(.)-(0)==f
o 1 +y 1 + e~
wo S ein zwieoheB0 und < liegender Werth ist. Da nun der Grenzwerth von
0
1 .! positive t.
-,=~ 1 ~.e~tive''
negative'
1+~
80 ist

~)=~, r
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
Fuctionon, welchedieselbe EigenthUmMohkeit in nnondtiohvielen Punkten jeder
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 be-
sitzeo (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 Diffe-
r 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 . ange-
fahrten 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
Migt, daas (y + fUr ein genfigondkleinesSnach dem TAYMR'schen Lehtsatze

)) Ohefm0g)ich itt, atettge fnnotionenattatytheh d)tr!t"te)t6t)


(oderauohnurxndcaken),
wolchoin keincm PooMeeineoendttehen letervaUea etxenbestJmmtMt endUchea DiabrenttatqMot!en-
ten MtMa, etehtdahin.DennmanmusaMebe! gensuuntenmhoMMt, obin einemg~etiMM FaUe
detDiaMonti~'Mtinnt fmoifhtmbettimmt iet, odcr nurin oinerFormereohotnt, derM)Werthwlr
niohtMthestitamenvN'mCgeo. 80Mtet B.dieFunetio))
x
/-M=~(-')"+'~
in <U<Mrform UttonUMeten~tqaotitmten unbestimmt, weildieMeiheztt soMeoht um
convet~irt,
MchMOMten gewShtiUehen Mothoden die DMbtenz/(~+t) /(<-) mr abnehmMdet bettimmtn
auhM<manetohaber:<t (z)= 1uadkahtetw<~s wtxotimmt.
2) CNM.M!, Jowm.t. 4. p. 169wirdvaMMgMetiit, daasmtreineendUehe Ant~htvonM<}(!)nia
undMinimh ~orhaNdenttnd. <
8) CMK.M, Journ.t. 68.p. 801wirddieEetwieMbarMt naeheewieeen mf Fonetietm,tn
(tenM/(-+ <)/(<!) mit<Mh~Het- abnimmt,ab ttgood ehe positivePotensvont.
4) Mb.d. DatttteHhMk. art.10.
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 Fun-
coB ~(y), wie vorausgesetzt, diese Eigensohaftenzukommen.
Um nua die Siagalarit&ten der neuen Funotion ~a;) zu unteraaehen,so be-
merke man zunaobst, dass nach bekannten R~ein:
oo
<&. ~(,-l)~-t
ttesnt~-l l
nnd daher:

~)=j; .<L~) + h
..=. 1
wo A einen echten Brnch bezeichnet. Somit ist, wenn A' ebenMs einen echten
~BruchvorsteUt:

<p(<~M[~ +
/'(a,-)-,)~~)=:~ <~) <p (~t Ma~) 91
<t=il
fI=1 118

Hierm bedeutet m eine beliebiggtoaM, e eine beliebig Heine Z&hl,deren


WaohsttMunund Abnahme wir in beUobigeVerbindungmit einandereetzen kon-
nen. 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 +


~(Mtt [.P+e)w) <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:

~+,)~= 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

In S-. ~P
m'~ht )ia:')t) io8 rlma
M'-r
MC=i

und wenn man jene Beziehungzwischea dem Wachathumvon m und der Ab-
nahme 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' "~) CM~w


f(.c) ~g ,r-'
M=t 1

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 le-
gitim einen wosentliohvorschiedonenCharakter hat sie dagegeBin den Punkten,
3 80
t8

womeinen rationalen 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 be-
zeichnet werden mag; die brigen Glieder aber, in denenftir ganzzaMiger, Mssjtfr

ist, b&ben eine ganz andere Natur; sie geben, da (t<t< == (tin r~)
tt~w)
== (0) also nach unserer Vorauaasotzung= 0 wird, die Reihe:
1 ~( KMr~:w)

wo r alle ganzen Zablwerthe von 1 bis zu der unter liegenden ganzen Zahl
durchtauft, und dae Yo'xcicLea zu nebmen ist, je B&chdemrw gerade oder
ungerade ist. Man kann hiefr, wenn e abnimmt und trotz der Zunahme des
doch immer M: beliebig klein werden soll,
1 c(''[~)
ra
echreiben, und sieht jetzt, wie die Singutarit&t, welche ~(~) fiir y==0 hsitt,
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 ra-
tionalen 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 vorausge-
setzten 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
herzugehen, als das der Condensation der Singntaritaton bezeichnen
zu konnen geglaubt.
Die weitere Auefiibrungfur bestimmte Fanctionea wird im Folgendenin
versoMedenenBeispielengegeben werden. Im AUgemoinenkann man noch be-
merken, dass die Singularitittin einem rationalen Punkte um so stiirker ansge-
pragt 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~
angewandtwerden, welche UberaUstetig ist, aber in y==0 nnend!ich vieie, un.
nenancn viele,
8*
M

endlich kloine OMiUationenbesitzt aad daher nach au&teigendenPotenzen von


y nioht entwickeibar ist.
Die Funotion

/'(a') = #8$
t<tt n<pw.<<M(-- <
Hssi
ist nnn, wie aus vorstehenden Betrachtungon erhellt, in aUen irrationalenPun]t-
ten m stetig und diSerentilbeJ.
Ist abera'== rational, Bo enthalt /'(<r+e) aaaser einer Reihet C nooh
die Glieder:
r N<K
~ttruew.
{--
\~Kt'jtew/
die man, wenn < gen~end klein angenommenwird, bis auf Gliederboherar Ord-
nMg, duroh
VJ- -1-
~ti f'* f~ew
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 zn-
k&me.'Viohnehr kann um sokbe Punkte herun) kein IntervaU vonsoloherKlein-
heit angegeben werden, daas in ihm dieDifferenz A~+s)~) immerabnShme,
oder nur ein und dasselbe Zeiohen behielte. Wir kOBMndiea Verhalten,welohes
dem uaaerer jetagen Function <~(y)in y==0 gleicht, dahin bezeiohnon: diee
Function. /'(a;) macht iN jedem rationalen PMnkto m nnendiioh
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)=
M*(<<M
n~w)' ~t
\<t M.'r~
wie bei der in der vorigen Nr. statt. Man hat aber jetzt, wenn die frtiheren
Bezeichnungenbeibehalten werdon
/'(.)-e)-(<.) V t 1
g $
- =C+. ~
wo die, fiir abnehmende< und zunehmendeM veraohwindendenReatgUederso-
gtaich weggetassen sind. Halten wir nun die VorausBetzunga > 8 fest, so ver-
sohwindetmit 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 DH-
ferentiaJquotienten'); derGrund hievoDist in der RloinheitdieeerOsoilla-
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 dieBomorktmgttiehtObera<it)'Ig,
dassdieDer)virte/'(z)
tb Function
vonx an({eMh<Mt,eiohkeine:w~bc!AnnNheMag dos!ean einettrationalenWerthJeeMarenite
Q
oondem
N)o)th9tt, fortwtUtrend
MiMirt, wiederWerthvon
/'(~ = <&</ pzx f(~ nxitr '~1
tt* L ''<)'/J
ofertM'gt. GanzMxdeg!et<tWM MrdbFmMtion =<e't'ttL
<~(z) detGtOMwetthTon

~~)~
Madalsot '(0)= 0. tm AUgoatetnen
bMthnmt, <(hM-
ht:
1
'(.) =S Z tttt X
a* x
nDddaher~'(e) eiae Gt)tme,wetchebet abnehmendeo
x fo-twNtrend
OMiHM
end t!ehn!eht dM
QfNtM~'(0)s=0anntthert.
M

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
geMrt; deandieDiSerenz ~+t)/t~) mmmt mit e fortwahrondab, ohneda-
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 **
100
und0 <~ )t < Dann zeigt
~r _L_
'W ,a;~
fr ein rationa!eB <B==die Differenz

~+.)-~)=~+~
undes wird daher

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

S. 6. DeCnttten <md Bebptete von linear aMtetigea Funetionen.


Unstettg im Punkte a?== nant maneine Funotion f(w), wenn es
unter denWorthen, welche die Differenz/'(H-J-S)-H) fUr a!!e positi-
ven 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 dtir-
fen, 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 vor-
kommen, so sind doch diese Functionen von den scblecbthin stetigen, wolche

1) NachRtBMAW]),
b.dieDorst.ut 6,
M -1

berbaupt nur in einer endiiohen MaMvon Punkten unstetig werden, wesont-


tica versohieden.
Die manuigtachen EigenthumKohkeiten,welche die linear unstotigen Fun-
otionen 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 beider-
ssita 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~
,==!:+'+~+.==~ 1-
Zwischen 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

1) Auf't)otche
Funetionen
batDmtom.KT
(Crollq,Joum.t. IV.p. t69)aufmerkmtn
gemaoht.
M

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


eiBMMiMsen,eo kaan es beliebig klein genommenwerden. Ja noch mehr die
GMMBmtgrme & aller latervaUe dieser Art kann beMeMgklein gemMhtwerden.
Denn Mmmt man t" als die Gr~Bsedes, einen Pnakt ? = (~)'' eiMoUieMenden
laterv&Uos, so kana jene Summe:
~<~)tAf<>~
~-
.=,+~-)-+.
mit t beliebig YerMeinMtwerden.

IV. Die Funotion habe von <c= 1 bis == 1, von


ic~-~~tM~~
d~ WMta/'(<c)
i W i ma i
<c s= bis a) s= (~) dan Werth aUgemeinvon<c= (~ Ma t= (~)"
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 be-
traohteten 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 unste-


tigen 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 angegebenwer-
den 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 Intervalle, in donen die
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 de-
nen die 8chwankung<~ 2a ist, kann man so verfahren: Man theile die ganse
Streoke, die man betrachtet in Intervalle, von denen jedes einen dieser Unate-
tigkeitspunkte 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 vorkom-


men, jeden&Uanicht < Awerden Mnnen, was der VoranMetzungwideMpncht.
~.e.<<.
II. Wir betraohten analog den Fall der eine Streoke erfullenden Untetig-
tigkeiten 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> vorkom-
men, &t jedea kleine, aber vonNull veracMedenec, beliebig klein go-
maoht werden kann.
Insofern diese punktirt unstetigen Fuuctionen sioh voa denjenigen stetigen
Functionen, die eine endliche AnzaMvon Unterbrechungender Continuitat be-
Mtzea,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, so-
wie berhaupt alle Functionen, die aas etetigen dadurch entstanden sind,
dass eine unendliche Anzahl zerstreuter Punkte ans dom Zuaammea-
h&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 Inter-
T&Uenur eine endliebe Anzahl Maxima und Minima haben. Denn be-
trachten wir z. B. ein Intervall zwischeneinem Minimumund einem fbIgeNden
Maximum, so werden in diesem entweder nur eine endliche Anzahl von SprRn-
gen 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 bemerkens-
werthe Eigensohaft:
Die punktirt unate~genFunotiomensind 1) in unendiioh vielen Punkten
stetig und 2) in unmittelbarer Nahe jedes Unstetigkeitspunktesstetig.
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
jedooh wird es sich aUm&Mioh a.uf einen Punkt conoentnren, der allen jenen
IntervaUen gemeinachajMichist; um diesen iagm sioh, aUmShUohsich er-

weitemd,dieIntervaUe,dMvonSp)'Uagen~>(~) T. > (J ~frei8ind,nnd


es wird daher immer ein Intervtdl s angegebon werdeo konnen, eo dasa ftir alle
S < <<f("+S)(/') tHunensch <. t' sei, wio Mdn auch <' soi; d. h. atw:
die Funotiot)ist in stetig. berdem zeigt diese ConstructioMweise des Punktes
u, dass es auf jeder endiichenStrecke unendlich viele soloher Punkte gibt.
2) ManSxire einen Punkt .t'=: , in dem Sprunge~>? atatt&tden; dann
suche man den nSchaten Pankta'=:<A, in dem Sprilage~><Tvorkommen;in
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 kon-
nen, immeraber wird in diesem Intervalle /'(f-{-s)('<-{-~) numerisch < 2<f
sein, wie klein man auch die von NuU verschiedeneu and S anaehme. Es na-
hert 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
Punkten, in welchen sie stetig sind, Differentiatquotienten besitzon. m
folgenden. wird gezeigt werden, dass ihnen ein Integral unbedingt zukommt,
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 un-
stetig 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 UneM-


unatetigen Funotionen um&sat:
H. Klasse. Total unatetige Funotionensind solche, welohein ganzen In-
tM'vaBendurchaus nnste~g sind, oder in strenger Definition:
Total linear nnstetig heisBensolohe Fnctionen, in denen Punkte
mit Sprangen, die eine gewiMeendlicheGrosse UbertMtfen,ganze In-
teyvtttio 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 Ge-
saauntgrosse 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 be-
trachteten Strecke total unstetig; die in unendlich viekn Intervallen total un-
stetige 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. naohgewie-
sen 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

1)Cb.4.D<M-stettb.
trt.5.
8t

ist die, dass die Geaammtgrosaoder Intervalle, in denen die Schwan-


hmgen 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'aktenstiaohenEigen-
achaften der beidon von UMunterseMedeneaKlassen linear unstetiger Funotionen
behauptet werden kann:
Die in Linien total unstetigen Functionen sind niemata, die punktirt un-
stetigen 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 ZaBammenhangege-
ISsten Punkte. Da, Integral ist uaabhangig von den Unstetigkeiten, welche
M

durch Abandernng des Functionawerthes in einzelnenPankten hebbar sind. Da-


gegen 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 particu-
ISren 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 Schwan-
kung < 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)vef-
aoMedenenGrenzen, so ist /t(~) eine stetige Punktfolgevon der Eigenth&mlioh-
keit, daM in unendlioh vielen Punkten, die sioh von linksund rechts her tre~en-
denZweigeeineuWinkel mit oinfmder einschliessea. (Vergt.p.14.)
Doch bleibt bei den Integralen aller in . 6 und 9 gegebonon punktirt un-
etetigen 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 RiE-
MAMt's~) Kriterien der Sat!
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 ,,=1

besitzt, wenn flir


beaitzt, fUr x ==(~)
= 2) /'(.r) = '2 (*)"
r;r '2' genommenwird.

S. 9. Anatyttsche DaMteUnng linear unstetiger FtmteMen.


Das Princip der Condensation von 8ingu!aritaten liefert uns die mannig-
fachaten linear unstetigen Functionen; zunSchst punktirt unstetige:
I. Essei <p(y) eine, von y= 1 bis y=c+l turaHe Argumente, mit Aus-
nahme des Punktes y=:0, stetige und nach dem TA-YMR'schen Satze entwickel-
baro 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 Mo-

1) 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 de-

non mit ungeradem. Denn aie sind an jenen == L, an diesen = & wo

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

Der Verlauf der Function /*(a:) haan Ntm, wenn < betr&oMich groea ge-
nommen 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.);=~ ungera-
mit
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
bestimmen; sie entspreohen den <; ( welcher Bedingungstets, so lange fi
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 za-
sammendrangen, 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 efrt(2 u 1) ~rr
.M-S~~+.I)~
?M-~ 0 2~+1

In diesem FaUe hat die abgeleitete Function:


6*
36

~) =
z

etwas oompUoirtereUnstetigkeiten. INirr&tionalenund M~lMBftttiooalen ss


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

/.(L+,)_+ y (~)" .(-1)~ (-1/


~~ (2r)' + ~(2'-+Y)''
ine man bei aaherer Betrachtuog leicht finden wird; un4 es ist nioht, wie bis-
das arithmetisohe Mittel der beiden beaachbaftei Spmagwerthe.
her,(~)

III, Das Quadrat einer t'unction, wie sie in 1 at~oommea warde, alao
etwa von:

4 ~"+~. Y.
9M=~
~'+~
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 Con-
stanten

~=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.

1)Wirhabea,wieaa<d)-)t<)i:tid)
bemerktwerden 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 transcendenta-
len, 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

WL~ M~t)J
(<"H
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 00-
fasst, 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!!) (L'b.d. D<Mt.
art. t8) in deaFanKc)!):
S~, S ~(~),E ~(~)
Mapioto vonFanctioneng<~eben, wetche z wfMhett
zwc!nceh M!Mhen WorthendeoArgntnentM nn-
endUoh oft&N)t
damEndUchen in'BUnendMche bettpr!ngen.Daaberdortnurvonrationalen Werthoi
voao die Rodeiet, so btoibtes zweiMbaH, obniohtdieEe!henfth-in-atioMieineinerWebediYer-
tf:Mn,<taMsiokeinenbeatimmten WeMhmeh)-Mpt))Mnti)-ea. MemtehaberUabetttmmthettendcr
Fanctionenvonmeinm) Unters<Mhanpn vo)'MnBg gaM<HMoeM:6MM MtMUengtaotte,tege:chetn!-
gesQow!chtdamaf,daesta der imTextegegebenMt ReiheJedaUnbcetimmthoit bomitigthtt, indem
<!eausoinerMte tauterpoeittveraMeder besteht,dereaSumme entweder
endUchundbeethnmt, oder
wendUo!)gtOM ht.
38

Ein anderes weniger einfachesBeispiel einer sotohen total unstetigen Fun-


otion 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'acheBe-
griS zn Grunde gelegt, und unter einer Function nur eine in Reahnungeopera-
tionen 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 Be-
griffe der Functionen, so verechiedensie auf den ersten Bliok zn sein scheinen,

1) Ne FMMtioMm,
welche
ia einxottten
PunktouodergarLinionttnbeetimtntwetden,haben
~!rMeunMtenoMgenBettMhtuagen undo<mag daherhterbemerhtweHiea,
ansgetchtotten, dass
Michein Mmtytiechor mittolsdesPrincipe:
D&MteUn))~ derCondeMation

= fv ?~)
/(.<!)==
I\~) s <t*
0==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 Fan-
ctionalgleichMng:
/'(.)-+y)=/-(..)+/-(y)
abzuleiten, so ergibt sich sofort fUr alle rationalon jt:
~)==jA/'(!); 00
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.
/'(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 Fonotional-
gloiohung bei seinen Untersuchungen stosst, in diese intricaten Verhgtnisse der
Irrationali~ten einzugehen. Manwird vielmehr die Bestimmung /'(~)=jj.(i) so-
fort 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 zwi-
achen die y(.c) = a:(l) fur rationale x stetig einordnen.

1) Metht cumgranoMUazu veMtehenj


donneeht noehniohtMsgemMht,
obIlobeinzetne
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.'
r(~) = 1 + + + +,
~)=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 Functione-
werthen besteht, mit anderen Worten: weil eine Function bishernicht ein Ge-
setz 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 wer-
den? Es ha!t nicht schwer, sich xu Uberzeageh, dass, soll anders der Fnn-
otionsbegrifFangemessen sein nnd deu Bedurihissen des nalytikersentsprechen,
wir uns des allgemcinen hodegetischen Principes bedienen mUssen ) das ioh be-
reits in meiner Theorie der complexen Zablen als das jedes systematischenFort-
schrittes fUr jenes Gebiet nacbgewieseN, und das Princip der Permanenz
formater Gesetze genannt habe~).
Ich bin dort von den ganzen Zablen und dem auf aie bezagHchenelemen-
taren 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 Zah-
len erweitert war, wurde nachgewiesen, dass jede Aufgabe, welche nur eine
endUcheAnzabl jener Operationen zu ihrer Aufstelltmg voraussetzt, in dem Ge-
biete 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.

1) Vorles,Cb.d. comploxen
ZablonundihreFunctionen.Leipzig1867.Th.L p. 10)8.
In ahniioher Weise nun, als fur das Systemder Zahlen (oder Grossen) dM
ganzen Zahlen und ihre Operationsgesotzetypiechwaron, und weiterhin fur per-
manent orktart wurden, so musaen nun fitr das System der Fnnotionendie ai-
gebraischen AusdrUcke, als die aus den vier Speoies direct abgeleiteten, die
permanenten Gesetze an die Hand geben. Dena wie dort die ganzen Zahlen ge-
wissormassen 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 Eiementaropera-
tionen 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 vieleKlas-
sen 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 er-
achopfe, so ist auch die thatsacMicho NachweMung der Existenz,von Functionen
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, son-
dern 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 Ar-
gumentes, mit Ausnahme einzelner, auf jedem endliohnIntervall in nie-
mals unendlicher ZaM vorbandener Punkte, bestimmt, endlioh und stetig
sind, und deren sammtMchoDifferentialquotiontendieselben EigenBohaf-
ten 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 Un-
atetigkeitBpunkte?DieTAYMK'schen Reihen reichenber diese nicht binaus,undes
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 Hin-
dernisse zn Uberwinden versucht hat, ist schon oben p. 8 gezeigt; eine unzwei-
deutige 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 bo-
friedigenden 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 Veriinder-
Uohen (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<), in-
dem 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 wer-
den kann. So ergibt sich die Vorausaetzung, dass eine legitime Function im
Allgemeinen bestimmte und endlicheDiSerentiaJquotienten hat, als eine funda-
mentale, 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 _~W
~a- tr
genugen.
Dies ist nun daa allgemeine einfache Gesetz, dem alle legitimen, d. h. mo-
nogenen Funotionen untergeordnet werden, und daa wir als die RtBMANN'sohe De-
Snition') zu bezeichnen haben. Da nach bekannten Siitzen mit derEndiichkeit,
Stetigkeit und Bestimmtheit der Function selbst und ihrer ersten DifFerential-
quotienteh, 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 inner-
hatb 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 DnBtetigkeits-
punkte, 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.mitNoth-
wendigkeit 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 nothwendi-
gen 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

t) GrN))dt.
f.e. ail. Th. p. Z.
45

gibt keinerlei Au&cMusadaruber, was wir uns unter FunctioNswerthen im aus-


serenRaumezu 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 Kreis-
peripherieHber~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 unfibersteiglicheSobranke
getrennten Werthreihen als.zu Einer Function gehorig aMusehen?

Note 1 (itu pag. 9).

Begriff der Urenxe.

GegeMnberden h&uSgmangelhaften, theiis xu viel, theitsM wenigenthattenden De-


finitionon 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 ab-
getoiteter 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 Be-
griff 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.
worin M einen poaitiven eohten Bmch bedeuten Mit.
Ist ;f rational, so erscheinenin dieser Reihe Glieder, die oinen verachwinden*
.den Nenner ma;!t habon, und es wird daher fr sotcho a?, das aus lauter positiven
Gliedern bostehende ~(a;)=:<c.
Ist fc irrational, so bestimme man for ein Glied m== die ganze Zabi '1
so, dass
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:

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

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

< +
Es tasst sich nnn zeigen'), dass far aUe.Verthe des M, welchezwisehendem NN)erm)gs-
nenaer {t,, and dom foigeaden j~j., Uegen, dasseibe GrOssenverhMtniss besteht, and
daher die Somme:

1) M' Mauem, dMS!ch tue MangetM Rautngezwun~enMa, diMonBoweio,~Mau


za weit
wett
MhrenwOrde,aufetne andereaek(~)Mt MveMeNebeo.
h) dte Thoriede)' KeMenbrttehe
?

!*<!+t"~
~E < ~.+~ .E <~==~+~
~~<
~=~
und somit
?
~S. ~< ("+~(~+')
<tHtM~w)' 1 M "S
<==!'(M 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'== 1 u. s. w.,wie
<c==t<!Hl
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 ir-
rattonatennd 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:

e
(~<<t M~'
welclie for aHe ratiouaten x nnend!ict) wird. For Irrationate x wird der Nenner nie-
mab 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~"
-== (M,.+8)'
~"r ~'M~
.M
fi
('.t~
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. 44).


Pau~ttonen eomplexer YeraMderttci~r, 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 < ReibengewiiiserendHcheroderMnendUch abnehmender reoller
GrOMen, so ist bekannt!ich die Retho:
01:11
/-(..<.)==~(.)~')"
eine f(h- atto r, dore)) Modut <~t-ht, syuekttsche (d.h. nebst atten ihren DM'erontMt-
qaoMenten, 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 Fnnctio-
non goben, die in oinetn ganzen Krcise total unstetig wordon: lu der Reihe:

~6t 1 MM
(.r- is
sei 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
M

Modni <( 1 fst. Wenn M<< ;> 1, so ist der Grenzwerth ond die Reiheeonvergh-t
daher ebenbtb f0r aile 9 deren Modal > 1.
Die Convergenstann nur anfhCren, wennM'ed.~==1. Seizen wir namiieh~~e~t
soist:

' 4
~<<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
CeM<f.
r(l-:1-g <' ) wie
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 Mittel-
pnnMe 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

Gam< anatoge Betntobtmgen otnd


aind 6ft'lltftl'u.a"
anwendbar mf A_'die Reihe:

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

'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 ~~t q
anf die Fanction <{<(?)reduciren, wo:

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

-o ~t("')~"
= (-1)~
emcheint'), wird daroh die nnendUcheaProdakte
00
<p(~ == n ~~?"' M) fOTMMM<~
<( 1
<t=.0
nnd

?(?) = ~-~ tr M'< > 1


n /i-~ -A
r
.=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.