Sie sind auf Seite 1von 8

Uber die Metrisation der im Kleinen kompakten topologischen R ume ).

Von

Paul Alexandroff in Moskau.

1. Defmitionen und Vorbemerkungen.

In einer vor kurzem erschienenen Arbeit babe ich die bikompakten topologischen R~iume insbesondere in bezug auf ihre Struktureigenschaften im Kleinen un~ersucht. Es ist abet ohne weiteres ldar, da~ flit die Giiltig- keit dieser Eigenschaften die Bedingung der Bikompaktheit des gesamten Raumes iiberfiiissig ist; es geniigt vielmehr, die letzte Eigenschaft von gewissen, bestimmte Umgebungen s/imtlicher Raumpunkte enthaltenden abgeschlossenen .~Iengen zu verlangen. In dieser Weise gelangen wit natur- gem/i/3 zu dem Begriffe der im Kleinen bikompakten (resp. kompakten) topo- logischen R/iume, indem wit folgende gmndlegende Definition aufstellen:

A. Ein topologischer Baum ~

hei]3t im

Punl~te ~ biIcompaIct (bzw.

kompakt), /alls eine gewisse Umgebung U( ~) dieses Punlctes existiert,

daft die abgeschlossene Menge U (~), als Belativraum betrachtet, bikompakt

so

(bzw. kompakt) ist. (U(~)

Menge U(~) enthaltende, in ~

bedeutet

hier,

wie

immer,

die kleins~e die

abgeschlossene Menge, d. h.

we [U(~)]'

I2(

) ---

+

die Menge aller H~ufungspunkte yon U(~) ist.)

B. Ein in #dem seiner Punkte bikompakter (bzw. kompakter) topo-

logischer Raum heifit im

Kleinen

bikompakt

(bzw. kompakt).

1) AuBer den fiir die ganze Theorie grundlegenden Hausdorffsehen Definitionen

(Grundzfige der Mengenlehre, Leipzig (1914),

nungen und Ergebnisse der folgenden voranstehenden Arbeiten als bekannt voraus- gesetz$:

(9) Paul Alexandroff und Paul Urysohn, ,Zur Theorie der topologischen R'~ume".

der bikompakten t opologischen R~ume".

Kap. VII, VIII),

werden die Bezeieh-

((~) Paul

Alexandroff, ,b~ber die Struktur

(~) Paul Urysohn, ,,~ber die Metrisation der kompakten topologisehen l~ume".

Diese Arbeiten werden kurz dureh 9, (~, ~ zitiert.

P. Alexandroff. Me~risation im Kleinen kompakter Rgume.

295

Der BegtiiI des im Kleinen bikompakten Raumes scheint mir yon

man denke etwa an den

gewStmlichen Euklidischen

hales

Fl~che~): alle diese seit Zeiten klassisch gewordenen flmdamentalen tope-

2) Die erste abstrakto Fassung des Flgehenbegriffes seheint von Weyl (,D/e 1dee der Riemannschen ~Tdche") zu stammen. Bis auf ein unwesentliches Versehen*) stimmt der Grundgedanke der Weylschen Flgehendefiaition mit der fo!genden Er- kl~rung fiberein:

gefal~te) offene Riemannsche

ein ein-, zwei- oder mehrdimensio-

sehr

grol~er topologischer Wichtigkeit zu sein --

Raum,

an

Gebiet, an eine (insbesondere abstral~

Ein topologischer Raum heifit eine Fldche,

/alls eine gewisse Umgebung jedes seiner

•unkte ein uml~hrbar eindeut~ges und umkehrbar stetige~ [ira Sinne des Raumes**)]

JBild des Inneren eines gewohnlichen Kreises ist.

Weyl nennt

welter eine Flgche geschlossen, falls sie, als topologischer Raum be-

traehtet, kompakt ist. Nun sieht man sofort, dab diese Definition sieh auf yon dem ansehauliehen Sinne des Begriffes der gesehlossenen Flhehe sehr entfernto Bildungen anwenden l~t. Man betraehtet, um ein Beispiel dafiir zu erhalten, z. B. eine ge- ordnete Mengo O, die den Ordnungstypus

hat***).

().+I)~*+X+(1

+~)

Man denkt sieh ferner die Menge 2', die aus allen mSgliehen Paaren (x, y) yon

Elementen yon O gebildet ist. Diese Menge

