TEMA III (PRIMERA PARTE): CONEXI

Tamaño: px
Comenzar la demostración a partir de la página:

Download "TEMA III (PRIMERA PARTE): CONEXI"

Transcripción

1 TEMA III (PRIMERA PARTE): CONEXIÓN FRANCISCO J. LÓPEZ 1. CONEXIÓN TOPOLÓGICA La conexión es uno de los invariantes topológicos más importantes. A nivel intuitivo, un objeto es conexo si consta de un sólo trozo, y disconexo si está compuesto de varias componentes o trozos independientes. No obstante, esta formulación tan simple requiere de una elaboración formal muy cuidadosa, como vamos a ver a continuación. Definición 1.1. Un espacio topológico (X, τ) se dice conexo si y sólo si (def) A, B X tales que A, B = A B = X A B = se tiene que A B = ó B A = Un subconjunto Y X se dice conexo en (X, τ) si y sólo si (Y, τ Y ) es conexo. Como consecuencia de la Definición 1.1, (X, τ) no es conexo si y solo si A, B = A, B X tales que A B = X A B = B A = El siguiente teorema nos ofrece algunas caracterizaciones útiles de la conexión de un espacio. Teorema 1.2. Sea (X, τ) un espacio topológico. Son equivalentes: (a) (X, τ) es conexo. (b) Si O 1, O 2 τ, O 1 O 2 = y O 1 O 2 = X = {O 1, O 2 } = {, X}. (c) Si A X es abierto y cerrado entonces A {, X}. (d) Si f : (X, τ) ({0, 1}, τ d ) es continua = f es constante. (e) Para todo conjunto Y, si f : (X, τ) (Y, τ d ) es continua = f es constante. Dem: (a) = (b) Sean O 1, O 2 τ tales que O 1 O 2 = y O 1 O 2 = X, y supongamos que {O 1, O 2 } = {, X}, esto es, que O 1, O 2 =. Como (X, τ) es conexo, usando la Definición 1.1 para la elección A = O 1 y B = O 2 deducimos que O 1 O 2 = o O 2 O 1 =. Sin embargo, como O 1 = X O 2 y O 2 = X O 1 ambos conjuntos son cerrados. Por tanto, O j = O j, j = 1, 2, contradiciendo que O 1 O 2 =. (b) = (c) Si A X es abierto y cerrado, O 1 = A y O 2 = X A son dos abiertos en las condiciones de (b), por lo que {O 1, O 2 } = {, X}, esto es, A {, X}. (c) = (d) Dada f : (X, τ) ({0, 1}, τ d ) continua, el conjunto A = f 1 ({0}) es abierto (imagen inversa por f de un abierto en ({0, 1}, τ d )) y cerrado (imagen inversa por f de un cerrado en ({0, 1}, τ d )). De nuestras hipótesis A {, X}, esto es, f es constante. (d) = (e) Sea f : (X, τ) (Y, τ d ) continua. Tomemos x 0 X un punto arbitrario y construyamos la aplicación { 0 si y = f (x0 ) h : (Y, τ d ) ({0, 1}, τ d ), h(y) = 1 si y = f (x 0 )

2 2 F.J. LÓPEZ Claramente h es continua, de donde f h es continua. Por hipótesis h f es constante (y necesariamente h f 1), de donde f (x) = f (x 0 ) para todo x X. Esto prueba que f es constante. (e) = (a) Razonemos por reducción al absurdo, y supongamos que A, B X son subconjuntos no vacíos tales que A B = B A = y A B = X. Obsérvese que bajo nuestras hipótesis A = A = X B y B = B = X A. Elijamos Y = {0, 1} y consideremos la aplicación { 0 si x A f : (X, τ) ({0, 1}, τ d ), f (x) = 1 si x B La aplicación f es continua y no constante, contradiciendo (e) y probando el teorema. Como comentábamos en la introducción del tema, la conexión es un invariante topológico. Este hecho es consecuencia del siguiente: Teorema 1.3. Si (X, τ) es conexo y f : (X, τ) (Y, τ ) es continua entonces ( f (X), τ f (X)) es conexo. Dem: Si h : ( f (X), τ f (X)) ({0, 1}, τ) es continua entonces h f : (X, τ) ({0, 1}, τ) es también continua. Como (X, τ) es conexo, el Teorema 1.2 nos dice que h f es constante, de donde h es constante. Pero de nuevo por el Teorema 1.2 deducimos que ( f (X), τ f (X)) es conexo. Corolario 1.4. Si (X, τ) es conexo y f : (X, τ) (Y, τ ) es un homeomorfismo entonces (Y, τ ) es conexo. Uno de los objetivos de este tema será demostrar la conexión de algunos espacios topológicos relevantes. Para ello el siguiente criterio resultará de gran utilidad. Proposición 1.5. Sea (X, τ) un espacio topológico, y supongamos existe una familia {F λ : λ Λ} de subconjuntos de X satisfaciendo: λ Λ F λ = X y F λ F µ = para cualesquiera λ, µ Λ. F λ es conexo en (X, τ) para todo λ Λ. Entonces (X, τ) es conexo. Dem: Sea A X un subconjunto no vacío abierto y cerrado en (X, τ). Teniendo en cuenta el Teorema 1.2, es suficiente con probar que A = X. En efecto, como λ Λ F λ = X y A =, la familia Λ 0 := {λ Λ : F λ A = } =. Veamos que F λ A para todo λ Λ 0. En efecto, como A F λ es abierto y cerrado en (F λ, τ Fλ ) y A F λ =, el Teorema 1.2 nos dice que A F λ = F λ, esto es, F λ A. Como A es cerrado en (X, τ), deducimos que de hecho F λ A. Para acabar, comprobemos que Λ = Λ 0. En efecto, asumamos por un momento que existe µ Λ Λ 0, esto es, tal que F µ A =. Como Λ 0 =, sabemos existe λ Λ tal que F λ A = y por tanto F λ A. Pero la hipótesis F λ F µ = implicaría A F µ =, una contradicción. Por tanto Λ = Λ 0, de donde por lo visto anteriormente F λ A para todo λ Λ y A = X. Este resultado suele ser utilizado bajo condiciones particulares: Corolario 1.6. Sea (X, τ) un espacio topológico. Bajo cualquiera de las condiciones que se relacionan a continuación, el espacio (X, τ) es conexo: (a) Existe una familia {F λ : λ Λ} de subconjuntos conexos en (X, τ) satisfaciendo λ Λ F λ = X y λ Λ F λ = (o de forma más general, λ Λ F λ = ).

3 CONEXIÓN 3 (b) Para cualesquiera x, y X, existe un subconjunto conexo A x,y en (X, τ) tal que {x, y} A x,y. (c) Existe una familia {A n : n N} de subconjuntos conexos en (X, τ) satisfaciendo A n A n+1 = n N y n N A n = X. Dem: La prueba de (a) es trivial por la Proposición 1.5. La prueba de (b) se sigue de la Proposición 1.5 aplicada a la familia {A x0,x : x X}, donde x 0 X es un punto fijo. Para comprobar (c), demostremos primero por inducción en n que F n = n j=1 A j es conexo en (X, τ), n N. En efecto, si n = 1 el resultado se sigue de nuestras hipótesis: F 1 = A 1 es conexo en (X, τ). Admitamos que F n es conexo en (X, τ) y probemos lo mismo para F n+1. Para ello, observemos que {F n, A n+1 } es una familia de conexos no vacíos en en (X, τ), y por tanto en (F n+1, τ Fn+1 ), satisfaciendo que F n A n+1 = F n+1 y F n A n+1 =. Una aplicación directa de la Proposición 1.5 para el espacio topológico (F n+1, τ Fn+1 ) y la familia de conexos {F n, A n+1 } nos dice que (F n+1, τ Fn+1 ) es conexo y cierra la inducción. La prueba de (c) se sigue de la Proposición 1.5 aplicada a la familia {F n : n N} en el espacio topológico (X, τ). Una de las aplicaciones más interesantes de la Proposición 1.5 nos la proporciona el siguiente teorema. Teorema 1.7. Dados dos espacios topológicos (X j, τ j ), j = 1, 2, (X 1 X 2, τ(τ 1 τ 2 )) es conexo (X j, τ j ) es conexo, j = 1, 2. Dem: = ) Como la proyección p j : (X 1 X 2, τ(τ 1 τ 2 )) (X j, τ j ) es continua y (X 1 X 2, τ(τ 1 τ 2 )) es conexo, p j (X 1 X 2 ) = X j es conexo con la topología τ j, ver el Teorema 1.3. =) Supongamos que (X j, τ j ) es conexo, j = 1, 2. Para cada (x 1, x 2 ) X 1 X 2 definamos A (x1,x 2 ) := ({x 1} X 2 ) (X 1 {x 2 }) X 1 X 2. Comprobemos que A (x1,x 2 ) es conexo en (X 1 X 2, τ(τ 1 τ 2 )). Como ({x 1 } X 2 ) (X 1 {x 2 }) = ya que contiene al punto (x 1, x 2 ), por el Corolario 1.6 (o directamente por la Proposición 1.5) es suficiente con probar que {x 1 } X 2 y X 1 {x 2 } son conexos. Trataremos el caso de {x 1 } X 2, el de X 1 {x 2 } es análogo. Consideremos la aplicación inyectiva i x1 : (X 2, τ 2 ) (X 1 X 2, τ(τ 1 τ 2 )), i x1 (x) = (x 1, x). Como las aplicaciones p j i x1 : (X 2, τ 2 ) (X j, τ j ) son continuas, j = 1, 2, la aplicación i x1 es continua, de donde la aplicación restricción al codominio î x1 : (X 2, τ 2 ) î x1 (X 2 ) ({x 1 } X 2, τ ) es continua y biyectiva; aquí τ es la topología inducida por τ(τ 1 τ 2 ) en {x 1 } X 2. Como î 1 x 1 : ({x 1 } X 2, τ ) (X 2, τ 2 ) no es sino la restricción p 2 {x1 } X 2, la aplicación î 1 x 1 es continua también y por tanto î x1 es un homeomorfismo. Al ser (X 2, τ 2 ) conexo, el Corolario 1.4 nos garantiza que {x 1 } X 2 es conexo en (X 1 X 2, τ(τ 1 τ 2 )) como queríamos demostrar. Como consecuencia de los anteriores comentarios, A (x1,x 2 ) es conexo en (X 1 X 2, τ(τ 1 τ 2 )) para todo (x 1, x 2 ) X 1 X 2. Por otra parte, es claro que A (x1,x 2 ) A (y1,y 2 ) = para cualesquiera o (x 1, x 2 ), (y 1, y 2 ) X 1 X 2. Para ello téngase en cuenta que (x 1, y 2 ) o (y 1, x 2 ) están en es intersección. La Proposición 1.5 aplicada al espacio topológico (X 1 X 2, τ(τ 1 τ 2 )) y la familia de conexos {A (x1,x 2 ) : (x 1, x 2 ) X 1 X 2 } prueba que (X 1 X 2, τ(τ 1 τ 2 )) es conexo. También es interesante resalta que el espacio cociente de un conexo es conexo:

4 4 F.J. LÓPEZ Teorema 1.8. Sea f : (X 1, τ 1 ) (X 2, τ 2 ) una identificación topológica, donde (X 1, τ 1 ) es un espacio conexo. Entonces (X 2, τ 2 ) es conexo. En particular, si (X, τ) es conexo y R es una relación de equivalencia en X entonces (X/R, τ/r) es conexo. Dem: Como f es continua y sobreyectiva, el resultado se sigue del Teorema 1.3. El siguiente resultado se mostrará útil para probar la conexión de algunos espacios topológicos. Teorema 1.9. Sea (X, τ) un espacio topológico, y supongamos existe un subconjunto D X denso y conexo en (X, τ). Entonces (X, τ) es conexo. Dem: Sea A X un subconjunto abierto, cerrado y no vacío en (X, τ). Por el Teorema 1.2-(c) hemos de probar que A = X. En efecto, A D es no vacío (por ser A τ D denso en (X, τ)), abierto y cerrado en (D, τ D ). Como (D, τ D ) es conexo, A D = D y por tanto D A. En particular, X = D A = A X, lo que prueba que A = X. Corolario Si A es un subconjunto conexo de un espacio topológico (X, τ) y B es otro subconjunto de X satisfaciendo A B A, entonces B es conexo en (X, τ). En particular, si A es conexo en (X, τ) entonces A es conexo en (X, τ). Dem: Como A B A entonces A B = A B = B, esto es, A es denso en (B, τ B ). Como por hipótesis (A, τ A ) es conexo, el Teorema 1.9 nos garantiza que (B, τ B ) es conexo Componentes conexas de un espacio topológico. Intuitivamente, comentábamos que un espacio topológico es conexo si está diseñado de una pieza. En el caso de que no sea conexo, parece natural pensar que su estructura topológica responde a la idea de un objeto compuesto de varios pedazos o componenentes conexas. Vamos a formalizar esta idea a continuación. Definición Sea (X, τ) un espacio topológico. Un subconjunto C X se dice una componente conexa de (X, τ) si C es un subconjunto conexo de (X, τ). Si C X es un subconjunto conexo de (X, τ) y C C = C = C. En otras palabras, las componentes conexas de (X, τ) son los subconjuntos conexos maximales de (X, τ). La siguiente proposición nos dice que todo subconjunto conexo de (X, τ) está contenido en una componente conexa. Proposición Si (X, τ) un espacio topológico y A X un subconjunto conexo no vacío de (X, τ), existe una única componente conexa C A de (X, τ) tal que A C A. Dem: Llamemos C A = {B X : A B y (B, τ B ) es conexo}. Nótese que A C A =. Definamos C A := B CA B y comprobemos que satisface las condiciones de la proposición. En efecto, como A B 1 B 2 = para todo B 1, B 2 C A, la Proposición 1.5 nos garantiza que C A es conexo. Obviamente A C A, y si C es un conexo tal que A C por definición C C A y C C A. Esto prueba que C A es una componente conexa de (X, τ) conteniendo a A.

5 CONEXIÓN 5 Para probar la unicidad, supongamos que C 0 es otra componente conexa de (X, τ) conteniendo a A. Como C 0 es conexo tenemos que C 0 C A, y por tanto C 0 C A. Como C 0 es una componente conexa y C A es conexo, deducimos que C 0 = C A concluyendo la prueba. Definición Dado un espacio topológico (X, τ) y un subconjunto A X conexo en (X, τ), diremos que C A es la componente conexa de A. Si A = {x}, x X, escribiremos simplemente C x para representar a la componente conexa del punto x. Llamaremos C := {C X : C es componente conexa de (X, τ)} a la familia de las componentes conexas de (X, τ). Las propiedades básicas de las componentes conexas de un espacio está recogidas en el siguiente: Teorema Sea (X, τ) un espacio topológico, y denotemos por C la familia de todas sus componentes conexas. Los siguientes enunciados son ciertos: (a) La familia C de las componentes conexas de (X, τ) determina una partición de X, esto es, X = C C C. si C 1, C 2 C satisfacen C 1 C 2 = = C 1 = C 2. En particular, si A 1, A 2 son conexos en (X, τ) tales que A 1 A 2 =, entonces C A1 = C A2. (b) Toda componente C C es un subconjunto cerrado de (X, τ). (c) Si A X es un subconjunto no vacío, conexo, abierto y cerrado en (X, τ) entonces A C. (d) Si C constan de un número finito de elementos, entonces toda componente C C es abierta y cerrada. (e) Si {O λ : λ Λ} es una partición de X por abiertos conexos no vacíos en (X, τ), entonces C = {O λ : λ Λ}. (f) Si {C λ, : λ Λ} es una familia de componentes conexas de (X, τ) y A := X ( λ C λ ) es conexo, entonces A es componente conexa de (X, τ) y C = {A} {O λ : λ Λ}. Dem: Probemos (a). Como {x} es conexo en (X, τ) y x C x para todo x X, X = C C C. Por otra parte, si C 1, C 2 C y C 1 C 2 =, el conjunto C 1 C 2 es conexo en (X, τ) (unión de dos conexos con intersección no vacía, ver la Proposición 1.5). Además, como C j es una componente conexa de (X, τ) contenida en C 1 C 2, deducimos que C j = C 1 C 2, j = 1, 2, y por tanto que C 1 = C 2. Demostremos ahora (b). Si C C, la conexión de C implica la conexión de C; ver el Corolario Pero al ser C una componente conexa y C C necesariamente C = C, de donde C es cerrado en (X, τ). Para comprobar (c), consideremos A X no vacío, conexo, abierto y cerrado en (X, τ). Sea C A la componente conexa de A, y observemos que A es un subconjunto no vacío, conexo, abierto y cerrado en (C A, τ CA ). Como (C A, τ CA ) es conexo por definición, A = C A y hemos acabado. Para demostrar (d), escribamos C = {C 1,..., C n }, donde C j C i =, j = i. Por la propiedad (c), i =j C i es cerrado en (X, τ), j {1,..., n}. Como C es una partición de X, deducimos que C j = X ( i =j C i ) es abierto para todo j {1,..., n}. Para probar (e) tomemos µ Λ arbitrario y tengamos en cuenta que O µ = X ( ) λ =µ O λ es cerrado por ser el complementario del abierto λ =µ O λ. De aquí deducimos que O µ es un subconjunto no vacío, conexo, abierto y cerrado en (X, τ), luego una componente conexa por (c). Como esto ocurre para todo µ Λ y {O λ : λ Λ} es una partición de X, concluimos que C = {O λ : λ Λ}.

6 6 F.J. LÓPEZ Por último, demostremos (f). Sea C A la componente conexa de A en (X, τ), bien definida porque A es un subconjunto conexo de (X, τ). Claramente C A = C λ para todo λ Λ, porque de lo contrario A λ C λ, una contradicción. Por tanto, C A X ( ) λ C λ = A, esto es, C A = A. Como {A} {O λ : λ Λ} es una partición de X por componentes conexas, trivialmente C = {A} {O λ : λ Λ}. Un espacio topológico (X, τ) se dice totalmente disconexo si sus componentes conexas son conjuntos unitarios, esto es, los únicos subconjuntos conexos de (X, τ) son los puntos. Veamos algunos ejemplos sencillos de cálculo de componentes conexas. La topología discreta (X, τ d ) es totalmente disconexa. Para comprobarlo, observemos que {x} es abierto, cerrado y conexo en (X, τ), luego una componente conexa en (X, τ), para todo x X. Téngase en cuenta el Teorema 1.14-(c). El conjunto H 2 = {(x, y, z) R 3 : x 2 + y 2 = z 2 1}, dotado de la topología euclidiana, consta de dos componentes conexas: C + = {(x, y, z) H 2 : z > 0} y C = {(x, y, z) H 2 : z < 0}. En efecto, obsérvese que z 1 para todo (x, y, z) H 2, y en consecuencia H 2 = C + C siendo la unión disjunta. Por otra parte, C + y C son abiertos en H 2 ya que C + = H 2 {z > 0} y C = H 2 {z < 0}, y por último C + y C son conexos en H 2 ya que la proyección (x, y, z) (x, y) los hace homeomorfos a (R 2, τ u ). Teniendo en cuenta por ejemplo Teorema 1.14-(e), hemos acabado. El siguiente teorema es fundamental, porque nos dice que las componentes conexas se preservan por homeomorfismos. En particular, el cardinal del conjunto de componentes conexas es un invariante topológico. Teorema Sea f : (X 1, τ 1 ) (X 2, τ 2 ) una aplicación continua, y sea A X 1 un subconjunto conexo de (X 1, τ 1 ). Entonces f (C A ) C f (A). Si adicionalmente f es un homeomorfismo, f (C A ) = C f (A). En particular, si C j es la partición en componentes conexas de (X j, τ j ), j = 1, 2, la aplicación es biyectiva. C 1 C 2, C f (C), Dem: Como A y C A son conexos en (X 1, τ 1 ) y f es continua, entonces f (A) y f (C A ) son conexos en (X 2, τ 2 ). Al ser A C A deducimos que f (A) f (C A ), y por tanto que f (C A ) C f (A) = C f (CA ). Si f es un homeomorfismo, el mismo resultado se aplica a f 1 respecto del conexo f (A), por lo que deducimos que f (C A ) = C f (A). En otras palabras, f lleva componentes conexas a componentes conexas. De la biyectividad de f se deduce la biyectividad de la aplicación C 1 C 2, C f (C). Las componentes conexas se comportan de forma natural respecto de la topología producto. Proposición Sean (X j, τ j ), j = 1, 2, espacios topológicos, y consideremos (X 1 X 2, τ(τ 1 τ 2 )) el espacio producto. Para todo punto (x 1, x 2 ) X 1 X 2, la componente conexa C (x1,x 2 ) de (x 1, x 2 en (X 1 X 2, τ(τ 1 τ 2 )) obedece a la fórmula C (x1,x 2 ) = C x1 C x2, donde C xj es la componente conexa de x j en (X j, τ j ), j = 1, 2.

7 CONEXIÓN 7 Dem: Como C x1 C x2 es conexo en (X 1 X 2, τ(τ 1 τ 2 )) (producto de conexos, ver el Teorem 1.7) y (x 1, x 2 ) C x1 C x2, deducimos que C x1 C x2 C (x1,x 2 ). Por otra parte, como la proyección p j : (X 1 X 2, τ(τ 1 τ 2 )) (X j, τ j ) es una aplicación continua, el Teorema 1.15 nos garantiza que p j (C (x1,x 2 )) es un conexo conteniendo a x j, y por tanto que p j (C (x1,x 2 )) C xj, j = 1, 2. De aquí inferimos que C (x1,x 2 ) C x1 C x2, y por tanto C (x1,x 2 ) = C x1 C x2. 2. CONEXOS DE LA RECTA EUCLIDIANA: CONSECUENCIAS Nos proponemos a continuación caracterizar los conexos de la recta real. Como veremos más adelante, este resultado tiene importantes implicaciones, por ejemplo, la descripción de un gran número de espacios conexos de naturaleza euclidiana. Teorema 2.1. Si A R, entonces A es conexo en (R, τ u ) A es un intervalo. Dem: = Supongamos que A no es un intervalo, esto es, existe t 0 A tal que O 1 := A ], t 0 [ = y O 2 := A ]t 0, + [ =. Los conjuntos O 1 y O 2 son abiertos disjuntos en (A, τ u ) (A, (τ u ) A ) y satisfacen A = O 1 O 2, lo que contradice que A es conexo por el Toerema 1.2. = Si A = [a, a] = {a} es un intervalo trivial, la conexión de (A, (τ u ) A ) es trivial. Supongamos pues que A es un intervalo no trivial. Razonemos por reducción al absurdo, y admitamos que A no es conexo. Por tanto existen abiertos O 1, O 2 ((τ u ) A disjuntos, no vacíos y tal que A = O 1 O 2. Fijemos a 1 O 1 y a 2 O 2, y salvo intercambiar índices supongamos sin pérdida de generalidad que a 1 < a 2. A continuación llamemos B = {t O 2 : t > a 1 } y β := inf B. Observese que β R está bien definido ya que B = (a 2 B) y a 1 es cota inferior de B. Además, de la definición de β y del hecho de que A es un intervalo, es fácil deducir que β [a 1, a 2 ] A = O 1 O 2. Se presenta una clara disyuntiva: β O 1 ó β O 2. La contradicción vendrá de que ninguna de esas posibilidades puede ocurrir. En efecto, supongamos primero que β O 1. En este caso claramente β < a 2, y por tanto [β, a 2 ] es un intervalo no trivial contenido en A (ya que A es un intervalo!!). Como O 1 es un abierto en A, existe ɛ > 0 tal que ]β ɛ, β + ɛ[ A O 1, y por tanto, ]β ɛ, β + ɛ[ [β, a 2 ] = [β, β + ɛ[ O 1 (téngase en cuenta que a 2 / O 1 y β < a 2 implican que β + ɛ a 2 ). Pero al ser B O 2, O 1 O 2 = y [β, β + ɛ[ O 1, inferimos que β = inf B β + ɛ > β, una contradicción. Supongamos ahora que β O 2. En este caso claramente a 1 < β, y por tanto [a 1, β] es un intervalo no trivial contenido en A (ya que A es un intervalo!!). Como O 2 es un abierto en A, existe ɛ > 0 tal que ]β ɛ, β + ɛ[ A O 2, y por tanto, ]β ɛ, β + ɛ[ [a 1, β] =]β ɛ, β] O 2 (téngase en cuenta que a 1 / O 2 y a 1 < β implican que a 1 β ɛ). Por la definición de B deducimos que ]β ɛ, β] B, y por tanto β = inf B β ɛ < β, una contradicción. Esto prueba el teorema. Corolario 2.2. (Q, τ u ) y (R Q, τ u ) son totalmente disconexos.

8 8 F.J. LÓPEZ Dem: Un subconjunto conexo en (Q, τ u ) lo es en (R, τ u ), y por tanto ha de ser un intervalo. Por la densidad de los irracionales en (R, τ u ), los únicos intervalos que constan de puntos racionales son los triviales [r, r] = {r}, r Q. De aquí el resultado. Análogamente se razona con R Q. Este resultado tendrá múltiples consecuencias. Comentemos para empezar dos de ellas: Corolario 2.3. Si (X, τ) es un espacio conexo y f : (X, τ) (R, τ u ) una aplicación continua, entonces f (X) es un intervalo de la recta real. Equivalentemente, si x 1, x 2 X y f (x 1 ) c f (x 2 ) entonces existe y X tal que f (y) = c. Dem: Por el Teorema 1.3 el conjunto f (X) es conexo en (R, τ u ), luego un intervalo por el Teorema 2.1. Corolario 2.4. Si f : ([0, 1], τ u ) ([0, 1], τ u ) es continua entonces existe t 0 [0, 1] tal que f (t 0 ) = t 0. Dem: La función h : ([0, 1], τ u ) (R, τ u ), h(t) = t f (t), es continua y satisface h(0) 0 h(1). Por el Corolario 2.3 existe t 0 [0, 1] tal que h(t 0 ) = 0, esto es, f (t 0 ) = t Algunos espacios conexos de naturaleza euclidiana. Probemos a continuación la conexión de algunos espacios topológicos notables Los espacios euclidianos. El espacio (R n, τu n ) es conexo para todo n N. En efecto, probémoslo por inducción. Si n = 1 el resultado se sigue del Teorema 2.1. Admitamos que (R n, τu n ) es conexo para algún n N. Como (R n+1, τu n+1 ) (R n R, τ(τu n τu)), 1 el Teorema 1.7 garantiza que (R n+1, τ n+1 ) es conexo y cierra la inducción La esfera. La esfera (S n, τ u ) es conexa. Como la proyección estereográfica σ : (S n {N}, τ u ) (R n, τ u ) es un homeomorfismo y (R n, τ u ) es conexo, (S n {N}, τ u ) es conexo (ver el Corolario 1.4). Teniendo en cuenta que S n {N} es denso en (S n, τ u ), la conexión de (S n, τ u ) se sigue del Teorema 1.9. Este resultado tiene una consecuencia interesante: Teorema 2.5 (Borsuk-Ulam). Si f : (S n, τ u ) (R, τ u ) es una aplicación continua, entonces existe p 0 S n tal que f (p 0 ) = f ( p 0 ). Dem: La aplicación h : (S n, τ u ) (R, τ u ), h(p) = f (p) f ( p), es continua y satisface h(p) = h( p) para todo p S n. Por la conexión de (S n, τ u ) y el Corolario 2.3, deducimos que 0 h(s n ) (ya que 0 pertenece al intervalo de extremos h(p) y h( p), p S n ). Por tanto existe p 0 S n tal que h(p 0 ) = f (p 0 ) f ( p 0 ) = 0, lo que prueba el teorema El cilindro y el toro. El cilindro (C = S 1 R, τ u ) es conexo por ser el espacio producto de los espacios conexos (S 1, τ u ) y (R, τ u ), ver el Teorema 1.7. Análogamente ocurre con el toro (T n = n j=1 S1, τ u ). La cinta de Möbius y la Botella de Klein, dotados ambos de sus correspondientes topologías euclidianas naturales, son conexos por ser cocientes de espacios conexos (el cilindro (C, τ u )y el toro (T 1, τ u ), respectivamente).

9 CONEXIÓN Espacios arcoconexos. La mayoría de los espacios interesantes para la geometría, como las variedades diferenciables, satisfacen una condición de conexión más exigente, conocida como conexión por arcos. Comentemos los detalles. Definición 2.6. Un arco en un espacio topológico (X, τ) es una aplicación continua α : ([0, 1], τ) (X, τ). Al conjunto α([0, 1]) X le llamaremos traza del arco α. A los puntos α(0) y α(1) les llamaremos punto inicial y final del arco α, respectivamente, y también extremos del arco α. Un arco en (X, τ) se dice que une dos puntos x, y X si éstos son sus extremos. Obviamente, la traza α([0, 1]) de un arco α : [0, 1] X en (X, τ) es un subconjunto conexo de (X, τ). Recordemos que ([0, 1], τ) es conexo y que la imagen por una aplicación continua de un conexo es conexo. En muchas ocasiones identificaremos, abusando del lenguaje, el arco con su traza. Definición 2.7. Un espacio topológico (X, τ) se dice conexo por arcos o arcoconexo si para cualesquiera dos puntos x 1, x 2 X existe un arco α : ([0, 1], τ) (X, τ) con α(0) = x 1 y α(1) = x 2. La conexión por arcos es una condición más fuerte que la conexión topológica. Teorema 2.8. Si (X, τ) es arconconexo entonces (X, τ) es conexo. Dem: Fijemos x 0 X, y para cada x X consideremos un arco α x : [0, 1] X con α(0) = x 0 y α(1) = x. La familia {α x ([0, 1]) : x X} está formada por subconjuntos conexos en (X, τ) satisfaciendo x X α x ([0, 1]) = X. α x1 ([0, 1]) α x2 ([0, 1]) = para todo x 1, x 2 X. La conexión de (X, τ) se sigue directamente de la Proposición 1.5. El recíproco al Teorema 2.8 es falso. La siguiente proposición nos ofrece el contraejemplo. Proposición 2.9. El conjunto X := {(x, sin(1/x)) : x ]0, + [} {(0, 0)} dotado del a topología euclidiana indudida por (R 2, τ u ) es conexo, pero no arcoconexo. Dem: Llamemos Y := {(x, sin(1/x)) : x ]0, + [}. Como (Y, τ u ) es homeomorfo a (]0, + [, τ u ) (la aplicación proyección (x, sin(1/x)) x nos proporciona un homeomorfismo), y ]0, + [ es conexo en R, τ u ) por ser un intervalo, inferimos que (Y, τ u ) es conexo. Por otra parte, el hecho de que Y X Y y el Teorema 1.9 implican que X es conexo en (R 2, τ u ). Resta pues probar que (X, τ u ) no es arcoconexo. Para ello consideremos un arco cualquiera α : [0, 1] X con α(0) = 0, y llamemos A = {t [0, 1] : α(t) = 0}. Nuestro objetivo es probar que A = [0, 1]. Como A = (0 A) y A = α 1 ({(0, 0)}) es cerrado en ([0, 1], τ u ) (imagen inversa por la aplicación continua α del conjunto cerrado {(0, 0)}), es suficiente con probar que A es abierto en ([0, 1], τ u ). Sea t 0 A y consideremos cualquier número real ɛ ]0, 1/2[. Por la geometría de la gráfica Y, el conjunto B 2 ((0, 0), ɛ) X consta de una colección numerable de arcos abiertos {γ n : n N} en Y disjuntos dos a dos, (esto es, trozos de la gráfica Y homeomorfos a intervalos abiertos y disjuntos dos a dos), además del punto (0, 0). Cada uno de los arcos γ n es obviamente un subconjunto abierto y cerrado de (B 2 ((0, 0), ɛ) X, τ u ), y por tanto una componente conexa de (B 2 ((0, 0), ɛ)

10 10 F.J. LÓPEZ X, τ u ). Como (0, 0) / γ n para todo n N y B 2 ((0, 0), ɛ) X = ( n N γ n ) {(0, 0)}, la componente conexa de B 2 ((0, 0), ɛ) X conteniendo a (0, 0) se reduce al punto {(0, 0)}. Por otra parte, como α es continua tenemos que α 1 (B 2 ((0, 0), ɛ)) es un entorno de t 0 en ([0, 1], τ u ), y por tanto existe δ > 0 tal que J :=]t 0 δ, t 0 + δ[ [0, 1] α 1 (B 2 ((0, 0), ɛ)). Como J es un intervalo no trivial, J es conexo, de donde deducimos que α(j) B 2 ((0, 0), ɛ) X ha de ser conexo igualmente, y en consecuencia contenido en una componente conexa γ de B 2 ((0, 0), ɛ) X. Como α(t 0 ) = (0, 0) α(j) γ, γ ha de ser la componente conexa de B 2 ((0, 0), ɛ) X conteniendo a (0, 0), esto es, γ = {(0, 0)} = α(j). Esto prueba que J A, y por tanto que A es abierto en ([0, 1], τ u ). Por la conexión de [0, 1] deducimos que A = [0, 1], y en consecuencia α es el arco constante (0, 0). En particular, en X no pueden existir arcos conectando (0, 0) y puntos de Y, luego no es arcoconexo. Sin embargo, bajo algunas condiciones especiales el recíproco al Teorema 2.8 sí será cierto. Para explicar los detalles, necesitamos introducir la siguiente notación. Dados dos arcos α,β en (X, τ) tales que α(1) = β(0), el producto β α : [0, 1] X obedece a la fórmula { α(2t) si t [0, (β α)(t) = 2 1 ] β(2t 1) si t [ 1 2, 1] La aplicación β α está definida a trozos y de forma continua sobre los cerrados [0, 1 2 ] y [ 2 1, 1] de [0, 1]. Además, el valor de β α en el punto intersección t = 2 1 de ambos cerrados está bien definido (ambas expresiones coinciden por ser α(1) = β(0)), por lo que β α : ([0, 1], τ u ) (X, τ) es continua. Dado un arco α : ([0, 1], τ) (X, τ), se define α : : ([0, 1], τ) (X, τ), α(t) = α(1 t). Es fácil ver que α es continua y por tanto un arco, y además α(0) = α(1), α(1) = α(0). Proposición Todo abierto conexo no vacío de (R n, τ u ) es arcoconexo. Dem: Sea O R n un abierto de la topología euclidiana τ u. Fijemos x O y llamemos A x := {y O : existe un arco en O uniendo x e y}. Nuestra intención es probar que A x = O, para lo que será suficiente con ver que A x = y A x es abierto y cerrado en (O, (τ u ) O ) (ver el Teorema 1.2). El arco α : [0, 1] O, α(t) = x t [0, 1], tiene punto inicial y final x, por lo que x A x =. Veamos que A x es abierto. Sea y 0 A x y consideremos un arco α : [0, 1] O con α(0) = x 0 y α(1) = y 0. Tomemos ɛ > 0 suficientemente pequeño para que B 2 (y 0, ɛ) O, y comprobemos que B 2 (y 0, ɛ) A x. En efecto, si y B 2 (y 0, ɛ) basta con construir un arco β en B 2 (y 0, ɛ) con punto inicial y 0 y final y (por ejemplo un segmento, obsérvese que B 2 (y 0, ɛ) es convexo), y observar que β α es un arco en O conectando x 0 e y. Esto prueba que B 2 (y 0, ɛ) A x, y como y A x es un punto arbitrario, que A x es un abierto en (R n, τ u ). Como A x O, A x es abierto en (O, (τ u ) O ). Veamos ahora que A x es cerrado en (O, (τ u ) O ). Tomemos un punto arbitrario y 0 A x O, y consideremos igual que antes una bola abierta B 2 (y 0, ɛ) O. Como y 0 A x O y B2 (y 0, ɛ) es entorno de y 0 en (O, (τ u ) 0 ), necesariamente B 2 (y 0, ɛ) A x =. Tomemos un punto y B 2 (y 0, ɛ) A x y un arco α : [0, 1] O con α(0) = x 0 y α(1) = y, que existe por ser y A x. Consideremos también un arco β en B 2 (y 0, ɛ) con punto inicial y y final y 0 ; como antes valdría un segmento por la convexidad de B 2 (y 0, ɛ). Razonando como antes, β α es un arco en O conectando x 0 e y 0, lo que prueba que y 0 A x, y por tanto, que A x es cerrado en (O, (τ u ) O ).

11 CONEXIÓN 11 En definitiva, A x = O para cualquier punto x O, por lo que O es arcoconexo Conjuntos estrellados y convexos en espacio euclidianos. Un conjunto A R n se dice estrellado con centro x 0 A si para todo x A el segmento [x 0, x] := {(1 t)x 0 + tx : t [0, 1]} A. Todo conjunto estrellado es arcoconexo. En efecto, si x, y A y consideramos los arcos en A dados por α : [0, 1] A, α(t) = (1 t)x 0 + tx, y β : [0, 1] A, β(t) = (1 t)x 0 + ty, el arco β α : [0, 1] A conecta x e y. Un conjunto A R n se dice convexo si para todo x, y A el segmento [x, y] A. En otras palabras, A es convexo si y sólo si es estrellado con centro cualquiera de sus puntos. Obviamente todo conjunto convexo es arcoconexo. Como ejemplo, comentemos el caso del cono C 0 = {(x, y, z) R 3 : x 2 + y 2 = z 2 }. Este conjunto es estrellado con centro el origen (0, 0, 0), y por tanto arcoconexo. 3. TEMA III (PRIMERA PARTE): RELACIÓN DE PROBLEMAS (1) Probar que cualesquiera dos de los espacios [0, 1), [0, 1], (0, 1) y S 1 todos dotados de la topología usual, no son homeomorfos. (2) Probar que S n es conexo, n 1. (3) Probar que R no es homeomorfo a R n, n 2. Igualmente, probar que S 1 no es homeomorfo a S n, n 2. (4) Un conjunto A R n se dice estrellado con centro p 0 A si para todo p A el segmento [p 0, p] A. Probar que todo conjunto estrellado de R n es conexo, y como consecuencia probar que todo convexo en R n es conexo. (5) Estudidar la conexión de los siguientes espacios, todos ellos dotados de la topología euclídea: (i) {(x, y, z) R 3 x 2 + y 2 = z 2 }. (ii) {(x, y, z) R 3 x 2 + y 2 = 1}. (iii) {(x, y, z) R 3 x 2 + y 2 = z}. (iv) Q R. (v) {(x, y) R 2 x y = 0}. (vi) Q R {(x, 0) x R}. (vii) {(x, sin(1/x)) x (0, + )} {(0, 0)}. (6) Probar que R n+1 S n no es conexo, n 1. Determinar sus componentes conexas. (7) Probar que si D R n, n 1, es un subconjunto no vacío, conexo y numerable, entonces D contiene un único punto. (8) Sea (X, τ) un espacio topológico. Probar que (X, τ) es conexo A X, A =, X, se tiene que Fr(A) =. (9) Sean (X, τ) un espacio topológico y A, B X dos subespacios conexos tales que A B =. Probar que A B es conexo. (10) Sean (X, τ) un espacio topológico conexo. Probar que toda aplicación continua f : (X, τ) (Q, (τ u ) Q ) es constante. (11) Sean A y B dos subconjuntos cerrados no vacíos de (X, τ) tales que A B y A B son conexos. Probar que A y B son subespacios conexos. (12) Si (X 1, τ 1 ) es conexo y f : (X 1, τ 1 ) (X 2, τ 2 ) es continua, entonces Graf( f ) es un subespacio conexo del espacio producto (X 1 X 2, τ(τ 1 τ 2 )). (13) Si A es un subconjunto abierto, cerrado y conexo de (X, τ), probar que A es una componente conexa de (X, τ).

12 12 F.J. LÓPEZ (14) Sea A R n un subconjunto conexo, y sea f : A R una función continua. Se definen los subconjuntos de A R R n+1 (dotado con la topología inducida por R n+1 ) dados por: G + ( f ) = {(x, t) A R t > f (x)} y G ( f ) = {(x, t) A R t < f (x)}. Probar que G + ( f ) y G ( f ) son abiertos conexos. (15) Probar que el complementario de un conjunto numerable en R n n 2, es conexo. Concluir que lo mismo ocurre en la esfera S n, n 2. (16) Probar que el complementario de un subespacio afín en R n, n 2, es conexo sí y sólo sí éste tiene dimensión menor o igual que n 2. Depto. de Geometría y Topología, Universidad de Granada, E Granada, (Spain), fjlopez@ugr.es

TEMA II: APLICACIONES ENTRE ESPACIOS TOPOLÓGICOS 1. INTRODUCCIÓN

TEMA II: APLICACIONES ENTRE ESPACIOS TOPOLÓGICOS 1. INTRODUCCIÓN TEMA II: APLICACIONES ENTRE ESPACIOS TOPOLÓGICOS FRANCISCO J. LÓPEZ 1. INTRODUCCIÓN Las aplicaciones continuas son las transformaciones naturales entre espacios topológicos. Hablando sin excesivo rigor,

Más detalles

Conexión Motivación. Lección 10

Conexión Motivación. Lección 10 Lección 10 Conexión Estudiamos la propiedad topológica que nos va a permitir obtener una versión general para espacios métricos del teorema del valor intermedio que conocemos para funciones reales de variable

Más detalles

TOPOLOGÍA SOLUCIONES A LAS RELACIONES DE PROBLEMAS

TOPOLOGÍA SOLUCIONES A LAS RELACIONES DE PROBLEMAS TOPOLOGÍA SOLUCIONES A LAS RELACIONES DE PROBLEMAS Ejercicio 4.1.- Relación 4. Compacidad. Conexión Supongamos que A es compacto y sea A α Λ B α un recubrimiento de A por bolas abiertas. Entonces, como

Más detalles

Espacios topológicos. 3.1 Espacio topológico

Espacios topológicos. 3.1 Espacio topológico Capítulo 3 Espacios topológicos 3.1 Espacio topológico Definición 3.1.1. Un espacio topológico es un par (X, τ), donde X es un conjunto, y τ es una familia de subconjuntos de X que verifica las siguientes

Más detalles

Espacios conexos. 6.1 Conexos

Espacios conexos. 6.1 Conexos Capítulo 6 Espacios conexos 6.1 Conexos Definición 6.1.1 (Conjuntos separados). Dado un espacio topológico (X, τ) y dos subconjuntos A, B X, diremos que A y B están separados si A B = A B = Es evidente

Más detalles

Terminaremos el capítulo con una breve referencia a la teoría de cardinales.

Terminaremos el capítulo con una breve referencia a la teoría de cardinales. TEMA 5. CARDINALES 241 Tema 5. Cardinales Terminaremos el capítulo con una breve referencia a la teoría de cardinales. Definición A.5.1. Diremos que el conjunto X tiene el mismo cardinal que el conjunto

Más detalles

Espacios conexos. Capítulo Conexidad

Espacios conexos. Capítulo Conexidad Capítulo 5 Espacios conexos 1. Conexidad En este capítulo exploraremos el concepto de conexidad en un espacio métrico, y estudiaremos algunas de sus aplicaciones. Definición 5.1. Decimos que el espacio

Más detalles

Espacios métricos completos

Espacios métricos completos 5 Espacios métricos completos Comenzamos introduciendo las sucesiones de Cauchy, que relacionamos con las sucesiones convergentes. En el caso de que coincidan, se trata de un espacio métrico completo.

Más detalles

Continuidad y monotonía

Continuidad y monotonía Tema 14 Continuidad y monotonía Generalizando lo que se hizo en su momento para sucesiones, definiremos la monotonía de una función, en forma bien fácil de adivinar. Probaremos entonces dos resultados

Más detalles

Ejercicio Demuestra que T R es efectivamente una topología.

Ejercicio Demuestra que T R es efectivamente una topología. 88 7. CONSTRUCCIÓN DE TOPOLOGÍAS Tema 3. Topologías finales: cociente Una situación análoga a la del Tema 1 se plantea cuando ciertas operaciones de conjuntos (como el cociente por una relación de equivalencia)

Más detalles

Operaciones extendidas de conjuntos

Operaciones extendidas de conjuntos 234 A. GENERALIDADES DE TEORÍA DE CONJUNTOS Tema 3. Operaciones extendidas de conjuntos En este tema extenderemos las operaciones de conjuntos anteriormente definidas a familias arbitrarias de conjuntos.

Más detalles

EL GRUPO FUNDAMENTAL FRANCISCO URBANO

EL GRUPO FUNDAMENTAL FRANCISCO URBANO EL GRUPO FUNDAMENTAL FRANCISCO URBANO 1. Espacios conexos por arcos Definición 1. Un arco o camino (continuo) en un espacio topológico X es una aplicación continua f : [a, b] X, siendo [a, b] el intervalo

Más detalles

Principio de acotación uniforme

Principio de acotación uniforme Capítulo 4 Principio de acotación uniforme 4.1. Introducción. Teorema de Baire En este último capítulo vamos a establecer una serie de resultados sobre aplicaciones lineales y continuas entre espacios

Más detalles

Variedades diferenciables

Variedades diferenciables Capítulo VII Variedades diferenciables 1. Preliminares topológicos En esta sección vamos a recordar algunas nociones básicas de topología, relativas a las topologías iniciales y a las topologías finales,

Más detalles

Formulaciones equivalentes del Axioma de Elección

Formulaciones equivalentes del Axioma de Elección Formulaciones equivalentes del Axioma de Elección MARU SARAZOLA Resumen En este documento presentamos algunas formulaciones equivalentes del axioma de elección. En la primera sección, se presenta el enunciado

Más detalles

TOPOLOGÍA SOLUCIONES A LAS RELACIONES DE PROBLEMAS

TOPOLOGÍA SOLUCIONES A LAS RELACIONES DE PROBLEMAS TOPOLOGÍA SOLUCIONES A LAS RELACIONES DE PROBLEMAS Ejercicio.1.- Relación. Espacios topológicos. Operadores Sea X un conjunto y x 0 X. Queremos probar que la familia T x0 = {X} {A X;x 0 / A} es una topología

Más detalles

En primer lugar, vamos a precisar un concepto al que ya nos hemos referido anteriormente, el de σ-álgebra.

En primer lugar, vamos a precisar un concepto al que ya nos hemos referido anteriormente, el de σ-álgebra. Capítulo 20 Conjuntos de Borel Hemos demostrado ya que la familia M de los conjuntos medibles contiene a todos los abiertos de R n y, por tanto, a todos los conjuntos que podamos formar a partir de los

Más detalles

Parte 2: Definición y ejemplos de topologías.

Parte 2: Definición y ejemplos de topologías. Parte 2: Definición y ejemplos de topologías. 22 de marzo de 2014 1. Definiciones y propiedades básicas. Definición 1 Sea X un conjunto. Una familia T de subconjuntos de X es una topología de X si se cumplen:

Más detalles

Reconocer y utilizar las propiedades sencillas de la topología métrica.

Reconocer y utilizar las propiedades sencillas de la topología métrica. 3 Funciones continuas De entre todas las aplicaciones que pueden definirse entre dos espacios métrico, las aplicaciones continuas ocupan un papel preponderante. Su estudio es fundamental no sólo en topología,

Más detalles

Continuidad. 5.1 Continuidad en un punto

Continuidad. 5.1 Continuidad en un punto Capítulo 5 Continuidad 5.1 Continuidad en un punto Definición 5.1.1 (Aplicación continua en un punto). Sean (X, τ) e (Y, τ ) dos espacios topológicos, y sea f : X Y una aplicación entre ellos. Diremos

Más detalles

Axiomas de recubrimiento

Axiomas de recubrimiento CAPíTULO 8 Axiomas de recubrimiento Dedicaremos este capítulo a un nuevo tipo de propiedades topológicas: aquellas que se refieren a la posibilidad de extraer subrecubrimientos de cardinal finito o numerable

Más detalles

F-ESPACIOS. 1.- Introducción

F-ESPACIOS. 1.- Introducción F-ESPACIOS 1.- Introducción Recordemos que un subconjunto A de un espacio topológico X se llama diseminado o raro (nowhere dense en ingés) si A=. Un subconjunto que se pueda escribir como unión numerable

Más detalles

Conjuntos, relaciones y funciones Susana Puddu

Conjuntos, relaciones y funciones Susana Puddu Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también

Más detalles

Primeras nociones topológicas

Primeras nociones topológicas Lección 5 Primeras nociones topológicas Vamos a estudiar ahora algunas nociones topológicas elementales, trabajando en un espacio métrico arbitrario. Empezamos estudiando el interior de un conjunto y los

Más detalles

Ampliación de Topología

Ampliación de Topología Ampliación de Topología Problemas. Curso 2003 04 Homotopía de aplicaciones y tipos de homotopía 1. Sea X un espacio, y sea f: S 1 X una aplicación continua. Demostrar que f es homótopa a una aplicación

Más detalles

Espacios compactos. 7.1 Espacios compactos

Espacios compactos. 7.1 Espacios compactos 58 Capítulo 7 Espacios compactos 7.1 Espacios compactos Definición 7.1.1 (Recubrimiento). Sea X un conjunto y sea S X. Un recubrimiento de S es una familia A = {A i } i I de subconjuntos de X tales que

Más detalles

Funciones continuas e inyectivas

Funciones continuas e inyectivas Nuestro último teorema afirmaba que toda función continua en un intervalo cerrado y acotado tiene máximo y mínimo absolutos, pero nada nos informa sobre los puntos en los que se alcanzan. Bajo la hipótesis

Más detalles

Subconjuntos notables de un Espacio Topológico

Subconjuntos notables de un Espacio Topológico 34 Capítulo 4 Subconjuntos notables de un Espacio Topológico 4.1 Adherencia Definición 4.1.1 (Punto adherente). Sea (X, τ) un espacio topológico, y sea S un subconjunto de X. Diremos que x X es un punto

Más detalles

1 Continuidad uniforme

1 Continuidad uniforme Centro de Matemática Facultad de Ciencias Universidad de la República Introducción a la Topología Curso 2016 NOTAS 6: ESPACIOS MÉTRICOS II: COMPLETITUD 1 Continuidad uniforme Denición. Sean (M, d 1 ) y

Más detalles

2. El Teorema del Valor Medio

2. El Teorema del Valor Medio 2.24 45 2. El Teorema del Valor Medio Comenzaremos esta sección recordando dos versiones del teorema del valor medido para funciones de 1-variable y por tanto ya conocidas: 2.22 Sea f : [a, b] R R una

Más detalles

Continuidad y monotonía

Continuidad y monotonía Tema 14 Continuidad y monotonía Generalizando lo que se hizo en su momento para sucesiones, definiremos la monotonía de una función, en forma bien fácil de adivinar. Probaremos entonces dos resultados

Más detalles

Espacios compactos. Se pretenden alcanzar las siguientes competencias específicas:

Espacios compactos. Se pretenden alcanzar las siguientes competencias específicas: 4 Espacios compactos En este capítulo introducimos los conceptos de espacio y subespacio compacto. Se estudian propiedades de los conjuntos compactos, así como relación entre la compacidad y las funciones

Más detalles

Tema 1 EL TEOREMA DE PEANO. 1 Compacidad en C(I; R N ): el Teorema de Ascoli-

Tema 1 EL TEOREMA DE PEANO. 1 Compacidad en C(I; R N ): el Teorema de Ascoli- Tema 1 EL TEOREMA DE PEANO En este tema vamos a probar que bajo la hipótesis de ser f continua en un entorno del punto (, y 0 ), se puede garantizar la existencia, aunque no necesariamente la unicidad,

Más detalles

Funciones continuas Motivación

Funciones continuas Motivación Lección 9 Funciones continuas Generalizando la noción que conocemos para funciones reales de variable real, vamos a estudiar la continuidad para funciones entre dos espacios métricos cualesquiera. La definimos

Más detalles

Topología II. Enrique Ramírez Losada Universidad de Guanajuato Enero Junio Eugenio Daniel Flores Alatorre

Topología II. Enrique Ramírez Losada Universidad de Guanajuato Enero Junio Eugenio Daniel Flores Alatorre Topología II Enrique Ramírez Losada Universidad de Guanajuato Enero Junio 2012 Eugenio Daniel Flores Alatorre Temario Axiomas de separación o Lema de Urysolin o Teorema de Tietze Grupo fundamental o Homotopía

Más detalles

Conjuntos, Aplicaciones y Relaciones

Conjuntos, Aplicaciones y Relaciones Conjuntos, Aplicaciones y Relaciones Curso 2017-2018 1. Conjuntos Un conjunto será una colección de objetos; a cada uno de estos objetos lo llamaremos elemento del conjunto. Si x es un elemento del conjunto

Más detalles

1. Espacios topológicos compactos.

1. Espacios topológicos compactos. PRACTICO 6. COMPACIDAD. 1. Espacios topológicos compactos. Definición 1 Un cubrimiento de un conjunto X es una familia de subconjuntos de X cuya unión da X. Un cubrimiento de un espacio es abierto si cada

Más detalles

Teorema de Hahn-Banach

Teorema de Hahn-Banach Capítulo 3 Teorema de Hahn-Banach 3.1. Introducción Una vez introducidos los espacios vectoriales más importantes donde se tiene una estructura métrica a saber, los espacios de Hilbert y los espacios de

Más detalles

Los números naturales. Definición y propiedades

Los números naturales. Definición y propiedades Los números naturales. Definición y propiedades Con la idea de abrir boca para empezar los estudios de matemáticas en bachillerato, en un artículo anterior se hablaba sobre la introducción al número real

Más detalles

sup si A no es acotado.

sup si A no es acotado. Capítulo 6 Espacios completos 1. El teorema de Cantor En este capítulo estudiaremos más a fondo los espacios métricos completos. Lo primero que haremos es establecer la equivalencia entre completitud y

Más detalles

- Fernando Sánchez - Departamento de Matemáticas - Universidad de Extremadura. Topología

- Fernando Sánchez - Departamento de Matemáticas - Universidad de Extremadura. Topología - Fernando Sánchez - - 6 Topología Cálculo I en R 26 10 2015 Elementos de la topología en R. Una topología en un conjunto da un criterio para poder hablar de proximidad entre los elementos de un conjunto.

Más detalles

Comisión de Pedagogía - Diego Chamorro Análisis Funcional (Nivel 2).

Comisión de Pedagogía - Diego Chamorro Análisis Funcional (Nivel 2). AMARUN www.amarun.org Comisión de Pedagogía - Diego Chamorro Análisis Funcional (Nivel 2). Lección n 3: Lema de Baire y Teorema clásicos del Análisis Funcional EPN, verano 2012 Definición 1 (Espacio de

Más detalles

Compacidad y conexión

Compacidad y conexión Tema 4 Compacidad y conexión Estudiamos ahora dos propiedades clave de las funciones continuas entre espacios métricos, que generalizan sendos teoremas bien conocidos para funciones reales de variable

Más detalles

Es claro que es una relación de equivalencia. Para ver que tener la misma cardinalidad y la cardinalidad están bien definidas queremos ver que

Es claro que es una relación de equivalencia. Para ver que tener la misma cardinalidad y la cardinalidad están bien definidas queremos ver que Capítulo II Cardinalidad Finita II.1. Cardinalidad Definimos I n para n N como I n = {k N : 1 k n}. En particular I 0 =, puesto que 0 < 1. Esto es equivalente a la definición recursiva { si n = 0 I n =

Más detalles

Cálculo diferencial e integral I. Eleonora Catsigeras

Cálculo diferencial e integral I. Eleonora Catsigeras Cálculo diferencial e integral I Eleonora Catsigeras Universidad de la República Montevideo, Uruguay 01 de setiembre de 2011. CLASE 14 complementaria. Sobre sucesiones y conjuntos en la recta real. Sucesiones

Más detalles

Funciones convexas Definición de función convexa. Tema 10

Funciones convexas Definición de función convexa. Tema 10 Tema 10 Funciones convexas Los resultados obtenidos en el desarrollo del cálculo diferencial nos permiten estudiar con facilidad una importante familia de funciones reales de variable real definidas en

Más detalles

Capítulo 4: Conjuntos

Capítulo 4: Conjuntos Capítulo 4: Conjuntos Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Septiembre de 2014 Olalla (Universidad de Sevilla) Capítulo 4: Conjuntos Septiembre de

Más detalles

ESPACIOS TOPOLÓGICOS

ESPACIOS TOPOLÓGICOS TOPOLOGIA 1 CHAPTER 1 ESPACIOS TOPOLÓGICOS 1. Definición y Ejemplos Los espacios topológicos son la base, entre otras cosas, de la estructura matemática que le dará forma a los conjuntos. Como veremos

Más detalles

Axiomas de separación

Axiomas de separación CAPíTULO 6 Axiomas de separación Tema 1. Axiomas de separación: conceptos básicos El objetivo de este capítulo es considerar ciertas propiedades topológicas que comparten algunos espacios topológicos y

Más detalles

1. Conjuntos y funciones

1. Conjuntos y funciones Centro de Matemática Facultad de Ciencias Universidad de la República Introducción a la Topología Curso 2016 PRACTICO 1: CONJUNTOS. 1 1. Conjuntos y funciones Ejercicio 1. Si I es un conjunto y A α es

Más detalles

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2017

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2017 Tema 1: Conjuntos Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Septiembre de 2017 Olalla (Universidad de Sevilla) Tema 1: Conjuntos Septiembre de 2017 1

Más detalles

1. Propiedades básicas de las medidas

1. Propiedades básicas de las medidas AMARUN www.amarun.net Comisión de Pedagogía - Diego Chamorro Teoría de la medida (Nivel 2). Lección n 2: σ-álgebras y medidas EPN, verano 2009 1. Propiedades básicas de las medidas Marco de trabajo: la

Más detalles

Conjuntos Abiertos y Cerrados

Conjuntos Abiertos y Cerrados Conjuntos Abiertos y Cerrados 1. (a) En la prueba de que la intersección de una colección finita de conjuntos abiertos es un conjunto abierto, dónde se uso la hipótesis de que la colección es finita? 2.

Más detalles

Conjuntos finitos y conjuntos numerables

Conjuntos finitos y conjuntos numerables Tema 3 Conjuntos finitos y conjuntos numerables En este tema vamos a usar los números naturales para contar los elementos de un conjunto, o dicho con mayor precisión, para definir los conjuntos finitos

Más detalles

Conjuntos finitos y conjuntos numerables

Conjuntos finitos y conjuntos numerables Tema 3 Conjuntos finitos y conjuntos numerables En este tema vamos a usar los números naturales para contar los elementos de un conjunto, o dicho con mayor precisión, para definir los conjuntos finitos

Más detalles

Teorema del Valor Medio

Teorema del Valor Medio Tema 6 Teorema del Valor Medio Abordamos en este tema el estudio del resultado más importante del cálculo diferencial en una variable, el Teorema del Valor Medio, debido al matemático italo-francés Joseph

Más detalles

Funciones de Clase C 1

Funciones de Clase C 1 Capítulo 7 Funciones de Clase C 1 Vamos a considerar ahora la extensión a varias variables del concepto de función de clase C 1. Cada vez que establezcamos una propiedad de las funciones diferenciables,

Más detalles

Una topología de los números naturales*

Una topología de los números naturales* Una topología de los números naturales* Divulgación Gabriel Ruiz Hernández Instituto de Matemáticas, UNAM 1 de septimebre de 1997 resumen En este trabajo vamos a describir un espacio topológico X con las

Más detalles

a r - Fernando Sánchez - Departamento de Matemáticas - Universidad de Extremadura Cálculo I Topología Elementos de la topología en R

a r - Fernando Sánchez - Departamento de Matemáticas - Universidad de Extremadura Cálculo I Topología Elementos de la topología en R - Fernando Sánchez - - 4 Topología Cálculo I en R Elementos de la topología en R 26 10 2016 Una topología en un conjunto da un criterio para poder hablar de proximidad entre los elementos de un conjunto

Más detalles

Espacios Pseudométricos

Espacios Pseudométricos Capítulo 1 Espacios Pseudométricos Este primer capítulo se dedica a la exploración de una clase particular de espacios topológicos, cuya estructura está dada por una noción de distancia. Se pretende que

Más detalles

El último axioma. El axioma del supremo

El último axioma. El axioma del supremo Hay conceptos matemáticos de los que apenas se habla en las matemáticas del Bachillerato, o bien se pasa de puntillas sobre ellos. Es cierto que jugamos con los números reales dando por hecho muchas propiedades

Más detalles

1. La topología inducida.

1. La topología inducida. PRACTICO 4. ESPACIOS METRICOS. 1. La topología inducida. Sea (M, d) un espacio métrico. La bola abierta de centro x y radio r es el conjunto B(x; r) = {y M : d(x, y) < r}. La bola cerrada de centro x y

Más detalles

Dificultad [2] Solución 1. Sean A y B disjuntos y cerrados. Entonces A = adh(a) y B = adh(b), y por tanto, A adh(b) = adh(a) B = A B =.

Dificultad [2] Solución 1. Sean A y B disjuntos y cerrados. Entonces A = adh(a) y B = adh(b), y por tanto, A adh(b) = adh(a) B = A B =. 5.1 Sea (E, d) un espació métrico y A y B subconjuntos de E. Demuéstrese que 1. si A y B son disjuntos y ambos cerrados, entonces están separados. 2. si A y B son disjuntos y ambos abiertos, entonces están

Más detalles

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2016

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2016 Tema 1: Conjuntos Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Septiembre de 2016 Olalla (Universidad de Sevilla) Tema 1: Conjuntos Septiembre de 2016 1

Más detalles

Topología en R n. Continuidad de funciones de varias variables

Topología en R n. Continuidad de funciones de varias variables . Continuidad de funciones de varias variables María Muñoz Guillermo maria.mg@upct.es U.P.C.T. Matemáticas I (1 o Grado en Ingeniería Electrónica Industrial y Automática) M. Muñoz (U.P.C.T.) Continuidad

Más detalles

Capítulo V. T 2 (e, e

Capítulo V. T 2 (e, e Capítulo V Métricas En este capítulo y en los siguientes, el cuerpo base de los espacios vectoriales que se consideren será de característica distinta de 2. Empecemos recordando las nociones básicas que

Más detalles

EJERCICIOS RESUELTOS. NÚMEROS Y FUNCIONES. CONTINUIDAD Y LÍMITE FUNCIONAL.

EJERCICIOS RESUELTOS. NÚMEROS Y FUNCIONES. CONTINUIDAD Y LÍMITE FUNCIONAL. EJERCICIOS RESUELTOS. NÚMEROS Y FUNCIONES. CONTINUIDAD Y LÍMITE FUNCIONAL. 1. Estúdiese la continuidad de la función f : R R, definida por f (x) = xe(1/x) si x = 0, f (0) = 1.. Sea f : R R continua, mayorada

Más detalles

Conjuntos Medibles. Preliminares

Conjuntos Medibles. Preliminares Capítulo 18 Conjuntos Medibles Preliminares En el capítulo anterior vimos que la medida exterior de Lebesgue no resulta σ-aditiva en todo R n. Ahora vamos a construir una familia M de subconjuntos de R

Más detalles

Problemas de TOPOLOGÍA Hoja 2

Problemas de TOPOLOGÍA Hoja 2 Problemas de TOPOLOGÍA Hoja 2 1. Sea X un conjunto, (Y, T Y ) un espacio topológico y f : X Y una aplicación. Probar que T = {f 1 (G) : G T Y } es una topología sobre X. Esta topología se llama topología

Más detalles

Espacios fuertemente T 1

Espacios fuertemente T 1 Revista INTEGRACIÓN Universidad Industrial de Santander Escuela de Matemáticas Vol. 16, No 2, p. 87 100, julio diciembre de 1998 Espacios fuertemente T 1 Néstor Raúl Pachón Rubiano * Resumen Las topologías

Más detalles

1. Sucesiones. Sucesiones. Compacidad. {( 1) n, n N} = { 1, 1, 1, 1, 1, 1,... } es una sucesión de elementos del conjunto { 1, 1}, y la familia

1. Sucesiones. Sucesiones. Compacidad. {( 1) n, n N} = { 1, 1, 1, 1, 1, 1,... } es una sucesión de elementos del conjunto { 1, 1}, y la familia 1.. De una manera informal, una sucesión es una familia de elementos de un conjunto, ordenada según el índice de los números naturales. Los elementos pueden estar repetidos o no. Por ejemplo la familia

Más detalles

Continuidad y Continuidad Uniforme. Aplicaciones lineales continuas.

Continuidad y Continuidad Uniforme. Aplicaciones lineales continuas. Continuidad y Continuidad Uniforme. Aplicaciones lineales continuas. Beatriz Porras 1 Límites Las definiciones de ĺımite de funciones de varias variables son similares a las de los ĺımites de funciones

Más detalles

COMPLECIÓN DE CUERPOS CONVEXOS. Helmuth Villavicencio Fernández 1. (Recibido: 26/01/ Aceptado: 18/11/2014) COMPLETION OF CONVEX BODIES

COMPLECIÓN DE CUERPOS CONVEXOS. Helmuth Villavicencio Fernández 1. (Recibido: 26/01/ Aceptado: 18/11/2014) COMPLETION OF CONVEX BODIES PESQUIMAT, Revista de la F.C.M. de la Universidad Nacional Mayor de San Marcos Vol. XVIII N o 1, pp. 16-20, Lima -Perú, Abril 2015 COMPLECIÓN DE CUERPOS CONVEXOS Helmuth Villavicencio Fernández 1 (Recibido:

Más detalles

Departamento de Ingeniería Matemática - Universidad de Chile

Departamento de Ingeniería Matemática - Universidad de Chile Ingeniería Matemática FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE Álgebra Lineal 08-2 SEMANA 7: ESPACIOS VECTORIALES 3.5. Generadores de un espacio vectorial Sea V un espacio vectorial

Más detalles

58 7. ESPACIOS COCIENTE

58 7. ESPACIOS COCIENTE CAPíULO 7 Espacios cociente En esta sección estudiamos el cociente de un espacio vectorial por un subespacio W. Este cociente se define como el conjunto cociente de por una relación de equivalencia conveniente.

Más detalles

1. Medida Exterior. Medida de Lebesgue en R n

1. Medida Exterior. Medida de Lebesgue en R n 1. La integral de Lebesgue surge del desarrollo de la integral de Riemann, ante las dificultades encontradas en las propiedades de paso al ĺımite para calcular la integral de una función definida como

Más detalles

ECUACIONES DIFERENCIALES ORDINARIAS. HOJA 8. Conjuntos invariantes

ECUACIONES DIFERENCIALES ORDINARIAS. HOJA 8. Conjuntos invariantes ECUACIONES DIFERENCIALES ORDINARIAS. HOJA 8. CONJUNTOS INVARIANTES Y CONJUNTOS LÍMITE. ESTABILIDAD POR EL MÉTODO DE LIAPUNOV. Conjuntos invariantes 1. Definición. Se dice que un conjunto D Ω es positivamente

Más detalles

Tema 2: Teorema de estructura de los grupos abelianos finitamente generados.

Tema 2: Teorema de estructura de los grupos abelianos finitamente generados. ESTRUCTURAS ALGEBRAICAS GRADO EN MATEMÁTICAS. CURSO 215/216 Tema 2: Teorema de estructura de los grupos abelianos finitamente generados. 1.1. Grupo abeliano libre. Bases. Definición 1.1. El grupo Z n con

Más detalles

Espacios completos. 8.1 Sucesiones de Cauchy

Espacios completos. 8.1 Sucesiones de Cauchy Capítulo 8 Espacios completos 8.1 Sucesiones de Cauchy Definición 8.1.1 (Sucesión de Cauchy). Diremos que una sucesión (x n ) n=1 en un espacio métrico (X, d) es de Cauchy si para todo ε > 0 existe un

Más detalles

Unidad 1: Espacios métricos

Unidad 1: Espacios métricos Unidad 1: Espacios métricos 1.1 Definición y Ejemplos. (1) Explicar que una métrica permite introducir una noción de cercanía entre los elementos de un conjunto. (2) Explicar que sobre un conjunto determinado

Más detalles

1. Caracterización de compacidad en espacios métricos

1. Caracterización de compacidad en espacios métricos Centro de Matemática Facultad de Ciencias Universidad de la República Introducción a la Topología Curso 2016 NOTAS TEÓRICO-PRÁCTICAS 10: COMPACIDAD II 1. Caracterización de compacidad en espacios métricos

Más detalles

Continuidad Funciones reales de variable real. Tema 12

Continuidad Funciones reales de variable real. Tema 12 Tema 12 Continuidad El Análisis Real es la parte del Análisis Matemático que se ocupa de las funciones de una o varias variables reales. Iniciamos aquí el estudio del caso más sencillo: funciones reales

Más detalles

Tema 1: Fundamentos.

Tema 1: Fundamentos. Tema 1: Fundamentos. 1. Nociones básicas de la Teoría de Conjuntos. Definición. Un conjunto es una colección de objetos. A los objetos de un conjunto se les llama elementos del conjunto. Se denominará

Más detalles

CURVAS Y SUPERFICIES. RELACIÓN 2

CURVAS Y SUPERFICIES. RELACIÓN 2 CURVAS Y SUPERFICIES. RELACIÓN 2 SUPERFICIES EN EL ESPACIO Curso 2015-16 1. Demostrar que las siguientes cuádricas reales son superficies. Obtener una parametrización de cada una de ellas. En cada caso,

Más detalles

Aplicaciones de las derivadas. El teorema del valor medio

Aplicaciones de las derivadas. El teorema del valor medio Aplicaciones de las derivadas. El teorema del valor medio Ya hemos hablado en un par de artículos anteriores del concepto de derivada y de su interpretación tanto desde el punto de vista geométrico como

Más detalles

Función inversa Diferencial de la inversa. Tema 11

Función inversa Diferencial de la inversa. Tema 11 Tema 11 Función inversa Como segundo resultado fundamental del cálculo diferencial, estudiaremos ahora la posible existencia, así como la diferenciabilidad, de la función inversa de una función diferenciable.

Más detalles

Problemas de VC para EDVC elaborados por C. Mora, Tema 4

Problemas de VC para EDVC elaborados por C. Mora, Tema 4 Problemas de VC para EDVC elaborados por C. Mora, Tema 4 Ejercicio Determinar las funciones enteras f para las que Solución f( + w) = f()f(w), w C. En primer lugar, f(0) = f(0 + 0) = f(0)f(0) = f(0) 2,

Más detalles

Funciones convexas Definición de función convexa. Tema 7

Funciones convexas Definición de función convexa. Tema 7 Tema 7 Funciones convexas Los resultados obtenidos en el desarrollo del cálculo diferencial nos permiten estudiar con facilidad una importante familia de funciones definidas en intervalos, las funciones

Más detalles

Descomposición de dos Anillos de Funciones Continuas

Descomposición de dos Anillos de Funciones Continuas Miscelánea Matemática 38 (2003) 65 75 SMM Descomposición de dos Anillos de Funciones Continuas Rogelio Fernández-Alonso Departamento de Matemáticas Universidad Autónoma Metropolitana-I 09340 México, D.F.

Más detalles

Tipos De Orden. Gabriel Cachoa Ocampo. Agosto, 2016

Tipos De Orden. Gabriel Cachoa Ocampo. Agosto, 2016 Tipos De Orden Gabriel Cachoa Ocampo Agosto, 2016 Resumen En esta primer sección nuestro objetivo es estudiar a la clase de órdenes lineales módulo la isomorfía, COT O\. La clase de representantes satisface

Más detalles

Teoría de la Probabilidad Tema 2: Teorema de Extensión

Teoría de la Probabilidad Tema 2: Teorema de Extensión Teoría de la Probabilidad Tema 2: Teorema de Extensión Alberto Rodríguez Casal 25 de septiembre de 2015 Definición Una clase (no vacía) A de subconjuntos de Ω se dice que es un álgebra si A es cerrada

Más detalles

Estructuras algebraicas. Departamento de Álgebra. Apuntes de teoría

Estructuras algebraicas. Departamento de Álgebra.  Apuntes de teoría ESTRUCTURAS ALGEBRAICAS GRADO EN MATEMÁTICAS. CURSO 2015/2016 Apuntes de teoría Tema 1: Grupos y subgrupos. 1.1. Introducción Definición 1.1. Un grupo es un par (G, ), donde G es un conjunto no vacío,

Más detalles

Estructuras Algebraicas

Estructuras Algebraicas Tema 1 Estructuras Algebraicas Definición 1 Sea A un conjunto no vacío Una operación binaria (u operación interna) en A es una aplicación : A A A Es decir, tenemos una regla que a cada par de elementos

Más detalles

Semana04[1/17] Funciones. 21 de marzo de Funciones

Semana04[1/17] Funciones. 21 de marzo de Funciones Semana04[1/17] 21 de marzo de 2007 Composición de funciones Semana04[2/17] Pensemos que tenemos tres conjuntos no vacíos A, B, C, y dos funciones, f : A B y g : B C, como en el siguiente diagrama: Figura:

Más detalles

Extensiones normales.

Extensiones normales. 10. TEORÍA DE GALOIS Este capítulo, donde se establece el Teorema Principal de la Teoría de Galois, puede ser considerado como la culminación de la asignatura. Aquí se relacionarán las Teorías de Grupos

Más detalles

Introducción a la topología

Introducción a la topología Introducción a la topología Beatriz Abadie CENTRO DE MATEMÁTICAS FACULTAD DE CIENCIAS UNIVERSIDAD DE LA REPÚBLICA Agosto de 2013 i Índice general Capítulo 1. Elementos de la teoría de conjuntos 1 1.1.

Más detalles

Teoría de la Dimensión

Teoría de la Dimensión Capítulo II Teoría de la Dimensión En este capítulo introduciremos una de las propiedades más importantes que tienen los espacios vectoriales: la dimensión. Dos son los modos posibles de llegar a la noción

Más detalles

Inducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones

Inducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones UNSL Repaso de Inducción, y Inducción Matemática (Sección 1.7 del libro) Supongamos que queremos demostrar enunciados del siguiente tipo: P(n) : La suma de los primeros n números naturales es n(n+1)

Más detalles

ÁLGEBRA MODERNA. Índice 1. El grupo de permutaciones y el grupo alternante 1

ÁLGEBRA MODERNA. Índice 1. El grupo de permutaciones y el grupo alternante 1 ÁLGEBRA MODERNA DANIEL LABARDINI FRAGOSO TOMÓ ESTAS NOTAS: ALEJANDRO DE LAS PEÑAS CASTAÑO FECHA: 9/MARZO/2016 Índice 1. El grupo de permutaciones y el grupo alternante 1 1. El grupo de permutaciones y

Más detalles

Conjuntos Medibles. La identidad de Caratheodory

Conjuntos Medibles. La identidad de Caratheodory Capítulo 18 Conjuntos Medibles La identidad de Caratheodory En el capítulo anterior vimos que la medida exterior de Lebesgue no resulta σ-aditiva en todo R n. Ahora vamos a construir una familia M de subconjuntos

Más detalles