Interpolationssatz von Katětov

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Der Interpolationssatz von Katětov (englisch Katětov's interpolation theorem) ist ein Lehrsatz, welcher dem mathematischen Teilgebiet der Topologie zuzurechnen ist. Er geht zurück auf den tschechischen Mathematiker Miroslav Katětov und gibt eine Verallgemeinerung des bekannten Fortsetzungssatzes von Tietze.[1]

Formulierung des Satzes

[Bearbeiten | Quelltext bearbeiten]

Der Satz lässt sich formulieren wie 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.
  • 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]

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. a b c 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.