> / 7 ' 2 -3.

U ntersuchungen aus der l e n g e n l i 248405

Inaugural-Dissertation
zur

Erlangung der Doktorwrde

der

hohen philosophischen F a k u lt t

der

G e o r g - A u g 'u s t s - U n i v e r s i t t z u G ttin g - e n
v o rg e le g t

von

F e lix B ernstein
aus Halle a. S.

Halle a. S.
Druck der Buchdruckerei dos W aisenhauses
1901.
248405

Referent: Prof. Dr.D. H ilb ert

Tag der mndlichen Prfung: 2. Mrz 1901.

Sa. ? S S J
M EIN EN ELTERN.
 Inhaltsverzeichnis.

A* Seit

Mitteilung eines Satzes von G. Cantor . . . . 7

n.
E in leitu n g ............................................................................................... 13

E rstes Kapitel.
ber die allgemeinen Eigenschaften der Mengen.
1. Der quivalenzsatz....................................................................... 17
2. Die Division der Mengen durch endliche Zahlen........................18
3. ber die Ungleichungen der Mengenlehre................................. 26
4. ber die Vergleichbarkeit der M e n g e n ......................................28
5. Anwendungen auf das Continuum............................................... 30

Zw eites Kapitol.
Das Continuum und die Ordnungstypen.
6. b e r d i e O r d n u n g s t y p o n ................................................................... ...... 32
7. Ordnungstypen und Ordnungsfunktionen......................................35
8 . Beweis des Satzes 1 ( 6 ) ..............................................................37
9. Verallgemeinerung und zweiter Beweis des Satzes 1 . . . . 40

D r itt e s K a p ite l.

Die Mengen im Continuum und das Ultracontinuum.

10. Die Gesamtheit der abgeschlossenen Mengen . . . . . . . 44
11. Die Mengen erster und zweiter K ategorie................................. 47
12. Das Ultracontinuum....................................................................... 48
 M itteilung eines Satzes von G. Cantor.

Fr das Folgende bedrfen wir eines von G. C a n to r her

