Anda di halaman 1dari 6

Evaluación

3 Parciales 30 % c/u
5 % Laboratorios
5 % Tareas

Texto: Topology: A first course J.R. Munkres Prentice Hall.

1er Parcial Espacios Topologicos y funciones continuas.


2do Parcial Conexidad y compacidad.
3er Parcial Axiomas de numerabilidad y axiomas de separabilidad.

1
Capı́tulo 1

Primer Parcial

1.1. Espacios Topológicos y funciones continuas


a) Repaso de espacios métricos
Definición: Un espacio métrico es un conjunto no vaı́o X dotado de una función d: X × X → R llamada
”métrica en X”que satisface las siguientes propiedades:

1 d (x, y) ≥ ∀ (x, y) ∈ d (x, y) = 0


2 d (x, y) = d (y, x) ∀ (x, y) ∈ X
3 d (x, z) ≤ d (x, y) + d (y, Z) desigualdad triangular ∀ (x, y, z) ∈ X formalmente el espacio métrico resul-
tante se denota por (x, d) y los elementos de X son llamados ”puntos del espacio métrico”.
Sin embargo usualmente se habla del espacio métrico X, si no parece haber confusión e cual es la
métrica considerada.
El mismo conjunto X pero con dos métricas diferentes da lugar a dos espacios métricos diferentes.

Ejemplos de espacios métricos


1)
d : R×R → R
d (x, y) = |x − y|
Es una métrica ya que

a) d (x, y) = |x − y| ≥ 0, si x = y ⇒ d (x, y) = |x − x| = |0| = 0

b) d (x, y) = |x − y| = |− (−x + y)| = |−1| |y − x| = |y − x| = d (x, y)

∴ d (x, y) = d (x, y)

c) d (x, z) = |x − z| = |x − y + y − z| = |(x − y) + (y − z)| ≤ |(x − y)| + |(y − z)| = d (x, y) + d (x, z)

∴ d (x, z) ≤ d (x, y) + d (x, z)

2
2)

Dado un conjunto no vacı́o E , se define la distancia discreta o métrica discreta:

d : E ×E  →R
1 si x 6= y
d (x, y) =
0 si x = y
Cumple la definición ya que:

a) d (x, y) = 0 si x = y por definición de d (x, y)


d (x, y) si x 6= y

b) d (x, y) = d (x, y)

c) Sean x, y, z ∈ E

1 si x 6= Z
d (x, y) =
0 si x = Z

si x = z ⇒ d (x, Z) = 0 ≤ d (x, y) + d (x, Z)

si x 6= z ⇒ d (x, Z) = 1 ≤ d (x, y) + d (x, Z)

(No puede ser x = y y y = Z)

x=y y=Z x=Z


x = y y 6= Z 1 ≤ 0 + 1
x 6= y y 6= Z 1 ≤ 2 + 1
x 6= y y 6= Z 1 ≤ 1 + 1
3)

Dado un intervalo fijo [a, b] con a < b consideremos el conjunto


C[a, b] = { f : [a, b] ⇒ R/ f es continua a < b}

Si f , g ∈ C[a, b] ⇒
aseguramos que | f (x) − g (x)| toma un máximo en algún valor x ∈ [a, b] ası́ que:

d ( f , g) = máx {| f (x) − g (x)| /x ∈ [a, b]}


es una métrica en C[a, b]

3
4
2
0

0
−2
−4

0 5 10 15 20

d : C [a, b] ×C [a, b] → R

d ( f , g) = máx {| f (x) − g (x)| /x ∈ [a, b]}

Demostración

1. Por demostrar d ( f , g) ≥ 0 d ( f , g) = 0 ↔ f = g
a) d( f , g) 6= 0 por la misma definición
b)
d( f , g) = 0 ⇔ máx {| f (x) − g (x)| /x ∈ [a, b]} = 0
⇔ | f (x) − g (x)| = 0 ∀x ∈ [a, b]
⇔ f (x) − g (x) = 0 ∀x ∈ [a, b]
⇔ f (x) = g (x) ∀x ∈ [a, b]
⇔ f =g
Lo que se querı́a demostrar.
2. Por demostrar

d ( f , g) = d (g, f )

d ( f , g) = máx {| f (x) − g (x)| /x ∈ [a, b]}


d ( f , g) = máx {|− (g (x) − f (x))| /x ∈ [a, b]}
d ( f , g) = máx {|g (x) − f (x)| /x ∈ [a, b]}
Lo que se querı́a demostrar.

3. Por demostrar

d ( f , g) ≤ d ( f , n) + d (h, g) h ∈ C [a, b]

4
Sea x ∈ [a, b] un valor arbitrario

| f (x) − g (x)| = | f (x) − h (x) + h (x) − g (x)|


| f (x) − g (x)| ≤ | f (x) − h (x)| + |h (x) − g (x)|
| f (x) − g (x)| ≤ d ( f , h) + d (h, g)
Máximo
Definición
d ( f , g) = máx {| f (x) − g (x)| /x ∈ [a, b]}
d ( f , g) ≤ d ( f , h) + d (h, g)
Lo que se querı́a demostrar.

∴ d es una métrica en C [a, b]

Observación: La continuidad de las funciones solo se necesita para garantizar la existencia del máximo,
ya que una función real continua en un intervalo cerrado y acotado es acotado.

Definición: Sea (X, d) un espacio métrico. Dado un punto p en X y dado un número real ε > 0, defini-
mos Bd (p, ε) = {x ∈ X/d (x, p) < ε} llamada la ”d-bola abierta con centro en p y radio ε”.

Definición: Sea (X, d1 ) y (X, d2 ) dos espacios métricos y f : X → Y . Se dice que (X, d) f es continua
en un punto p en X si ∀ε > ∃δ > 0 tal que si x ∈ X y d1 (x, p) < δ, entonces d2 ( f (x) , f (p)) < ε
4
2
0

0
−2
−4

0 5 10 15 20

Figura 1.1: falta segunda figura

f continua en p ∈ X

∀ε > 0, ∃δ > 0 / si p ∈ X ⇒ |x − p| < δ siempre que | f (p) − f (x)| < ε

x∃X

5
Esto es equivalente a: f [Bd1 (p, δ)] ⊂ Bd2 ( f (p) , ε)

Teorema: Sea f : X → Y ; F es continua si y sólo si todo conjunto V en Y tal que V es d2 -abierto se


cumple que f −1 (V ) es abierto en d1 -abierto

4
2
0

0
−2
−4

0 5 10 15 20

Figura 1.2: falta tercera figura

Demostración: