Separabilitätssatz von Marczewski

Der Separabilitätssatz von Marczewski (englisch Marczewski’s separability theorem[1]) – auch als Satz von Marczewski[2] bezeichnet – ist ein Lehrsatz des mathematischen Teilgebiets der Allgemeinen Topologie. Er geht auf eine Arbeit des polnischen Mathematikers Edward Marczewski aus den Jahren 1947 zurück und behandelt das Problem der Separabilität des Produkts gewisser topologischer Räume.[2]

Formulierung des Satzes

Der Satz lässt sich zusammengefasst angeben wie folgt:[2][3]

Gegeben sei eine nichtleere Familie von Hausdorffräumen, welche allesamt aus zwei oder mehr Elementen bestehen sollen, und es sei
deren topologisches Produkt.
Dann gilt:
Der Produktraum ist separabel genau dann, wenn jeder der Räume separabel ist und wenn darüber hinaus die Indexmenge höchstens die Mächtigkeit des Kontinuums hat.

Verwandter Satz

Ein dem Separabilitätssatz von Marczewski eng verwandter Satz ist der folgende, der von manchen Autoren Satz von Hewitt–Marczewski–Pondiczery (englisch Hewitt–Marczewski–Pondiczery theorem) genannt wird: [4]

Ist eine unendliche Kardinalzahl und ist das Produkt von topologischen Räumen und enthalten diese Räume allesamt dichte Teilmengen, deren Mächtigkeit höchstens ist, so umfasst der Produktraum seinerseits eine dichte Teilmenge, deren Mächtigkeit höchstens ist.

Anmerkung zur Namensgebung

Kenneth Allen Ross und Arthur Harold Stone rechnen den Separabilitätssatz dem US-amerikanischen Mathematiker Ralph Boas zu, in dessen Arbeit aus dem Jahre 1944 – die Boas unter dem Pseudonym E. S. Pondiczery veröffentlichte – dieses Resultat auch enthalten ist.[5]

Literatur

Siehe auch

Einzelnachweise

  1. W. W. Comfort: A short proof of Marczewski's separability theorem. Amer. Math. Monthly 76, S. 1041 ff
  2. a b c J. Heine: Topologie und Funktionalanalysis. 2002, S. 157
  3. Stephen Willard: General Topology. 1978, S. 109
  4. A. A. Gryzlov: On dense subsets of Tychonoff products., Topology Appl. 170, S. 86 ff
  5. K. A. Ross, A. H. Stone: Products of separable spaces., Amer. Math. Monthly 71, S. 399