rhrenden bisher unpublizierten Theorems. Mit freundlicher
Bereitw illigkeit, fr die ich meinen lebhaften Dank sage, hat
H err Prof. C a n to r gestattet, dasselbe hier darzustellen. W ir
schicken die folgenden Erluterungen voraus.
Erklrung 1. Ist eine a b z a h lb a r e Menge M einfach g e
ordnet, d. h. gilt fr die Ordnung der Elem ente das Gesetz:
aus a ) b und b )c folgt a ) c ,
so gehrt zu ihr ein ganz bestimmter O r d n u n g s t y p u s
Derselbe entsteht, wenn man von der individuellen Beschaffen
heit der Elem ente a b s t r a h ie r t . Zu allen abzahlbaren, ein
fach geordneten Mengen, w elche auf die vorgelegte Menge
hnlich d. h. unter Aufrechterhaltung der Rangbeziehung der
Elem ente, abgcbildet werden knnen, gehrt derselbe Ord
nungstypus /.i.
D er Satz von Cantor bezieht sich nun auf die Menge
0 = {/*}, w elche aus a l l e n einfach geordneten Typen erster
M chtigkeit besteht und setzt die Mchtigkeit derselben in V er
gleich m it der des Continuum d. h. des Inbegriffs aller reellen
Zahlen. E r lautet:
Theorem I. Das Continuum ist quivalent einer Teilmenge
der Menge 0 {/<} aller einfach geordneten Typen erster Mch
tigkeit.
Beweis. Man denke sich die reellen Zahlen etw a im dya-
dischen Zahlsystem dargestellt. D iese Darstellung ist eindeu
tig, bis auf ein e fr Mchtigkeitsfragen irrelevante Menge erster
Mchtigkeit. Das Continuum sei durch die Zahlen der E in
heitsstrecke reprsentiert Jeder reellen Zahl x zwischen 0
und 1 entspricht dann ein e einfach unendliche Folge von
N ullen und Einern. D iese umkehrbar eindeutige Beziehung
schreiben w ir sym bolisch
(1 ) )>
w o t*u /o N ullen oder Einsen bedeuten.
W ir erinnern ferner an die bekannten und leicht zu er
weisenden Eigenschaften ) des Ordnungstypus co der R eihe der
natrlichen Zahlen. V ersteht man unter v eine endliche ganze
Zahl, unter v + w denjenigen Ordnungstypus, den man erhlt,
w enn man den Elem enten von (o, v einfach geordnete Ele
m ente vorausschickt, so ist
v + (o =* io .
B ei entsprechender Bedeutung des Sum m enzeichens erkennt
m an, dafs
(0 + v 4= (0
ist. Es folgt vielm ehr, wenn P. eine andere ganze Zahl be
deutet, aus
(o -f-v = (0 + X ,
v = ),.

D ie Eigenschaften von co bertragen sich entsprechend

auf den entgegengesetzten Typus w* der Reihe der negativen
ganzen Zahlen.
Man erkennt nunmehr leich t die w ichtige Eigenschaft des
Typus w * - f w = 7t der negativen und positiven ganzen Zahlen
reihe:
A u s den Gleichungen
v -f-7t = X -f-7t
oder
(2) 7t -f v 7t + 1
folgt notwendig
v = 1. .
W hrend also der Typus w sich m it den vor ihm stehonden
Elem enten vereinigen kann, verschm ilzt der Typus 7t weder
m it irgend welchen vor ihm , noch m it irgend welchen hinter
ihm stehenden Elementen.

1) G. Cantor, Grundlage einer allgemeinen Mannigfaltigkeitslehre.

 Ihren allgem einsten A u sd ru ck fin d e t d iese E ig en sch aft
von 7t in dem folgenden Satze:
B ed eu ten v u nd v' endliche g an ze Z ahlen, und C b e
liebige abzah lb are einfach geordnete T y p en , so folgt aus
d e r G leichung
(3) * + r f - K - V + * + C\
sowohl

als
? = ?'
Beweis. Bei h n lic h e r A bb ild u n g b leib t die A nordnung
d e r E lem ente e rh a lte n , also e n tsp ric h t d as n iederste Glied d er
link en S eite v on (3) dom n ied ersten G liede d e r rech ten Seite,
d as zw eite dem zw eiten u. s. w. D arau s folgt sofort d e r erste
Teil d e r B ehauptung.
Z ugleich re d u z ie rt sich d ie G leichung (3) auf die folgende
n +
7t = 7t .
Da die b eid en hnlich au fe in a n d e r abgebildeten M engen ein
dim ensional g eo rd n et sind und die nied ersten E lem ente den
n ied ersten en tsp re c h e n , so k n n en n u r d ie folgenden d re i Flle
ein treten . E n tw e d e r fllt das Bild von 7t au f einen Teil von 7t\
o d er es ist 7t' en th alten in dem Bild vo n 7t, o d er es ist 7t'
selb st d as Bild von 7t. Im e rste n und zw eiten F alle m fste
e s eine Z erleg u n g d es O rd n u n g sty p u s 7t
7C = 7ty + 7t2 ,
7t = 7ty
geben. G eht m a n jedoch au f die D efinition von 7t = to* - f w
z u r c k , so le u c h te t ein , dafs 7t n u r au f e i n e nm lich die
d u rc h die D efinition g eg eb en e W e ise in zw ei Sum m anden
zerle g t w erd en kann.
E s w ird also 7t au f 7t' abgebildet.
Infolgedessen w ird a b e r auch a u f ' ab gebildet, cs ist,
wie b eh au p tet
? = ? .
W ir w erden d as au sg esprochene T heorem bew iesen haben,
w enn w ir ein V erfah ren angeben k n n e n , zu je d e r gegebenen
ree lle n Zahl einen bestim m ten , f r sie ch arak teristisch en O rd
nungstypus zu finden. E s geschieht dies nach dem folgen
den Gedanken.
W ir schieben in der rechten Seite von 1) hinter jedes /*,.
eine Menge vom Typus 7 t ein. Es entsteht so das Aggregat
f.ii 7 t tu 2 7 t /.i3 7 t . . .

Die Gesamtheit aller v o n N u l l v e r s c h i e d e n e n Elem ente

dieses Aggregates bilden in der vorliegenden Reihenfolge eine
einfach geordnete Menge. W ir bezeichnen den Ordnungs
typus derselben m it und schreiben
^ = ^ 1 + 7 i ; - { - / < 2 + 7ir-l-iii3 + . . .1 )
D a n n l a s s e n w ir d e r Z a h l x d e n O r d n u n g s t y p u s [i e n t
sp roch en .
E s erbrigt noch zu bew eisen, dafs auch wirklich zwei
verschiedenen Zahlen x und zw ei verschiedene Ordnungs
typen f.i und //' entsprechen. E s sei
(4) x ' = (//,', //2\ / V . )
(5) p = i * i '+ * + & ' + ** + tis' + . . .
D ie G leichung
(6 ) fi-p '
schreiben wir in der Form
+ 7C + 1 ', = /I, + 7 t + 'C i .
Indem w ir nun den bew iesenen H ilfssatz anwenden, folgern wir

Dann schreiben w ir die letztere G leichung

ju 2 + 7* + = f.i2' + 7t - f -

und folgern ebenso

u. s. w.
Aus den Gleichungen
."i =

folgt .................
(7) x = x.

1 ) Hierbei benutzen wir das Summenzeichen in der erweiterten Be

deutung, dafs 0 + = + 0 = sein soll, wenn irgend einen Typus be
deutet.
 E s besteht som it eine umkehrbar eindeutige Beziehung
zwischen den x und den //, wir knnen demgemfs in der
blichen W eise schreiben
(8)
Bezeichnet man die Kardinalzahl des Continuum mit c, die
jenige von 0 m it o, so folgt unmittelbar

(9) c = { i} < 0 .
 II.
E in le itu n g .

Gegenwrtig stellen zw ei Probleme innerhalb der Mengen

lehre im Vordergrund des Interesses. Das eine bezieht sich
auf das C o n t in u u m , d. h. die M enge, w elche aus allen reellen
Zahlen besteht, das andere bezieht sich auf die G r u n d la g e n
der Mengenlehre.
Das erste ist bereits im Jahre 1873 von dem Schpfer
dieser D isciplin G. C a n t o r 1 in seiner ersten Arbeit ber diesen
Gegenstand gestellt worden. Es beruht auf der dort gezeigten
Thatsache, dafs e s zwar mglich ist, jeder reellen a l g e b r a i
s c h e n Zahl eine bestim m te, fr sie vllig charakteristische
natrliche Zahl zuzuordnen, dafs es aber unmglich ist, auf
diese W eise a l le reellen Zahlen m it den ganzen rationalen
Zahlen in eine umkehrbar eindeutige B eziehung zu setzen.
B ezeichnet man zw ei aus irgend welchen D ingen bestehende
M engen, w elche aufeinander umkehrbar eindeutig abbildbar
sind, als q u i v a l e n t oder von g l e i c h e r M c h t ig k e it , und
rechnet man alle quivalenten Mengen in eine K lasse, so
drngt sich sofort die Frage auf:
W ie v ie l v e r s c h i e d e n e K la s s e n d ie s e r A r t k a n n
m an a u s r e e l l e n Z a h le n b ild e n ?
Das ist das C a n to r sc h e Continuumproblem.
E s ist fr einen grofsen Teil der bisherigen Forschungen
in der M engenlehre der Leitstern gew esen. Zur Inangriff
nahme desselben boten sich naturgemfs zwei verschiedene
W ege dar.

1) Hinsichtlich der Litteratur verweise ich sowohl auf die Original-

abhandlungen G. Cantors, als auf das zusammenfassende Keferat von
A. Schnfliefs, Jahresbericht d. d. Mathvgg. 1900 Bd. VIII H. 2.
 Erstens konnte man hoffen, durch Untersuchung der
sp eciellen verschiedenartigen M engen, die sich im Continuum
darbieten, fr immer umfassendere Gebiete von M engen die
Frage nach der Zahl der Klassen zu lsen, und so durch eine
Art v o l l s t n d i g e r I n d u k t io n des Problem s Herr zu werden.
Das w ichtigste Resultat nach dieser R ichtung ist der Satz
von G. C a n to r.
A lle a b g e s c h l o s s e n e n M engen, d. h. alle diejenigen
M engen, w elche ihre Grenzelem ente enthalten, sind entweder
abzhlbar oder von der M chtigkeit des Continuum.
G. C a n to r hat die Verm utung ausgesprochen, dafs fr
alle M engen im Continuum das gleiche Resultat zu erwarten
sei. E s hat dies jedoch bis jetzt nicht bewiesen werden
knnen. D ie Hauptschw ierigkeit der U ntersuchung bieten
die in s ic h d i c h t e n M engen, diejenigen, bei denen jeder
P u nk t Grenzpunkt von Punkten der Menge is t H ier hat eine
neuerdings von B a i r e getroffene Unterscheidung in Mengen
erster und zweiter Kategorie mannigfaches Interesse.
D as V erhltnis, w elches zw ischen dem Continuum und der
Menge der natrlichen Zahlen obwaltet, wird passend als
Grfsersein desselben, im M chtigkeitssinne, bezeichnet. Es
ist ein w ichtiges Resultat von G. C a n to r , dafs das Continuum
nicht die grfste aller Mengen ist, sondern dafs andere Mengen,
z. B. die .Menge C, w elche als Elem ente die T e ilm e n g e n d e s
C o n t in u u m besitzt, von noch hherer M chtigkeit als das
Continuum ist. Es kann zwar das Continuum auf einen Teil
von C umkehrbar eindeutig abgebildet werden, nicht aber auf
die ganze Menge von C.
Der zw eite W eg , der ebenfalls von G. C a n to r einge-
schlagen wurde, geht von der Menge der natrlichen Zahlen
aus. Es gelingt von hier aus neue Mengen zu konstruieren,
w elche sich in B ezug auf ihre M chtigkeit als die unmittel
bare Fortsetzung der erstgenannten Menge erweisen. Man
gelangt zu einer ganzen R e ih e v o n a n s t e ig e n d e n M c h
t i g k e i t e n , die sich in l c k e n l o s e r Folge unbegrenzt anein
ander sch lie en , der Reihe der sog. A le p h . Das Continuum-
problem spitzt sich hier insbesondere auf die Frage zu, die
B eziehung der a u f die abzhlbare M chtigkeit z u n c h s t fol
genden, mit A lep h -E in s b e z e ic h n e t^ Menge zum Continuum
festzusteUen.
D ie U ntersuchung der G r u n d la g e n der M engenlehre ist
aus verschiedenen Grnden zum Bedrfnis geworden.
Mit allen D iscip lin en , die sich im Anfang ihrer Ent
wickelung befinden, teilt die M engenlehre das Schicksal, dafs
der Fortschritt in ih r m ehr durch sinnreiche Einflle, als
durch system atische Methoden erzielt wird. Zwar sind auch
in der letzteren Richtung bemerkenswerte Anstze vorhanden.
D ie Einfhrung des P o t e n z b e g r i f f e s , der Bew eis des spter
noch zu erwhnenden q u i v a l e n z s a t z e s haben e s gestattet
Schlsse, die frher nur auf mhsamen Um wegen erreichbar
waren, jetzt in einem fast elementarem Kalkl zu erlangen.
Um diesem Kalkl die w nschensw erte Abrundung zu
verleihen, ist es notwendig, d i e j e n i g e n v o n e in a n d e r u n
a b h n g ig e n S t z e in m g l i c h s t v o l l s t n d i g e r Z a h l a u f
z u s t e l l e n u n d z u b e w e is e n , w e l c h e f r a lle M en g en
G i l t i g k e i t h a b en .
D ie in die neueste Z eit fallende Entdeckung von Men
gen, w ie z. 15. die Menge aller Mchtigkeiten, w elche sich in
w esentlichen P unkten, den fr alle Mengen bisher als richtig
angesehenen Gesetzen nicht f gen , verleiht den Stzen, welche
fr alle Mengen o h n e Ausnahm e gelten , ein w ichtiges t h e o
r e t i s c h e s Interesse. Besonders fllt hierbei ins G ew icht, dafs
die Frage noch offen ist, ob das Continuum zu den jngst
untersuchten Mengen hinzugehrt, oder n ic h t
D ie vorliegende A rbeit zerfllt in drei Teile.
Im ersten Teil beschftige ich m ich m it Fragen, welche
den Grundlagen angehren. Insbesondere bew eise ich den
allgem einen Satz, dafs die Teilung einer Menge i n eine end
liche A n za h l van gleichen Teilen im Sinne der Mchtigkeit
e i n d e u t i g ist. H ieraus fliefst die Erkenntnis, dafs das Con
tinuum durch fortgesetzte endliche Teilung nicht verkleinert
werden kann. Ferner lfst sich die Frage nach der A d
dition der Ungleichungen hieraus fr vergleichbare Mengen
erledigen.
D ie Frage nach der Vergleichbarkeit von Mengen bietet
aufserordentliche Schw ierigkeiten. Fr gew isse Gebiete von
M engen, innerhalb deren M engengleichungen gelten, lfst
sich jedoch, w ie ich ausfhre, die Vergleichbarkeit allgemein
zeigen.
Im zweiten Teil handelt es sich darum, das Continuum
m it der Menge n , in nhere Verbindung zu setzen. D ies g e
schieht durch einen Satz, welcher ein e vollkommen parallele
D efinition beider Mengen aufzustellen gestattet D ie Zahlen
der zw eiten Zahlenklasse erfahren dabei eine geometrisch -
anschauliche Deutung.
Im dritten Teil wird die Gesamtheit der M engen, welche
dem Continuum angehren und fr die die Frage nach der
M chtigkeit gelst werden kann, m it der Gesamtheit aller Teil
m engen des Continuum verglichen. Es wird der Satz ab
geleitet, dafs die Gesamtheit der abgeschlossenen Mengen m it
Hilfe der reellen Zahlen abgexhlt werden kann. Das Resultat
des angestollten V ergleichs ergiebt einen Mafsstab der Be
urteilung, w ie w eit man bisher in der Lsung des Continuum-
problems auf diesem W ege gekommen ist.
D ie Konstruktion eines hheren Typus fr das Continuum
soll zeigen, w ie ein e Erw eiterung der bisherigen Resultate ge
wonnen werden kann.
 ber die allgem einen Eigenschaften d e r Mengen.

i-
D e r q u iv a lc n z s a tz .
Erklrung. Zw ei M engen M und N heifsen dann q u i
v a l e n t oder von gleicher M chtigkeit, w enn es ein umkehr
bar eindeutiges B eziehungsgesetz cp giebt, w elches sie Elem ent
fr Elem ent auf einander abbildet (G. Cantor1). Unter einer
Teilm enge einer Menge M versteht man eine M enge, deren
Klemente sm tlich der Menge M angehren. Sind M und N
zw ei beliebige M engen, so sind logisch die folgenden vier
Flle mglich:
1) E s ist M quivalent einer Teilm enge N x von N , da
gegen N keiner Teilm enge von /, in Zeichen:
N > M.
2) Es ist N quivalent einer Teilm enge M x von 3 /, da
gegen M keiner Teilm enge von iV, in Zeichen:
M > N.
3) Es ist M quivalent einer Teilm enge M v von N und
ebenso N quivalent einer Teilm enge N t von M.
4) E s ist M quivalent keiner Teilm enge von N und N
keiner Teilm enge von M.
H insichtlich des dritten Falles g ilt der folgende Satz:
S a tz 1. Ist M quivalent einem Teile von N und
N einem T eile N t von M , so ist M quivalent N.
D ieser Satz is t zuerst von G. C a n t o r 2 behauptet worden
und wird auf sein en Vorschlag als q u i v a l e n z s a t z der

1 ) G. Cantor, Journ. f. Math. Bd. 84, S. 242.

2) G. Cantor, Ztschr. f. Philosophie Bd. 91.
Mengenlehre bezeichnet. B ew iesen wurde derselbe unabhngig
von E. S c h r d e r 1 und m ir . 2 Einen B ew eis gicbt ferner
E. Z e r m e lo .8
2 .
Die Division der Mengen durch entfliehe Zahlen.
Vorbemerkung. Es gelten die folgenden Definitionen
und Stze (G. Cantor).
1. Sind M und N zwei Mengen und nennt m an diejenige
M enge, w elche sowohl die Elem ente von M als die von N
enthlt, die Summe M.-\- N dieser Mengen, so ist
(1) M + N - N+M .
2. Sind M und N zw ei M engen, so nennt man diejenige
M enge, w elche alle Kombinationen (m , n) der Elemente m
und n der beiden Mengen enthlt, das Produkt M N dieser
Mengen; es ist
(2) M N - NM .
3. Sind M und N zw ei M engen, so nennt man diejenige
Menge, w elche im Sinne einer bekannten Ausdrucksweise
alle Kombinationen von Elem enten aus M zur jVten Klasse
enthlt, die Potenz M N (M hoch N ).
E s gelten hinsichtlich des aufgestellten A dditions-, Multi-
plikations- und Potenzbegriffes das associative und kommuta
tive Gesetz, w ie bei endlichen Zahlen.
W ir untersuchen jetzt die i n v e r s e n Operationen und
stellen den folgenden die D ivision betreffenden Satz auf.
S a h 2. A u s d e r G le ic h u n g
2 M = 2N
fo lg t M = N.
Dem B ew eise schicken w ir eine Reihe leicht zu beweisen
der H ilfsstze ber umkehrbar eindeutige Abbildungen voraus.
I l i l f s s a t z 1. D ie umkehrbar eindeutigen Abbildungen
eines System s S in sich bilden ein e G r u p p e 4>s-

1 ) E. Schrder, Jahresber. d. d. Mathvgg. Bd. 5 (S.81).

2) Vgl. B orei, I/i^ons sur la theorie des fonctions. Eine Darstellung
meines Beweises findet sich in dem Referat von S ch n fliess, Jahresber.
d. d. Mathvgg. Bd. 8 , Ilft. 2.
3) E. Zerm elo, Gtt. Nachr. 1901, p. 15.
 H ilfssa tz 2.
E s sei eine R eihe von umkehrbar ein
deutigen Abbildungen vorgelegt,
(1 ) &> :
und es mgen dieselben eine Gruppe bilden, d. h. es sei
(2 ) XfiXr =
ferner m ge es zu jedem x? e i n u n d n u r e i n geben, so dafs
(3) XiiXfi'= 1
ist (wo 1 die identische Abbildung bedeutet).
Tst nun s ein Elem ent von 5 , fr w elches
(4) s j = X r ( s ) ( * = 1, 2 , 3 . . . ),
so ist
(5) X u ( s ) 4 = X r ( s ) ^ ^ v = 1, 2, 3 . . . )
H ilfssa tz 3. Sei 5 =J= s' und sei
(6 ) i + ^ M f r ( v - 1, 2 , 3 . . . ),
so ist auch
(7) fr * Z r W '(a > - 1 , 2 , 3 . . . ).
p Denn aus
(8 ) fr W -X r M
folgt durch M ultiplikation, m it
S = Z . Z // (s') - Zf (s').
Erklrung. Sind
, ^2 ' ^ s -
eine R eihe von Teilm engen des System es &, von denen keine
mit ein er ndern ein Elem ent gemeinsam hat, so nenne ich
sie ein g e t r e n n t e s S y s t e m von Teilmengen.
H ilfssatz 4. Ist T = ( t ) ein e Teilm enge von S . und ist stets
(9) 1, 2 , 3 . . /* * '),
so bilden die quivalenten Mengen
(10) T, X i i T h x A T ) ,
ein g e t r e n n t e s S y s te m .
H ilfssa tz 5. U nter den Voraussetzungen des vorigen
Satzes ist
(11) S = S + T.
Denn bezeichnet man mit die M chtigkeit der Menge
der natrlichen Z ahlen, so entsteht durch wiederholte A nw en
dung der G leichung (11) eine Zerlegung von der Form:
5 - T - a0 + R :
also ist
 T + S = T(\0 + 1) + = + R,
mithin
5 _ 5 + T.
Beweis des Sa/xes 2. W ir schreiben die Voraussetzungen
in der Form
a) S - + % iCs + s 4,
(1 2 ) b) ^ = a*,
C) Z s = # 4.
D ie den G leichheitszeichen entsprechenden Abbildungen
knnen als umkehrbar eindeutige Abbildungen des System s S
in sich aufgefafst werden, w ir bezeichnen sie m it <pa> <Pb, 9>c-
W ie unmittelbar ei-sichtlich, ist
(13) <Pa = <Pb
W ie die nachstehende Figur veranschaulicht, zerfallen
;emfs der* G leichung 12a) die x in der folgenden W eise:
l = *13 + * i o
(14) *2 = * 2 3 + *24,
*3 = *31 + *32, W0 * * *
*4 = *41 + * 42

*>(
XiS

Fig.l.
B edeutet T, irgend eine Teilmenge von x t und T2 eine
quivalente Teilm enge von a^, s o k a n n m a n x t u n d x^ d a
d u r c h t r a n s f o r m ie r e n , d a f s m a n d ie E le m e n t e v o n T y
g e g e n d ie v o n T 2 a u s t a u s c h t E s gelten fr die transfor
mierten x j* und x 2* die B ezieh u n g (12) sow ie die Gleichungen

(14*) u n d ebenso
*2 00 * 2 ; X f c o X A.
E s ist also ausreichend, den Satz 2 fr die #,*, x2* zu
bew eisen, um den R ckschlu auf die xt und x 2 machen zu
knnen. - In gleicher W eise gestatten auch die Mengen x3
und x 4 solche A u s t a u s c h t r a n s f o r m a t io n e n .
D as Ziel des B ew eises ist, zu zeigen, dafs w ir nach g e
eigneten Transformationen ein e solche Zerlegung der Form (14)
bekommen, dafs x l3 sowohl gegen x u als gegen x23 zu ver
nachlssigen ist, d. h. dafs
= * 13 + x l4 ~ x l4
und x 3 = x l3 - f x 23 Xzs
ist. Denn hieraus folgen die Gleichungen
Xl = Xt = x t4,
%3 Xi = &23.
Dam it sind aber fr die Mengen x 2 und x 4 die Voraus
setzungen des quivalenzsatzes gegeben. E s kann daher der
Schlufs x% = x 4)
w elcher die Behauptung enthlt, gezogen werden.
W ir suchen zu unserem Zwecke die Menge x 13 mit x 14
und x 23 in geeignete B eziehung zu setzen. Hierzu bilden wir
aus den Abbildungen cph und <pc alle m glichen Zusammen
setzungen, die w ir in zw ei Reihen so anordnen:
(15) 1 = Xo, 9b = 7. 2 , <Pb<Pc = 7a , <Pb<Pc<Pb = f t ,
9c = X z, 9 c 9 b = Xs, 9 c 9 b 9 c = X i,
Zu jeder Abbildung / giebt. e s e i n e und n u r e i n e inverse,
denn es ist unter B ercksichtigung von (13)
Z in + 2 7.4n + 2 = 1,
(1 6 ) X i n '/A n + l = 1,

fcln + S & n + S = * 1 .

Im brigen liefert aber die Zusammensetzung von irgend wel

chen Abbildungen % w ieder ein e Abbildung derselben Reihe,
die von 1 verschieden ist.
E s bilden infolge ihrer Entstehung die / ein e Gruppe
von umkehrbar eindeutigen Abbildungen des System s S =
x v + # 2 in sich.
E s sind zwei Flle hinsichtlich der Abbildung eines Ele
m entes el3 von x 13 mglich:
1) el3 wird durch eine Abbildung % mit e n d lic h e m Index
in ein Elem ent v en x i4 bergefhrt.
2) cl3 wird n ie m a ls durch die Abbildungen der Reihe (15)
in ein Elem ent von x.24 bergefhrt.
 Der w esentliche Gedanke besteht nun darin, d u r c h A u s
t a u s c h v o n E le m e n t e n a u s jc 18 g e g e n E le m e n t e v o n %
e s zu e r r e ic h e n , d a f s l e d i g l i c h d e r z w e it e F a l l e i n t r i t t
Gesetzt nm lich, e s trte fr alle Elem ente el3 der zw eite
Fall e in , so behaupte ich , dafs die Bilder x9v(tcls)(Yesp.%i y+ i(xl8))
a b w e c h s e ln d in x^z und x u liegen , und dort ein g e t r e n n
t e s S y s t e m von einfach unendlich vielen Teilm engen bilden.
H ieraus folgt dann aber nach Hilfssatz 5, dafs
1 3 + 1 4 14
13 + 23 = 23
ist, woraus, w ie oben gezeigt, unser Satz resultiert.
In der That, durch die Abbildung %2 geht im zweiten
Falle x l3 g n z l i c h in x 23 ber. Durch yA gehen dann die
Elem ente von ax>3 in solche von x 1A oder x 2i ber, mithin
geht nach 2) f c f o s ) *n h ausschliefslich ber.
Indem man so fortfhrt zu schliefsen, gelangt man durch
vollstndige Induktion dahin, dafs bei jeder Abbildung mit
dem Index 4 n die Menge xl3 gnzlich in x>23, bei jeder Abbil
dung m it dem In dex 4 n + 2 die Menge x l3 in x2i bergeht.
Das ganz Analoge aber findet bei den Abbildungen yun+i und
y.i'n + 3 ? tt
D ie R eihe der Abbildungen % erfllt schliefslich die B e
dingung, dafs sie umkehrbar eindeutige Abbildungen des
System s S in sich sind, auerdem bilden sie den Teil einer
Gruppe von solchen A bbildungen, w o es zu jedem Elem ent
ein und nur ein inverses E lem ent der Gruppe giebt. B e
denkt man noch, dafs die Bilder von x l3 niem als auf x l3
zurckfallen, so ergiebt sich , dafs die A nw endung der H ilfs
stze 1 bis 5 erlaubt ist, was zu den gew nschten Schlufs-
folgerungen fhrt.
W ir gehen nunm ehr zu dem allgem eineren Falle 1) ber.
W ir verstehen unter x l3 diejenigen Elem ente von a:13, welche
durch %i in x 2i bergehen. U n ter x ls ferner verstehen w ir
diejenigen von x l3 verschiedenen Elem ente, w elche durch yw2
in solche Elem ente von x 2i bergehen, w elche noch nicht durch
die Abbildung yA getroffen worden sind. In gleicher W eise de
finieren w ir x l3\ . . . , . . W ir erhalten folgendes Schem a:
x,s', X iM in *21
is' 4 *13", X , M 4 &(*.3") in Xu
*13' 4= *13" 4 X n " , y .iM 4= Xtfris") 4 Xsfas) in a-21
*is' 4 *is" 4 Z|3W, Zi(*i8' 4 ftfas") 4 4 Z. (*i3(r|) in
W ir bilden nunm ehr die quivalenten Summen

x i3 2 * , , und *,,, = - z .'( * l 3(,,))-

v=l y=l
Nunm ehr vollziehen w ir einen Austausch von xiZ gegen
x 2K\ setzen wir
(18) x lz x l3 + x l3 xi i = 2 4 + *24
und bezeichnen wir die transformierten x m it x *, so wird
(1 9 ) Xl3* =

*4* + *24
*2* _

23* 23 + 13-
I)ie neuen 3 ^*, ax2*, ar3*, #4* entstehen dann gemfs der
Formel (14). Nach den eingangs gemachten Bemerkungen
haben w ir uns jetzt nur noch mit diesen zu beschftigen.
Untersucht man jetzt das Verhalten von x iz* = x 13 gegenber
den Abbildungen (15), so findet m an, dafs jetzt nur noch der
zw eite Fall eintreten kann.
Denn gesetzt e s gin ge irgend ein Elem ent von x ls* = x n
durch %y in x 2i* = x 24 ber, so trte das in Widerspruch mit
der D efinition von xl3<r\ denn arls(K) soll a l l e Elemente von
.r13 enthalten, w elche verschieden sind von x l3 . . . ^ und
v1
in Elem ente von x*4 bergehen, die nicht in / (^;.3(N)) liegen.

Sind die betrachteten Mengen e n d l i c h , so mufs der

nach der angegebenen Vorschrift vollzogene Austausch zur
Folge haben, dafs xl3 und dann aber auch a^4 vllig ver
schwunden sind. D ies kann man sich leicht veranschaulichen.
Im allgem einen Falle verfahren w ir, w ie bereits angegeben.
Es resultiert
Xt* = fe
und da nach (14*)
x l**oxl1 Xs* ~ X s
ist, so folgt
(20) * i =. *8 *2 *4-
 n M o> n - N
folgt
M co N ,
wenn n ein e beliebige endliche Zahl bedeutet.
Der B e w e i s is t eine genaue Verallgem einerung des so
eben gefhrten. D ie einzige Schw ierigkeit beruht in der rich
tigen W ahl der Reihe der Abbildungen /.
Setzt man entsprechend an:
X i + f y + Xn = y l + y 2 + . . . + y n
(1 ) xl = Xt = a* . . . = Xn
Vl - Sfc = Vz = yn
und bezeichnet die Abbildungen der R eihe der x mit
?>i2 , *Piz, , die der y m it t//12, i//I3, . . .,
bildet man ferner die Zerfllungcn
/g\ xi 1" ^ 1 2 + x in
X2 = X21 -f %2t + +

Xn = Xni 4* %ti2 + - + X nn,

so hat man zu zeigen, dafs nach gehrigen Vertauschungen

(3) x n = x ll + x l2
nach w eiteren Vertauschungen
Xn x n + x iS
u. s. w. wird. Indem man alle Vertauschungen au f einmal
vornim m t, bekommt man dann
(4) x = x n + * l2 - x + * ,s = x n + XU . . .
D ies hat aber, w ie man unmittelbar sieh t, zur Folge, dafs
% = * 1 1 ' < y,
wird. D ie Sym m etrie der V oraussetzungen erlaubt, denselben
W eg bei den y einzuschlagen. Man gelangt dadurch zu der
Relation
(5) y , = y n d. h. < x , ,
und folgert daraus nach dem quivalenzsatz
( 6) xt = yv
U m die V ertauschungen zu finden, welche zu der Gleichung (3)
fhren, hat man zu bilden
(7) Xo = 1 , Xi = <Pit, Xt = <PnXii, 7.s = <PuXn<Pis,
und dann nach dem Schema (17) so auszutauschen, dafs die
Bilder von x l2 entw eder in x.22 oder in x n zu liegen kommen.
S a tz 4. Aus
2 x = x -f- a
folgt x>a.
D ieser Satz, der die S u b t r a k t io n behandelt, zeigt aufs deut
lichste den grofsen Unterschied der Gesetze der transfiniten
und der endlichen Mengen.
Beweis. W ir schreiben die Voraussetzungen in der Form
x Y + ax2 = x z + 4
(1 ) 1 = 2 >
*2 = ^ 3 .
Die Abbildungen ( } ) bezeichnen w ir m it <p,
\ax2 XyJ
(x2 x 3\
m it ip.
[xsxj
W ir werden dieselben als Abbildungen des System s
(xv, x 2, rr3) in sich auffassen.
D ie Zerlegungen
/g \ 1 = 13 + 14
2 - 23 + 24
veranschaulicht die untenstehende Figur

; >*u
r*<

VI

W ir bilden die Reihe der Abbildungen

(3 ) Zo = 1 , Xi = 9 n , X* = <Pty> Xz = <P'P<P,
und unterscheiden zw ei Flle:
1) Es existieren in x u Elem ente eu w elche durch eine
Abbildung % in x?3 bergefhrt werden.
2) Kein Elem ent von x u wird durch die Abbildungen %
in 2 3 bergefhrt.
'

Im zweiten Falle erkennt man leicht, dafs die Bilder

V.i (*n)> >(*w )?
abwechselnd in x l3 und x 2i liegen mssen. Letzteres hat dann
(unter H inzuziehung der H ilfsstze zu Satz 2) zur F olge, dafs
(4) *,4 + *24 = *24 = *4
ist. D a x 2i Teil von x 2 ist, so folgt also
*2 > *4
d. h. x> a.
Trifft der erste Fall zu , so fhren wieder die dem Schema (17)
entsprechenden V ertauschungen zu transformierten a^*, x 2*,
# 3 *, 4*, und die fr diese geltenden Beziehungen fhren zu
der U ngleichung
* 2* > *4*,
welche w ieder
* 2 > *4,
x> a
nach sich zieht.

3-
ber die Ungleichungen der Mengenlehre.
E rklrung 1. Nachdem der dritte der in 1 bezglich
des V erhltnisses zw eier Mengen M und N aufgestellten Flle
durch den Bew eis des quivalenzsatzes erledigt ist, bedarf
nur noch der vierte Fall
4) 3 / ist quivalent keinem Teile von N und N keinem
Teile von M , ein er Erluterung.
E s ist bisher nicht gelungen zu zeigen , dafs dieser Fall
bei den unendlichen Mengen ausgeschlossen ist. Man ist daher
gentigt, bei gew ifsen Stzen diesbezgliche Einschrnkungen
zu machen. Man bezeichnet das Statthaben resp. Nichtstatt
haben desselben als N i c h t v e r g l e i c h b a r k e i t und V er
g l e i c h b a r k e i t der betreffenden Mengen.
Erklrung 2. Das G r fs e r und K le in e r bei Mengen
wird folgendermafsen definiert
Tritt bei zw ei Mengen M u n d N der erste Fall ein , so heifst
M kleiner als iY,
in Zeichen
M < N.
 Tritt hingegen der zw eite Fall ein , so heilst
M grfser als N,
in Zeichen
M > N.
W ir stellen nunmehr das folgende Theorem auf:
S a tz 1. S in d a u n d b z w e i M e n g e n , f r d ie
(1 ) a> b
g i l t , u n d i s t c e i n e w e i t e r e M e n g e f r d ie
(2 ) b> c
i s t , so b e s t e h t d ie U n g l e i c h u n g
(3) a + c > b + c.
Beweis. W ir schreiben die Voraussetzungen in der Form
(4) a = d + a + a '"\ b = a + d ' \ c = a " .
p:s ist jedenfalls
(5) a + c > b + c.
Das G leichheitszeichen fhrt zum W iderspruch, denn sei
(6 ) a + c = b c, d. h. d + {a + 2 a " ) (" -{- 2 a'"),
so folgt, indem man links fr (a" 2a'") seinen Wert
d + (a + 2 a " ) einsetzt
(7) 2 d + a + 2 a "' = a" + 2<T;
durch Addition von a erhlt man
(8 ) 2 ( d + a" + a " ) = 2(a" + d " )
d. h. 2 a = 2b und dies erlaubt nach Satz 2 des vorigen Para
graphen auf a = 6 , also einen W iderspruch gegen die Glei
chung 1, zu schliefsen. E s ist also in der Tliat
a + c > b - f c.
S a tz 2. Aus
(1 ) a > b\ c > d
und a u s d er B e z ie h u n g
(2 ) b v e r g l e i c h b a r m it d
a .h . b ^ d
fo lg t.
(3) a + g> b + d.
Beweis.S e i etwa
(4) b> d,
so folgt aus Satz 1
 (5) a + d > b + d.
Ferner ist offenbar
(6 ) a + c > a - f d,
also ist a + c > b + d.
S a tz 3. Dam it aus
a > b; c > d
folge a -f- c > b + d,
ist e s n o t w e n d i g , dafs b und d v e r g le ic h b a r sind, oder
solche n i c h t v e r g l e i c h b a r e M engen fr w elche die Relation
2m > m
erfllt is t
Beiveis. Gesetzt nmlich es sind b und d solche un
vergleichbare M engen, fr die aufserdem
(1 ) 2b = b , 2 d d
is t (D ieses letztere tritt beispielsw eise ein, wenn b --- n 0 b\
d l\ '0 d ist)
Dann setzen wir
m a b + d,
( * c - b + d,
dann is t sicher
a> c>d.
D ie Addition der U ngleichungen (2) liefert aber
a + c (b -f- d) 2 = b + d.
Bemerkung. Man kann mit H ilfe der im vorigen Para
graphen gegebenen Schlufsw eisen auch unmittelbar die Richtig
keit. des Satzes 1 zeigen. Um dann den Satz 2 des 1 zu
zeig en , ist es ntig aus
2 x = 2a
die Vergleichbarkeit von x und a zu zeigen. D ies ist jedoch
nur in speziellen Fllen: 2 a = , a a 2 U.S.w. einfach.

4.

b e r d ie V c r g lc ic h b a r k c it d e r M en g en .
Man kann auf die Vergleichbarkeit von Mengen M und
N zuw eilen aus Gleichungen schliefscn, die zwischen ihnen
bestehen.
 S a tz 1. Ist
(1) M +N = M -N ,
so is t M v e r g l e i c h b a r N.
Beweis. W ir setzen
(2) M = {m ),
Gemfs der G leichung (1) zerfllt M N , w ie die Figur
veranschaulicht, in zwei Teile R und S. W ir setzen
M c ^ R = { v , Wr},
j (3) N S = [m t} n s}.

:: JV i'T: ;; :: -V

Jf Ai
ltcr Fall. 2ter Fall.

E s knnen nun zw ei Flle eintreten.

1. Es giebt fr jeden W ert von m r mindestens ein
(nir, n'r), w elches n i c h t in R vorkommt. In diesem Falle
gehrt ein e Menge M c o jw,., ?*/}, wo mr alle W erte von M
durchluft, zu S. Sic bildet also eine Teilm enge derselben.
E s ist mithin
M < S y d. h. M < K
2. E s giebt einen W ert von m r, w r*, so dafs alle {w r*, wr },
wo n r die W erte von N durchluft zu I i gehren. E s ist also
iV<^ {w^r*, n r) ein e Teilm enge von R.
Mithin ist
N < R , d. i. N < M .
E rklrung 1. E in System S von Mengen derart, dafs
die Summe zw eier Mengen des System s w ieder dem System
angehrt, heifse ein v o l l s t n d i g e s System.
Erklrung 2. E in System S von M engen, w elche alle
untereinander vergleichbar sind, heifse ein B e r e ic h von
Mengen.
S a tz 2. Gilt fr jede Menge M eines vollstndigen
System s S von Mengen die Gleichung
 (1) M 2= M}
