• No se han encontrado resultados

Funciones continuas entre espacios m´ etricos

N/A
N/A
Protected

Academic year: 2022

Share "Funciones continuas entre espacios m´ etricos"

Copied!
4
0
0

Texto completo

(1)

Funciones continuas entre espacios m´ etricos

En este tema suponemos que (X, dX) e (Y, dY) son espacios m´etricos. Denotamos por τX

y τY las topolog´ıas inducidas correspondientes.

Dado x en X, denotamos por τX(x) al conjunto de las vecindades abiertas del punto x:

τX(x) := {V ∈ τX: x ∈ V }.

De manera similar, dado y en Y , denotamos por τY(y) al conjunto de las vecindades abiertas del punto y.

1 Definici´on. Sea f : X → Y . Se dice que f es continua si para cualquier conjunto A, abierto en Y , su preimagen bajo f es un conjunto abierto en X.

2 Definici´on. Denotamos por C(X, Y ) al conjunto de todas las funciones continuas X → Y .

De manera formal,

C(X, Y ) :=f ∈ YX: ∀A ∈ τY f−1[A] ∈ τX .

3 Definici´on. Sea f : X → Y y sea x ∈ X. Se dice que la funci´on f es continua en el punto x si para cada W en τY(f (x)) existe V en τX(x) tal que f [V ] ⊆ W .

4 Proposici´on. Sea f : X → Y y sea x ∈ X. Entonces f es continua en x si y solo si para cada ε > 0 existe δ > 0 tal que f [B(x, δ)] ⊆ B(f (x), ε).

Repaso de algunas propiedades de im´ agenes y preim´ agenes

En este repaso suponemos que f : X → Y , donde X, Y son algunos conjuntos.

5 Proposici´on (sobre la im´agen de la preim´agen). Sea Q ⊆ Y . Entonces f [f−1[Q]] ⊆ Q.

6 Proposici´on (sobre la preim´agen de la imagen). Sea P ⊆ X. Entonces P ⊆ f−1[f [P ]].

Funciones continuas entre espacios m´etricos, p´agina 1 de 4

(2)

7 Proposici´on (monoton´ıa de la imagen). Sean P1, P2 ⊆ X tales que P1 ⊆ P2. Entonces f [P1] ⊆ f [P2].

8 Proposici´on (monoton´ıa de la preimagen). Sean Q1, Q2 ⊆ Y tales que Q1 ⊆ Q2. Entonces

f−1[Q1] ⊆ f−1[Q2].

9 Proposici´on (sobre contenciones, im´agenes y preim´agenes). Sean X, Y algunos con- juntos, f : X → Y una funci´on, P ⊆ X, Q ⊆ Y . Entonces

f [P ] ⊆ Q ⇐⇒ P ⊆ f−1[Q].

Demostraci´on. 1. Supongamos que f [P ] ⊆ Q. Usando la proposici´on sobre la preimagen de la imagen y la propiedad mon´otona de la preimagen, obtenemos

P ⊆ f−1[f [P ]] ⊆ f−1[Q].

2. Supongamos que P ⊆ f−1[Q]. Usando la proposici´on sobre la imagen de la preimagen y la propiedad mon´otona de la imagen, obtenemos

f [P ] ⊆ f [f−1[Q]] ⊆ Q.

Criterios de continuidad

10 Teorema (criterio de la continuidad en t´erminos de la continuidad local). Sea f : X → Y . Entonces f es continua si y solo si para cada x en X la funci´on f es continua en el punto x.

Demostraci´on. 1. Supongamos que f es continua. Sea x ∈ X. Demostremos que f es continua en x. Sea W ∈ τY(f (x)). Pongamos V := f−1[W ]. Entonces, por la suposici´on que f es continua, tenemos que V ∈ τX. Adem´as, como f (x) ∈ W , tenemos que x ∈ f−1[W ] = V . Luego V ∈ τX(x). Finalmente,

f [V ] = f [f−1[W ]] ⊆ W.

2. Supongamos que f es continua en cada punto del espacio X. Sea A un conjunto abierto en Y . Demostremos que f−1[A] es un conjunto abierto en X. Sea x ∈ f−1[A]. Entonces f (x) ∈ A. Luego A ∈ τY(f (x)). Como f es continua en x, existe V en τX(x) tal que f [V ] ⊆ A. Entonces V ⊆ f−1[A].

Funciones continuas entre espacios m´etricos, p´agina 2 de 4

(3)

Para un punto arbitrario x del conjunto f−1[A] hemos mostrado que existe V en τX(x) tal que V ⊆ f−1[A]. Con esto hemos probado que f−1[A] ∈ τX.

11 Proposici´on (criterio de continuidad en t´erminos de conjuntos cerrados). Sea f : X → Y . Entonces f es continua si, y solo si, para cada conjunto C cerrado en Y , el conjunto f−1[C] es cerrado en X.

Demostraci´on. Aplicar la propiedad f−1[Y \ G] = X \ f−1[G].

12 Proposici´on (criterio de continuidad en t´erminos de los interiores y las preim´agenes).

] Sea f : X → Y . Entonces f es continua si y solo si para cada G ⊆ Y se cumple que f−1[intY(G)] ⊆ intX(f−1[G]). (1) Demostraci´on. 1. Supongamos que f es continua. Como intY(G) ∈ τY, obtenemos que f−1[intY(G)] ∈ τX. Adem´as, como intY(G) ⊆ G, por la propiedad mon´otona de las preim´agenes

f−1[intY(G)] ⊆ f−1[G].

Hemos mostrado que f−1[intY(G)] es un conjunto abierto contenido en f−1[G]. Luego f−1[intY(G)] ⊆ intX(f−1[G]).

2. Supongamos que para cada G ⊆ Y se cumple que (1). Mostremos que f es continua.

Sea G ∈ τY. Entonces

f−1[G] = f−1[intY(G)] ⊆ intX(f−1[G]) ⊆ f−1[G].

Hemos mostrado que el conjunto f−1[G] coincide con su interior. Luego f−1[G] ∈ τX. Otra demostraci´on de la Proposici´on 12, usando la continuidad local. 1. Sea f continua.

Sea G ⊆ Y . Sea x ∈ f−1[intY(G)]. Entonces f (x) ∈ intY(G). Elegimos ε > 0 tal que BY(f (x), ε) ⊆ G. Por el Teorema 10, f es continua en el punto x. Encontramos δ > 0 tal que f [BX(x, δ)] ⊆ BY(f (x), ε). Entonces f [BX(x, δ)] ⊆ G. Por la Proposici´on 9, BX(x, δ) ⊆ f−1[G]. Hemos mostrado que x ∈ intX(f−1[G]).

2. Ahora supongamos que para cada G ⊆ Y se cumple (1). Mostremos que f es continua en cada punto x. Sea ε > 0. Pongamos G = B(f (x), ε). Entonces G ∈ τY, luego intY(G) = G.

Aplicando (1) obtenemos

x ∈ f−1[G] = f−1[intY(G)] ⊆ intX(f−1[G]).

Luego existe δ > 0 tal que B(x, δ) ⊆ f−1[G]. Esto significa que f [B(x, δ)] ⊆ G.

Funciones continuas entre espacios m´etricos, p´agina 3 de 4

(4)

13 Proposici´on (criterio de continuidad en t´erminos de las cerraduras y las preim´agenes).

Sea f : X → Y . Entonces f es continua si, y solo si, para cada G ⊆ X se cumple que clX(f−1[G]) ⊆ f−1[clY(G)]. (2) 14 Proposici´on (criterio de continuidad en t´erminos de las cerraduras y las im´agenes).

Sea f : X → Y . Entonces f es continua si, y solo si, para cada A ⊆ X se cumple que

f [clX(A)] ⊆ clY(f [A]). (3)

15 Proposici´on. Sea c ∈ Y . Definimos f mediante la regla f (x) := c (x ∈ X).

Entonces f es continua.

Demostraci´on. Sea x ∈ X. Entonces f (x) = c. Elegimos ε > 0. Pongamos δ = 1. Entonces f [B(x, δ)] ⊆ {c} ⊆ B(c, ε).

16 Ejemplo. Consideremos los espacios m´etricos X = R e Y = Z con las distancias comunes. Definimos f : R → Z mediante la regla

f (x) := 0 (x ∈ R).

Consideremos el conjunto A := {5}. Entonces f [A] = {0},

intR(A) = ∅, f [intR(A)] = ∅, intZ(f [A]) = {5}.

Notamos que

intY(f [A]) * f [intX(A)].

17 Ejemplo. Consideremos los espacios m´etricos X = Z e Y = R con las distancias comunes. Definimos f : Z → R mediante la regla

f (x) := 0 (x ∈ Z).

Consideremos el conjunto A := {5}. Entonces f [A] = {0},

intZ(A) = {5}, f [intZ(A)] = {0}, intR(f [A]) = ∅.

Notamos que

f [intX(A)] * intY(f [A]).

Los Ejemplos16y17muestran que la continuidad de f no se puede describir en t´erminos de una contenci´on entre los conjuntos intY(f [A]) y f [intX(A)].

Funciones continuas entre espacios m´etricos, p´agina 4 de 4

Referencias

Documento similar

´ Esto puede comprobarse sin utilizar la gr´afica, evaluando ambas funciones en cualquier punto del intervalo; por ejemplo, 0.5 > (0.5) 2 = 0.25... lo de utilizar el criterio

Examen de ‘C´alculo’- Septiembre - Curso 02/03

aire acondicionado marca samsung de 12.000 btu modelo as12ubax unidad exterior y la unidad interior modelo as12uban con sus accesorios art. a

ARTÍCULO PRIMERO: DECLARAR, procedente el pedido efectuado por SANTOS NAVARRO CAQUI esposo de la causante JESUS CIRILA GARCIA, consecuentemente ACLARAR el Título

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

Repasar las definiciones y propiedades elementales de im´ agenes y preim´ agenes de conjuntos bajo

Inmediata- mente después de atornillar el nuevo puente, la paciente tuvo una sensación más agradable al hablar, ya que el puente puede hacerse más delicado utilizando PEEK

Por momentos, da la sensación de que los operadores ya han descontado todo lo bueno (apoyo incondicional de la FED, plan de estímulos de Biden, avances en la vacunación y