• No se han encontrado resultados

Descripci´ on de varios conceptos topol´ ogicos en espacios m´ etricos,

N/A
N/A
Protected

Academic year: 2022

Share "Descripci´ on de varios conceptos topol´ ogicos en espacios m´ etricos,"

Copied!
3
0
0

Texto completo

(1)

Descripci´ on de varios conceptos topol´ ogicos en espacios m´ etricos,

en t´ erminos de sucesiones convergentes

Objetivos. Mostrar que en espacios m´etricos varios conceptos topol´ogicos se pueden describir en t´erminos de sucesiones convergentes.

Prerrequisitos. Conceptos topol´ogicos principales en espacios m´etricos, el l´ımite de una sucesi´on.

Suponemos que X es un espacio m´etrico.

1 Proposici´on (descripci´on de los puntos interiores de un conjunto en t´erminos de su- cesiones convergentes). Sean A ⊆ X, b ∈ X. Entonces

b ∈ int(A) ⇐⇒ ∀(an)n∈N∈ XN 

n→∞l´ım an= b =⇒ ∃m ∈ N ∀n ≥ m an∈ A . Demostraci´on. ⇒. Supongamos que b ∈ int(A). Sea (an)n∈N∈ XNtal que l´ımn→∞an = b.

Como b ∈ int(A), existe ε > 0 tal que B(b, ε) ⊆ A. Como l´ımn→∞an = b, existe m en N tal que para cada n ≥ m se cumple d(an, b) < ε. Luego para cada n ≥ m tenemos an∈ B(b, ε) ⊆ A.

⇐. Razonamos por reducci´on al absurdo. Supongamos que b /∈ int(A). Entonces para cada ε > 0 tenemos B(b, ε) * A, esto es,

∀ε > 0 ∃x(ε) ∈ B(b, ε) \ A.

Para cada n en N apliquemos esta condici´on con ε = 1/n y pongamos an := x(1/n).

Luego d(an, b) < 1/n, as´ı que l´ımn→∞an = b. Si existe m en N tal que para cada n ≥ m se cumple an∈ A, entonces, en particular, am ∈ A, pero en realidad am ∈ A./

Recordemos que A es abierto si, y solo si, cada punto a del conjunto A es un punto interior de A. Usando la Proposici´on1obtenemos la siguiente descripci´on de los conjuntos abiertos.

2 Corolario (criterio de conjuntos abiertos en t´erminos de sucesiones convergentes). Sea A ⊆ X. Entonces A es abierto si, y solo si, para cada b en A y cada sucesi´on (an)n∈N en XN que converge al punto b, existe m en N tal que para cada n ≥ m se cumple an∈ A.

Conceptos topol´ogicos en t´erminos de sucesiones convergentes, p´agina 1 de 3

(2)

3 Proposici´on (descripci´on de los puntos de adherencia de un conjunto en t´erminos de sucesiones convergentes). Sean A ⊆ X, b ∈ X. Entonces

b ∈ cl(A) ⇐⇒ ∃(an)n∈N ∈ AN l´ım

n→∞an= b.

Demostraci´on. ⇒. Sea b ∈ cl(A). Entonces para cada ε > 0 la intersecci´on B(b, ε) ∩ A no es vac´ıa, esto es,

∀ε > 0 ∃x(ε) ∈ B(b, ε) ∩ A.

Para cada n en N apliquemos esta condici´on con ε = 1/n y encontramos an en B(b, ε) ∩ A.

Entonces (an)n∈N∈ AN. Adem´as, como d(an, b) < 1/n, obtenemos que l´ımn→∞an = b.

⇐. Supongamos que (an)n∈N ∈ AN y l´ımn→∞an = b. Mostremos que b ∈ cl(A). Sea ε > 0. Entonces, como l´ımn→∞an = b, existe m en N tal que para cada n ≥ m se tiene an ∈ B(b, ε). En particular, am ∈ B(b, ε). Adem´as, am ∈ A. Luego B(b, ε) ∩ A 6= ∅. Por la definici´on de los puntos de adherencia, esto significa que b ∈ cl(A).