so bildet S einen Bereich.
Beweis. Seien a und b zw ei Mengen des System s S , so ist
( 2 ) a 2 + 2 a - b -f- b2 = a + 2 a b + b = (1 + b) + b(\ -f- a).
Ferner folgt unter B enutzung des quivalenzsatzes aus
a 2 = a, b2 = >,
und a > a 2,
2 b2 < 2 b,
2a< a-a, b-b>2-b,
a = a 2 =* 2 a, b = b2 ^ 2b
und aus demselben Grunde
a a + 1 ; & = + 1 ,
also ist
(3) a2 + 2a b b2 = 2 -a b = a- b.
A n d e r se its ist (a + b) eine Menge des System s &, also ist
(4) a 2 + 2 a - b + b2 = (a + b)2 = a +
mithin
(5) a - f b a- bj woraus nach Satz 1 die
Behauptung fo lg t

5.
Anwendungen a u f das Continuum.
D ie in Paragraph 1 4 bew iesenen Stze beruhen ledig
lich auf den E igenschuften der umkehrbar eindeutigen A b
bildung. S ie haben daher fr a lle M engen, gleichgiltig welche
Eigenschaften ihnen sonst zukommen, Giltigkeit. D ies hat
nam entlich B edeutung fr diejenigen M engen, von denen nicht
bew iesen ist, dafs sie in wohlgeordnete Form gebracht werden
knnen. Insbesondere erhalten w ir fr das Continuum den
folgenden neuen Satz.
S a tz 1. T e ilt m an d a s C o n tin u u m in e i n e e n d lic h e
A n z a h l g l e i c h e r T e il m e n g e n , s o i s t j e d e d i e s e r T e i l
m e n g e n g l e i c h d e m C o n tin u u m . 1
Es kann also das Continuum durch fortgesetzte endliche
Teilungen nicht verkleinert werden.

