29
Espacios métricos Espacios topológicos Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas y Física Abril 17 de 2008 Diego Acosta Álvarez Continuidad y convergencia

Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

  • Upload
    others

  • View
    5

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

Continuidad y convergencia

Diego Acosta Álvarez

Universidad de AntioquiaLicenciatura en Matemáticas y Física

Abril 17 de 2008

Diego Acosta Álvarez Continuidad y convergencia

Page 2: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

1 Espacios métricosAbiertos y cerradosConvergenciaContinuidad

2 Espacios topológicosContinuidadFiltrosConvergencia

Diego Acosta Álvarez Continuidad y convergencia

Page 3: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

Abiertos y cerradosConvergenciaContinuidad

Espacios métricos

Definición (Espacio Métrico). Sea M , ∅ un conjunto. Si existe unafunción d : M × M → R que satisface las siguientes propiedades:

1 d(x, y) ≥ 0 y d(x, y) = 0 si y solo si x = y (Positividad)2 d(x, y) = d(y, x) (Simetría)3 d(x, y) ≤ d(x, z) + d(z, y) (Desigualdad triangular)

Decimos que el par (M, d) es un espacio métrico.

Diego Acosta Álvarez Continuidad y convergencia

Page 4: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

Abiertos y cerradosConvergenciaContinuidad

Espacios métricos

Ejemplos1 En Rn podemos definir d : Rn ×Rn → R de las siguientes

formas:

d(x, y) =

n∑i=1

(xi − yi)2

1/2

d∞(x, y) = max1≤i≤n {|xi − yi|}

d1(x, y) =

n∑i=1

|xi − yi|

2 Sea M = B(X,R) = { f : X → R : f es acotada}. La métricad : M × M → R se define por:

d( f , g) = supx∈X{| f (x) − g(x)|}

Diego Acosta Álvarez Continuidad y convergencia

Page 5: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

Abiertos y cerradosConvergenciaContinuidad

Espacios métricos

Ejemplos1 En Rn podemos definir d : Rn ×Rn → R de las siguientes

formas:

d(x, y) =

n∑i=1

(xi − yi)2

1/2

d∞(x, y) = max1≤i≤n {|xi − yi|}

d1(x, y) =

n∑i=1

|xi − yi|

2 Sea M = B(X,R) = { f : X → R : f es acotada}. La métricad : M × M → R se define por:

d( f , g) = supx∈X{| f (x) − g(x)|}

Diego Acosta Álvarez Continuidad y convergencia

Page 6: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

Abiertos y cerradosConvergenciaContinuidad

Abiertos y cerrados

Definición (Bola abierta y bola cerrada). Sea r > 0. Los conjuntosB(a, r) = {x ∈ M : d(x, a) < r} y B[a, r] = {x ∈ M : d(x, a) ≤ r} sedenominan respectivamente bola abierta y bola cerrada de centro a yradio r.Definición (Conjuntos abiertos y cerrados). Sea X ⊆ M, con (M, d)un espacio métrico.

1 X es llamado abierto si y solo si ∀x ∈ X∃r > 0 : B(x, r) ⊂ X.2 X es cerrado si y solo si su complemento M − X es abierto.

Teorema (Caracterización de abiertos). Llamemos τ la colección delos conjuntos abiertos de (M, d). Es decir,τ = {A ⊆ M : A es abierto en M}. Entonces:

1 ∅,M ∈ τ2 Para una colección (Aλ)λ∈Λ ⊂ τ, se tiene que A =

⋃λ∈Λ Aλ ∈ τ.

3 Si A1, ..., Ak ∈ τ, entonces⋂k

i=1 Ai ∈ τ.

Diego Acosta Álvarez Continuidad y convergencia

Page 7: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

Abiertos y cerradosConvergenciaContinuidad

Abiertos y cerrados

Definición (Bola abierta y bola cerrada). Sea r > 0. Los conjuntosB(a, r) = {x ∈ M : d(x, a) < r} y B[a, r] = {x ∈ M : d(x, a) ≤ r} sedenominan respectivamente bola abierta y bola cerrada de centro a yradio r.Definición (Conjuntos abiertos y cerrados). Sea X ⊆ M, con (M, d)un espacio métrico.

