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 Giiltigkeit 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 naturgem/i/3 zu dem Begriffe der im Kleinen bikompakten (resp. kompakten) topologischen 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, so daft die abgeschlossene Menge U (~), als Belativraum betrachtet, bikompakt (bzw. kompakt) ist. (U(~) bedeutet hier, wie immer, die kleins~e die Menge U(~) enthaltende, in ~ abgeschlossene Menge, d. h.
I2( ) --+

we [U(~)]' die Menge aller H~ufungspunkte yon U(~) ist.) B. Ein in #dem seiner Punkte bikompakter (bzw. kompakter) topologischer Raum heifit im Kleinen bikompakt (bzw. kompakt).
1) AuBer den fiir die ganze Theorie grundlegenden Hausdorffsehen Definitionen (Grundzfige der Mengenlehre, Leipzig (1914), Kap. VII, VIII), werden die Bezeiehnungen und Ergebnisse der folgenden voranstehenden Arbeiten als bekannt vorausgesetz$: (9) Paul Alexandroff und Paul Urysohn, ,Zur Theorie der topologischen R'~ume". ((~) Paul Alexandroff, ,b~ber die Struktur der bikompakten t opologischen R~ume". (~) 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 sehr grol~er topologischer Wichtigkeit zu sein -- man denke etwa an den gewStmlichen Euklidischen Raum, an ein ein-, zwei- oder mehrdimensiohales Gebiet, an eine (insbesondere abstral~ gefal~te) offene Riemannsche Fl~che~): alle diese seit Zeiten klassisch gewordenen flmdamentalen tope2) 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 Erkl~rung fiberein: 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 betraehtet, 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 geordnete 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 ~Y' wird zu einer im Weylschen Sinne geschlossenen ,Flgche" ~, wenn man die Umgebungen U (~) ihrer s~mtliehen ,,Punkte" ~ = (x, y) folgendermaBen definiert:

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

Inbegriff aller ~(~, ~),

we

~{ x ~ ~ x , (in ~) Y~*<~Y~ Y2

und x~, y~; x2, Y2 zwei beliebige den Ungleichungen x~ ~ x ~ x~, y~ -<~y <~ y., geniigende Elementenpaare der Menge O sind. Die Fl~che ~, die die Gestalt einer nichtArchimedisehen Ebene hat, entsprieht aber kaum dem ansehauliehen Wesen einer geschlossenen Fl~ehe. Dieser Ubelstand wird vermieden, indem man statt der Kompaktheit die Bikompaktheit 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 gesehlossene Fl~ehe stets dem Hausdorffsehen II. Abzghlbarkeitsaxiom geniigt, und folglich 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 j eden (in meinem Sinne) gesehlossenen Flgche auf Grund rein topologiseher BegriffsbiIdtmgen beweisen. *) Das, soweit ieh es beurteilen kann, darin liegt, dai3 aus den Weylschen Umgebtmgsaxiomen 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 ~ u m e vgl. Hausdorff, lee. cir. S. 358ff. ***) ~ ist die ers~o lmabz~ihlbare Ordnungszahl, ~ der dazu inverse Ordnungstypus, ~ der Ordnungstypus der reellen Zahlen. Vgl. H.~usdorff, S. 73, 93, 125 ( ~ = o)t).

296

P. Alexandroff.

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-topologischen Erscheinungen zu bilden.

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 den fiir die bikompakten R~iume schon bewiesenen Eigenschaften. F u n d a m e n ~ a l s a t z 1. Ein ]eder im Kleinen bikompakte topologische Raum ~ ld/3t sich (falls er nicht setbst bikompakg ist) durch Hinzu/i~gung eines einzigen Punktes zu einem b~'kompakten Raume vervollstdndigen; dies r au[3erdem nut au/ eine Weise m6glich. Wit nennen ,,fi-Gebiet" ein solches Gebiet F, daft die abgeschlossene Menge F, als Relativraum betrachtet, bikompakt ist. Es ist sofort klar, da] der gegebene Raum ~ , falls er nicht bikompakt ist, in keiner endliehen Menge yon abgeschlossenen Mengen P eathalten ist, dagegen ist jeder Pankt des Raumes ~ (da ~ im Kleinen bikompakt 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 Umgebungsaxiome 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 der perfe~en Mengen in bikompak-ten Rs ~) ergibt sich der analoge Satz flit im Kleinen bikompakte Rs als eine unmittelbare Folge des soeben ausgesprochenen Fundamentalsatzes. Der Fundamentalsatz Is sich umkehren; es besteht offenbar auch des Satz:
Jedes in einem bikompakten Raume liegende Gebiet ist im Kleinen bikompakt (als R e l a t i v r a u m b e t r a c h t e t ) .

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 man einen dem Fundamentalsatz 1 vollst(indig analogen Satz. Des umgel~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.
Es gibt aber in kompakten Rdumen liegende Gebiete, die nicht i m Kleinen kompakt sin&

Es ist noch zu bemerken, dal~ man dutch AdjunkCion eines einzigen Punktes zu einem im Kleinen kompakten Raume allgemein mehrere verschiedene R~ume erhalten kann (flit die Eindeutigkeitseigenschaft ist daher die Voraussetzung der Bikompaktheit unentbehrlich).
3. Das II. Abz~ihlbarkeitsaxiom und das Metrisationsproblem der topologischen R~iume.

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 Metrisation 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

P. hlexandroff,

I~alle die gewiinsehte Bedingung" im II. Abz~hlbarkeitsaxiome besteht~). Da dasselbe Axiom eine fundamentale Bedeutung auch fiir das im vorliegenden Aufsatze von mir gelSste Metrisationsproblem der im Kleinen kompakten R~ume hat, so halte ich es fiir zwecl:m~il3ig, auf den Zusammenhang zwischen diesem Axiome und anderen naheliegenden Raumeigenschaften kurz hinzuweisen: 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 P c ~ 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 geniigender 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 ~ " z i ~ i e r t . ) W~hrend der Drucklegung dieser Arbeit ist eine gemeinschaftliche Note yon P. Urysohn und mir in den Pariser Comptes Rendus 177, S. 1274 erschienen, wo das allgemeine ~/[etrisationsproblem ffir die topologischen R~ume gel6st isC. Ubrigens ist zu bemerken, da6 die Einbettung des bier behandelten Falles in das allgemeine Metrisationskriterium 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~hlbarkeitsaxiome folgen, war schon yon Hausdorff bewiesen (lot. cir., Kap. VIII, w 3). s) F/it die kompakten (nicht bikompakten) R~ume ist der Satz im allgemeinen falseh.

