Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Conexidad
AB = y M = AB.
AB = y M = AB A = M B y B = M A.
Luego en una escision (A, B), los conjuntos A, B son abiertos y cerrados en (M, d).
b) Si (A, B) es escision del espacio metrico (M, d) y X M , entonces (AX, BX)
es una escision del subespacio metrico (X, d).
b) (M, d) espacio metrico discreto implica (A, M A) es una escision para todo
A M.
Ejemplo 4.1.4. Sea Mn (R) el conjunto de las matrices n n con entradas reales.
Entonces h : Mn (R) Rn definida por
2
x11 x12 . . . x1n
x21 x22 . . . x2n
h .. .. . .. = (x11 , . . . , x1n , x21 , . . . , x2n , . . . , xn1 , . . . , xnn )
. . . . .
xn1 xn2 . . . xnn
es una biyeccion.
55
56 Ingeniera Matem
atica
Definici
on 4.1.5. Una escision (A, B) de un espacio metrico (M, d) se dice trivial
si A = o B = .
Proposici
on 4.1.8. Sea (M, d) espacio metrico. Son equivalentes:
1) (M, d) es conexo.
3) A M y A = en (M, d) implica A = M o A = .
\
Entonces si A = , el par (A, M A) es una escision de (M, d). Por lo tanto A=
\
oM A= . Pero
A= = \
M =M A M A = A = ,
y
\
M A= = M =A A = A = M.
Por lo tanto A = en (M, d) implica A = M o A = .
Ejemplo 4.1.9. (R, | |) es conexo.
Supongamos existe escision no trivial (A, B) de (R, | |). Sean a A y b B y
supongamos a < b . Considere el conjunto X = {x A : x < b}. Entonces X es
no vacio ( a X) y b es cota superior de X. Sea c = sup X. Luego c b y para
todo > 0 existe x X ( y por lo tanto x A) tal que c < x c (definicion de
supremo). Esto implica que c A y como A es cerrado, c A. Por lo tanto c < b.
Ahora, como A es abierto, existe r > 0 tal que c + r < b y ]c r, c + r[ A. Entonces
]c r, c + r[ X. Esto es una contradiccion ya que c = sup X. Esto demuestra que
(R, | |) es conexo.
Proposicion 4.1.10. Sea f : (M, d) (N, ) continua. Entonces X subconjunto
conexo de (M, d) implica f (X) subsconjunto conexo de (N, ).
Demostraci on. Caso a) Supongamos X = M y f (M ) = N . Sea (A, B) escision
de (N, ). Entonces A, B abiertos en (N, ) implica f 1 (A) y f 1 (B) son abierto de
(M, d). La condicion A B = implica f 1 (A) f 1 (B) = f 1 (A B) = .
Tambien la condicion A B = M implica f 1 (A) f 1 (B) = f 1 (A B) =
f 1 (N ) = M . Luego el par (f 1 (A), f 1 (B)) es una escision de (M, d). Por lo
tanto f 1 (A) = o f 1 (B) = . Pero f 1 (A) = implica A = ya que f (M ) = N .
Analogamente f 1 (B) = implica B = . Por lo tanto la escision (A, B) es trivial
y (N, ) es conexo.
Caso b) Suponga ahora X es subconjunto conexo de (M, d). Esto implica que el
espacio metrico (X, d) es conexo. Como f : (M, d) (N, ) es continua, tambien
f : (X, d) (f (X), ) es continua. Entonces, por Caso a), el subespacio (f (X), )
es conexo y luego f (X) es un subconjunto conexo de (N, ).
Corolario 4.1.11. (M, d) conexo y (N, ) homeomorfo a (M, d) implica (N, ) es
conexo.
Ejemplos 4.1.12. a) Todo intervalo abierto de R es subconjunto conexo de (R, | |).
En efecto si I es intervalo abierto de R, entonces (I, | |) es homeomorfo a (R, | |).
b) S 1 = {(x, y) R2 : x2 + y 2 = 1} es subconjunto conexo de (R2 , d), con
d {de , ds , dm }. En efecto f (R) = S 1 para f : (R, | |) (R2 , d) la aplicaci
on
continua definida por f (t) = (cos(t), sen(t)).
58 Ingeniera Matem
atica
X A= y X =M = A = .
f (t) f (s) = | t s | b a .
Xab = {a + t (b a) : t R}
es subconjunto conexo de (E, ). Tenemos ademas a Xab . Luego como
bE
E = Xab , tenemos que (E, ) es conexo.
bE
a) Son subconjuntos conexos de (E, ) toda bola abierta B(a; r) (ya que (B(a; r), )
es homemorfo a (E, ) ) y todo bola cerrada B[a; r] (ya que B[a, r] =
B(a; r)).
b) En particular
Ademas todo intervalo semiabierto es conexo ya que esta entre un intervalo abierto
y su adherencia.
Sea ahora X subconjunto conexo de (R, | |). Si X = {a}, entonces X = [a, a]. Si
X tiene mas de un punto, para demostrar que X es un intervalo hay que demostrar
que para todo a, b X, a < b, el intervalo [a, b] X. Sean a, b X, a < b. Si existe
c ]a, b[X, el par (] , c[X, ]c, +[X) es una escision no trivial de (X, | |).
Luego [a, b] X y X es un intervalo.
Corolario 4.1.29. (Teorema del valor Intermedio) Sea f : ([a, b], | |) (R, | |)
aplicacion continua. Si f (a) < d < f (b), entonces existe c ]a, b[ tal que f (c) = d.
Demostraci on. Como f [a, b] es un intervalo que contiene a los puntos f (a) y f (b),
tambien debe contener todo punto intermedio. En particular d f ([a, b]). Luego
existe c [a, b] tal que f (c) = d. Como f (a) < d < f (b) se tiene que c ]a, b[.