1 X es llamado abierto si y solo si ∀x ∈ X∃r > 0 : B(x, r) ⊂ X.2 X es cerrado si y solo si su complemento M − X es abierto.

Teorema (Caracterización de abiertos). Llamemos τ la colección delos conjuntos abiertos de (M, d). Es decir,τ = {A ⊆ M : A es abierto en M}. Entonces:

1 ∅,M ∈ τ2 Para una colección (Aλ)λ∈Λ ⊂ τ, se tiene que A =

⋃λ∈Λ Aλ ∈ τ.

3 Si A1, ..., Ak ∈ τ, entonces⋂k

i=1 Ai ∈ τ.

Diego Acosta Álvarez Continuidad y convergencia

Page 8: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

Abiertos y cerradosConvergenciaContinuidad

Abiertos y cerrados

Definición (Bola abierta y bola cerrada). Sea r > 0. Los conjuntosB(a, r) = {x ∈ M : d(x, a) < r} y B[a, r] = {x ∈ M : d(x, a) ≤ r} sedenominan respectivamente bola abierta y bola cerrada de centro a yradio r.Definición (Conjuntos abiertos y cerrados). Sea X ⊆ M, con (M, d)un espacio métrico.

1 X es llamado abierto si y solo si ∀x ∈ X∃r > 0 : B(x, r) ⊂ X.2 X es cerrado si y solo si su complemento M − X es abierto.

Teorema (Caracterización de abiertos). Llamemos τ la colección delos conjuntos abiertos de (M, d). Es decir,τ = {A ⊆ M : A es abierto en M}. Entonces:

1 ∅,M ∈ τ2 Para una colección (Aλ)λ∈Λ ⊂ τ, se tiene que A =

⋃λ∈Λ Aλ ∈ τ.

3 Si A1, ..., Ak ∈ τ, entonces⋂k

i=1 Ai ∈ τ.

Diego Acosta Álvarez Continuidad y convergencia

Page 9: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

Abiertos y cerradosConvergenciaContinuidad

Convergencia

Definición (Sucesión). Sea (M, d) un espacio métrico. Una sucesiónes una función x : N→ M tal que x(n) = xn ∈ M.

Definición (Límite de una sucesión). El límite de una sucesión, es unelemento a ∈ M para el cual se satisfacen las siguientes condiciones:∀ε > 0,∃n0 ∈ N : ∀n > n0 se cumple d(xn, a) < ε. En este caso seescribe lımn→∞ xn = a

Proposición (Convergencia y abiertos). Un conjunto A ⊂ M esabierto si y solo si para toda sucesión convergente en M conlımn→∞ xn ∈ A, existe n0 ∈ N tal que ∀n ≥ n0, xn ⊂ A

Proposición (Convergencia y cerrados). Un conjunto A ⊂ M escerrado si y solo si toda sucesión (xn)n∈N ⊂ A convergente en M esconvergente en A.

Diego Acosta Álvarez Continuidad y convergencia

Page 10: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

Abiertos y cerradosConvergenciaContinuidad

Convergencia

Definición (Sucesión). Sea (M, d) un espacio métrico. Una sucesiónes una función x : N→ M tal que x(n) = xn ∈ M.

Definición (Límite de una sucesión). El límite de una sucesión, es unelemento a ∈ M para el cual se satisfacen las siguientes condiciones:∀ε > 0,∃n0 ∈ N : ∀n > n0 se cumple d(xn, a) < ε. En este caso seescribe lımn→∞ xn = a

Proposición (Convergencia y abiertos). Un conjunto A ⊂ M esabierto si y solo si para toda sucesión convergente en M conlımn→∞ xn ∈ A, existe n0 ∈ N tal que ∀n ≥ n0, xn ⊂ A

Proposición (Convergencia y cerrados). Un conjunto A ⊂ M escerrado si y solo si toda sucesión (xn)n∈N ⊂ A convergente en M esconvergente en A.

Diego Acosta Álvarez Continuidad y convergencia

Page 11: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

Abiertos y cerradosConvergenciaContinuidad

Convergencia

Definición (Sucesión). Sea (M, d) un espacio métrico. Una sucesiónes una función x : N→ M tal que x(n) = xn ∈ M.

Definición (Límite de una sucesión). El límite de una sucesión, es unelemento a ∈ M para el cual se satisfacen las siguientes condiciones:∀ε > 0,∃n0 ∈ N : ∀n > n0 se cumple d(xn, a) < ε. En este caso seescribe lımn→∞ xn = a

Proposición (Convergencia y abiertos). Un conjunto A ⊂ M esabierto si y solo si para toda sucesión convergente en M conlımn→∞ xn ∈ A, existe n0 ∈ N tal que ∀n ≥ n0, xn ⊂ A

Proposición (Convergencia y cerrados). Un conjunto A ⊂ M escerrado si y solo si toda sucesión (xn)n∈N ⊂ A convergente en M esconvergente en A.

Diego Acosta Álvarez Continuidad y convergencia

Page 12: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

Abiertos y cerradosConvergenciaContinuidad

Convergencia

Definición (Sucesión). Sea (M, d) un espacio métrico. Una sucesiónes una función x : N→ M tal que x(n) = xn ∈ M.

Definición (Límite de una sucesión). El límite de una sucesión, es unelemento a ∈ M para el cual se satisfacen las siguientes condiciones:∀ε > 0,∃n0 ∈ N : ∀n > n0 se cumple d(xn, a) < ε. En este caso seescribe lımn→∞ xn = a

Proposición (Convergencia y abiertos). Un conjunto A ⊂ M esabierto si y solo si para toda sucesión convergente en M conlımn→∞ xn ∈ A, existe n0 ∈ N tal que ∀n ≥ n0, xn ⊂ A

Proposición (Convergencia y cerrados). Un conjunto A ⊂ M escerrado si y solo si toda sucesión (xn)n∈N ⊂ A convergente en M esconvergente en A.

Diego Acosta Álvarez Continuidad y convergencia

Page 13: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

Abiertos y cerradosConvergenciaContinuidad

Continuidad

Definición (Función continua). Sean (M, d) y (N, ρ) espaciosmétricos. Una función f : M → N se dice continua en el punto a ∈ Msi y solo si ∀ε > 0 ∃δ > 0 : ∀x ∈ M con d(x, a) < δ se tieneρ( f (x), f (a)) < ε. Una función es continua en A ⊂ M si lo es en cadapunto de A.

Proposición (Funciones continuas y conjuntos abiertos). Sean(M, d) y (N, ρ) espacios métricos y f : M → N una función. f escontinua si y solo si para cada A ⊂ N abierto en N se tienef −1(A) ⊂ M es abierto en M.

Proposición (Funciones continuas y sucesiones). Una funciónf : M → N es continua en a ∈ M si y solo si para toda sucesión(xn)n∈N, tal que xn → a en M, se sigue f (xn)→ f (a) en N.

Diego Acosta Álvarez Continuidad y convergencia

Page 14: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

Abiertos y cerradosConvergenciaContinuidad

Continuidad

Definición (Función continua). Sean (M, d) y (N, ρ) espaciosmétricos. Una función f : M → N se dice continua en el punto a ∈ Msi y solo si ∀ε > 0 ∃δ > 0 : ∀x ∈ M con d(x, a) < δ se tieneρ( f (x), f (a)) < ε. Una función es continua en A ⊂ M si lo es en cadapunto de A.

Proposición (Funciones continuas y conjuntos abiertos). Sean(M, d) y (N, ρ) espacios métricos y f : M → N una función. f escontinua si y solo si para cada A ⊂ N abierto en N se tienef −1(A) ⊂ M es abierto en M.

Proposición (Funciones continuas y sucesiones). Una funciónf : M → N es continua en a ∈ M si y solo si para toda sucesión(xn)n∈N, tal que xn → a en M, se sigue f (xn)→ f (a) en N.

Diego Acosta Álvarez Continuidad y convergencia

Page 15: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

Abiertos y cerradosConvergenciaContinuidad

Continuidad

Definición (Función continua). Sean (M, d) y (N, ρ) espaciosmétricos. Una función f : M → N se dice continua en el punto a ∈ Msi y solo si ∀ε > 0 ∃δ > 0 : ∀x ∈ M con d(x, a) < δ se tieneρ( f (x), f (a)) < ε. Una función es continua en A ⊂ M si lo es en cadapunto de A.

Proposición (Funciones continuas y conjuntos abiertos). Sean(M, d) y (N, ρ) espacios métricos y f : M → N una función. f escontinua si y solo si para cada A ⊂ N abierto en N se tienef −1(A) ⊂ M es abierto en M.

Proposición (Funciones continuas y sucesiones). Una funciónf : M → N es continua en a ∈ M si y solo si para toda sucesión(xn)n∈N, tal que xn → a en M, se sigue f (xn)→ f (a) en N.

Diego Acosta Álvarez Continuidad y convergencia

Page 16: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

ContinuidadFiltrosConvergencia

Topología

Definición (Topología). Sea X un conjunto. Una topología oestructura topológica en X es una familia τ de subconjuntos de X, esdecir, τ ∈P(X) = {A : A ⊂ X}, que satisface:

1 Cada unión arbitraria de elementos de τ es un elemento de τ.2 Cada intersección finita de elementos de τ es un elemento de τ.3 ∅,X ∈ τ.

El par (X, τ) donde X es un conjunto y τ una topología en X esllamado un espacio topológico. Los elementos de X son llamadospuntos y cada U ∈ τ abierto del espacio topológico (X, τ).

Una vecindad de x ∈ X es un conjunto V (x) ⊂ X tal queV (x) ⊃ U 3 x, para algún U ∈ τ.

Diego Acosta Álvarez Continuidad y convergencia

Page 17: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

ContinuidadFiltrosConvergencia

Topología

Definición (Topología). Sea X un conjunto. Una topología oestructura topológica en X es una familia τ de subconjuntos de X, esdecir, τ ∈P(X) = {A : A ⊂ X}, que satisface:

1 Cada unión arbitraria de elementos de τ es un elemento de τ.2 Cada intersección finita de elementos de τ es un elemento de τ.3 ∅,X ∈ τ.

El par (X, τ) donde X es un conjunto y τ una topología en X esllamado un espacio topológico. Los elementos de X son llamadospuntos y cada U ∈ τ abierto del espacio topológico (X, τ).

Una vecindad de x ∈ X es un conjunto V (x) ⊂ X tal queV (x) ⊃ U 3 x, para algún U ∈ τ.

Diego Acosta Álvarez Continuidad y convergencia

Page 18: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

ContinuidadFiltrosConvergencia

Continuidad

Definición (Función continua). Sean (X, τX) y (Y, τY) espaciostopológicos. Una función f : X→ Y es llamada continua, si laimagen inversa de cada abierto en Y es abierto en X.

Definición (Función secuencialmente continua). Una funciónf : X→ Y con X y Y espacios topológicos es llamadasecuencialmente continua en a ∈ X si satisface:

∀(xn)n∈N ⊂ X : xn → a, se tiene f (xn)→ f (a)

Teorema. Sea X un espacio topológico 1-contable y Y un espaciotopológico. f : X→ Y es continua en a ∈ X si y solo si f essecuencialmente continua en a ∈ X.

Diego Acosta Álvarez Continuidad y convergencia

Page 19: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

ContinuidadFiltrosConvergencia

Continuidad

Definición (Función continua). Sean (X, τX) y (Y, τY) espaciostopológicos. Una función f : X→ Y es llamada continua, si laimagen inversa de cada abierto en Y es abierto en X.

Definición (Función secuencialmente continua). Una funciónf : X→ Y con X y Y espacios topológicos es llamadasecuencialmente continua en a ∈ X si satisface:

∀(xn)n∈N ⊂ X : xn → a, se tiene f (xn)→ f (a)

Teorema. Sea X un espacio topológico 1-contable y Y un espaciotopológico. f : X→ Y es continua en a ∈ X si y solo si f essecuencialmente continua en a ∈ X.

Diego Acosta Álvarez Continuidad y convergencia

Page 20: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

ContinuidadFiltrosConvergencia

Continuidad

Definición (Función continua). Sean (X, τX) y (Y, τY) espaciostopológicos. Una función f : X→ Y es llamada continua, si laimagen inversa de cada abierto en Y es abierto en X.

Definición (Función secuencialmente continua). Una funciónf : X→ Y con X y Y espacios topológicos es llamadasecuencialmente continua en a ∈ X si satisface:

∀(xn)n∈N ⊂ X : xn → a, se tiene f (xn)→ f (a)

Teorema. Sea X un espacio topológico 1-contable y Y un espaciotopológico. f : X→ Y es continua en a ∈ X si y solo si f essecuencialmente continua en a ∈ X.

Diego Acosta Álvarez Continuidad y convergencia

Page 21: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

ContinuidadFiltrosConvergencia

Filtros

Definición (Filtro). Dado un conjunto X, un filtro F para X es unacolección no vacía, de subconjuntos no vacíos de X tal que:

1 Si F1, F2 ∈ F entonces F1 ∩ F2 ∈ F .2 Si F ∈ F y G ⊃ F, entonces G ∈ F .

Ejemplo. Dado un espacio topológico (X, τ) y x ∈ X, el conjuntoV (x) de todas las vecindades de x es un filtro para X, llamado filtro devecindades de x.

Definición (Base de filtro). Dado un filtro F , decimos que B ⊆ Fes una base de filtro para F si y solo si, dado F ∈ F existe B ∈ B talque B ⊆ F.

Diego Acosta Álvarez Continuidad y convergencia

Page 22: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

ContinuidadFiltrosConvergencia

Filtros

Definición (Filtro). Dado un conjunto X, un filtro F para X es unacolección no vacía, de subconjuntos no vacíos de X tal que:

1 Si F1, F2 ∈ F entonces F1 ∩ F2 ∈ F .2 Si F ∈ F y G ⊃ F, entonces G ∈ F .

Ejemplo. Dado un espacio topológico (X, τ) y x ∈ X, el conjuntoV (x) de todas las vecindades de x es un filtro para X, llamado filtro devecindades de x.

Definición (Base de filtro). Dado un filtro F , decimos que B ⊆ Fes una base de filtro para F si y solo si, dado F ∈ F existe B ∈ B talque B ⊆ F.

Diego Acosta Álvarez Continuidad y convergencia

Page 23: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

ContinuidadFiltrosConvergencia

Filtros

Definición (Filtro). Dado un conjunto X, un filtro F para X es unacolección no vacía, de subconjuntos no vacíos de X tal que:

1 Si F1, F2 ∈ F entonces F1 ∩ F2 ∈ F .2 Si F ∈ F y G ⊃ F, entonces G ∈ F .

Ejemplo. Dado un espacio topológico (X, τ) y x ∈ X, el conjuntoV (x) de todas las vecindades de x es un filtro para X, llamado filtro devecindades de x.

Definición (Base de filtro). Dado un filtro F , decimos que B ⊆ Fes una base de filtro para F si y solo si, dado F ∈ F existe B ∈ B talque B ⊆ F.

Diego Acosta Álvarez Continuidad y convergencia

Page 24: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

ContinuidadFiltrosConvergencia

Convergencia

Definición (Convergencia de filtros). Sea F un filtro en un espaciotopológico (X, τ). Decimos que F converge al punto x ∈ X, si y solosi, V (x) ⊂ F . Lo notamos escribiendo: F → x.

Definición (Filtro asociado a una sucesión). Sea (xn)n∈N unasucesión en el espacio X. Para cada n ∈ N sea Xn = {xm : m ≥ n} lacola n-ésima de la sucesión. Definimos un filtro F , el filtro asociadoa la sucesión como