geschlossenen ,Flgche" ~, wenn man die Umgebungen U (~) ihrer s~mtliehen ,,Punkte" ~= (x, y) folgendermaBen definiert:

~Y' wird zu einer im Weylschen Sinne

U(~)=U((x,y))=

Inbegriff aller ~(~, ~),

we

~{x~~x,

Y~*<~Y ~

Y2

(in

~)

und x~, y~; x2, Y2 zwei beliebige den Ungleichungen x~ ~ x ~ x~, y~ -<~ y <~ y., ge- niigende Elementenpaare der Menge O sind. Die Fl~che ~, die die Gestalt einer nicht- Archimedisehen Ebene hat, entsprieht aber kaum dem ansehauliehen Wesen einer ge- schlossenen Fl~ehe. Dieser Ubelstand wird vermieden, indem man statt der Kompaktheit die Bi- kompaktheit als eharakteristische Eigensehaft der gesehlossenen Flgehen verlangt. Dieses Veffahren scheint mir noeh den folgenden Vorzug zu haben. Zufolge dem Satze III (w 3 dieser Arbeit) ergibt es sieh sofort, da~ eine in meinem Sinne ge- sehlossene Fl~ehe stets dem Hausdorffsehen II. Abzghlbarkeitsaxiom geniigt, und folg- lich naeh einem sehr bemerkenswerten Satze von Herrn Urysohn als ein metriseher Raum (ebenfalls im Hausdorffsehen Sinne) erklgrt sein kann. Aul3erdem Igl]t sich, zwar dureh reeht umst~ndliche t3berlegungen, aber olme irgendwelche prinzipielle Sehwierigkeit, die Triangulationsf~higkeit einer jeden (in meinem Sinne) gesehlossenen Flgche auf Grund rein topologiseher BegriffsbiIdtmgen beweisen.

*) Das, soweit ieh es beurteilen kann, darin liegt, dai3 aus den Weylschen Um- gebtmgsaxiomen im a~lgemeinen keine MSgliehkeit folgt, zwei versehiedene Punkto einer Flgche durch zueinander fremde Umgebungen (ira Sinne des Hausdorffsehen Axiomes (D), loc. eit. S. 213) zu trennen. **) Uber stetige Abbitdungen der topologisehen l~ume vgl. Hausdorff, lee. cir. S. 358ff.

der dazu inverse Ordnungs-

typus, ~ der Ordnungstypus der reellen Zahlen. Vgl. H.~usdorff, S. 73, 93, 125 (~ = o)t).

***) ~

ist

die

ers~o lmabz~ihlbare Ordnungszahl, ~

296

logischen Bildungen sind, als R~iume betrachtet, nicht kompakt, wohl aber im Kleinen bil~ompakt. Aaderseits sind mir nut wenige topologische Satze bekannt, die fiir ein weiteres Gebiet als die im Kleinen bikompakten R~iume giiltig bleiben. Die soeben erw~hnten Raume scheinen mir deshalb einen aus sachlichen Griinden naturgemal~en Spielraum der allgemein-topo- logischen Erscheinungen zu bilden.

P. Alexandroff.

2. A]lgemeine Eigenschaften der im Kleinen kompakten R~ume.

Satz

I.

In jedem Punkte ~, in welchem ein gegebener Sopologischer

Raum ln'kompakt iss, stimmS sein Durchschnittscharakter t~ (~) mit seinem

Charakter Z~(~) iiberein; au~erdem isS unter diesen Voraussetzungen

der

KonvergenzcharakSer ~ (~) steSs de]iniert, und zwar ist ~ (~) ~ Z~ (~); endlich ist der Punks ~ ein reguldrer Punks des Raumes~).

Dieser Satz folgt unmit~elbar aus schon bewiesenen Eigenschaften.

den fiir die bikompakten R~iume

Fundamen~alsatz 1. Ein ]eder im Kleinen bikompakte topo-

durch

Hinzu/i~gung eines einzigen Punktes zu einem b~'kompakten Raume ver- vollstdndigen; dies r au[3erdem nut au/ eine Weise m6glich.

Wit nennen ,,fi-Gebiet" ein solches Gebiet F, daft die abgeschlossene

logische Raum ~

ld/3t sich

(falls er nicht setbst

bikompakg ist)

Menge F,

als Relativraum betrachtet, bikompakt ist.

