Teilraumtopologie

auf einer Teilmenge eines topologischen Raumes induzierte Topologie

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

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  .

Eigenschaften

Bearbeiten
  • 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.

Beispiele

Bearbeiten
  • 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.

Literatur

Bearbeiten