F ={A ⊂ X : A ⊃ Xn para algún n ∈ N

}Teorema. Sea (xn)n∈N una sucesión en X. xn → x, si y solo si, el filtroasociado a la sucesión converge a x.

Diego Acosta Álvarez Continuidad y convergencia

Page 25: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

ContinuidadFiltrosConvergencia

Convergencia

Definición (Convergencia de filtros). Sea F un filtro en un espaciotopológico (X, τ). Decimos que F converge al punto x ∈ X, si y solosi, V (x) ⊂ F . Lo notamos escribiendo: F → x.

Definición (Filtro asociado a una sucesión). Sea (xn)n∈N unasucesión en el espacio X. Para cada n ∈ N sea Xn = {xm : m ≥ n} lacola n-ésima de la sucesión. Definimos un filtro F , el filtro asociadoa la sucesión como

F ={A ⊂ X : A ⊃ Xn para algún n ∈ N

}Teorema. Sea (xn)n∈N una sucesión en X. xn → x, si y solo si, el filtroasociado a la sucesión converge a x.

Diego Acosta Álvarez Continuidad y convergencia

Page 26: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

ContinuidadFiltrosConvergencia

Convergencia

Definición (Convergencia de filtros). Sea F un filtro en un espaciotopológico (X, τ). Decimos que F converge al punto x ∈ X, si y solosi, V (x) ⊂ F . Lo notamos escribiendo: F → x.

Definición (Filtro asociado a una sucesión). Sea (xn)n∈N unasucesión en el espacio X. Para cada n ∈ N sea Xn = {xm : m ≥ n} lacola n-ésima de la sucesión. Definimos un filtro F , el filtro asociadoa la sucesión como

F ={A ⊂ X : A ⊃ Xn para algún n ∈ N

}Teorema. Sea (xn)n∈N una sucesión en X. xn → x, si y solo si, el filtroasociado a la sucesión converge a x.

Diego Acosta Álvarez Continuidad y convergencia

Page 27: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

ContinuidadFiltrosConvergencia

Continuidad y convergencia

Proposición. Sea f : X→ Y una función. Dado un filtro F en X, lacolección

f (F ) = { f (F) : F ∈ F }

es una base para un filtro en Y, denotado como 〈 f (F )〉. Si f essobreyectiva, entonces f (F ) es un filtro.

Teorema. Sean (X, τX), (Y, τY) espacios topológicos. Una funciónf : X→ Y es continua en el punto x ∈ X, si y solo si, para cada filtroF de X tal que F → x, se tiene que el filtro 〈 f (F )〉 converge af (x) ∈ Y.

Diego Acosta Álvarez Continuidad y convergencia

Page 28: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

ContinuidadFiltrosConvergencia

Continuidad y convergencia

Proposición. Sea f : X→ Y una función. Dado un filtro F en X, lacolección

f (F ) = { f (F) : F ∈ F }

es una base para un filtro en Y, denotado como 〈 f (F )〉. Si f essobreyectiva, entonces f (F ) es un filtro.

Teorema. Sean (X, τX), (Y, τY) espacios topológicos. Una funciónf : X→ Y es continua en el punto x ∈ X, si y solo si, para cada filtroF de X tal que F → x, se tiene que el filtro 〈 f (F )〉 converge af (x) ∈ Y.

Diego Acosta Álvarez Continuidad y convergencia

Page 29: Continuidad y convergencia - Semillero de investigación Almagesto · 2008-07-29 · Continuidad y convergencia Diego Acosta Álvarez Universidad de Antioquia Licenciatura en Matemáticas

Espacios métricosEspacios topológicos

ContinuidadFiltrosConvergencia

Bibliografía

Munkres, J.R. (2000)Topology. Prentice-Hall Inc.

Rubiano, Gustavo. (2005).Topología general. Bogotá: Universidad Nacional.

Lima, Élon. (1958)Topologia dos espaços métricos. Rio de Janeiro: IMPA.

Diego Acosta Álvarez Continuidad y convergencia