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
2. En R con topología usual, la frontera de Q (y también deR Q) es R.3. Si X es un espacio topológico, Fr X =Fr ∅ = ∅.4. Cada subconjunto cerrado de R 2 es la frontera de algún subconjuntode R 2 . En efecto, si K es cerrado y K ◦ = ∅ entoncesFr K = K. En caso contrario sea F el conjunto depuntos de K con coordenadas racionales unido con el conjuntode puntos aislados de K (x es un punto aislado de Ksi existe una vecindad V de x tal que V ∩ K = {x}). Setiene que Fr F = K.Ejercicios2.8. SubespaciosEn nuestro estudio de espacios métricos vimos que es posibleconvertir un subconjunto A de un espacio métrico (X, ρ) en unnuevo espacio métrico considerando la restricción de la función ρal conjunto A×A. Así por ejemplo, el conjunto Q de los númerosracionales “hereda” la estructura de espacio métrico usual delos números reales restringiendo la métrica usual, originalmentedefinida en R×R, al conjunto Q×Q. En el nuevo espacio métricola bola abierta de radio ɛ > 0 centrada en un número racionalx es el conjunto {y ∈ Q : |x − y| < ɛ}. Observando con unpoco de atención, nos daremos cuenta de que este conjunto esprecisamente la intersección de la bola abierta en R de radio ɛy centrada en x, con el conjunto de los números racionales. En55
ealidad cada conjunto abierto en Q resulta ser la intersecciónde un conjunto abierto en R con los números racionales. En estesentido decimos que la topología usual de Q es la “topologíaheredada” por Q de 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 demostración de esta proposición se deducede 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 de subconjuntos abiertos de Xentonces ⋃ (O j ∩ A) = ( ⋃ O j ) ∩ A.Estas observaciones dan lugar a la siguiente definició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 Ade X o la topología inducida por X (o por la topología de X)sobre A. El espacio topológico formado se llama un subespaciode X.En adelante, a menos que se explicite lo contrario, consideraremoscada subconjunto de un espacio topológico X como un56
- Page 5 and 6: Además se satisfacen las siguiente
- Page 7 and 8: 0.3. Uniones e intersecciones arbit
- Page 9 and 10: 1. Para cada x ∈ X existe y ∈ Y
- Page 11 and 12: 0.6. Productos arbitrariosHasta aho
- Page 13 and 14: 1. (Reflexividad) x ∼ x para todo
- Page 15 and 16: |X| = ℵ 0 . Si X es equipotente c
- Page 18 and 19: eal M > 0 tal que |f(x)| < M para t
- Page 20 and 21: Nótese que en un espacio seudomét
- Page 22 and 23: De la misma forma si se escoge b
- Page 24 and 25: Una de las propiedades más bonitas
- Page 26 and 27: Consideremos un espacio métrico X.
- Page 28 and 29: Capítulo 2Espacios TopológicosLa
- Page 30 and 31: La colección de todos los conjunto
- Page 32 and 33: 3. Sea X un conjunto cualquiera. La
- Page 34 and 35: Esto implica que la topologíausual
- Page 36 and 37: 2. Si U, V ∈ V(x) entonces U ∩
- Page 38 and 39: 3. Si A es una familia de conjuntos
- Page 40 and 41: un conjunto X con las propiedades
- Page 42 and 43: 3.Para cada punto z del planodefini
- Page 44 and 45: La unión arbitraria de conjuntos c
- Page 46 and 47: Si X es un espacio topológico y A
- Page 48 and 49: 1. A ⊂ A para cada A ⊂ X.2. A =
- Page 50 and 51: 3. Si X es un conjunto infinito y p
- Page 52 and 53: 2.7. Interior, exterior y frontera
- Page 54 and 55: 2.7.5 Ejemplos.1. En R con la topol
- Page 58 and 59: subespacio de X. Esto es, considera
- Page 60 and 61: 4. Si a ∈ A y si B(a) es un siste
- Page 62 and 63: 3.1.1 Definición. Sean X y Y espac
- Page 64 and 65: 3.1.5 Ejemplo. Consideremos el inte
- Page 66 and 67: 3.1.7 Teorema. Si f : X −→ Y y
- Page 68 and 69: X. Ahora bien, f −1 (K) = ⋃ i=1
- Page 70 and 71: de los espacios tienen su contrapar
- Page 72 and 73: La inclusión de un subespacio en u
- Page 74 and 75: La colección B de todas las inters
- Page 76 and 77: 4.2.1 Definición. Sean X y Y dos e
- Page 78 and 79: 4.3.1∏Definición. Definimos la t
- Page 80 and 81: En cualquier caso, α −1 (πA −
- Page 82 and 83: 4.4. Estructuras finales - Topolog
- Page 84 and 85: De manera recíproca, Si O es un su
- Page 86 and 87: clase de equivalencia de un punto (
- Page 88 and 89: 2. Si ϕ([x]) = ϕ([y]), entonces f
- Page 90 and 91: 5.1.2 Ejemplos.1. El espacio de Sie
- Page 92 and 93: 5.1.3 Definición. Un espacio topol
- Page 94 and 95: como el radio de las vecindades esc
- Page 96 and 97: K = {(x 1 , x 2 ) : f(x 1 ) = f(x 2
- Page 98 and 99: 1. Sea X un conjunto dotado con la
- Page 100 and 101: Ejercicios5.4. Espacios completamen
- Page 102 and 103: menos que cada conjunto unitario en
- Page 104 and 105: tal que B(b, δ b ) ∩ A = ∅. El
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