Scribd
Cargar
79 vistas2 páginas

Mtge U2 A1 Romm

Este documento discute la definición topológica de continuidad para funciones entre espacios topológicos. Explica que una función f es continua si para cada punto x en el dominio X y cada conjunto abierto U que contiene f(x), existe un entorno V de x tal que la imagen de V mediante f está contenida en U. Luego aplica esta definición al caso de funciones reales de variable real, mostrando equivalencias con definiciones basadas en sucesiones y con la caracterización (ε-δ) de la continuidad. Finalmente, con

Cargado por

chabe
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
79 vistas2 páginas

Mtge U2 A1 Romm

Este documento discute la definición topológica de continuidad para funciones entre espacios topológicos. Explica que una función f es continua si para cada punto x en el dominio X y cada conjunto abierto U que contiene f(x), existe un entorno V de x tal que la imagen de V mediante f está contenida en U. Luego aplica esta definición al caso de funciones reales de variable real, mostrando equivalencias con definiciones basadas en sucesiones y con la caracterización (ε-δ) de la continuidad. Finalmente, con

Cargado por

chabe
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Rosalinda Martínez Muñoz

ES 1821012221
MT-MTGE-2301-B2-001
Eduardo García Mendiola
Topología General
Unidad 2
Actividad 1
Teorema 7

Una función 𝑓: 𝑋 → 𝑌 es continua según la definición topológica de continuidad si y solo si para


todo 𝑥 ∈ 𝑋 y todo conjunto abierto 𝑈 tal que 𝑓(𝑥) ∈ 𝑈, existe una vecindad 𝑉 de 𝑥 tal que 𝑓(𝑉) ⊆
𝑈.

Una función real de variable real. Sea pues 𝑓: 𝐴 → 𝑅 donde 𝐴 es un subconjunto no vacío de 𝑅.
Recordamos que 𝑓 es continua en un punto 𝑥 ∈ 𝐴 cuando, para toda sucesión {𝑥𝑛 } de puntos de
𝐴 tal que {𝑥𝑛 } → x , se tiene que 𝑓{𝑥𝑛 } → 𝑓(𝑥). Es claro que esta misma definición podría usarse
para una función entre dos espacios métricos cualesquiera, pues en ambos podemos usar la
convergencia de sucesiones.

Sin embargo, conviene tomar como definición de continuidad una condición que se exprese
directamente en términos de la topología. La solución la encontramos en la caracterización

(𝜀 − 𝛿) de la continuidad:

∀𝜀 > 0 ∃𝛿 > 0: 𝑦 ∈ 𝐴, |𝑦 − 𝑥| < 𝛿 → |𝑓(𝑦) − 𝑓(𝑥)| < 𝛿


Usando bolas abiertas en 𝑅 con la distancia usual,
∀𝜀 > 0 ∃𝛿 > 0: 𝑦 ∈ 𝐴, |𝑦 − 𝑥| < 𝛿 → |𝑓(𝑦) − 𝑓(𝑥)| < 𝛿
toma la forma:

∀𝜀 > 0 ∃𝛿 > 0: 𝑓(𝐵(𝑥, 𝛿) ∩ 𝐴) ⊂ 𝐵(𝑓(𝑥), 𝜀)


Como ha ocurrido otras veces, podemos sustituir las bolas abiertas por entornos arbitrarios. Más
concretamente, usando entornos en 𝑅 con la distancia usual, es claro que
∀𝜀 > 0 ∃𝛿 > 0: 𝑓(𝐵(𝑥, 𝛿) ∩ 𝐴) ⊂ 𝐵(𝑓(𝑥), 𝜀)
equivale a

∀𝑉 ∈ 𝒰(𝑓(𝑥)) ∃𝑈 ∈ 𝒰(𝑥): 𝑓(𝑈 ∩ 𝐴) ⊂ 𝑉

La última inclusión se escribe en la forma 𝑈 ∩ 𝐴 ⊂ 𝑓 −1 (𝑉) donde usamos la notación habitual


para la imagen inversa de un conjunto por una función: 𝑓 −1 (𝑉) = {𝑦 ∈ 𝐴: 𝑓(𝑦) ∈ 𝑉}. Finalmente,
decir que 𝑓 −1 (𝑉) ⊃ 𝑈 ∩ 𝐴 con 𝑈 ∈ 𝑈(𝑥), equivale a decir que 𝑓 −1 (𝑉) es entorno de 𝑥 en el
espacio métrico 𝐴, con la distancia inducida por la usual de 𝑅. En resumen, si consideramos en 𝑅
la distancia usual, y en 𝐴 la inducida por ella, hemos visto que 𝑓 es continua en 𝑥 si, y sólo si, la
imagen inversa por 𝑓 de cada entorno de 𝑓(𝑥) en 𝑅 es un entorno de 𝑥 en 𝐴. Tenemos así
expresada la continuidad de una forma que sólo involucra entornos en los espacios métricos de
partida y llegada de nuestra función. Esta condición es la que tomaremos como definición de
continuidad para una función entre dos espacios métricos cualesquiera, definición que podríamos
usar también para espacios topológicos.

[Link]

También podría gustarte