Professional Documents
Culture Documents
Introducción
En este capı́tulo definimos algunos conceptos relacionados con la Topologı́a, ciencia
que permite clasificar los puntos de un conjunto. Nos restringimos a los espacios métricos.
Después de definir bola, que en el caso de los números reales es un intervalo, y entorno, con-
junto que contiene a una bola, pasamos a definir los conceptos de punto interior, exterior,
frontera, de acumulación, adherente y aislado.
Aunque damos las definiciones en cualquier espacio métrico, en los ejemplos y apli-
caciones nos restringiremos a los números reales IR o complejos C. I Los conjuntos IRn se
tratan en el volumen Cálculo II [35] en el que se estudian las funciones de varias varia-
bles. Por esta razón no definiremos rigurosamente conjunto compacto dando solamente
su caracterización en IR. Tampoco definimos conjunto conexo al adquirir esta definición
verdadero sentido al trabajar en conjuntos de IRn , n ≥ 2.
Notas:
1) La distancia definida en el ejemplo 1) es la distancia usual en IR. Si no se dice nada
en contra, a IR se le supondrá siempre dotado de esta distancia.
2) Para n = 1 las tres distancias definidas en el ejemplo 2) coinciden con la usual en IR.
De ellas, la que más responde a la idea geométrica de distancia es d2 , que se denomina
distancia “euclı́dea”.
3) En el problema resuelto 1 se analiza una distancia en el conjunto de los números
complejos C.I
B(x0 , r) = {x ∈ E / d(x, x0 ) ≤ r}
3.4. Teorema
Cualquier subconjunto cerrado de un conjunto compacto es compacto.
TEST DE AUTOEVALUACIÓN
1. Si (E, d) es un espacio métrico, dados x, y, z ∈ E, entonces |d(x, y) − d(x, z)| > d(y, z).
2. Sea (E, d) un espacio métrico. Sea a ∈ E y r1 , r2 ∈ IR+ , r1 > r2 . Entonces, se cumple
que B(a, r1 ) ⊃ B(a, r2 ).
1
3. Con la distancia usual en IR, si A = (0, 1) ∪ {3}, la frontera de A es Fr A = 0, , 3 .
2
Nota: Para todas las preguntas relativas a subconjuntos de IR se considera en este espacio
la métrica usual.
6. Si A ⊂ IR es finito, A = ∅.
7. Sea A ⊂ IR, A = ∅. Entonces, si Fr A ⊃ A, A no puede ser abierto.
◦
8. A ⊃ A para cualquier conjunto A en un espacio métrico (E, d).
◦
9. Si A = ∅, Fr A = A.
1
10. El conjunto A = n ∈ IN es acotado.
n+1
11. El conjunto Q
I es compacto.