espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...propiedades métricas de...

46

Upload: others

Post on 17-Apr-2020

2 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Espacios de funciones

Eugenio Borghini

Universidad de Buenos Aires, Facultad de Ciencias Exactas y Naturales

Eugenio Borghini Espacios de funciones 1 / 14

Page 2: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Durante la materia nos cruzamos con varios ejemplos de espacios métricos

cuyos puntos son funciones. Ejemplos prototípicos:

B(X) := {f : X → R acotadas} con la norma ‖ · ‖∞, donde X es un

espacio métrico.

C(X) := {f : X → R continuas} con la norma ‖ · ‖∞, donde X es un

espacio métrico compacto.

`∞ := {(an)n∈R acotadas} con la norma ‖ · ‖∞.

En adelante trabajaremos con B(X) ∩ C(X) con la norma in�nito o con

C(X) para X compacto.

Eugenio Borghini Espacios de funciones 2 / 14

Page 3: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Durante la materia nos cruzamos con varios ejemplos de espacios métricos

cuyos puntos son funciones. Ejemplos prototípicos:

B(X) := {f : X → R acotadas} con la norma ‖ · ‖∞, donde X es un

espacio métrico.

C(X) := {f : X → R continuas} con la norma ‖ · ‖∞, donde X es un

espacio métrico compacto.

`∞ := {(an)n∈R acotadas} con la norma ‖ · ‖∞.

En adelante trabajaremos con B(X) ∩ C(X) con la norma in�nito o con

C(X) para X compacto.

Eugenio Borghini Espacios de funciones 2 / 14

Page 4: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Durante la materia nos cruzamos con varios ejemplos de espacios métricos

cuyos puntos son funciones. Ejemplos prototípicos:

B(X) := {f : X → R acotadas} con la norma ‖ · ‖∞, donde X es un

espacio métrico.

C(X) := {f : X → R continuas} con la norma ‖ · ‖∞, donde X es un

espacio métrico compacto.

`∞ := {(an)n∈R acotadas} con la norma ‖ · ‖∞.

En adelante trabajaremos con B(X) ∩ C(X) con la norma in�nito o con

C(X) para X compacto.

Eugenio Borghini Espacios de funciones 2 / 14

Page 5: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Durante la materia nos cruzamos con varios ejemplos de espacios métricos

cuyos puntos son funciones. Ejemplos prototípicos:

B(X) := {f : X → R acotadas} con la norma ‖ · ‖∞, donde X es un

espacio métrico.

C(X) := {f : X → R continuas} con la norma ‖ · ‖∞, donde X es un

espacio métrico compacto.

`∞ := {(an)n∈R acotadas} con la norma ‖ · ‖∞.

En adelante trabajaremos con B(X) ∩ C(X) con la norma in�nito o con

C(X) para X compacto.

Eugenio Borghini Espacios de funciones 2 / 14

Page 6: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Durante la materia nos cruzamos con varios ejemplos de espacios métricos

cuyos puntos son funciones. Ejemplos prototípicos:

B(X) := {f : X → R acotadas} con la norma ‖ · ‖∞, donde X es un

espacio métrico.

C(X) := {f : X → R continuas} con la norma ‖ · ‖∞, donde X es un

espacio métrico compacto.