Es ist sofort klar, da] der gegebene Raum ~, falls er nicht bikom- pakt ist, in keiner endliehen Menge yon abgeschlossenen Mengen P eat- halten ist, dagegen ist jeder Pankt des Raumes ~ (da ~ im Kleinen bi- kompakt ist) immer wenigstens in einem ~-Gebiete enthalten. Das Oebiet

(~ = ~-

(FI + ~-J-"'" "J'-Pn) is~ also immer yon Null verschieden, wie

auch die fi-Gebiete /"1, F~,

Y'~ gew~hlt seien. Nun fiigen wit dem

, Raume ~Reinen neuen Punks ~ hinzu mittels der Umgebungen U(})~ ~ ~ (~. Man iiberzeugt sich sofort, dal~ in ~-~-~ die Hausdorffschen Umgebungs- axiome erfiillt sind; aui~erdem strSmt t) jede unendliche, im Raume keinen vollsta-ndigen Haufungspunkt besitzende Menge E im Raume ~ -~- dem Punkte ~ zu. ~ ~ ~ ist infolgedessen ein bikompakter topologischer Raum. Es gelingt auch zu zeigen, ohne besondere Schwierigkeit, dal~ ein jedes andere Umgebungssystem fiir einen adjungierten Punks ~ dem soeben konstraierten gleichwertig ist, solange nur der Raum ~ ~ $ bikompakt~ bleiben soll, and damit wird der Fundamentalsatz 1 vollstandig bewiesen.

s n mer kunge n.

Die soeben ausgesprochene Eindeutigkeitseigenschaft

ist datum

besonders bemerkenswert,

weil man

im allgemeinen einen im

~) Ygl. ffir die Bezeichnungen die sehon erw~,bnten Arbeiten ~ und (~,

Daselbst

sind die entsprechenden S~tze fiir bikompakte P~ume schon bewiesen worden.

Metrisation ira. Kleinen kompak~r R~ume. 297

Kleinen bikompakten Raum dutch Hinzuffigung eines einzigen Punktes auf unendlich viele Arten zu einem absolut abgeschlossenen (irregul~en4)) Raume ezweitern kann.

Wegen des Satzes fiber die Ms

Rs

Is

der perfe~en Mengen in bi-

~) ergibt sich der analoge Satz flit im Kleinen bi- als eine unmittelbare Folge des soeben ausgesprochenen

kompak-ten Rs

kompakte

Fundamentalsatzes. Der Fundamentalsatz des Satz:

sich umkehren;

es besteht offenbar auch

Jedes

in

einem

bikompakten

Raume

liegende Gebiet ist

im

Kleinen

bikompakt (als Relativraum betrachtet).

Die Menge

aller

im Kleinen bikompakten R~ume ist daher mit der

Menge der in bikompakten Rs

liegenden Gebiete identischS).

Wenn man

das

Wort ,,bit~ompakt" durch ,,kompa/ct" ersetzt, so erhdlt

Des um-

gel~ehrte Satz ist auch richtig, d. h. jedes aus einem kompakten Raume dutch Weglassung eines einzigen Punlrtes entstehende Gebiet ist, als Raum betrachtet, im K]einen kompakt.

man

einen

dem Fundamentalsatz

1 vollst(indig

analogen Satz.

Es

gibt

aber

in

kompakten

Rdumen

liegende Gebiete,

die nicht im

Kleinen

kompakt

sin&

dal~ man dutch AdjunkCion eines einzigen

Punktes zu einem im Kleinen kompakten Raume allgemein mehrere ver- schiedene R~ume erhalten kann (flit die Eindeutigkeitseigenschaft ist daher die Voraussetzung der Bikompaktheit unentbehrlich).

Es ist noch

zu bemerken,

3.

Das

II. Abz~ihlbarkeitsaxiom

und

topologischen

das

Metrisationsproblem

R~iume.

der

Das allgemeine MetrisationsprobIem der topologischen R~ume besteht darin, die Bedingungen zu finden, die notwendig und hinreichend sind, damit ein topologischer Raum einem metrischen topologisch identisch (~ homSomorph) ist. Herr Urysohn hat bereits das Problem der Metri- sation der kompakten R~ume gelSst; er bewies n~mlich, dal] in diesem

~) Vgl. die vorige Fu0note. 5) Es ist zu bemerken, dal3 aui3erdem jede in einem bikompakten Raume

liegende abgesehlossene Menge F durch einen einzigen Punkt ~ (mi~ passend geo w~itflten Umgebungen) so ersetzt werden kann, daft damit ein wiederum bikompakter