1 ) Diese Teilmengen sind nicht als Intervalle, sondern als ganz unregel
mig verteilte Punktmengen vorzustellen.
 Beweis. B ezeichnet c die M chtigkeit des Continuum, so
ist also
(1 ) n x = c
und da cn c
n x = n c,
also nach 1, Satz 3
x = c.
D es Interesses halber, w elches der Satz 1 bietet, fge ich
noch den folgenden einfachen B ew eis desselben hinzu.
H ilfssalz. Aus
(2 ) x 2= 2y, x > y
folgt z = y.
Denn schreiben wir (2) in der Form
x x ' - y + y,
so erkennt man m ittels des in 3 , Satz 1 angewandten Ver
fahrens, dafs e n t w e d e r
y>v,
(3) o d e r
y> x x
ist. in Verbindung m it (2) ergiebt dies
y = x.
Wir fhren der Einfachheit halber den B ew eis des Satzes 1
fr den Fall n 2. E s sei
(4) 2 x = c.
Offenbar ist
(5) x 4 = x 3- x > 2 x > c .
W ir betrachten IG4. Einerseits ist
IG 4 = c* = c.
Andrerseits ist
(6 ) 1 64> 4 also c > x x.
E s ist also nach (5) und ( 6 )
c > x* > c,
d. h. es ist nach dem quivalenzsatz
(7 ) x* = c = 2x.
W ir wenden jetzt die Formel des H ilfssatzes an, und er
halten so
(8) x ~ x 2.
 E s ist nun
x< 2x< xx)
also nach (8 )
x = 2 x = c.
D er B ew eis, der hier gefhrt ist, benutzt allein die Eigen
schaft des Continuum , dass es seinem Quadrat quivalent ist.
E r h a t f r a l l e M e n g e n , f r d ie M 2 M i s t , G ilt ig k e it .

Z w e it e s K a p ite l.

Das C ontinuum u n d d ie O rdnungstypen.

6-
ber die Ordnungstypen.
E s gelten die folgenden grundlegenden Definitionen
(G. C a n to r 1).
1. E ine Menge h eilst e i n f a c h g e o r d n e t , w enn fr die
Elem ente derselben eine solche Rangbeziehung besteht, dafs
erstens von zw ei beliebigen E lem enten a und b der
M enge, immer e i n s d a s n ie d r ig e r e is t ; in Zeichen
( 1 ) entw eder a ( (niedriger) b, oder a ) (hher) b
und
zw eiten s, w enn a niedriger als b und b niedriger als c
ist, auch a niedriger als c ist. A us
(2 ) a ( b , b ( c folgt a ( c .
2. Sind M und N zw ei quivalente einfach geordnete
Mengen und giebt es unter der Gruppe der umkehrbar ein
deutigen Abbildungen zw ischen M und N solche, die M uitd N
unter Aufrechterhaltung der O rdnungsbeziehung zw ischen ihren
Elementen aufeinander abbilden, so heifsen M und N h n
l i c h g e o r d n e t e M engen und die betreffenden Abbildungen,
h n l i c h e A b b ild u n g e n .
S a lz 3. Unter O r d n u n g s t y p u s einer Menge M versteht
man denjenigen A llgem cinbegriff, unter den sie selbst sow ie

1) G. Cantor, Grundlagen e. allg. Mannigfaltigkeitsichre.

alle m it ihr hnlich geordneten Mengen fallen. Er entsteht,
wenn man von der individuellen Beschaffenheit der Elemente
von M absieht und nur die Rangbeziehung unter ihnen bei-
behlt
4. U nter einer w o h lg e o r d n e t e n Menge versteht man
eine solche, die einfach geordnet ist, ein niederstes Elem ent
besitzt, und bei der auf jede Teilm enge von Elem enten, auf die
noch hhere Elem ente folgen, ein ganz bestimmtes zunchst folgt.
5. D ie Ordnungstypen der wohlgeordneten Mengen be
sitzen G r fse n C h a r a k te r . Sind und zw ei solche Ord
nungstypen, so heifst a grfser als , w enn eine h n lic h e
Abbildung existiert, die eine Menge vom Typus auf einen
Teil einer Menge vom T ypus a abbildet, dagegen das Um
gekehrte nicht statt hat. Im anderen Falle heifst a kleiner
als . Es besteht nun der wichtige
S a tz. Sind a und zw ei Ordnungstypen wohlgeordneter
M engen, so ist stets >
a <'
Man bezeichnet daher die Ordnungstypen der wohlgeord
neten Mengen als O r d n u n g s z a h le n .
6 . D ie Gesamtheit aller Ordnungszahlen abzhlbarer Mengen
bildet die z w e i t e Z a h le n k la s s e . B ezeichnet man die Mch
tigkeit dieser M enge, deren Elem ente also die verschiedenen
Ordnungszahlen sind, m it Nj, die Mchtigkeit der Menge der
natrlichen Zahlen m it n0, so besteht der fundamentale
S a tz. E s ist w ^ vv

Ferner zeigt sich , dafs jede Teilm enge von Nj entweder

die Mchtigkeit a , oder die Mchtigkeit k 0 hat. E s ist genauer
N, die auf k\%0 zunchst folgende M chtigkeit, d. h. jede Menge 3/,
w elche von hherer Mchtigkeit als K0 ist, enthlt eine Teil
m enge von der M chtigkeit av l)
E s ist leicht sich B eispiele fr die Ordnungszahlen der
zweiten Zahlenklasse zu verschaffen: so bilden die Menge der
natrlichen Zahlen ein e Menge vom niedersten transfiniten
Ordnungstypus. Derselbe Ordnungstypus erscheint in der

1 ) Der Beweis hierfr ist von G. Cantor gefhrt, aber bisher nicht
publiziert worden.
M enge der Zahlen Dagegen entsteht ein hherer
T ypus, w enn man noch die E in s auf alle diese Zahlen nach-
folgen lfst. Denn es ist unm glich die Menge , i , , $ , 1
h n lic h auf die ursprngliche Menge abzubilden.
7. Endlich sei noch erwhnt, dafs die wohlgeordneten
M engen von der M chtigkeit n , z u der Bildung noch hherer
Ordnungszahlen Veranlassung geb en , und dafs die konsequente
Fortfhrung dieser Gedanken zu der A ufstellung einer un
begrenzten Reihe von Ordnungszahlen und zu einer lcken
losen Folge von M chtigkeiten hinfhrt, w elche als das System
der A leph bezeichnet wird.