Metrisation im Kleincn kompakter Rgume.

299

Der Beweis der Sgtze II und I I I ist leicht; wegen des Beweises des Satzes IV verweise ich auf die in den ,,~undamenta Mathematicae" erscheinenden A~beiten~ wo die ganze Theorie ausfiihrlich dargestellt ist.
4. L~sung des Metrisationsproblemes fiir die i m Kleinen k o m p a k t e n topologisehen R g n m e .

Aus dem Fundamentalsatze 1 und dem Satze (~, I ergibt sich sofort, da~ jeder im Kleinen kompakte, dem 1I. Abz~ihlbarkeitsaxiome ge. 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 ist der Punkt der einzige Durchschnittspunkt einer gewissen abziihlbaren Menge yon Gebieten, also ist nach dem Satze (~, I der Charakter des Raumes R i m Punkte ~ gleich ~o, also bekommt man ein abz~thlbares Umgebungssystem ffir den gesamten Raum R, indem man zu den (abzghlbar vielen) Umgebungen 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 F u n d a m e n t a 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 R e l a t i v r a u m b e t r a c h t e t ) dem II. Abzdhlbarkeitsaxiom geniigt ~o). Es bedarf kaum eines Beweises, dal~ die soeben ausgesprochene Bedingung eine hinreichende ist. Man braucht also nur zu zeigen, dal~ jeder im Kleinen kompakte metrische ~)Raum, falls er dem II. Abzghlbarkeitsaxiom nicht geniigt, in eine Menge yon diesem Axiom geniigenden Gebieten zerf~llt; das geschieht aber wie folgt: 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~verstgndnis mSglich zu sein.

300

P. Alexandroff.

Hilfssatz. Vorausgesetzt sei ein metrischer Raum, der im Kleinendem 1I. AbzShlbarkeitsaxiom geni~gtl~); dann hifit sich ein System vo~ den ganzen Raum vollstdndig de/inierenden, spMirischen Umgebungen derart ausw~ihlen, daft ~eder Raumpunkt 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) verwandelt. Wegen der Voraussetzung gibt es in V~ eine iiberall diehte, hSehstens 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. D in ~ iiberall dieht ist; _~ <~ " ~ . 2. die Mgchtigkeit 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 < 1 ~ 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 ttilfssatz 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 entfernten 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.

Metrisation im Kleinen kompak%er R~ume.

301

Es sei 12. ~) schon definiert, und zwar so, dab dabei ~c~as II..&bz~hlf; barkeitsaxiom giilgg ist (bei Fo~) ist es ja der Fall). Wit definieren /~nr+ 1 als Summe yon F~~ und allen Sphs des Systems ~ , deren Durchschnitt mit /~) yon Null verschieden ist. Man sieht sofort~5), da~ /'~(~ und also auch

ro( ) +

)+... + r$ )+...

dem II. Abz~hlbarkeitsaxiom geniigt. Jetzt sagen wit flit einen Augenblick, dal3 der Punl~ x mit dem Punl~e ~ verbunden ist, falls eine endliche 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 /'(~)- F ( ' ) = 0 ist. Die Zeffs des Raumes in punktfremde, dem II. Abzs geniigende Gebiete ist damit erbracht, und der Fundamentalsatz 2 bewiesen. K o r o l I a r 1. Damit ein z u s a m m e n h d n g e n d e r ~), im Kleinen l~om-

pakter topologischer Raum metrisierbar sei, ist das II. Abz(ihlbarkeitsaxiom gleichzeitig notwendig und hinreichend. K o r o l l a r 2. Falls in einem zusammenMingenden metrischen Raume alas I1. Abzdhlbar]ceitsaxiom nicht gi~ltig ist, 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 veranschaulicht werden; sie erweisen sich aul]erdem als keiner weiteren Verschs oder Verallgemeinerang is G S t t i n g e n , den 10. Juli 1923. P.S. Die Hauptergebnisse dieser Arbeit sind im Jahre 1922 der Moskauer )/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.)