10.07.2015 Views

Notas de Topolog´ıa Clara M. Neira U. - UN Virtual

Notas de Topolog´ıa Clara M. Neira U. - UN Virtual

Notas de Topolog´ıa Clara M. Neira U. - UN Virtual

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

ealidad cada conjunto abierto en Q resulta ser la intersección<strong>de</strong> un conjunto abierto en R con los números racionales. En estesentido <strong>de</strong>cimos que la topología usual <strong>de</strong> Q es la “topologíaheredada” por Q <strong>de</strong> R.En general tenemos el siguiente resultado.2.8.1 Proposición. Sean (X, τ) un espacio topológico y A ⊂ X.La colección τ ′ = {O ∩ A : O ∈ τ} es una topología sobre A.Demostración. La <strong>de</strong>mostración <strong>de</strong> esta proposición se <strong>de</strong>duce<strong>de</strong> los siguientes hechos:1. ∅ ∩ A = ∅.2. X ∩ A = A3. (O 1 ∩ A) ∩ (O 2 ∩ A) = (O 1 ∩ O 2 ) ∩ A.4. Si {O j } j∈J es una colección <strong>de</strong> subconjuntos abiertos <strong>de</strong> Xentonces ⋃ (O j ∩ A) = ( ⋃ O j ) ∩ A.Estas observaciones dan lugar a la siguiente <strong>de</strong>finición.2.8.2 Definición. Sean (X, τ) un espacio topológico y A ⊂ X.La colección {O ∩ A : O ∈ τ} es la topología heredada por A<strong>de</strong> X o la topología inducida por X (o por la topología <strong>de</strong> X)sobre A. El espacio topológico formado se llama un subespacio<strong>de</strong> X.En a<strong>de</strong>lante, a menos que se explicite lo contrario, consi<strong>de</strong>raremoscada subconjunto <strong>de</strong> un espacio topológico X como un56

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!