Topologia podprzestrzeni: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
Addbot (dyskusja | edycje)
m Bot: Przenoszę linki interwiki (16) do Wikidata, są teraz dostępne do edycji na d:q660730
PG (dyskusja | edycje)
drobne redakcyjne
Linia 1:
'''Topologia podprzestrzeni''' – w [[topologia|topologii]] i powiązanych z nią działach [[matematyka|matematyki]] [[przestrzeń topologiczna|topologia]] określona na podzbiorze danej przestrzeni topologicznej, nazywanym wtedy '''podprzestrzenią''', za pomocą naturalnie odziedziczonej z przestrzeni wyjściowej topologii. Topologię podprzestrzeni nazywa się też '''topologią śladową''', '''relatywną''' lub '''indukowaną'''.
 
== Definicja formalna ==
Niech <math>(X,\tau)</math> będzie [[Topologia|przestrzenią topologiczną]], zaś <math>Y</math> będzie podzbiorem zbioru <math>X</math>. '''Topologia podprzestrzeni <math>Y</math> indukowana z przestrzeni <math>X</math>''' to rodzina <math>\tau_Y=\{U\cap Y:U\in \tau\}</math>.
 
Łatwo się sprawdza że <math>(Y,\tau_Y)</math> jest przestrzenią topologiczną. Często zamiast mówić ''<math>Y</math> z topologią podprzestrzeni <math>X</math>'' mówimymówi się po prostu ''podprzestrzeń <math>Y</math>''.
== Przykłady ==
Linia 40:
 
== Zobacz też ==
* [[Topologiatopologia]]
* [[Przestrzeńprzestrzeń topologiczna]]
 
[[Kategoria:Topologia]]