4 Corolario (criterio de conjuntos cerrados en t´erminos de sucesiones convergentes). Sea A ⊆ X. Entonces A es cerrado si, y solo si, para cada b en X y cada (an)n∈N en AN, si l´ımn→∞an= b, entonces b ∈ A.

El siguiente resultado se conoce como el criterio de continuidad de Heine.

5 Proposici´on (criterio de continuidad de una funcion en un punto, en t´erminos de sucesiones convergentes). Sean X, Y espacios m´etricos, f : X → Y , b ∈ X. Entonces f es continua en b si, y solo si, para cada sucesi´on (an)n∈N ∈ XN que converge al punto b, la sucesi´on (f (an))n∈N converge al punto f (b).

Demostraci´on. ⇒. Supongamos que f es continua en el punto b. Sea (an)n∈N una sucesi´on tal que l´ımn→∞an= b. Mostremos que l´ımn→∞f (an) = f (b).

Sea ε > 0. Usando la suposici´on que f es continua en b, encontramos δ > 0 tal que para cada x en X con d(x, b) < δ se cumple que d(f (x), f (b)) < ε. Ahora, usando la hip´otesis que l´ımn→∞an= b, encontramos m en N tal que para cada n ≥ m se cumple d(an, b) < δ.

Luego para cada n con n ≥ m obtenemos d(f (an), f (b)) < ε.

⇐. Supongamos que para cada sucesi´on que converge al punto b, la sucesi´on de sus im´agenes converge al punto f (b). Razonando por reducci´on al absurdo supongamos que f no es continua en b. Entonces existe ε0 > 0 tal que para cada δ > 0 existe x en B(b, δ) con f (x) /∈ B(f (b), ε0). Para cada n en N aplicamos esta condici´on con δ = 1/n y obtenemos

Conceptos topol´ogicos en t´erminos de sucesiones convergentes, p´agina 2 de 3

(3)

una sucesi´on (an)n∈N tal que

∀n ∈ N d(an, b) < 1

n, (1)

∀n ∈ N d(f (an), f (b)) ≥ ε0. (2)

La desigualdad (1) implica que l´ımn→∞an= b. Luego, por la suposici´on, l´ımn→∞f (an) = f (b). En particular, para ε0 existe m en N tal que para cada n ≥ m se cumple la desigual- dad d(f (an), f (b)) < ε0. En particular, d(f (am), f (b)) < ε0. Esto contradice a (2).

Conceptos topol´ogicos en t´erminos de sucesiones convergentes, p´agina 3 de 3

Referencias

Documento similar

Repase las definiciones de varios modos de convergencia: uniforme, puntual, casi en todas partes, casi uniforme, en medida.... Propiedades de los

Denotemos por τ X×Y a la topolog´ıa generada por la base P, esto es, la colecci´ on de todas las uniones de subcolecciones de P.. De la definici´ on de τ X×Y sale la

A veces es c´ omodo admitir que d tome el valor +∞, pero en este caso se pierden algunas propiedades que involucran la diferencia de las distancias, por ejemplo, la Proposici´ on

En R y m´as general en espacios normados se puede demostrar la proposici´on rec´ıproca a la Proposici´ on 4 y as´ı obtener un criterio para que dos bolas se intersecten.. En

Se dice que d es una pseudom´ etrica en X, y que (X, d) es un espacio pseudom´ etrico, si la funci´ on d cumple con la desigualdad del tri´ angulo, es sim´ etrica, y d(x, x) = 0

Sucesiones de Cauchy, espacios m´ etricos completos, extensi´ on de una funci´ on uniformemente continua, definida en un subconjunto denso de un espacio m´ etrico.. 1

Un espacio topol´ ogico X se llama espacio de Baire si para cualquier su- cesi´ on (U k ) k∈N de subconjuntos de X, abiertos y densos, su intersecci´ on T.. k∈N U k tambi´ en

Un espacio topol´ ogico X se llama compacto si en para cada cubierta abierta de X existe una subcubierta finita.. Una colecci´ on de conjuntos F tiene propiedad de intersecci´ on