Raum ~i

entsteht, dessen Gebiet ~1 ~ ~ mit dem ursprfinglichen Gebiete ~-/'

identisch ist.

298

I~alle die gewiinsehte Bedingung" im II. Abz~hlbarkeitsaxiome besteht~). Da dasselbe Axiom eine fundamentale Bedeutung auch fiir das im vor- liegenden Aufsatze von mir gelSste Metrisationsproblem der im Kleinen

kompakten R~ume hat,

so halte ich es fiir zwecl:m~il3ig, auf den Zusammen-

hang zwischen diesem Axiome und anderen naheliegenden Raumeigen- schaften kurz hinzuweisen:

P. hlexandroff,

Satz

II.

In

einem

metrischen Baume

ist

eine ]ede der /olgenden

Eigenscha/ten 7) dem I1. Abzdhlbarkeitsaxiome dquivalent:

a) Es gibt lceine unabz~ihlbare Menge paarweise /remder Gebiete;

b) ]ede wohlgeordnete ab- oder zunehmende Menge yon verschiedenen

abgeschlossenen Mengen (oder Gebieten) ist hSchstens abzdhlbar; c) jede abgeschlossene Menge zer/gillt in einen per/ekten und in einen hSchstens abz(ihlbaren Bestandteil ;

d) die Summe yon beliebig vielen Gebieten kann stets durch eine

Summe von hSchstens abzdhtbar welen~ebiete~ ersetzt werden; e) es gibt eine abzdhlbare i~berall dichte Teilmenge.

Dagegen gibt es (sogar bikompakte) topologische R~ume, in denen

alIe diese Eigenschaiten sowie alas erste Abz~hlbarkeitsaxiom gleichzeitig

erfiillt sind, das II. Abz~ihlbarkeitsaxiom

aber ungiiltig ist.

SaSz III. Wenn in einem bikompakten topologischen Raume ~ das I., abet nicht das I1. Abzdhlbarkeitsaxiom giiltig ist, dann gibt es eine per/ekte Teilmenge Pc ~ yon der Eigenscha]t, daft keine Umgebung irgendeines Punktes yon P, als Relativraum betrachtet, demselben Axiome geniigtS).

Die perfekte Menge P kann sowohl nirgends dicht im Raume liegen, a]s auch den ganzen Raum (oder ein gewisses Teilgebiet) vollst~ndig erfiillen.

Satz IV. Damit efn reguldrer, dem 11. Abzdhlbarkeitsaxiome ge- niigender Raum ~ kompakt sei, ist es notwendig und hinreichend, daft ein ]eder diese beiden Eigenscha]ten besitzende und den Raum ~ als iiberall dichte Teilmenge enthaltende topologische Raum R mit ~ identisch ist.

s) Diese Annalen 92, S. 275--293. (Diese Arbeit ist berei~s durch ~"

zi~iert.)-

W~hrend der Drucklegung dieser Arbeit ist eine gemeinschaftliche Note yon P. Ury- sohn und mir in den Pariser Comptes Rendus 177, S. 1274 erschienen, wo das all- gemeine ~/[etrisationsproblem ffir die topologischen R~ume gel6st isC. Ubrigens ist zu bemerken, da6 die Einbettung des bier behandelten Falles in das allgemeine Me- trisationskriterium nicht einfacher isg als der hier wiedergegebene Beweis selbst. Dasselbe gilt auch yore soeben erw~mten UrysManschen Satze.

~) DaB alle diese Eigenschaften in topologischen R~umen aus dem II. Abz~hl-

barkeitsaxiome folgen, war

s) F/it die kompakten (nicht bikompakten) R~ume ist der Satz im allgemeinen

falseh.

schon yon Hausdorff bewiesen (lot. cir., Kap. VIII, w 3).

299

Der Beweis der Sgtze II und III ist leicht; wegen des Beweises des Satzes IV verweise ich auf die in den ,,~undamenta Mathematicae" er- scheinenden A~beiten~ wo die ganze Theorie ausfiihrlich dargestellt ist.

Metrisation im Kleincn kompakter Rgume.

4.

L~sung

des

Metrisationsproblemes

topologisehen

fiir

Rgnme.

die

im

Kleinen

kompakten

