Topologia podprzestrzeni: Różnice pomiędzy wersjami

'''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ą'''.

 

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