Espacios mtricos Espacios topolgicos

Continuidad y convergencia
Diego Acosta lvarez
Universidad de Antioquia Licenciatura en Matemticas y Fsica

Abril 17 de 2008

Diego Acosta lvarez

Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Espacios mtricos Abiertos y cerrados Convergencia Continuidad

Espacios topolgicos Continuidad Filtros Convergencia

Diego Acosta lvarez

Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Abiertos y cerrados Convergencia Continuidad

Espacios mtricos

Denicin (Espacio Mtrico). Sea M un conjunto. Si existe una funcin d : M M R que satisface las siguientes propiedades:
1 2 3

d( x, y) 0 y d( x, y) = 0 si y solo si x = y (Positividad) d( x, y) = d(y, x) (Simetra) d( x, y) d( x, z) + d(z, y) (Desigualdad triangular)

Decimos que el par ( M, d) es un espacio mtrico.

Diego Acosta lvarez

Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Abiertos y cerrados Convergencia Continuidad

Espacios mtricos
Ejemplos 1 En Rn podemos denir d : Rn Rn R de las siguientes formas: 1/2 n 2 d ( x , y) = ( xi yi )
i =1

d ( x, y) = m ax1in {| xi yi |}
n

d1 ( x, y) =
i=1
2

| xi yi |

Sea M = B (X, R) = { f : X R : f es acotada}. La mtrica d : M M R se dene por: d( f , g) = sup {| f ( x) g( x)|}

x X
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Abiertos y cerrados Convergencia Continuidad

Espacios mtricos
Ejemplos 1 En Rn podemos denir d : Rn Rn R de las siguientes formas: 1/2 n 2 d ( x , y) = ( xi yi )
i =1

d ( x, y) = m ax1in {| xi yi |}
n

d1 ( x, y) =
i=1
2

| xi yi |

Sea M = B (X, R) = { f : X R : f es acotada}. La mtrica d : M M R se dene por: d( f , g) = sup {| f ( x) g( x)|}

x X
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Abiertos y cerrados Convergencia Continuidad

Abiertos y cerrados
Denicin (Bola abierta y bola cerrada). Sea r > 0. Los conjuntos B(a, r) = { x M : d( x, a) < r} y B[a, r] = { x M : d( x, a) r} se denominan respectivamente bola abierta y bola cerrada de centro a y radio r. Denicin (Conjuntos abiertos y cerrados). Sea X M , con ( M, d) un espacio mtrico. 1 X es llamado abierto si y solo si x Xr > 0 : B( x, r) X. 2 X es cerrado si y solo si su complemento M X es abierto. Teorema (Caracterizacin de abiertos). Llamemos la coleccin de los conjuntos abiertos de ( M, d). Es decir, = {A M : A es abierto en M }. Entonces:
1 2 3

, M Para una coleccin (A ) , se tiene que A = Si A1 , ..., Ak , entonces k i=1 Ai .

Diego Acosta lvarez Continuidad y convergencia

A .

Espacios mtricos Espacios topolgicos

Abiertos y cerrados Convergencia Continuidad

Abiertos y cerrados
Denicin (Bola abierta y bola cerrada). Sea r > 0. Los conjuntos B(a, r) = { x M : d( x, a) < r} y B[a, r] = { x M : d( x, a) r} se denominan respectivamente bola abierta y bola cerrada de centro a y radio r. Denicin (Conjuntos abiertos y cerrados). Sea X M , con ( M, d) un espacio mtrico. 1 X es llamado abierto si y solo si x Xr > 0 : B( x, r) X. 2 X es cerrado si y solo si su complemento M X es abierto. Teorema (Caracterizacin de abiertos). Llamemos la coleccin de los conjuntos abiertos de ( M, d). Es decir, = {A M : A es abierto en M }. Entonces:
1 2 3

, M Para una coleccin (A ) , se tiene que A = Si A1 , ..., Ak , entonces k i=1 Ai .

Diego Acosta lvarez Continuidad y convergencia

A .

Espacios mtricos Espacios topolgicos

Abiertos y cerrados Convergencia Continuidad

Abiertos y cerrados
Denicin (Bola abierta y bola cerrada). Sea r > 0. Los conjuntos B(a, r) = { x M : d( x, a) < r} y B[a, r] = { x M : d( x, a) r} se denominan respectivamente bola abierta y bola cerrada de centro a y radio r. Denicin (Conjuntos abiertos y cerrados). Sea X M , con ( M, d) un espacio mtrico. 1 X es llamado abierto si y solo si x Xr > 0 : B( x, r) X. 2 X es cerrado si y solo si su complemento M X es abierto. Teorema (Caracterizacin de abiertos). Llamemos la coleccin de los conjuntos abiertos de ( M, d). Es decir, = {A M : A es abierto en M }. Entonces:
1 2 3

, M Para una coleccin (A ) , se tiene que A = Si A1 , ..., Ak , entonces k i=1 Ai .

Diego Acosta lvarez Continuidad y convergencia

A .

Espacios mtricos Espacios topolgicos

Abiertos y cerrados Convergencia Continuidad

Convergencia
Denicin (Sucesin). Sea ( M, d) un espacio mtrico. Una sucesin es una funcin x : N M tal que x(n) = xn M . Denicin (Lmite de una sucesin). El lmite de una sucesin, es un elemento a M para el cual se satisfacen las siguientes condiciones: > 0, n0 N : n > n0 se cumple d( xn , a) < . En este caso se escribe l mn xn = a Proposicin (Convergencia y abiertos). Un conjunto A M es abierto si y solo si para toda sucesin convergente en M con l mn xn A, existe n0 N tal que n n0 , xn A Proposicin (Convergencia y cerrados). Un conjunto A M es cerrado si y solo si toda sucesin ( xn )nN A convergente en M es convergente en A.
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Abiertos y cerrados Convergencia Continuidad

Convergencia
Denicin (Sucesin). Sea ( M, d) un espacio mtrico. Una sucesin es una funcin x : N M tal que x(n) = xn M . Denicin (Lmite de una sucesin). El lmite de una sucesin, es un elemento a M para el cual se satisfacen las siguientes condiciones: > 0, n0 N : n > n0 se cumple d( xn , a) < . En este caso se escribe l mn xn = a Proposicin (Convergencia y abiertos). Un conjunto A M es abierto si y solo si para toda sucesin convergente en M con l mn xn A, existe n0 N tal que n n0 , xn A Proposicin (Convergencia y cerrados). Un conjunto A M es cerrado si y solo si toda sucesin ( xn )nN A convergente en M es convergente en A.
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Abiertos y cerrados Convergencia Continuidad

Convergencia
Denicin (Sucesin). Sea ( M, d) un espacio mtrico. Una sucesin es una funcin x : N M tal que x(n) = xn M . Denicin (Lmite de una sucesin). El lmite de una sucesin, es un elemento a M para el cual se satisfacen las siguientes condiciones: > 0, n0 N : n > n0 se cumple d( xn , a) < . En este caso se escribe l mn xn = a Proposicin (Convergencia y abiertos). Un conjunto A M es abierto si y solo si para toda sucesin convergente en M con l mn xn A, existe n0 N tal que n n0 , xn A Proposicin (Convergencia y cerrados). Un conjunto A M es cerrado si y solo si toda sucesin ( xn )nN A convergente en M es convergente en A.
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Abiertos y cerrados Convergencia Continuidad

Convergencia
Denicin (Sucesin). Sea ( M, d) un espacio mtrico. Una sucesin es una funcin x : N M tal que x(n) = xn M . Denicin (Lmite de una sucesin). El lmite de una sucesin, es un elemento a M para el cual se satisfacen las siguientes condiciones: > 0, n0 N : n > n0 se cumple d( xn , a) < . En este caso se escribe l mn xn = a Proposicin (Convergencia y abiertos). Un conjunto A M es abierto si y solo si para toda sucesin convergente en M con l mn xn A, existe n0 N tal que n n0 , xn A Proposicin (Convergencia y cerrados). Un conjunto A M es cerrado si y solo si toda sucesin ( xn )nN A convergente en M es convergente en A.
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Abiertos y cerrados Convergencia Continuidad

Continuidad
Denicin (Funcin continua). Sean ( M, d) y (N, ) espacios mtricos. Una funcin f : M N se dice continua en el punto a M si y solo si > 0 > 0 : x M con d( x, a) < se tiene ( f ( x), f (a)) < . Una funcin es continua en A M si lo es en cada punto de A. Proposicin (Funciones continuas y conjuntos abiertos). Sean ( M, d) y (N, ) espacios mtricos y f : M N una funcin. f es continua si y solo si para cada A N abierto en N se tiene f 1 (A) M es abierto en M . Proposicin (Funciones continuas y sucesiones). Una funcin f : M N es continua en a M si y solo si para toda sucesin ( xn )nN , tal que xn a en M , se sigue f ( xn ) f (a) en N .
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Abiertos y cerrados Convergencia Continuidad

Continuidad
Denicin (Funcin continua). Sean ( M, d) y (N, ) espacios mtricos. Una funcin f : M N se dice continua en el punto a M si y solo si > 0 > 0 : x M con d( x, a) < se tiene ( f ( x), f (a)) < . Una funcin es continua en A M si lo es en cada punto de A. Proposicin (Funciones continuas y conjuntos abiertos). Sean ( M, d) y (N, ) espacios mtricos y f : M N una funcin. f es continua si y solo si para cada A N abierto en N se tiene f 1 (A) M es abierto en M . Proposicin (Funciones continuas y sucesiones). Una funcin f : M N es continua en a M si y solo si para toda sucesin ( xn )nN , tal que xn a en M , se sigue f ( xn ) f (a) en N .
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Abiertos y cerrados Convergencia Continuidad

Continuidad
Denicin (Funcin continua). Sean ( M, d) y (N, ) espacios mtricos. Una funcin f : M N se dice continua en el punto a M si y solo si > 0 > 0 : x M con d( x, a) < se tiene ( f ( x), f (a)) < . Una funcin es continua en A M si lo es en cada punto de A. Proposicin (Funciones continuas y conjuntos abiertos). Sean ( M, d) y (N, ) espacios mtricos y f : M N una funcin. f es continua si y solo si para cada A N abierto en N se tiene f 1 (A) M es abierto en M . Proposicin (Funciones continuas y sucesiones). Una funcin f : M N es continua en a M si y solo si para toda sucesin ( xn )nN , tal que xn a en M , se sigue f ( xn ) f (a) en N .
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Continuidad Filtros Convergencia

Topologa
Denicin (Topologa). Sea X un conjunto. Una topologa o estructura topolgica en X es una familia de subconjuntos de X, es decir, P (X) = {A : A X}, que satisface:
1 2 3

Cada unin arbitraria de elementos de es un elemento de . Cada interseccin nita de elementos de es un elemento de . , X .

El par (X, ) donde X es un conjunto y una topologa en X es llamado un espacio topolgico. Los elementos de X son llamados puntos y cada U abierto del espacio topolgico (X, ). Una vecindad de x X es un conjunto V ( x) X tal que V ( x) U x, para algn U .
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Continuidad Filtros Convergencia

Topologa
Denicin (Topologa). Sea X un conjunto. Una topologa o estructura topolgica en X es una familia de subconjuntos de X, es decir, P (X) = {A : A X}, que satisface:
1 2 3

Cada unin arbitraria de elementos de es un elemento de . Cada interseccin nita de elementos de es un elemento de . , X .

El par (X, ) donde X es un conjunto y una topologa en X es llamado un espacio topolgico. Los elementos de X son llamados puntos y cada U abierto del espacio topolgico (X, ). Una vecindad de x X es un conjunto V ( x) X tal que V ( x) U x, para algn U .
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Continuidad Filtros Convergencia

Continuidad
Denicin (Funcin continua). Sean (X, X ) y (Y, Y ) espacios topolgicos. Una funcin f : X Y es llamada continua, si la imagen inversa de cada abierto en Y es abierto en X.

Denicin (Funcin secuencialmente continua). Una funcin f : X Y con X y Y espacios topolgicos es llamada secuencialmente continua en a X si satisface: ( xn )nN X : xn a, se tiene f ( xn ) f (a) Teorema. Sea X un espacio topolgico 1-contable y Y un espacio topolgico. f : X Y es continua en a X si y solo si f es secuencialmente continua en a X.
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Continuidad Filtros Convergencia

Continuidad
Denicin (Funcin continua). Sean (X, X ) y (Y, Y ) espacios topolgicos. Una funcin f : X Y es llamada continua, si la imagen inversa de cada abierto en Y es abierto en X.

Denicin (Funcin secuencialmente continua). Una funcin f : X Y con X y Y espacios topolgicos es llamada secuencialmente continua en a X si satisface: ( xn )nN X : xn a, se tiene f ( xn ) f (a) Teorema. Sea X un espacio topolgico 1-contable y Y un espacio topolgico. f : X Y es continua en a X si y solo si f es secuencialmente continua en a X.
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Continuidad Filtros Convergencia

Continuidad
Denicin (Funcin continua). Sean (X, X ) y (Y, Y ) espacios topolgicos. Una funcin f : X Y es llamada continua, si la imagen inversa de cada abierto en Y es abierto en X.

Denicin (Funcin secuencialmente continua). Una funcin f : X Y con X y Y espacios topolgicos es llamada secuencialmente continua en a X si satisface: ( xn )nN X : xn a, se tiene f ( xn ) f (a) Teorema. Sea X un espacio topolgico 1-contable y Y un espacio topolgico. f : X Y es continua en a X si y solo si f es secuencialmente continua en a X.
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Continuidad Filtros Convergencia

Filtros
Denicin (Filtro). Dado un conjunto X, un ltro F para X es una coleccin no vaca, de subconjuntos no vacos de X tal que:
1 2

Si F1 , F2 F entonces F1 F2 F . Si F F y G F , entonces G F .

Ejemplo. Dado un espacio topolgico (X, ) y x X, el conjunto V ( x) de todas las vecindades de x es un ltro para X, llamado ltro de vecindades de x. Denicin (Base de ltro). Dado un ltro F , decimos que B F es una base de ltro para F si y solo si, dado F F existe B B tal que B F .
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Continuidad Filtros Convergencia

Filtros
Denicin (Filtro). Dado un conjunto X, un ltro F para X es una coleccin no vaca, de subconjuntos no vacos de X tal que:
1 2

Si F1 , F2 F entonces F1 F2 F . Si F F y G F , entonces G F .

Ejemplo. Dado un espacio topolgico (X, ) y x X, el conjunto V ( x) de todas las vecindades de x es un ltro para X, llamado ltro de vecindades de x. Denicin (Base de ltro). Dado un ltro F , decimos que B F es una base de ltro para F si y solo si, dado F F existe B B tal que B F .
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Continuidad Filtros Convergencia

Filtros
Denicin (Filtro). Dado un conjunto X, un ltro F para X es una coleccin no vaca, de subconjuntos no vacos de X tal que:
1 2

Si F1 , F2 F entonces F1 F2 F . Si F F y G F , entonces G F .

Ejemplo. Dado un espacio topolgico (X, ) y x X, el conjunto V ( x) de todas las vecindades de x es un ltro para X, llamado ltro de vecindades de x. Denicin (Base de ltro). Dado un ltro F , decimos que B F es una base de ltro para F si y solo si, dado F F existe B B tal que B F .
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Continuidad Filtros Convergencia

Convergencia
Denicin (Convergencia de ltros). Sea F un ltro en un espacio topolgico (X, ). Decimos que F converge al punto x X, si y solo si, V ( x) F . Lo notamos escribiendo: F x.

Denicin (Filtro asociado a una sucesin). Sea ( xn )nN una sucesin en el espacio X. Para cada n N sea Xn = { xm : m n} la cola n-sima de la sucesin. Denimos un ltro F , el ltro asociado a la sucesin como F = A X : A Xn para algn n N

Teorema. Sea ( xn )nN una sucesin en X. xn x, si y solo si, el ltro asociado a la sucesin converge a x.
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Continuidad Filtros Convergencia

Convergencia
Denicin (Convergencia de ltros). Sea F un ltro en un espacio topolgico (X, ). Decimos que F converge al punto x X, si y solo si, V ( x) F . Lo notamos escribiendo: F x.

Denicin (Filtro asociado a una sucesin). Sea ( xn )nN una sucesin en el espacio X. Para cada n N sea Xn = { xm : m n} la cola n-sima de la sucesin. Denimos un ltro F , el ltro asociado a la sucesin como F = A X : A Xn para algn n N

Teorema. Sea ( xn )nN una sucesin en X. xn x, si y solo si, el ltro asociado a la sucesin converge a x.
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Continuidad Filtros Convergencia

Convergencia
Denicin (Convergencia de ltros). Sea F un ltro en un espacio topolgico (X, ). Decimos que F converge al punto x X, si y solo si, V ( x) F . Lo notamos escribiendo: F x.

Denicin (Filtro asociado a una sucesin). Sea ( xn )nN una sucesin en el espacio X. Para cada n N sea Xn = { xm : m n} la cola n-sima de la sucesin. Denimos un ltro F , el ltro asociado a la sucesin como F = A X : A Xn para algn n N

Teorema. Sea ( xn )nN una sucesin en X. xn x, si y solo si, el ltro asociado a la sucesin converge a x.
Diego Acosta lvarez Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Continuidad Filtros Convergencia

Continuidad y convergencia
Proposicin. Sea f : X Y una funcin. Dado un ltro F en X, la coleccin f (F ) = { f ( F ) : F F } es una base para un ltro en Y, denotado como f (F ) . Si f es sobreyectiva, entonces f (F ) es un ltro.

Teorema. Sean (X, X ), (Y, Y ) espacios topolgicos. Una funcin f : X Y es continua en el punto x X, si y solo si, para cada ltro F de X tal que F x, se tiene que el ltro f (F ) converge a f ( x ) Y.

Diego Acosta lvarez

Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Continuidad Filtros Convergencia

Continuidad y convergencia
Proposicin. Sea f : X Y una funcin. Dado un ltro F en X, la coleccin f (F ) = { f ( F ) : F F } es una base para un ltro en Y, denotado como f (F ) . Si f es sobreyectiva, entonces f (F ) es un ltro.

Teorema. Sean (X, X ), (Y, Y ) espacios topolgicos. Una funcin f : X Y es continua en el punto x X, si y solo si, para cada ltro F de X tal que F x, se tiene que el ltro f (F ) converge a f ( x ) Y.

Diego Acosta lvarez

Continuidad y convergencia

Espacios mtricos Espacios topolgicos

Continuidad Filtros Convergencia

Bibliografa

Munkres, J.R. (2000) Topology. Prentice-Hall Inc. Rubiano, Gustavo. (2005). Topologa general. Bogot: Universidad Nacional. Lima, lon. (1958) Topologia dos espaos mtricos. Rio de Janeiro: IMPA.

Diego Acosta lvarez

Continuidad y convergencia