Satz von Tamano

Der Satz von Tamano ist ein Lehrsatz aus dem mathematischen Teilgebiet der Topologie, der auf den japanischen Mathematiker Hisahiro Tamano zurückgeht.<ref>Tamano: On Paracompactness. 1960, S. 1043–1047.</ref><ref>Naber: Set-theoretic Topology. 1977, S. 161.</ref><ref>Nagata: Modern General Topology. 1985, S. 237.</ref><ref>Willard: General Topology. 1970, S. 154.</ref> Er charakterisiert die Parakompaktheit topologischer Räume mittels der Konzepte von Normalität und Kompaktheit unter Einbeziehung der Stone-Čech-Kompaktifizierung.

Formulierung des Satzes

Für jeden Hausdorff-Raum <math>X</math> sind die folgenden Bedingungen gleichwertig:

<math> X </math> ist parakompakt.
<math>X</math> ist vollständig regulär und das topologische Produkt <math>X \times {\beta {X}}</math> von <math>X</math> mit seiner Stone-Čech-Kompaktifizierung <math>\beta {X}</math> ist normal.
Das topologische Produkt <math>X \times K </math> von <math>X</math> mit jedem beliebigen kompakten Hausdorff-Raum <math>K </math> ist normal.

Korollar

Für jeden parakompakten Hausdorff-Raum <math>X</math> und jeden kompakten Hausdorff-Raum <math>Y</math> ist das topologische Produkt <math>X \times Y </math> ein parakompakter Hausdorff-Raum.<ref>Naber: Set-theoretic Topology. 1977, S. 148.</ref><ref>Nagata: Modern General Topology. 1985, S. 223.</ref><ref>Schubert: Topologie. 1975, S. 85.</ref>

Dies folgt sofort mit (3) und dem Satz von Tychonoff. Dieses Korollar wiederum zieht seinerseits das folgende Resultat nach sich:

Für jeden Hausdorff-Raum <math>X</math> sind die folgenden beiden Bedingungen gleichwertig:

<math> X \times Y </math> ist normal für jeden parakompakten Hausdorff-Raum <math>Y</math>.
<math> X \times Y </math> ist parakompakt für jeden parakompakten Hausdorff-Raum <math>Y</math>.<ref>Naber: Set-theoretic Topology. 1977, S. 163.</ref>

Literatur

Artikel

{{#invoke:Vorlage:Literatur|f}}

Monografien

{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}

Einzelnachweise