Sie sind auf Seite 1von 2

J. KSsIG. Zum Kontiauum-Problem.

177

Zum Kontinuum- Problem. *)


Von

J. K6~m in Budapest.

1. Es sei M1, M2, M3,'" eine abz~ihlbar unendliche Fotge beliebiger


Mengen~ deren Miichtigkei~en wit mit ~1, ll~, I1~,--- bezeichnen.
Mit ]~ilfe dieser Mengenfolge definieren wir zwei nsue Mengen.
Die Summe der abz~ihlbar unendlichen Mengenfolge, in symbolischer
Bezeiclmung

bedeute jene Menge, die dutch Zusammenfassung aller ElemenM yon


M1, M2, M~,-.. entsteht, wobei die verschiedenen Mengen angehSrigen
Elemente immer als voneinauder verschieden anzusehen sind. Die M~h-
tigkeit yon S bezeichnen wit mit ~.
Das Produkt der abz~ihlbar unendlichen Mengenfolge, in symbolischer
Bezeichnung
P = . . .,

bedeute jene Menge, deren Elemente alle Komplexe


= ..)

sind, wo ai ein beliebiges Element der Menge M~ sein kan,; es enth~t


demnach jedes ~ ein und nur ein Element jeder beliebigen Menge der
Folge. Es wird bequem sein~ a~ als it~ Index des Elementes ~ zu be-
zeichnev. Die Miichtigkeit yon P sei ~.
Sind insbesondere alle M~ identisch -~ M, so wird stat~ P in der ge-
br~iuchlichen Bezeicbnung M'~o geschrieben.

*) Abgedruck~ aus den Verhandiungen des m . Inbernationalen MatJaematiker-


Kongresses zu Heidelberg 1904.
Ffir die bier benutzi~en Begriffe und S~tze sind die-Arbei~en G e o r g C a n t o r s ,
des SchSpfers der Mengenlehre, einzusehen. Insbesondere: ,,Beitr~ge zur Begriindung
der transfini~n Mengenlehre, I und !I" (Mat~ Annalen, Bd. 46- und 49).
Ygl. ferner A. S c h o e n f l i e s : ,Die Entwicldung der Letue yon den Punkt-
mannigf~ltigkeiten" (Jahresber. d. Deutschen Math.-Ver. VIII. 2).
Mathem~isc~he Annalen. LX. 12
178 ;t. K~a~.

Wit 5eweisen, daft, wenn die Mengen M 1 , . . . transfinit sind*), immer


die t~eziehung

besteht.
Eine Teilmenge yon P , die ~ S ist, kann in der Tat leieht an-
gegeben werden. Man w ~ l e zu diesem Zweek aus jedem M i ein be-
atimmtos Element fli, und iindere in
=

immer nur einen Index, z.B. den k~ , ftir welehen jedes Element yon
M k zu setzen is~, mi~ Aussehlug yon /~. Die dutch Mutation des k~n
Index en~standene Menge der a ist augenseheinlieh der Menge M~, mit
Aussehlug des Elementes fl~, iiquivalent, also, da M k transfinit ist, aueh
-Mk. Die Gesamtheit der so definierten 9 isi eine Teflmenge yon P
tmd ~ S.
Noeh leiehter ist der zweite Teil der in (1) enthaltenen Behauptung
zu erhiirten. Wenn man in S'~o als kt~ Index nieht alle Elemente yon S,
sondern nur diejenigen zul~gt, die Elemente yon M~ si~d, so erhiilt man
tmmittelbax eine Teilmenge yon SSo, die ~ P ist.
Aus (1) folgr noeh, indem man zur ~r ~ Potenz erhebt:

mad hieraus infolge des ~quivalenzsatzes:


=

2. Es soil mm wei~r vorausgesetzt werden~ dat~ die Mtichtigkeiten


der Mengen M~ durehweg wachsen, d. h., da(3 immer
m~ <: mi+t
ist. Wit beweisen, daft in diesem Falle niemals ~ =- ~, also wegen (1)
immer
>
ist.
Aaders ausgedriiekt: Die ~quivalenz P ~ S is4 tinter den jetz~ fest-
ge~t~llben Boding~a~gen n~mSglieh. In der Tat fiihrt diese Annahme zu
einam Widersprueh.
Soil n~.mlleh zwisehen P and S ei~e ausn,.hmslos eia-eindeutige
Beziehung bestehen, so miissen aueh die in S en~hal~enen Elemente yon
M~ en~spreehende Elemente yon P bestimmen. Die in diesen Elementen
zar Verweadung gelangenden k + 1~ Indi~es bilden also eine Meng%

*) Der 8st~ ist ~ e r . Es besteh~ (1) d~nn und nut d ~ n , wenn p t~sns-
6n~t i ~ W ~ beschr~ken uns tier Kfirze wegen auf den oben a~gegebenen Fall.