W ie bereits erwhnt, hat das Problem , die Mchtigkeit

des Continuum zu bestim m en, die specielle Gestalt gewonnen,
zu entscheiden, ob das Continuum grfser oder gleich der auf
die abzhlbare M chtigkeit zunchst folgenden M chtigkeit n ,
is t D a das Continuum definiert ist als Inbegriff der r e e lle n
Z a h le n , n , hingegen als die M chtigkeit des Inbegriffs aller
O r d n u n g s t y p e n w o h l g e o r d n e t e r abzhlbarer M engen, so
ist es ein e Vorbedingung zur Lsung dieser Frage, e i n e
s o l c h e B e z i e h u n g z w is c h e n d e n r e e l l e n Z a h le n und
d e n O r d n u n g s t y p e n z u g e w in n e n , d a f s b e id e M e n g e n
a ls S y s t e m e v o n E le m e n t e n g l e i c h e r B e s c h a f f e n h e i t
e r s c h e in e n .
D ies geschieht durch den folgenden Satz.
S a tz 1. D a s C o n t in u u m i s t q u iv a le n t d e r G e s a m t
h e i t 0 a l l e r O r d n u n g s t y p e n e i n f a c h g e o r d n e t e r M en
g en e r s te r M c h tig k e it
D er B ew eis dieses Satzes geschieht durch Anwendung
des quivalenzsatzes. D ie eine Hlfte der Behauptung, nm
lich das K leiner- resp. Gleichsein des Continuum gegenber
der Menge aller abzhlbaren T ypen, ist von G. C a n to r be
w iesen und eingangs dieser Arbeit m itgeteilt D er Bew eis,
dafs das Continuum grfser oder gleich der in Rede stehenden
Gesamtheit von Ordnungstypen ist, wird im Anschlufs an eine
allgem eine Diskussion des Ordnungsbegriffes gefhrt werden,
die uns zugleich eine anschauliche D eutung der transfiniten
Ordnungszahlen liefern wird.
 7-
