Interpolationssatz von Katětov

Der Interpolationssatz v​on Katětov (englisch : Katětov's interpolation theorem) i​st ein Lehrsatz, welcher d​em mathematischen Teilgebiet d​er Topologie zuzurechnen ist. Er g​eht zurück a​uf den tschechischen Mathematiker Miroslav Katětov u​nd gibt e​ine Verallgemeinerung d​es bekannten Fortsetzungssatzes v​on Tietze.[1]

Formulierung des Satzes

Der Satz lässt s​ich formulieren w​ie folgt:[1]

Gegeben sei ein normaler topologischer Raum .[2]
Seien weiter gegeben zwei halbstetige reellwertige Funktionen und es sei vorausgesetzt, dass oberhalbstetig sei, dass unterhalbstetig sei und dass dabei stets die Ungleichung bestehe.[3]
Dann existiert eine stetige Funktion , welche und interpoliert,
für welche also punktweise die Ungleichung
besteht.

Anmerkungen

  • Der Interpolationssatz von Katětov zieht den tietzeschen Fortsetzungssatz als Folgerung nach sich. Dazu zeigt man den Fortsetzungssatz mit Hilfe des Interpolationssatzes zunächst für stetige Funktionen, die eine abgeschlossene Teilmenge eines normalen topologischen Raumes in das Intervall abbilden. Daran anschließend gewinnt man – mit bekannten Methoden – den Fortsetzungssatz für alle stetigen Funktionen, die eine abgeschlossene Teilmenge eines normalen topologischen Raumes nach oder (noch allgemeiner) in einen aus reellen Intervallen bestehenden Produktraum abbilden.[4][5][6]
  • In seiner Arbeit aus dem Jahre 1951 war Katětov bei der Herleitung seines Interpolationssatzes ein Fehler unterlaufen, welcher von Hing Tong mit dessen Arbeit aus dem Jahre 1952 bereinigt wurde. In der englischsprachigen Literatur wird der Interpolationssatz daher oft beiden genannten Autoren zugerechnet und dann – etwa von Tomasz Kubiak (s. u.) – als Katětov-Tong insertion theorem bezeichnet.
  • Der Interpolationssatz lässt sich auch mit Hilfe des Lemmas von Urysohn herleiten.[1] Da das Lemma von Urysohn und der Tietzesche Fortsetzungssatz im Wesentlichen gleichwertig sind und da der Interpolationssatz den Fortsetzungssatz – wie gesehen – nach sich zieht, erweisen sich alle drei Lehrsätze damit sogar als gleichwertig. Wie sich (nicht zuletzt anhand der genannten Arbeiten) zeigt, bedeuten diese im Kern, dass ein normaler Raum stets die in den drei Lehrsätzen behaupteten funktionalen Eigenschaften besitzt und dass ihn diese charakterisieren.[7]

Literatur

  • Horst Schubert: Topologie. 4. Auflage. B. G. Teubner Verlag, Stuttgart 1975, ISBN 3-519-12200-6 (MR0423277).
  • G. J. O. Jameson: Topology and Normed Spaces. Chapman and Hall, London 1974, ISBN 0-412-12880-2 (MR0463890).
  • M. Katětov: On real-valued functions in topological spaces. In: Fund. Math. Band 38, 1951, S. 85–91 (MR0050264).
  • Tomasz Kubiak: A stengthening of the Katětov-Tong insertion theorem. In: Comment. Math. Univ. Carolin. Band 34, 1993, S. 357–362 (). MR1241744
  • Horst Schubert: Topologie. 4. Auflage. B. G. Teubner Verlag, Stuttgart 1975, ISBN 3-519-12200-6 (MR0423277).
  • Hing Tong: Some characterizations of normal and perfectly normal spaces. In: Duke Math. J. Band 19, 1952, S. 289–292 (MR0050265).

Einzelnachweise

  1. G. J. O. Jameson: Topology and Normed Spaces. 1974, S. 120–123.
  2. ist also ein topologischer Raum, in dem je zwei beliebige disjunkte abgeschlossene Mengen durch disjunkte offene Umgebungen getrennt werden.
  3. Man sagt in Bezug auf die letztgenannte Voraussetzung, dass die Ungleichung punktweise oder elementweise bestehe.
  4. Jameson, op. cit., S. 113–115, 123.
  5. Horst Schubert: Topologie. 1975, S. 78 ff
  6. Diese allgemeine Fassung des Fortsetzungssatzes nennt man auch den Satz von Tietze-Urysohn.
  7. Horst Schubert: Topologie. 1975, S. 76–83
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.