Teilraumtopologie

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

Im mathematischen Teilgebiet der Topologie versteht man unter der Teilraumtopologie (auch induzierten Topologie, relativen Topologie, Spurtopologie oder Unterraumtopologie) die natürliche Struktur, die eine Teilmenge eines topologischen Raumes „erbt“. Die Teilraumtopologie ist eine spezielle Initialtopologie.

Formale Definition

[Bearbeiten | Quelltext bearbeiten]

Es sei die Grundmenge eines topologischen Raums und eine Teilmenge. Dann ist die Teilraumtopologie auf die Topologie

Die offenen Teilmengen von sind also genau die Schnitte der offenen Teilmengen von mit .

  • Die Teilraumtopologie auf einer Teilmenge eines topologischen Raumes ist die gröbste Topologie, für die die Inklusionsabbildung
stetig ist.
  • Ist eine offene Teilmenge eines topologischen Raumes , so ist eine Teilmenge genau dann offen in der Teilraumtopologie von , wenn als Teilmenge von offen ist.
  • Ist eine abgeschlossene Teilmenge eines topologischen Raumes , so ist eine Teilmenge genau dann abgeschlossen in der Teilraumtopologie von , wenn als Teilmenge von abgeschlossen ist.
  • Man stelle sich ein Blatt Papier ohne Rand als zweidimensionales Objekt vor. Im ist dies keine offene Menge. Betrachtet man aber die Topologie bezüglich der Ebene, in der sich das Blatt befindet, so liegt eine offene Menge vor.
  • Die Teilraumtopologie auf ist die diskrete Topologie, d. h. alle Teilmengen von sind offen als Teilmengen des topologischen Raumes . Beispielsweise ist die Menge eine offene Teilmenge von , weil sie Schnitt der offenen Teilmenge von mit ist.