33.Material de prueba: La imagen inversa de abiertos es abierta bajo una función continua.

Por Mariana Perez

Proposición 1:

Sea f:ARnRm una función continua en A y A un conjunto abierto.

Entonces para todo abierto VRm la imagen inversa de V, f1(V) es un abierto de Rn.

Demostración:

Sea V abierto de Rn.

Supongamos que f1(V).

Si f1(V)= , es un abierto entonces, terminó la demostración.

Ahora bien, sea x0f1(V) entonces f(x0)V luego, f(x0) es punto interior de V.

[ por demostrar: x0 es punto interior de f1(V ]

Por hipótesis, f es continua.

Sea ϵ>0 tal que Bϵ(f(x0))V. Dicha ϵ existe porque V es abierto y f(x0)V.

Entonces, existe δ>0 tal que si xBδ(x0) entonces f(x)Bϵ(f(x0))V.

x0 es punto interior de f1(V) ya que Bδ(x0)f1(V)

Razón: xBδ(x0) entonces f(x)Bϵ(f(x0)) entonces f(x)V implica xf1(V).◼

Proposición 2:

Sea ARn un abierto.

Sea f:ARnRm.

Si la imagen inversa de abiertos en Rm es un abierto en Rn, entonces la función f es continua en A.

Demostración:

Sea x0A.

[ por demostrar: f es continua en x0 ]

Sea ϵ>0.

[ por demostrar: existe δ>0 tal que si xBδ(x0) entonces f(x)Bϵ(f(x0)) ]

Sea V=Bϵ(f(x0)) es un abierto de Rm.

Por hipótesis, f1(V)Rn es abierto.

Existe δ1>0 tal que Bδ(x0)f1(V).

A es abierto, existe δ2>0 tal que Bδ2(x0)A.

Sea δ=mín{δ1,δ2} es la δ que necesitamos. ◼

Teorema:

Sea f:KRnRm.

Si f es continua en K y K es compacto, entonces f es uniformemente continua en K.

Demostración:

Sea ϵ>0.

Como f es continua, para cada xK existe δx>0 tal que si xy<δx entonces f(x)f(y)<ϵ2

Como K es compacto, KxKBδx2(x) es una cubierta abierta de K.

Entonces, existe una subcubierta finita Bδ12(x1),,Bδl2(xl).

Tomemos δ=mín{δ12,,δl2}.

Si xy<δ entonces yBδ(x) pero xBδj2(xj) para alguna j

xxj<δj2xjBδj2(x)

f(x)f(xj)<ϵ2

Luego, si yxj=yx+xxjyx+xxj<δ+δj2δj2+δj2=δ

yBδj(xj)f(y)f(xj)<ϵ2

En consecuencia,

f(x)f(y)f(x)f(xj)+f(xj)f(y)<ϵ2+ϵ2=ϵ◼

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.