Aus dem Fundamentalsatze 1 und dem Satze (~, I ergibt sich

sofort,

niigende Raum ~ metrisierbar ist. Tatsi~cklich lg~t sich ja ~ zu einem bikompakten Raume ~ ~-~ = R erweitern;~)zufolge dem in ~ erfiillten

II. Abz~ihlbarkeitsaxiome und der Regularitii~ des Raumes

der einzige Durchschnittspunkt einer gewissen abziihlbaren Menge yon Ge- bieten, also ist nach dem Satze (~, I der Charakter des Raumes Rim Punkte ~ gleich ~o, also bekommt man ein abz~thlbares Umgebungssystem ffir den gesamten Raum R, indem man zu den (abzghlbar vielen) Um- gebungen der sgmtlichen Punkte yon ~ noch die Umgebungen des Punktes nimmt. Da R bikompakt ist, so ist B zufoIge dem Urysohnschen Satze auch metrisierbar; ~ ist also nicht nur metrisierbar, sondern der ganze Raum ~ liegt als Gebiet in einem kompakten metrischen Raume. Das

II. Abzghlbarkeitsaxiom driickt also eine hinreichende, abet (wie man sich

durch leichte Gegenbeispiele iiberzeugt) keine notwendige Bedingung fiir die Metrisationsfiihigkeit eines im Kleinen kompakten topologischen Raumes aus. Es besteht dagegen der

Fun d a m e n ta ls a t z 2. Damit ein im Kleinen kompalcter topologischer Baum metrisierbar sei, ist es notwendig und hinreichend, daft der Raum entweder dem II. AbzdhlbarI~eitsaxiom geniigt oder sich in eine Menge (beliebiger Miichtigkeit) yon paarweise /remden Gebieten zerspatten ldfit, yon denen ein ]edes (als Relativraum betrachtet) dem II. Abzdhlbar- keitsaxiom geniigt ~o).

Es bedarf kaum eines Beweises, dal~ die soeben ausgesprochene Be- dingung eine hinreichende ist. Man braucht also nur zu zeigen, dal~ jeder im Kleinen kompakte metrische ~)Raum, falls er dem II. Abzghlbarkeits- axiom nicht geniigt, in eine Menge yon diesem Axiom geniigenden Ge- bieten zerf~llt; das geschieht aber wie folgt:

da~ jeder im Kleinen

kompakte,

dem 1I. Abz~ihlbarkeitsaxiome

ge.

ist der Punkt

9) p. Alexandroff u. P. Urysohn, M6moire sur les espaces topologiques compacts; P. Alexandroff, Sur les espaces localement compacts.

10) Der Raum ist in diesem Fall auch bikompakt im Kleinen.

11) Ich schreibe schlechthin ,metrischer Raum" start ,metrisierbarer to~ologischer

l~aum"; da in dieser Arbeit nur topologische Eigenschaften yon metrischen Rgumen vorkommen, so scheint mir kein Mii~verstgndnismSglich zu sein.

300

Hilfssatz.

Vorausgesetzt

P. Alexandroff.

sei ein metrischer Raum,

der im Kleinen-

dem 1I. AbzShlbarkeitsaxiom geni~gtl~); dann hifit sich ein System vo~ den ganzen Raum vollstdndig de/inierenden, spMirischen Umgebungen der- art ausw~ihlen, daft ~ederRaumpunkt in h6chstens abzdhlbar vielen dieser Umgebungen enthalten ist.

Mit Zuhilienahme des Zermeloschen Wotflordnungssatzes denken wir uns die Menge aller derjenigen sph/ixischen Umgebungen des gegebenen Raumes ~, in welchen irgendeine abz~hlbare Menge iiberail dicht ist, in eine wohlgeordnete l~enge

LVo

V

Vo

yon einem gewissen Orchaungstypus ~2~ (wo g2~ eine Anfangszahl ist) ver- wandelt. Wegen der Voraussetzung gibt es in V~ eine iiberall diehte, hSeh- stens abzs Menge D 1. Wir setzen noeh identiseh G1 -~--V~. Nehmen Wir an, es seien G, und D, fiir alle a < )l konstruiert, so setzen wir definitionsgemEl]

a<).

und es sei dann Dz eine bestimmte, h5ehstens abz~hlbare, in Gx iiberall dichte -~enge. Wit definieren endlich

D=ZD

Es l~Bt sich leicht beweisen, dal~

1. in

D

~

iiberall

dieht ist;

 

_~ <~ "~

.