`∞ := {(an)n∈R acotadas} con la norma ‖ · ‖∞.

En adelante trabajaremos con B(X) ∩ C(X) con la norma in�nito o con

C(X) para X compacto.

Eugenio Borghini Espacios de funciones 2 / 14

Page 7: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Propiedades métricas de espacios de funciones

Nuestro objetivo es ver cómo se comportan las propiedades vistas sobre

espacios métricos generales (separabilidad, acotación, completitud,

compacidad, conexión) y qué relación tienen con el espacio X. Varias de

estas propiedades siempre se veri�can para espacios de funciones.

C(X) es completo.

C(X) es convexo (pues es un espacio normado), y en particular es

arcoconexo.

C(X) es separable por Stone-Weierstrass.

Eugenio Borghini Espacios de funciones 3 / 14

Page 8: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Propiedades métricas de espacios de funciones

Nuestro objetivo es ver cómo se comportan las propiedades vistas sobre

espacios métricos generales (separabilidad, acotación, completitud,

compacidad, conexión) y qué relación tienen con el espacio X. Varias de

estas propiedades siempre se veri�can para espacios de funciones.

C(X) es completo.

C(X) es convexo (pues es un espacio normado), y en particular es

arcoconexo.

C(X) es separable por Stone-Weierstrass.

Eugenio Borghini Espacios de funciones 3 / 14

Page 9: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Propiedades métricas de espacios de funciones

Nuestro objetivo es ver cómo se comportan las propiedades vistas sobre

espacios métricos generales (separabilidad, acotación, completitud,

compacidad, conexión) y qué relación tienen con el espacio X. Varias de

estas propiedades siempre se veri�can para espacios de funciones.

C(X) es completo.

C(X) es convexo (pues es un espacio normado), y en particular es

arcoconexo.

C(X) es separable por Stone-Weierstrass.

Eugenio Borghini Espacios de funciones 3 / 14

Page 10: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Propiedades métricas de espacios de funciones

Nuestro objetivo es ver cómo se comportan las propiedades vistas sobre

espacios métricos generales (separabilidad, acotación, completitud,

compacidad, conexión) y qué relación tienen con el espacio X. Varias de

estas propiedades siempre se veri�can para espacios de funciones.

C(X) es completo.

C(X) es convexo (pues es un espacio normado), y en particular es

arcoconexo.

C(X) es separable por Stone-Weierstrass.

Eugenio Borghini Espacios de funciones 3 / 14

Page 11: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Convergencia de sucesiones

¾Cuándo una sucesión de funciones (fn)n∈N converge a una función f?

Por la de�nición, fn → f en C(X) sii fn ⇒ f , es decir, si dado ε > 0,existe n0 = n0(ε) ∈ N tal que |fn(x)− f(x)| < ε para n ≥ n0 y para todo

x ∈ X.

En particular:

Si fn ⇒ f , entonces f es continua.

Si fn → f , para cada x ∈ X es

lımn→∞

fn(x) = f(x).

½La vuelta no vale! Pensar X = [0, 1], fn(x) = xn, f = χ{1}.

Eugenio Borghini Espacios de funciones 4 / 14

Page 12: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Convergencia de sucesiones

¾Cuándo una sucesión de funciones (fn)n∈N converge a una función f?Por la de�nición, fn → f en C(X) sii fn ⇒ f , es decir, si dado ε > 0,existe n0 = n0(ε) ∈ N tal que |fn(x)− f(x)| < ε para n ≥ n0 y para todo

x ∈ X.

En particular:

Si fn ⇒ f , entonces f es continua.

Si fn → f , para cada x ∈ X es

lımn→∞

fn(x) = f(x).

½La vuelta no vale! Pensar X = [0, 1], fn(x) = xn, f = χ{1}.

Eugenio Borghini Espacios de funciones 4 / 14

Page 13: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Convergencia de sucesiones

¾Cuándo una sucesión de funciones (fn)n∈N converge a una función f?Por la de�nición, fn → f en C(X) sii fn ⇒ f , es decir, si dado ε > 0,existe n0 = n0(ε) ∈ N tal que |fn(x)− f(x)| < ε para n ≥ n0 y para todo

x ∈ X.

En particular:

Si fn ⇒ f , entonces f es continua.

Si fn → f , para cada x ∈ X es

lımn→∞

fn(x) = f(x).

½La vuelta no vale! Pensar X = [0, 1], fn(x) = xn, f = χ{1}.

Eugenio Borghini Espacios de funciones 4 / 14

Page 14: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Convergencia de sucesiones

¾Cuándo una sucesión de funciones (fn)n∈N converge a una función f?Por la de�nición, fn → f en C(X) sii fn ⇒ f , es decir, si dado ε > 0,existe n0 = n0(ε) ∈ N tal que |fn(x)− f(x)| < ε para n ≥ n0 y para todo

x ∈ X.

En particular:

Si fn ⇒ f , entonces f es continua.

Si fn → f , para cada x ∈ X es

lımn→∞

fn(x) = f(x).

½La vuelta no vale! Pensar X = [0, 1], fn(x) = xn, f = χ{1}.

Eugenio Borghini Espacios de funciones 4 / 14

Page 15: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Convergencia de sucesiones

¾Cuándo una sucesión de funciones (fn)n∈N converge a una función f?Por la de�nición, fn → f en C(X) sii fn ⇒ f , es decir, si dado ε > 0,existe n0 = n0(ε) ∈ N tal que |fn(x)− f(x)| < ε para n ≥ n0 y para todo

x ∈ X.

En particular:

Si fn ⇒ f , entonces f es continua.

Si fn → f , para cada x ∈ X es

lımn→∞

fn(x) = f(x).

½La vuelta no vale! Pensar X = [0, 1], fn(x) = xn, f = χ{1}.

Eugenio Borghini Espacios de funciones 4 / 14

Page 16: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Convergencia de sucesiones

¾Cuándo una sucesión de funciones (fn)n∈N converge a una función f?Por la de�nición, fn → f en C(X) sii fn ⇒ f , es decir, si dado ε > 0,existe n0 = n0(ε) ∈ N tal que |fn(x)− f(x)| < ε para n ≥ n0 y para todo

x ∈ X.

En particular:

Si fn ⇒ f , entonces f es continua.

Si fn → f , para cada x ∈ X es

lımn→∞

fn(x) = f(x).

½La vuelta no vale! Pensar X = [0, 1], fn(x) = xn, f = χ{1}.

Eugenio Borghini Espacios de funciones 4 / 14

Page 17: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Convergencia de sucesiones

Ejemplo

Sea X = [−1, 1], fn(x) =

n∑k=1

xk

k!. ¾Converge la sucesión (fn)n∈N?

Resolución

Por Taylor, sabemos que para cada x ∈ [−1, 1] fn(x)→ ex. Así que si la

sucesión converge, debe ser a la función exponencial. Acotemos la

diferencia para un punto x0 ∈ [−1, 1].

|fn(x0)− ex0 | =

∣∣∣∣∣∣n∑

k=1

xk0k!−∑k≥1

xk0k!

∣∣∣∣∣∣ =

∣∣∣∣∣∑k>n

xk0k!

∣∣∣∣∣ ≤∑k>n

∣∣∣∣xk0k!

∣∣∣∣ ≤∑k>n

1

k!.

Eugenio Borghini Espacios de funciones 5 / 14

Page 18: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Convergencia de sucesiones

Ejemplo

Sea X = [−1, 1], fn(x) =

n∑k=1

xk

k!. ¾Converge la sucesión (fn)n∈N?

Resolución

Por Taylor, sabemos que para cada x ∈ [−1, 1] fn(x)→ ex. Así que si la

sucesión converge, debe ser a la función exponencial. Acotemos la

diferencia para un punto x0 ∈ [−1, 1].

|fn(x0)− ex0 | =

∣∣∣∣∣∣n∑

k=1

xk0k!−∑k≥1

xk0k!

∣∣∣∣∣∣ =

∣∣∣∣∣∑k>n

xk0k!

∣∣∣∣∣ ≤∑k>n

∣∣∣∣xk0k!

∣∣∣∣ ≤∑k>n

1

k!.

Eugenio Borghini Espacios de funciones 5 / 14

Page 19: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Convergencia de sucesiones

Ejemplo

Sea X = [−1, 1], fn(x) =

n∑k=1

xk

k!. ¾Converge la sucesión (fn)n∈N?

Resolución

Por Taylor, sabemos que para cada x ∈ [−1, 1] fn(x)→ ex. Así que si la

sucesión converge, debe ser a la función exponencial. Acotemos la

diferencia para un punto x0 ∈ [−1, 1].

|fn(x0)− ex0 | =

∣∣∣∣∣∣n∑

k=1

xk0k!−∑k≥1

xk0k!

∣∣∣∣∣∣ =

∣∣∣∣∣∑k>n

xk0k!

∣∣∣∣∣ ≤∑k>n

∣∣∣∣xk0k!

∣∣∣∣ ≤∑k>n

1

k!.

Eugenio Borghini Espacios de funciones 5 / 14

Page 20: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Convergencia de sucesiones

Resolución

(Continuación) Como∑

k≥11k! = e <∞, dado ε > 0 existe n0 ∈ N tal que

n ≥ n0 implica∑

k>n1k! < ε. Luego, vemos que fn converge a la función

exponencial sobre [−1, 1].

Ejemplo

Sea X = [−r, r] donde r ∈ (0, 1). Analice la convergencia de la sucesión

fn(x) =

n∑k=1

sin(xk).

Eugenio Borghini Espacios de funciones 6 / 14

Page 21: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Convergencia de sucesiones

Resolución

(Continuación) Como∑

k≥11k! = e <∞, dado ε > 0 existe n0 ∈ N tal que

n ≥ n0 implica∑

k>n1k! < ε. Luego, vemos que fn converge a la función

exponencial sobre [−1, 1].

Ejemplo

Sea X = [−r, r] donde r ∈ (0, 1). Analice la convergencia de la sucesión

fn(x) =

n∑k=1

sin(xk).

Eugenio Borghini Espacios de funciones 6 / 14

Page 22: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Convergencia de sucesiones

Resolución

Ahora no tenemos un candidato conocido a límite. Sabemos que para cada

x ∈ [−r, r],

|fn(x)| ≤n∑

k=1

| sin(xk)| ≤n∑

k=1

|xk| ≤∑k≥1

rk =r

1− r,

así que el límite puntual de fn(x) existe.

¾Cómo hacemos para probar que

una sucesión converge sin conocer el límite?

½Usamos completitud y Cauchy!

Eugenio Borghini Espacios de funciones 7 / 14

Page 23: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Convergencia de sucesiones

Resolución

Ahora no tenemos un candidato conocido a límite. Sabemos que para cada

x ∈ [−r, r],

|fn(x)| ≤n∑

k=1

| sin(xk)| ≤n∑

k=1

|xk| ≤∑k≥1

rk =r

1− r,

así que el límite puntual de fn(x) existe. ¾Cómo hacemos para probar que

una sucesión converge sin conocer el límite?

½Usamos completitud y Cauchy!

Eugenio Borghini Espacios de funciones 7 / 14

Page 24: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Convergencia de sucesiones

Resolución

Ahora no tenemos un candidato conocido a límite. Sabemos que para cada

x ∈ [−r, r],

|fn(x)| ≤n∑

k=1

| sin(xk)| ≤n∑

k=1

|xk| ≤∑k≥1

rk =r

1− r,

así que el límite puntual de fn(x) existe. ¾Cómo hacemos para probar que

una sucesión converge sin conocer el límite?

½Usamos completitud y Cauchy!

Eugenio Borghini Espacios de funciones 7 / 14

Page 25: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Convergencia de sucesiones

Cauchy

Una sucesión de funciones (fn)n∈N es de Cauchy sii dado ε > 0, existen0 ∈ N tal que n,m ≥ n0 implica |fn(x)− fm(x)| < ε siempre que

n,m ≥ n0, para todo x ∈ X.

Con gusto dudoso, una sucesión que cumple esto se dice uniformemente de

Cauchy.

Resolución

(Continuación) Veamos que fn es de Cauchy. Sea ε > 0.

|fn(x)− fm(x)| ≤n∑

k=m+1

rk ≤ rm+1

1− r,

que es menor a ε si m es su�cientemente grande.

Eugenio Borghini Espacios de funciones 8 / 14

Page 26: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Convergencia de sucesiones

Cauchy

Una sucesión de funciones (fn)n∈N es de Cauchy sii dado ε > 0, existen0 ∈ N tal que n,m ≥ n0 implica |fn(x)− fm(x)| < ε siempre que

n,m ≥ n0, para todo x ∈ X.

Con gusto dudoso, una sucesión que cumple esto se dice uniformemente de

Cauchy.

Resolución

(Continuación) Veamos que fn es de Cauchy. Sea ε > 0.

|fn(x)− fm(x)| ≤n∑

k=m+1

rk ≤ rm+1

1− r,

que es menor a ε si m es su�cientemente grande.

Eugenio Borghini Espacios de funciones 8 / 14

Page 27: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Convergencia de sucesiones

Cauchy

Una sucesión de funciones (fn)n∈N es de Cauchy sii dado ε > 0, existen0 ∈ N tal que n,m ≥ n0 implica |fn(x)− fm(x)| < ε siempre que

n,m ≥ n0, para todo x ∈ X.

Con gusto dudoso, una sucesión que cumple esto se dice uniformemente de

Cauchy.

Resolución

(Continuación) Veamos que fn es de Cauchy. Sea ε > 0.

|fn(x)− fm(x)| ≤n∑

k=m+1

rk ≤ rm+1

1− r,

que es menor a ε si m es su�cientemente grande.

Eugenio Borghini Espacios de funciones 8 / 14

Page 28: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Conjuntos acotados, equicontinuos

Sea H ⊆ C(X). H es acotado si existe M > 0 tal que |f(x)| ≤M para

todo x ∈ X, f ∈ H (a veces esto se llama equiacotado).

H se dice equicontinuo en x0 ∈ X si dado ε > 0, existe δ > 0 tal que

|f(x)− f(x0)| < ε para toda f ∈ H

siempre que |x− x0| < δ.H se dice equicontinuo si lo es en todos sus puntos.

Ejemplo

Todo conjunto �nito es equicontinuo.

Eugenio Borghini Espacios de funciones 9 / 14

Page 29: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Conjuntos acotados, equicontinuos

Sea H ⊆ C(X). H es acotado si existe M > 0 tal que |f(x)| ≤M para

todo x ∈ X, f ∈ H (a veces esto se llama equiacotado).

H se dice equicontinuo en x0 ∈ X si dado ε > 0, existe δ > 0 tal que

|f(x)− f(x0)| < ε para toda f ∈ H

siempre que |x− x0| < δ.H se dice equicontinuo si lo es en todos sus puntos.

Ejemplo

Todo conjunto �nito es equicontinuo.

Eugenio Borghini Espacios de funciones 9 / 14

Page 30: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Teorema de Arzelá-Ascoli

¾Qué dice el Teorema de Arzelá-Ascoli?

Importante

El Teorema de Arzelá- Ascoli caracteriza los compactos de C(X).

Teorema

Sean X compacto, H ⊆ C(X). Entonces H es relativamente compacto sii

es acotado y equicontinuo.

Veamos algunas aplicaciones.

Eugenio Borghini Espacios de funciones 10 / 14

Page 31: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Teorema de Arzelá-Ascoli

¾Qué dice el Teorema de Arzelá-Ascoli?

Importante

El Teorema de Arzelá- Ascoli caracteriza los compactos de C(X).

Teorema

Sean X compacto, H ⊆ C(X). Entonces H es relativamente compacto sii

es acotado y equicontinuo.

Veamos algunas aplicaciones.

Eugenio Borghini Espacios de funciones 10 / 14

Page 32: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Teorema de Arzelá-Ascoli

¾Qué dice el Teorema de Arzelá-Ascoli?

Importante

El Teorema de Arzelá- Ascoli caracteriza los compactos de C(X).

Teorema

Sean X compacto, H ⊆ C(X). Entonces H es relativamente compacto sii

es acotado y equicontinuo.

Veamos algunas aplicaciones.

Eugenio Borghini Espacios de funciones 10 / 14

Page 33: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Teorema de Arzelá-Ascoli

¾Qué dice el Teorema de Arzelá-Ascoli?

Importante

El Teorema de Arzelá- Ascoli caracteriza los compactos de C(X).

Teorema

Sean X compacto, H ⊆ C(X). Entonces H es relativamente compacto sii

es acotado y equicontinuo.

Veamos algunas aplicaciones.

Eugenio Borghini Espacios de funciones 10 / 14

Page 34: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Teorema de Arzelá-Ascoli

Ejemplo

Sea X = [a, b]. Para M > 0, de�nimos:

LipM [a, b] := {f : [a, b]→ R : |f(x)− f(y)| ≤M |x− y| ∀x, y ∈ [a, b]}H[a, b] := {f : [a, b]→ R : f(a) = 0}.

Mostrar que Lip0M [a, b] := LipM [a, b] ∩H[a, b] es compacto.

Resolución

Como Lip0M [a, b] es cerrado en C([a, b]), por el Teorema de Arzelá-Ascoli,

alcanza con ver que es acotado y equicontinuo.

Lip0M [a, b] es acotado porque toda función esta acotada por M(b− a).

Eugenio Borghini Espacios de funciones 11 / 14

Page 35: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Teorema de Arzelá-Ascoli

Ejemplo

Sea X = [a, b]. Para M > 0, de�nimos:

LipM [a, b] := {f : [a, b]→ R : |f(x)− f(y)| ≤M |x− y| ∀x, y ∈ [a, b]}H[a, b] := {f : [a, b]→ R : f(a) = 0}.

Mostrar que Lip0M [a, b] := LipM [a, b] ∩H[a, b] es compacto.

Resolución

Como Lip0M [a, b] es cerrado en C([a, b]), por el Teorema de Arzelá-Ascoli,

alcanza con ver que es acotado y equicontinuo.

Lip0M [a, b] es acotado porque toda función esta acotada por M(b− a).

Eugenio Borghini Espacios de funciones 11 / 14

Page 36: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Teorema de Arzelá-Ascoli

Ejemplo

Sea X = [a, b]. Para M > 0, de�nimos:

LipM [a, b] := {f : [a, b]→ R : |f(x)− f(y)| ≤M |x− y| ∀x, y ∈ [a, b]}H[a, b] := {f : [a, b]→ R : f(a) = 0}.

Mostrar que Lip0M [a, b] := LipM [a, b] ∩H[a, b] es compacto.

Resolución

Como Lip0M [a, b] es cerrado en C([a, b]), por el Teorema de Arzelá-Ascoli,

alcanza con ver que es acotado y equicontinuo.

Lip0M [a, b] es acotado porque toda función esta acotada por M(b− a).

Eugenio Borghini Espacios de funciones 11 / 14

Page 37: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Teorema de Arzelá-Ascoli

Resolución

(Continuación)

Veamos que Lip0M [a, b] es equicontinuo. Sean ε > 0, f ∈ Lip0M [a, b] yx0 ∈ [a, b].

|f(x)− f(x0)| ≤M |x− x0| < ε

si |x− x0| < εM .

Eugenio Borghini Espacios de funciones 12 / 14

Page 38: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Teorema de Arzelá-Ascoli

Resolución

(Continuación)

Veamos que Lip0M [a, b] es equicontinuo. Sean ε > 0, f ∈ Lip0M [a, b] yx0 ∈ [a, b].

|f(x)− f(x0)| ≤M |x− x0| < ε

si |x− x0| < εM .

Eugenio Borghini Espacios de funciones 12 / 14

Page 39: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Teorema de Arzelá-Ascoli

Algún tiempo atrás...

Ejemplo

Probar que las normas ‖ · ‖∞ y ‖ · ‖1 son equivalentes sobre Lip0M [a, b].

Resolución

Como ‖f‖1 ≤ (b− a)‖f‖∞, alcanza con probar que si

(fn)n∈N ⊆ Lip0M [a, b] es tal que fn −−→‖·‖1

f , entonces fn −−−→‖·‖∞

f .

Si fuera fn −−−→‖·‖∞

g, tendríamos fn −−→‖·‖1

g y luego g = f .

Como Lip0M [a, b] es compacto, fn tiene alguna subsucesión convergente a

g ∈ Lip0M [a, b].

Eugenio Borghini Espacios de funciones 13 / 14

Page 40: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Teorema de Arzelá-Ascoli

Algún tiempo atrás...

Ejemplo

Probar que las normas ‖ · ‖∞ y ‖ · ‖1 son equivalentes sobre Lip0M [a, b].

Resolución

Como ‖f‖1 ≤ (b− a)‖f‖∞, alcanza con probar que si

(fn)n∈N ⊆ Lip0M [a, b] es tal que fn −−→‖·‖1

f , entonces fn −−−→‖·‖∞

f .

Si fuera fn −−−→‖·‖∞

g, tendríamos fn −−→‖·‖1

g y luego g = f .

Como Lip0M [a, b] es compacto, fn tiene alguna subsucesión convergente a

g ∈ Lip0M [a, b].

Eugenio Borghini Espacios de funciones 13 / 14

Page 41: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Teorema de Arzelá-Ascoli

Algún tiempo atrás...

Ejemplo

Probar que las normas ‖ · ‖∞ y ‖ · ‖1 son equivalentes sobre Lip0M [a, b].

Resolución

Como ‖f‖1 ≤ (b− a)‖f‖∞, alcanza con probar que si

(fn)n∈N ⊆ Lip0M [a, b] es tal que fn −−→‖·‖1

f , entonces fn −−−→‖·‖∞

f .

Si fuera fn −−−→‖·‖∞

g, tendríamos fn −−→‖·‖1

g y luego g = f .

Como Lip0M [a, b] es compacto, fn tiene alguna subsucesión convergente a

g ∈ Lip0M [a, b].

Eugenio Borghini Espacios de funciones 13 / 14

Page 42: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Teorema de Arzelá-Ascoli

Algún tiempo atrás...

Ejemplo

Probar que las normas ‖ · ‖∞ y ‖ · ‖1 son equivalentes sobre Lip0M [a, b].

Resolución

Como ‖f‖1 ≤ (b− a)‖f‖∞, alcanza con probar que si

(fn)n∈N ⊆ Lip0M [a, b] es tal que fn −−→‖·‖1

f , entonces fn −−−→‖·‖∞

f .

Si fuera fn −−−→‖·‖∞

g, tendríamos fn −−→‖·‖1

g y luego g = f .

Como Lip0M [a, b] es compacto, fn tiene alguna subsucesión convergente a

g ∈ Lip0M [a, b].

Eugenio Borghini Espacios de funciones 13 / 14

Page 43: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Teorema de Arzelá-Ascoli

Algún tiempo atrás...

Ejemplo

Probar que las normas ‖ · ‖∞ y ‖ · ‖1 son equivalentes sobre Lip0M [a, b].

Resolución

Como ‖f‖1 ≤ (b− a)‖f‖∞, alcanza con probar que si

(fn)n∈N ⊆ Lip0M [a, b] es tal que fn −−→‖·‖1

f , entonces fn −−−→‖·‖∞

f .

Si fuera fn −−−→‖·‖∞

g, tendríamos fn −−→‖·‖1

g y luego g = f .

Como Lip0M [a, b] es compacto, fn tiene alguna subsucesión convergente a

g ∈ Lip0M [a, b].

Eugenio Borghini Espacios de funciones 13 / 14

Page 44: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Teorema de Arzelá-Ascoli

Estamos cerca pero nos falta algo.

Ejercicio importante de la guía

Sea (xn)n∈N una sucesión en un espacio métrico X. Entonces xn converge

a x sii toda subsucesión de xn posee una subsucesión que converge a x.

Ahora sí:

Resolución

(Continuación) Sea (fnk)k∈N una subsucesión. Por compacidad podemos

extraer una subsucesión convergente a g ∈ Lip0M [a, b]. Por lo visto antes,

debe ser f = g y luego fn −−−→‖·‖∞

f , como queríamos mostrar.

Eugenio Borghini Espacios de funciones 14 / 14

Page 45: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Teorema de Arzelá-Ascoli

Estamos cerca pero nos falta algo.

Ejercicio importante de la guía

Sea (xn)n∈N una sucesión en un espacio métrico X. Entonces xn converge

a x sii toda subsucesión de xn posee una subsucesión que converge a x.

Ahora sí:

Resolución

(Continuación) Sea (fnk)k∈N una subsucesión. Por compacidad podemos

extraer una subsucesión convergente a g ∈ Lip0M [a, b]. Por lo visto antes,

debe ser f = g y luego fn −−−→‖·‖∞

f , como queríamos mostrar.

Eugenio Borghini Espacios de funciones 14 / 14

Page 46: Espacios de funcionescms.dm.uba.ar/academico/materias/1ercuat2017/calculo...Propiedades métricas de espacios de funciones Nuestro objetivo es ver cómo se comportan las propiedades

Teorema de Arzelá-Ascoli

Estamos cerca pero nos falta algo.

Ejercicio importante de la guía

Sea (xn)n∈N una sucesión en un espacio métrico X. Entonces xn converge

a x sii toda subsucesión de xn posee una subsucesión que converge a x.

Ahora sí:

Resolución

(Continuación) Sea (fnk)k∈N una subsucesión. Por compacidad podemos

extraer una subsucesión convergente a g ∈ Lip0M [a, b]. Por lo visto antes,

debe ser f = g y luego fn −−−→‖·‖∞

f , como queríamos mostrar.

Eugenio Borghini Espacios de funciones 14 / 14