Escolar Documentos
Profissional Documentos
Cultura Documentos
Untersuchungen M ber
die MFt~~dMc/t 0/~
OSC~Mr~Ft~eFtund
unstetigen Functionen
yM~~~M 1870
.avs;
~-i. ',:Y. ~r..
;tt:w
Tht
"V^
BNLABCNG
~)
XA&t VM
W~T~
AW~M~em~ztewa; ~~D
~BcE~
.i
NAMMSKMMS~B A!tm<~m!)!SATS
DER
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~'
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
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),
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.
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
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+~
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.
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
~)=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
~+,)~= 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
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
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
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
/'(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
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
1) NachRtBMAW]),
b.dieDorst.ut 6,
M -1
1) Auf't)otche
Funetionen
batDmtom.KT
(Crollq,Joum.t. IV.p. t69)aufmerkmtn
gemaoht.
M
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.
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!:
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-
1)Cb.4.D<M-stettb.
trt.5.
8t
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
~~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
/-(.)= ~~??)
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:
-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,
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
~) =
z
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:
~=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
-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
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
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
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
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:
!*<!+t"~
~E < ~.+~ .E <~==~+~
~~<
~=~
und somit
?
~S. ~< ("+~(~+')
<tHtM~w)' 1 M "S
<==!'(M n
sodas::
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.
~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
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