Ordmingstypen und Ordnungsfunktioneii.
Allo Begriffe der M engenlehre knnen zurckgefhrt wer
den auf die folgenden drei
E lem ent, System , Abbildung (Funktion).
D ie Ordnung einer Menge M stellt eine Bestim m ung hin
sichtlich der Paare (, b) von Elem enten dar, w elche zwei
M glichkeiten < 6 , b ( a bietet. Sie kann reprsentiert werden
durch eine Funktion f a,b der Menge M 2 der Paare (a, b). welche
gleich - f l oder 1 ist, jenachdom a ( b oder a ) b ist (und
die fr a = b den W ert 0 erhlt).
Das Gesetz 6 , 1 drckt sich so aus, dafs aus
(3 ) fa .b = fb ,c f o l g t fa ,b = fb ,e

Es entsteht die Frage, wann reprsentieren zw ei Ordnungs

funktionen, die sich auf dieselbe Menge beziehen, denselben
Ordnungstypus? D ies beantwortet der
Satz. Zwei Ordnungsfunktionen [ und f 2 reprsentieren
d a n n und n u r d a n n denselben Ordnungstypus, wenn es
eine umkehrbar eindeutige Abbildung <p der Menge M in sich
giebt, so dafs
W /iy(a),y( 6) = fia,b ("ro a und b alle W erte von M
durchlaufen)
ist. D enn ist der zu M gehrige Ordnungstypus,
und ist erstens
(5) rp(a) = a
die h n lic h e Abbildung, w elche die nach f.2ati geordnete
Menge auf M hat, so ist
(6 ) 1'[<p(ll)\ - 9()
diejenige hnliche Abbildung, w elche die nach f x geordnete
Menge auf den Ordnungstypus abbildet. Reprsentiert zw eitens
f und f 2 denselben Ordnungstypus, so sind zwei Abbildungen
und 1 gegeben, so dafs
(7) !/>,() =

welche die nach f x resp. f2 geordnete Menge hnlich auf den

Ordnungstypus abbilden. A u s der hnlichkeit der Abbildung
folgt dann, dafs
 f V'I() V'I(*) = /* V'i ()V'a(*)
ist. Da # , >, , , ^ alle W erte von M durchlaufen.
Ich setze nunm ehr ^ '(a), V^ 1^ ) an Stelle von a und b
und erhalte
f i V'i W 1 (a) Y'1W 1 (fc) ~ f2a,b-

D iejenigen Ordnungsfunktionen, w elche zu demselben Ord

nungstypus gehren, sollen eine S c h a r von Ordnungsfunktionen
heifsen. Man erkennt aus dem B ew iesenen den
S a t z : D ie Gesamtheit aller Ordnungsfunktionen einer
Schar bilden eine Menge von der gleichen Mchtigkeit, wie
die Gruppe der umkehrbar eindeutigen Abbildungen der Menge
in sich.
D er Ordnungstypus erscheint hier als die Invariante der
Schar.
Bevor ich die obigen Stze auf die Zahlen der zweiten
Zahlenklasse anw ende, mchte ich erwhnen, dafs mit Hilfe
der eingefhrten Begriffe das Problem, das Continuum in eine
wohlgeordnete Menge zu verwandeln, ein e einfache Gestalt
g ew in n t
E in e w ohlgeordnete Menge knnen w ir nmlich auch
als eine solche definieren, in w elcher jede Teilm enge ein
niederstes Elem ent b e sitz t Legen wir nun das Continuum
in der Form der Einheitsstrecke mit ihren Punkten zu Grunde,
so knnen w ir sagen:
Es wird die Existenz einer eindeutigen Funktion f ( x , y )
der reellen Variablen x und y behauptet, welche
1) definiert ist fr alle Punkte des Einheitsquadrates,
2) w elche den Gleichungen
/(*,y ) ------ i
gen gt und auf der Graden x y N ull ist,
3) w elche in B ezug auf jede Teilm enge P (p) der Zahlen
zwischen 0 und 1 fr e in u n d n u r e in Elem ent der Glei
chung f ( l ) }q ) = + 1 gengt (wo q alle W erte von P durchluft).
Solche Funktionen will ich mit C ( x , y ) bezeichnen. Sie
sind berall unstetige Funktionen, aber ihre sehr merkwrdigen
Eigenschaften w eichen von denen der bisher studierten un
stetigen Funktionen in hohem Mafse ab.
 8.
Der Beweis des Satzes 1 ( a u f Grund der Eigenschaften
der Ordnungsfunktionen.
Um die Ordnungsfunktion fr die abzhlbaren Mengen
darzustellen, sei eine einfach unendliche Teilm enge der reellen
positiven Zahlen zu Grunde gelegt. Besondere Einfachheit
und A nschaulichkeit erreicht m an, wenn man die Menge der
rationalen Zahlen oder die Reihe der natrlichen Zahlen whlt.
Bei letzteren insbesondere wird die Menge der Paare durch
das ebene Punktgitter dargestellt, w elches alle Punkte (x,ij)
mit positivem ganzzahligen x und y enthlt. Man hat dann
zur Reprscntierung der n a t r li c h e n Ordnung die Punkte
x < y mit der positiven, die Punkte x > y m it der negativen
Einheit zu belegen. Ist /*, ( x ,y ) eine beliebige Ordnungs
funktion derselben M enge, so wird sie durch eine Belegung
ries Punktgitters m it dem selben, oder dem entgegengesetzten
W ert dargestellt, je nachdem die Rangordnung zw ischen x
und y mit der Grfsenbeziehimg bereinstim mt oder entgegen
gesetzt. ist
N icht jede Belegung des Punktgitters mit positiven oder
negativen Einheiten stellt eine Ordnung dar. Vielm ehr wird
erstens
f , (*, y) - f (y , *) "< f (y, y ) - o
gefordert; zw eitens niufs auch die Bedingung des Einfach
geordnetseins (aus a > b, b > c folgt a > c) zum Ausdruck
kommen. bersichtlich geschieht dies in der folgenden W eise.
Man verbinde alle P unkte, w elche den W ert - f 1 (oder 0) tra
gen , untereinander durch geradlinige Strecken und in gleicher
W eise alle, w elche den W ort 1 (oder 0) tragen. Man nenne
das ein e Streckensystem das positive, das andere Strccken-
system das negative. V ersteht man ferner unter der zu
der Strecke (xy fjy % y 2) k o n j u g ie r t e n Strecke die mit
(x i V i 2 ?/i) zu signierende, so kann man einfach sagen: die
zw eite Bedingung, damit eine Belegung eines Punktgitters
m it positiven und negativen E inheiten ein e Ordnungsfunktion
darstelle, besteht darin, dafs n ie m a ls eine Strecke des posi
tiven System s konjugiert ist einer Strecke des negativen
Systems.
Denn haben wir ein derart beschaffenes Punktgitter, und
sind a, b , c drei beliebige Elem ente der M enge, so dafs
fa ,b = fb ,c = = i ^
ist, es sei etwa
fa ,c

W ir betrachten das Viereck (a,b) (b,b) (b,c) (a,c); die

Strecke (ab bc) gehrt zum -System , also mufs die kon
jugierte Strecke (bb ac) entw eder selbst ein e Strecke des
e-S ystem s, oder ein e V erbindungsstrecke eines positiven mit
einem negativen P unkte sein. D a jedoch 0 ist, so kann
das letztere nicht stattfinden, also ist auch /*,<>=.
Ist umgekehrt das Ordnungsgesetz erfllt, und ist
M m = fa yt,
fxty., - fx.,y
so folgt, aus
friVi = f a t h
ein W iderspruch. Denn e s ist einerseits

andrerseits
fxtx2 = fx2x, = fy.Xy - = f a y 1-
Hieraus wrde folgen x v = = y t *= y2> was der
Annahme (*i ^ i) =(= (* 2 ^2 ) unvertrglich is t
Beweis des Satzes 1. W ir zeigen zunchst, dafs
0 = <c is t -
Nach den Ausfhrungen im vorigen Paragraphen gehrten
zu jedem Ordnungstypus eine Schar von darstellenden Ord
nungsfunktionen. Insbesondere gehrt also zu jedem Ord
nungstypus einer lineargeordneten abzahlbaren Menge eine
Schar von Punktgittern.
D ie M chtigkeit, w elche eine Schar von Ordnungsfunk
tionen, aufgefafst. als M enge, besitzt., ist gleich der Mchtig
keit der Gesam theit TI aller Permutationen der natrlichen
Zahlenreihe. D en W ert von I I werden w ir noch genauer be
stimmen. Jedenfalls ist die Gesamtheit 0 der Ordnungstypen
kleiner oder gleich der Gesamtheit der Ordnungsfunktionen:
o<{M -
 Es lfst sich aber noch ein e zw eite Auffassung der Ord
nungsfunktionen bilden. Man fasse das Punktgitter als eine
D o p p e lr e ih e v o n N u lle n , p o s i t i v e n u n d n e g a t i v e n E in
h e it e n a u f u n d v e r w a n d le e s in d e r b e k a n n t e n W e is e
in e i n e e i n f a c h e R e ih e . Ersetzt man dann noch die 1
durch + 2 , so stellt die letztere eine bestimmte reelle Zahl
zw ischen N ull und Eins im tryadischen Zahlsystem dar. Diese
Darstellung ist im w esentlichen eindeutig. V ergleicht man
nun 0 m it dem Continuum, so erhellt daraus
0 < c.
W ir ziehen nunmehr das Resultat aus I heran
> c.
Der quivalenzsatz erlaubt jetzt den Schlufs
0= c.

Zusatz. D ie Gesamtheit TI aller Permutationen der

natrlichen Zahlenreihe hat die Mchtigkeit c.
Bciccis.D ie Gesamtheit aller Teilungen der natrlichen
Zahlen m enge hat die M chtigkeit c.
D enn man setze fr alle Zahlen der Reihe (1, 2, 3 . . .).
w elche in einer Teilm enge Vorkommen, E in s e n , fr die nicht
vorkommenden N u lle n . D ie so entstehende Folge von N ullen
und E in sen stellt ein e reelle Zahl im dyadischen System dar.
So entsteht eine umkehrbare, im w esentlichen eindeutige Be
ziehung zwischen dem Continuum und der Menge der Teil
mengen.
D er w esentlichste Punkt des B ew eises ist, zu zeigen,
dafs jede Teilm enge der Menge der natrlichen Zahlen eine
Permutation besitzt, bei der jede Zahl derselben den Platz
wechselt. Man stellt eine solche dadurch dar, dafs man
in der Teilm enge die (2w)te Zahl m it der (2 n - f l)te n ver
tauscht.
Fr zw ei verschiedene Teilmengen sind die auf solche
W eise definierten Permutationen natrlich verschieden. Es
ist also I I grfser oder gleich der Gesamtheit der Teilmengen,
d. h. grfser oder gleich dem Continuum. Dafs aber H auch
kleiner oder gleich dem Continuum ist, folgt sehr einfach.
Fafst man nmlich die Zahlen der Permutation in ihrer Reihen
folge als die T eilnenner ein es Kettenbruchs auf, so erhlt man
fr jede Permutation einen bestimmten Kettenbruch, der eine
reelle Zahl darstellt. Jeder Permutation entspricht so eindeutig
ein e reelle Zahl. D ie Gesamtheit I i entspricht einer Teilmenge
der Gesamtheit der reellen Zahlen.
D a also TI erstens nich t kleiner, zw eitens nicht grfser
ist, als das Continuum , so folgt aus dem quivalenzsatz, dafs
/ / = c is t

9.
Verallgem einerung und zw eiter Beweis des Satzes 1. 0.
Nach der in 2, 3 angefhrten D efinition des Potenz
begriffes lfst sich die Kardinalzahl des Continuum in die
Form c 2** setzen, wenn w \ 0 die Kardinalzahl der Menge
der natrlichen Zahlen bedeutet (G. Cantor1).
W ir knnen demgemfs dem Satze 1 des 6 auch die
folgende Fassung geben:
D i e G e s a m t h e it d e r T y p e n e in f a c h g e o r d n e t e r M en
g e n v o n d e r M c h t ig k e it k0 h a t d ie M c h t ig k e it 2**o.
D ie bekannte D efinition der Kardinalzahl n , lautet
(G. Cantor2):
D ie G e s a m t h e it a l l e r T y p e n d e r w o h lg e o r d n e t e n
M e n g e n v o n d e r M c h t ig k e it c*0 h a t d ie M c h t ig k e it
D iese Parallelitt der D efinition von K, und 2 N0 bertrgt
sich ebenso auf die hheren Aleph. Es ist die Gesamtheit
der einfach geordneten Mengen von der Mchtigkeit k die
Potenz 2**, die Gesamtheit der wohlgeordneten Mengen von
der M chtigkeit n liefert die nchstfolgende Kardinalzahl
D er B ew eis ist in jeder B eziehung analog dem im ein
fachsten Falle gefhrten, so dafs derselbe hier bergangen
werden kann.
Dagegen soll fr den speziellen hier ausgefhrten Fall,
ein zweiter einfacherer B ew eis gegeben w erden, der auf einer
E igenschaft des Typus y der rationalen Zahlen beruht. Es
gelten die beiden folgenden Stze (G. Cantor1):

1) Math. Ann. Bd. 46, S. 481 (1895).

2) G. Cantor, Grundlagen einer allgem. Mannigfaltigkeitslehre.
 H ilfssa tz 1. L iegt zw ischen je zwei Elem enten einer
einfach geordneten a b z a h lb a r e n Menge stets ein Element,
so is t sie vom Typus rj (d. h. man kann sie hnlich auf die
Menge der rationalen Zahlen abbilden), wenn man ihr nied
rigstes und ih r hchstes Glied beseitigt
H ilfssa tz 2. E s ist die Menge
(V> 1> V) =*V + 1 + V
selbst vom Typus ?/, also
V + 1 + V = V-
H ierauf grnden wir den folgenden Satz.
S a tz 1. Ist (.i ein Ordnungstypus einer beliebigen abzahl
baren, einfach geordneten Menge, so giebt es stets eine Teil
menge von rj, w elche den Typus /i besitzt
Beweis. W ir gehen aus von dem Ordnungstypus und
zeigen, dafs wir durch Einschaltung von Elem enten an g e
eigneten Stellen denselben zum Typus rj umwandeln knnen.
Diejenigen Elem ente, w elche z w i s c h e n zwei Elementen
et und e2 des Typus u liegen sind vllig bestim m t, w ir nennen
sie das Intervall (el e2).
Enthalten sm tliche vorhandene Intervalle Elem ente, so
ist der Typus (.i nach Hilfssatz 1 von der Form jy, oder
1 + 9? V + 1> 1 + 9 + 1? da man durch Streichung der nie
drigsten und hchsten Glieder von // dann stets den Typus rj
erhlt Fgt man daher den Typus rj sowohl vor als hinter
den Typus /x hinzu, so ist sicher nach Hilfssatz 2
v+ + n = v-
Enthalten n ich t sm tliche Intervalle Elem ente der Menge,
so schieben w ir in alle elementfreien Intervalle Mengen vom
Typus rj ein. D ie so entsehende Menge fi* erfllt sicher die
Bedingungen des H ilfssatzes 1 , dafs in jedem Intervall Ele
m ente vorhanden sind. E s ist also w ieder
v + p*+v-v-
S ch lie lich erinnern wir noch an den Satz
H ilfssatz 3. D ie Gesamtheit der Punkte eines abzhlbar
unendlich-dim ensionalen Continuum besitzen die Mchtigkeit
des Linearcontinuum. In Zeichen
(2 o ) o = 2 N o.

Beweis zu Satz 1 6 .
 Der Typus rj sei reprsentiert durch die Gesamtheit der
rationalen Zahlen. Nach Satz 1 gicbt es Teilm engen von
rationalen Zahlen, w elche ein en beliebigen vorgelegten Typus rj
darstellen. D ie Menge 0 aller Typen u ist daher kleiner oder
gleich der Menge R aller Teilm engen aus rationalen Zahlen.
W ir denken uns nunm ehr ein abzhlbar unendlich-dim en
sionales Continuum. Jeder Teilm enge (r1? r2, ...) der rationalen
Zahlenmenge knnen eindeutig diejenigen Punkte zugeordnet
werden, deren Ordinaten (# ,, * ,...) in irgend einer R eihen
folge (r1? r2, . . . ) sind.
D ie M enge R aller Teilm engen aus rationalen Zahlen ist
daher kleiner oder gleich der Menge der Punkte des unendlich-
dim ensionalen Continuum.
Nach H ilfssatz 3 ist also
R < 2 wN0 = c .
Nun war andrerseits
0 < R also 0 < c.
Hierm it sind w ir aber unter Zuhilfenahme der Gleichung I
w ieder zum B ew eise des Satzes 1 gelangt.

D r itte s K a p ite l.

Die Mengen im C ontinnnm und (las

U ltracontin u u m .
D ie Behauptung von G. Cantor, dafs im Continuum nur
zw ei verschiedene M chtigkeiten Vorkommen, ist eine Aussage,
welche sich auf a l le Teilm engen des Continuum bezieht. Man
kann sie in der Form aussprechen:
Jede Teilung T des Continuum ist entweder abzhlbar
oder von der M chtigkeit des Continuum.
B isher bew iesen ist dieser Satz nur fr die a b g e s c h l o s s e
n e n Mengen A , d. h. diejenigen, welche alle ihre Grenzelc-
mente enthalten.
U m nun den Umfang des bereits Geleisteten und des noch
zu Leistenden abzuschtzen, wird man die Frage aufwerfen:
 W e lc h e S t e l l u n g n e h m e n d ie a b g e s c h l o s s e n e n M e n
g e n u n t e r a l l e n T e ilm e n g e n d e s C o n t in u u m e in ?
W ir beantworten diese Frage mit H ilfe einer der Mengen
lehre eigentm lichen B e t r a c h t u n g s w e i s e , die darin besteht,
dafs w ir die H u f i g k e i t beider Arten von Mengen in V er
gleich ziehen.
W ir bilden also diejenigen beiden Mengen {/} und 7 },
deren einzelne Elem ente die Mengen A und T sind und stellen
das Verhltnis ihrer M chtigkeit fest.
D ie Menge [ T aller Teilmengen des Continuum war schon
bei anderer G elegenheit von G. Cantor untersucht, und er hatte
gefunden, dafs dieselbe eine hhere M chtigkeit als das Con
tinuum besitzt.
Von der Menge {^1} bew eisen w ir dagegen den folgen
den Satz:
D ie G e s a m t h e it {yl} a lle r a b g e s c h lo s s e n e n M e n g en
h a t d ie M c h t ig k e it d e s C o n tin u u m .
W ir erhalten also das R esultat, dafs die abgeschlossenen
Mengen in g e r i n g e r e r Anzahl vorhanden sind, als die nicht-
abgeschlossenen. D as Verhltnis beider ist ein hnliches wie
das zw ischen algebraischen und transcendenten Zahlen. Der
Satz wird in der Art bew iesen, dafs ein Verfahren angegeben
wird, w ie man zu jeder abgeschlossenen Menge eine be
stimmte reelle Zahl finden kann, w elche sie umgekehrt vllig
charakterisiert.
Zu den abgeschlossenen Punktm engen gehren alle Kurven
und Flchen im Baum e von den mannigfachsten Formen und
Gestalten, und es ist eine merkwrdige Thatsache, d a fs s o m it
e i n e e i n z i g e r e e l l e Z a h l a u s r e ic h t , um j e d e a u c h n o c h
so k o m p li z i e r t e u n t e r ih n e n zu b e h e r r s c h e n .
D ieselbe Betrachtungsweise, w ie sie auf die abgeschlosse
nen Mengen angewendet w urde, lfst sich auch auf die von
B a ir e eingefhrten Mengen erster und zw eiter Kategorie aus
dehnen. D as Resultat ist hier ein n e g a t i v e s , es lfst sich
m it H ilfe dieser Begriffe keine w esentliche Erweiterung der
bisherigen Stze erlangen.
E s fragt sich nun, w ie g e l a n g t m a n zu e i n e r E r
w e it e r u n g d e r S t z e in d e m a n g e g e b e n e n S in n e ?
 D er hier eingeschlagene W eg besteht, darin, dafs das Con-
tinuum auf e i n e a n d e r e F o r m gebracht wird. E s wird ein
hherer Typus konstruiert, innerhalb dessen es gelingt, fr
eine Tcilm engenklasse, w elche 2, Mengen enthlt, die Mch
tigkeitsfrage zu entscheiden.
Dafs die Kardinalzahl 2**i grfser ist als die Kardinalzahl
2^o, ist sehr wahrscheinlich. Der B ew eis hierfr steht jedoch
noch aus.

10 .
Erklrung 1. Zwei Teilm engen des Continuum betrachten
w ir als verschieden, wenn sie in irgend einem Punkte nicht
bereinstimmen. Die G e s a m t h e it aller Teilm engen Tc be
zeichnen wir mit {7T c}; ihre M chtigkeit ist (G. Cantor)
(1 ) 2 C> c.
Erklrung 2. E ine Menge heifst abgeschlossen, wenn sie
alle ihre Grenzpunkte enthlt. D ie Gesamtheit der vonein
ander verschiedenen abgeschlossenen Mengen A bezeichnen
wir m it {yl}. W ir behaupten den folgenden Satz:
S a tz 1. E s i s t
(2) {/i}~c,
d. h.: D ie G e s a m t h e i t a l l e r a b g e s c h l o s s e n e n M e n g e n i s t
v o n d e r M c h t i g k e i t d es C o n tin u u m .
Dem B ew eise schicken w ir die folgenden H ilfsstze voraus.
U ilfssatz 1. Alle abzahlbaren Teilm engen Bn eines 9dimen
sionalen Raum es Cn bilden in ihrer Gesamtheit eine Menge von
der M chtigkeit c.
Beweis. D ie M chtigkeit aller Punkte des n dimensionalen
Raumes betrgt nach den bekannten Stzen c = 2**0. D ie Ge
sam theit aller abzahlbaren Teilm engen desselben {/?} ist jeden
falls kleiner oder gleich der Menge aller Kombinationen dieser
Punkte zu Klassen von n0-Elem enten. Nach der Cantorschen
Definition des Potenzbegriffes ist also die Kardinalzahl { B n}
{ l l } < co;
da aber
C**o= c,
so ist e r s t e n s
{J?} < c.
 Dafs aber andrerseits
{>c
ist, erhellt daraus, dafs jeder Punkt des k0 dim ensionalen Con
tinuum fr sich genommen eine abzahlbare Teilm enge des
eindim ensionalen Continuum reprsentiert, so dafs die Anzahl
der letzteren sicher die Anzahl c der ersteren erreicht Das
quivalenztheorem liefert dann die Behauptung
{B n}cv>C.
E rklrung 3. ) Jed e abgeschlossene lin e a r e Menge ist
bestimmt durch die zugehrige Menge punktfreier Intervalle
(G. C antor1) und 6 ) jede Menge von getrennten Intervallen be
stim m t eine abgeschlossene M enge, w elche durch die E nd
punkte der Intervalle und deren Grenzpunkte gebildet wird.
Ilfssa tx 2. D ie Gesamtheit aller Mengen, w elche ans
getrennten Intervallen bestehen, betrgt
{ 7 ) = c.
Beweis. Jede M enge, w elche aus getrennten Intervallen
besteht, ist bekanntlich abzhlbar. D as Gleiche gilt infolge
dessen auch fr die Menge der Intervall-Endpunkte.
Werden zw ei verschiedene Mengen von getrennten Inter
vallen durch dieselbe Menge E von Endpunkten bestim m t, so
wollen w ir sie z u s a m m e n g e h r ig nennen.
Jedenfalls machen alle durch dieselbe Menge E bestimm
ten zusammengehrigen Intervallm engen hchstens ein e Menge
von der M chtigkeit c aus. D enn es giebt eine durch E e in
deutig bestimmte Intervallmonge / * , w elche a lle aneinander
grenzenden, durch die Punkte von E getrennten Intervalle
en th lt I * enthlt eine a b z h lb a r e Anzahl von Intervallen,
die brigen Intervallmengen entstehen durch A uslassung von
Intervallen, d. h. sie stehen zu I * in dem Verhltnis von Teil
mengen. Ihre Gesamtheit ist daher hchstens 2 ^'0 = c. Die
Gesamtheit aller Intervallmengen ist also hchstens {2?} c.
(9) 1 } < { E }c.
D ie Menge E ist ein e abzhlbare Teilm enge der Conti
nuum. A lso ist nach H ilfssatz 1
(1 0 ) {!:}<

1 ) G . C a n t o r , A c ta M a th . B d . I I .
Mithin ist
(11) {7}<cc<c.
Ferner ist aber
(12) {7)>c.
Denn die kongruente stetige Verschiebung einer Intervall
m enge stellt in jeder Lage eine andere Intervallmenge der
selben A rt dar.
E s folgt also
(13) - {7} = c.

B ew eis von S a lz 1. Nach der Erklrung 3a) und b) g e

hrt zu jeder Menge A eine Menge / umkehrbar eindeutig
hinzu. E s ist also
{*}-{'}
Mithin ist auch
(14) { ^ } = c.

Folgerung. D ie perfekten M engen, w elche fr die Ana

ly sis von vielfacher Verwendung sind, sind ein Specialfall der
abgeschlossenen Mengen. E s folgt aber fr diese sofort
fl< c.
Andrerseits ist, w ie leicht zu sehen,
{ ! > } > c.
und som it
{P } = C.

Man kann also jede perfekte Menge durch eine einzige reelle
Zahl vllig charakterisieren und ihre Gesamtheit durch die
reellen Zahlen abzhlen.
Z u sa tz 1. D er Satz 1 bleibt auch fr die abgeschlossenen
Mengen im n dim ensionalen Continuum giltig.
Um dies zu bew eisen , beziehen w ir uns auf den von
G. C a n to r gegebenen Satz.
H ilfssa tz 3. Jede abgeschlossene Menge im Cn lfst sich
als Ableitung einer abzhlbaren Menge auffassen.
Jed e Menge bestimmt ihre Ableitung eindeutig. Die
Gesamtheit der A bleitungen der abzhlbaren Mengen ist daher
kleiner oder gleich der Gesamtheit c derselben.
A lso ist auch
{}<c.
Und da nach Satz 1 die linearen Mengen die M chtigkeit c
haben, so ist auch
{ J B}> C .
Mithin ist
{! }= c .

n-
Die Mengen erster und zw eiter Kategorie.
Es werden fr die Mengen erster und zweiter Kategorie
( B a i r e 1) zw eckm ig folgende D efinitionen gegeben.
E rklrung 1. Sind <?2, . . ., Qy, . . . nirgends dichte
Mengen und ist das kleinste gem einschaftliche Multiplum 9W(Qt)
derselben eine berall dichte M enge, so h e i t 9)? (Qy) eine
Menge erster Kategorie.
Ist R die Komplementrmenge zu J?(@y), so soll l i als
ein e Menge zw eiter Kategorie bezeichnet werden.
Die Begriffe berall dicht, nirgends dicht, Komplementr
m enge beziehen sich hier auf das Continuum. L egt man an
Stelle desselben eine perfekte oder abgeschlossene Menge zu
Grunde, so wird man zu entsprechenden Begriffen gefhrt.
Erklrung 2. Fr M chtigkeitsuntorsuchungen ist es
zw eckm ig, von den Mengen Qy noch das A b g e s c h l o s s e n
s e i n zu fordern. Man bezeichne die so entstehenden Mengen
erster resp. zw eiter Kategorie als g e s c h lo s s e n .
B a i re hat bew iesen, dafs die Mengen zweiter Kategorie
stets die M chtigkeit c haben. D ie geschlossenen Mengen
erster Kategorie haben offenbar stets die M chtigkeit n 0 oder c.
S a tz I. D ie Gesamtheit aller g e s c h l o s s e n e n Mengen
erster resp. zweiter Kategorie bilden eine Menge von der
M chtigkeit c.
Beweis. W ir bezeichnen die fragliche Gesamtheit m it }.
Zu jeder Menge erster Kategorie giebt es eine sie definierende
einfach unendliche Reihe abgeschlossener Mengen Qy. Es ist
daher {',[ kleiner oder gleich der Gesamtheit aller einfach
unendlichen Reihen aus abgeschlossenen Mengen. A lle Koni-

1 ) B a i r e , A m i. d i m a t. B d . 3 , S . 6 7 (1 8 9 9 ).
binationen zu je z 0 Elem enten aus abgeschlossenen Mengen
bilden eine Menge von der Mchtigkeit
(3}**o =. c^ 0 = c.
Es ist mithin

Dafs aber {/ i , } nicht kleiner ist als c, folgt sehr leicht,

wenn man bedenkt, dafs kongruente V erschiebung einer Menge
erster Kategorie in jeder Lage ein e Menge erster Kategorie
darstellt Es ist also
{ * ,} = c.
D ie Verallgem einerung des Satzes 1 auf beliebige ab
geschlossene Mengen vollzieht sich in der folgenden W eise.
Erklrung 3. E ine Menge Q heifst n ir g e n d s d ic h t in
Bezug auf eine abgeschlossene Menge P , wenn sie eine Teil
m enge derselben ist und es kein Intervall der Menge P giebt,
in welchem P und Q identisch sind. Sie heifst b e r a ll d ic h t
in Bezug auf P , wenn jedes E lem ent von P der Menge Q
oder ihrer A bleitung angehrt S ie heifst a b g e s c h lo s s e n in
Bezug auf P , wenn sie ihre in P liegende Ableitung enthlt
S a tz 2. D ie Gesamtheit aller geschlossenen Mengen erster
resp. zw eiter Kategorie in Bezug auf eine abgeschlossene
M enge, bilden eine Menge von der Mchtigkeit c. Fafst man
nun die Gesamtheit aller Mengen erster und zweiter Kategorie
ins A u ge, gleichgiltig in welchen (abgeschlossenen) Mengen
sie definiert sind, so sieh t man:
S a tz 3. D ie Gesamtheit aller Mengen (Kx) ist c c c.1)

12.
Das Ultracontinuuni.
Es handelt sich im folgenden zunchst um die Kon
struktion einer M enge, w elche dieselbe M chtigkeit w ie das
Continuum, aber einen ndern Ordnungstypus b esitzt Zuvor
leite ich einen Satz ber alle Aleph ab.

1) E s i s t e in o u n m i t t e l b a r e F o l g e r u n g d e s S a t z e s 3 , d a fs a u c h a lle
e in f a c h u n e n d l i c h e n S u m m e n a u s M o n g o n z w e i t e r K a te g o r ie , d i e g e s c h lo s s e n
s i n d , e i n e M e n g e v o n d e r K a r d in a lz a h l c a u s m a c h e n . D ie s e s E r g e b n i s s t e h t
im W id e rsp ru c h m it e in e m von H e rrn J Je p p o L e v i, R e n d i c o n ti d e lla
 S a tz 1. M an b e z e ic h n e d ie K a r d in a lz a h le n ir g e n d
w e lc h e r w o h l g e o r d n e t e r M e n g e n m it und es
is t ste ts
(1 ) = 2 -S|'
Dem B ew eise stelle ich die H ilfsstze voran:
H ilfssa tz 1. E s sei n eine ganze endliche Zahl, so ist
an -= K
fr jedes Aleph.
D en B ew eis des Satzes, den ich aus m ndlicher Mittei
lung von G. C a n to r kenne, fhrt man analog w ie im ein
fachsten Falle n0 durch Verwandlung e in e r D o p p e l
r e ih e in e i n e e i n f a c h e R e ih e . Man benutzt dabei die
aus den Zahlen der Zahlenklasse, w elche die M chtigkeit n
darstellt, gebildete Folge.
Ililfssa lz 2. Sind M und N irgend w elche Mengen,
so ist
2 M - 7 i M 2 n (wo n alle Elem ente von N durchluft).
H ilfssa tz 3. Ist
NV>N,,.
so ist
(3 ) w\v =

D ieser Satz folgt aus H ilfssatz 1 und dem quivalenzsatz;

denn e s ist

und m,. < f,2 = .

W ir unterscheiden bei dem B ew eise des Satzes 1 zwei
Flle. Erstens sei
(4) N x>>V
Dann ist auch
(5) 2 NV >
also (2 ^ ) N V > N/<wSV.
Nach den Gesetzen fr die Potenzen der Mengen und
nach H ilfssatz 1 ist also

A c a d e m ia d e i L in c e i A g o sto 1 9 0 0 , a u s g e s p r o c h e n e m S a t z e , d a f s s i c h j e d e
T e ilm e n g e d e s C o n tin u u m a ls e in f a c h u n e n d lic h e R e ih e .so lc h e r M e n g e n
d a r s t e l l e n la s s e . D a h e r s e h e ic h m ic h g e n t i g t , d i e R i c h t i g k e i t s e i n e r B e
w e is e a n z u z w e if e ln .
 A lso ist, da auch
2 *r<fy*r,
(6 ) 2 K -ty K .
D ie Multiplikation m it k,, liefert dann

Nunm ehr sei zw eitens

(7) W\> > Ky.
E s durchlaufe a u alle Zahlen der Klasse {,,[ von der
M chtigkeit V ersteht man unter /t die zu a u gehrige
Kardinalzahl, so ist jedenfalls
(8 ) H/firKJSSpr.
V
D enn jede Teilm enge von der M chtigkeit n k, gebildet aus
den Elem enten von befindet sich , gemfs der G leichung 7
in einem A b s c h n i t t der wohlgeordneten Menge von Zahlen
D ie Menge rechts ist aber offenbar quivalent der Gesamt
heit a l l e r Teilm engen a lle r A bschnitte von {<*,<}. E s kommt
daher jede der links stehenden Teilm engen auch rechts vor.
W ir nehmen nun an, der Satz 1 sei fr alle < K/t be
reits bewiesen. Dann folgt nach dem Bemerkten sofort
ptty = ctp 2 r .
H ierdurch verw andelt sich (8 ) in
(9) fy * r mm2 0 ^ -2 * *
Nach H ilfssatz 2 folgt hieraus
= 2 Xr -2fl.
E s ist nun

Denn ersetzt man at, durch , so entsteht offenbar f y 2, w el

ches gleich p ist. Hieraus erhellt unter Bercksichtigung
der Definition von sofort das Behauptete. Demgcmfs ge
winnen w ir das Resultat
2 S y wS'^ = Mf f i y .

W ir werden hier nur von dem speciellen Falle des Satzes

y N0, f, = n , Gebrauch machen. Dei*selbe wurde jedoch
allgem ein bew iesen, um die M glichkeit der Verallgem einerung
der hier bew iesenen Stze auf alle Aleph zu zeigen.
W ir treffen die folgenden F estsetzungen:
 Erklrung 1.Sei <*,, a2, . . . eine einfach unendliche
Menge von Zahlen der zweiten Zahlklasse. W ir setzen als
E lem ent einer Menge X u
(10 ) * = [!, 2 , 3, ]
Sind x und x zw ei Elem ente der M enge, so heifse x
grfser als x , wenn fr ein endliches n
<*i <*i\
a2 = a2 >

1 ttn1 j
dagegen
n > n
ist. Im umgekehrten Falle heifse x < x . Offenbar ist ent
weder x grfser oder kleiner oder gleich x .
Aus dieser D efinition ergicbt sich sofort, dafs aus
x l > x 2 und x 2 >
folgt
x t > x z.
Damit ist die Menge als eine e in f a c h g e o r d n e t e
charakterisiert.
Sind x u x.j . . eine einfach unendliche Reihe stndig
wachsender (oder abnehmender) Elem ente, und nennen wir
ein Elem ent x , w elches, grfser ist w ie alle diese und unter
all den grfseren Elem enten selbst das kleinste ist, den Limes
von x t) axj, . . so knnen w ir den Satz beweisen:
Jede einfach unendliche Folge von stndig wachsenden
Elem enten hat einen Limes.
D er B ew eis beruht auf der Eigenschaft der Zahlen der
zw eiten Zahlenklassc, dafs je einfach unendlich viele derselben
e in Grenzelement bestimmen.
E s sei
O i(n), 2(n) )
gesetzt. D a die w achsen, so sind sic entweder von einem
gew issen n ab alle gleich er, oder sie haben einen von ihnen
selbst verschiedenen L im es a ,. Im z w e i t e n Falle setzen wir
Lim # = . = (<*!, 0,0 . . .), er, = Lim a ^ n).
n = co n = co
 Im ersten Falle bestimmen w ir a2 auf dieselbe W eise aus
a2 (n) . . . u. s. w.
E s ist dann x * ~ ( a ly a2 . . .) der Lim es von x n.
Erklrung 2. Eine Teilm enge der Menge X u ist offenbar
die Menge der Zahlen x , w elche nur eine endliche Anzahl von
Zahlen a , im brigen aber N ullen enthalten. W ir bezeich
nen sie m it Ru und nennen die Zahlen die u lt r a r a t io n a le n
Zahlen.
E s ist offenbar, dafs zw ischen je zw ei Elementen der
Menge X u Elem ente von R u liegen. In Bezug auf R u gilt
der Satz.
S a tz 2. Es ist
R u = Nj.
Beweis. Offenbar ist
T~ZZ ff
R u = tt0 2 x iM,
n= 1
da jedes Element von Ru eine Kombination von einer end
lichen Anzahl n von Elem enten aus k, darstellt, die sich auf
k 0 verschiedene W eisen auf d ie Stellen von r verteilen kann.
Da Nj =- a,
ist, so erhalten w ir
R u = wN0 = w
\ 0 w
\ ' 0 N', = .
. n=l

S a tz 3. E s ist
X u = c= 2K
Beweis. Offenbar ist
X u KjSo,
da jede einfach unendliche Kombination von Zahlen aus n,
ein e Zahl von X u liefert Es ist aber nach Satz 1
= N, 2 o.
D ie Ungleichung
2 N0 > K,

liefert, wenn m an s ie m it 2 N0 multipliziert

2 K = (2 vN'0)2 > fcNl 2 N'0,
woraus sofort
wS',2 ^ 0 = 2
und die Behauptung
N, *0 - 2^0 = X u fo lg t
 Der Ordnungstypus Ou der Menge X u ist, w ie hier nicht
nher ausgefhrt werden soll, vllig dadurch bestimmt, dafs
weder ein niedrigstes noch ein hchstes Glied vorhanden ist,
dafs eine Menge von der Mchtigkeit n , existiert, deren E le
mente in jedes Intervall fallen, und dafs jede einfach unendliche
Reihe wachsender (fallender) Elemente ein Grcnzelcmcnt hat.
Erklrung 3. Sei. T ein e Teilm enge von X u. Unter
der A bleitung T ' von T verstehe ich die Menge der Grenz
elem ente von T.
Erklrung 4. Ist T enthalten in T , so nenne ich Tf
w ie blich, a b g e s c h l o s s e n ; ist T T \ p e r fe k t.
S a lz 4.
Jede perfekte Menge P ist von der Mchtig
keit N.
2
Ich kann den Bew eis hier nur andeuten. Er beruht auf
dem folgenden Hilfssatz.
H ilfssa tz 4.
Jede Menge in X u. von der kein Element
Grenzelement der brigen ist, hat die Mchtigkeit *},. oder
sie ist abzahlbar.
Denn sic definiert eine mit ihr quivalente Menge von
aneinandergrenzenden Intervallen. In dem Innern derselben
liegt mindestens e in ultrarationales E lem en t Also ist sie
hchstens von der M chtigkeit der letzteren, j*j. Andrerseits
gieb t es wirklich derartige Mengen von dieser Mchtigkeit,
z. B. die Menge der ganzen ultrarationalen Zahlen erster Art.
Der Satz 4 kann nunm ehr ganz analog bewiesen werden,
w ie im Continuum der reellen Zahlen der entsprechende Satz.
Ebenso ergiebt sich das Theorem
S a tz 5.
Jede abgeschlossene Menge A u ist entweder ab
zahlbar, von der M chtigkeit n, oder von der des Continuum.
D erjenige Satz, w elcher uns in diesem Zusammenhnge
am meisten interessiert, lautet:
S a lz 6. D ie Gesamtheit aller abgeschlossenen Mengen
{j4} ist von der M chtigkeit 2^,. D er B ew eis dieses Satzes
ergiebt sich durch Betrachtung der Intervallm enge </, welche
die abgeschlossene Menge vllig bestim m t
U nter A nw endung des Hilfssatzes 4 gelangen w ir dazu,
die Gesamtheit der Intervallmengen {/} m it der Gesamtheit
aller Teilmengen des Ultracontinuum X u von n , Elementen in
B eziehung zu setzen. D ie letztere hat die Mchtigkeit
- 2*o*i = 2 ,.
Es folgt durch leichte Betrachtung hieraus
{ A u} < 2 t.
Dafs aber

ist, sieht man sofort, wenn man bedenkt, dafs jede Teilm enge
der Zahlen erster A rt durch Hinzunahm e geeigneter Zahlen
zw eiter Art zu einer abgeschlossenen Menge w ird, und dafs
jede solche vervollstndigte Teilm enge der Menge R u angehrt,
also auch eine Teilm enge A u von X u darstellt.
Da das Ultracontinuum die M chtigkeit des Continuum
hat. so existiert eine umkehrbar eindeutige Abbildung w elche
das Ultracontinuum auf das Continuum abbildet.
Jede Menge A u geht dabei in eine im allgemeinen
nicht abgeschlossene Menge von reellen Zahlen ber. Fr
diese gilt natrlich ebenfalls der Satz 5. Es ist also dann die
Frage nach der M chtigkeit derselben beantwortbar.
Ist, w ie zu verm uten steh t, 2**, grfser als 2**0, so wre
damit die Klassifikation nach Mchtigkeiten fr ein greres
Gebiet von Mengen entschieden, als dies bisher mglich war.
 Lebenslauf.

Am 2 4 .Februar 1878 wurde ich, F elix Bernstein, ev. Kon

fession , als Sohn des Universittsprofessors Julius Bernstein zu
Halle a. S. geboren. In m einer Vaterstadt besuchte ich von
M ichaelis 1883 ab die V orschule, von M ichaelis 1886 ab das
Stadtgym nasium , wo ich den Unterricht von F r ie d r ic h
M e y e r (f) genofs. Ostern 1896 verliefs ich dasselbe m it dem
Reifezeugnis, um m ich dem Studium der Mathematik und Philo
sophie zu widmen. Ich studierte ein Sem ester in Mnchen,
zw ei Sem ester in H alle, drei Sem ester in B erlin, ein Semester
in H alle und zw ei Sem ester in Gttingen. Whrend dieser
Zeit besuchte ich die Vorlesungen und Seminarien resp.
Praktika der folgenden Herren Professoren und Dozenten:
in Mnchen: B a u e r , B r e n t a n o , L o m m e l, P r in g s h e im ;
in H alle: G. C a n to r , D o r n , B e n n o E r d m a n n , G u tz m e r ,
H a y m , K a u t z s c h , L o r e n z , R ie h l, R o b e r t, V o lh a r d ,
W a n g e r in ;
in Berlin: F r o b e n i u s , G r a e f, H o n s e l, H e c k e r , K n o b
l a u c h , P la n c k , S c h w a r z ,
in Gttingen: H il b e r t , K le in , S o m m e r , Z e r m e lo .
A llen diesen m einen verehrten Lehrern spreche ich hier
m einen herzlichsten Dank aus.
Insbesondere f hle ich m ich gedrungen, Herrn Professor
C a n to r , der m ich selbst in das Gebiet der M engenlehre ein
gefhrt hat, fr die von ihm erfahrene w issenschaftliche A n
regung und vor allem fr das stete Interesse und Wohlwollen,
das er mir jederzeit bew iesen hat, sow ie Herrn Prof. H ilb e r t
fr die Frderung, die mir durch ihn zu teil geworden ist,
auf das wrmste zu danken.