Documentos de Académico
Documentos de Profesional
Documentos de Cultura
iii) Sean A1 , A2 , . . . , An ∈ τ C.
n
\ n
[
X− Ai = (X − Ai ), por De Morgan. (1)
i=1 i=1
τC
Tn Tn
Entonces por (1): X − i=1 Ai = X. Por consiguiente: i=1 Ai ∈
∴ τC es una topologı́a sobre X.
1
Veamos ahora si τ ∞ = {U ⊂ X / X − U es infinito, vacı́o o todo X} es una topologı́a:
i)X, ∅ ∈ τ ∞ , ya que X − X = ∅ ∧ X − ∅ = X.
ii) Sea {Ai }i∈J ⊆ τ ∞ ⇒ ∀i ∈ J, Ai ∈ τ ∞ .
Ya que ∀i ∈ J, Ai ∈ τ ∞ ⇒ X − Ai es infinito, vacı́o o todo X.
i∈J Ai ∈ τ ∞ ⇔ X −
S S
i∈J Ai es infinito, vacı́o o todo X.
[ \
X− Ai = (X − Ai ), por De Morgan.
i∈J i∈J
Ahora bien llegados a este punto, nos preguntamos si la intersección arbitraria de conjuntos infinitos, es
infinito.
1 1
Supongamos que X = R, X − Ai = − , ∧ J = N.
i i
Sabemos que:
\ 1 1
− , = {0} f inito.
i i
i∈N
τ ∞.
S S
Ası́ que X − i∈J Ai = {0} es finito, ⇒ i∈J Ai 6∈
Por consiguiente τ ∞ no es una topologı́a sobre X.
2. Ejercicio 6. Consideremos la colección C = {[a, b) / a < b ∧ a, b ∈ Q}. Demostrar que C es una base y que
genera una topologı́a distinta de la topologı́a del lı́mite inferior sobre R.
Demostración:
Sea τ [) la topologı́a generada por la base B, donde B = {[x, y) / x < y ∧ x, y ∈ R}.
A τ [) se le conoce como la topologı́a del lı́mite inferior sobre R.
Notemos que C ⊆ B, y dado que B ⊆ τ [) , entonces C ⊆ τ [) .
Sea V ∈ τ [) tal que x ∈ V .
Como V ∈ τ [) , entonces ∃ {Bi }i∈J ⊆ B tal que V = i∈J Bi
S
0 0
Ahora bien, sea x ∈ Q (Q denota el conjunto de los números irracionales).
Sabemos que x ∈ [x, y), donde [x, y) es un básico de τ [) , x < y , y ∈ R.
Notemos que no existe un básico [m, n) ∈ C, tal que x ∈ [m, n) ⊆ [x, y).
0
Si existiese un básico [m, n) ∈ C tal que x ∈ [m, n), entonces necesariamente x > m, ya que x ∈ Q .
Por lo que [m, n) 6⊆ [x, y).
Luego por el Lema 13.3 (Libro Munkres), se tiene que τ [) 6⊆ τ C
∴ τ [) 6= τ C .
2
τ = {R2 , ∅} {Gk / k ∈ R}, donde Gk = {(x, y) ∈ R2 / x > y + k}.
S
3. Ejercicio 11. Sea
(a) Comprobar que τ es una Topologı́a sobre R2 .
(b) Es τ una Topologı́a sobre R2 , si k ∈ R, se sustituye por k ∈ N ?
(c) Y por k ∈ Q ?.
Demostración:
i) R2 , ∅ ∈ τ , por definición de τ .
ii) Sea F ⊆ N finito, y {Ai }i∈F ⊆ τ .
τ.
T
* Si existe algún j ∈ F , tal que Aj = ∅, entonces i∈F Ai = ∅ ∈
τ. ya que Gkr ⊆ R2 .
T
* Si ∀i ∈ F, Ai 6= ∅ y ∃r ∈ F tal que Ar = Gkr , entonces i∈F Ai = Gkr ∈
\
(x, y) ∈ Gki ⇔ ∀i ∈ F, (x, y) ∈ Gki
i∈F
⇔ ∀i ∈ F, ∃ ki ∈ R, tal que x > y + ki
⇔ ∀i ∈ F, ∃ ki ∈ R, tal que x − y > ki
∴ τ , donde M = máx K.
T
i∈F Gki = GM ∈
c) Y por k ∈ Q?
Sabemos que Q es un Espacio Métrico que no es completo, ası́ que no toda sucesión de Cauchy de números
racionales converge a un número racional.
◦ Solución :
Veamos si se cumple una unión contable:
3
Sea {Gkn }∞n=1 ⊂ τ ; tal que {kn }∞ 0 0
n=1 ⊂ Q , una sucesión de racionales tal que: kn → q ∈ Q (los
irracionales).
Definimos una sub-sucesión kn0 tal que: k10 = kn0 +1 , k20 = kn0 +2 ,k30 = kn0 +3 ,...; es evidente que
kn0 → q 0 ∈ Q0
∞
[
⇒ Gq0 +ε ⊂ Gkn0 ⊂ Gq0 −ε
n=1
∞
/τ
[
Luego haciendo ε → 0 tenemos que: Gkn0 = Gq0 ∈
n=1