2. Mgchtigkeit

die

yon

der

Durehsehnittsmenge

D.V~

fiir ]edes

kleiner oder gleich :% ist. , ~.~ ~;~, ~ Es sei nun x ein beliebiger Raumpun~t und 0~ die obere Grenze aller positiven Zahlen r~ yon der Art, dab ein jedes S(x, r~)~) eine hSchstens abz~hlbare, iiberall dichte Teilmenge enth~ilt. Das System 2" von allen SphEren S(x, r), wo x = D und r < ~ 0~ eine positive rationale Zahl ist, bildet dann, wie man ohne besondere Sehwierigkeiten bew~i~n kann, ein Umgebungssystem, wie wit es haben wollten~*). Damit ~ der ttilfs- satz bewiesen. Es sei nun ~ ein beliebiger Punkt unseres Raumes, Fo(~) irgendeine Sph~ire des Systems ~Y, die den Pankt $ enth~t.

le) Das heiBt eine gewisse Umgebung eines jeden Punktes soil, als topologischer Raum betraehtet, dem II. Abzghlbarkeitsaxiom geniigen. 1~) S(x, rx) = Sph~ixe vom Radius rx und mit dem Zentrum x (ira beliebigen metrischen Raume ist diese Sphere der Inbegriff aller yon x weniger als um rx ent- fernten Punkte). I~) Der wesentliche Ptmkt des Beweises lieg4 in der Tatsaehe, da]] aus ~ S (x, r ) wo S (x, r) eine Umgebung des Systems 27 ist, die Relation x~ S(~, ox) folgt.

~

1

Metrisation im Kleinen kompak%er R~ume.

301

Es sei 12.~) schon definiert,

f;

und zwar so,

dab dabei ~c~as II &bz~hl-

barkeitsaxiom

/~nr

Durchschnitt mit /~) yon Null verschieden ist.

/'~(~ und also auch

giilgg

ist

(bei

Fo~) ist

allen

es

ja

der

Fall).

Wit definieren

deren

da~

als

Summe

F~~

und

Sphs

des

Systems

+1

yon

~,

Man sieht sofort~5),

ro( ) +

+

) +

+

r$

) +

dem II. Abz~hlbarkeitsaxiom geniigt. Jetzt sagen wit flit einen Augen-

blick, dal3 der Punl~ x mit dem Punl~e ~ verbunden ist, falls eine end-

liche Anzahl yon Sphiiren Si, S~,

, S~ des Systems 2" derart existiert, dal~

1.

S~;

2.

S~-S~+I=~0;

3.

S~x

(lgi~x--1).

Dann beweist man sofort, dal~ /'(~)aus allen mit ~ verbundenen Punkten des Raumes ~ gebildet ist. Infolgeclessen ist es leicht zu sehen, dal], wenn ~ und ~ verschiedene Raumpunkte sind, entweder F(~)~ F (') oder

dem II. Ab-

zs geniigende Gebiete ist damit erbracht, und der Funda-

/'(~)- F (')= 0

ist.

Die Zeffs

des Raumes in punktfremde,

mentalsatz 2 bewiesen.

KorolIar

1.

Damit ein zusammenhdngender ~), im Kleinen l~om-

pakter topologischer Raum metrisierbar sei, ist das II. Abz(ihlbarkeitsaxiom

gleichzeitig notwendig und hinreichend.

metrischen Raume

alas I1. Abzdhlbar]ceitsaxiom nicht gi~ltigist, existiert wenigstens ein Punkt,

so daft in keiner Umgebung desselben ]enes Axiom er/i~llt ist.

Alle diese S~itze kSnnen durch leicht konstruierbare Beispiele ver- anschaulicht werden; sie erweisen sich aul]erdem als keiner weiteren Ver-

schs

Korollar

2.

Falls in einem zusammenMingenden

oder Verallgemeinerang is

GSttingen,

den

10. Juli

1923.

P.S. Die Hauptergebnisse dieser Arbeit sind im Jahre 1922 der Mos- kauer )/Iathematischen Gesellschaft und am 26. Juni 1923 der GSttinger Mathematischen Gesellschaft mitgeteilt worden.

15) Das ist eben die wesentliche Folge der durch den Hilfssatz ausgedriickten Eigenschaft des Umgebungssystems I. 16) Im Hausdorffschen Sinne, loc. cir. S. 244.

(Eingegangen am 1.8. 1923.)