![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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/1.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/2.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/3.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/4.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/5.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/6.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/7.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/8.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/9.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/10.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/11.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/12.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/13.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/14.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/15.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/16.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/17.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/18.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/19.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/20.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/21.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/22.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/23.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/24.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/25.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/26.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/27.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/28.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/29.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/30.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/31.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/32.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/33.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/34.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/35.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/36.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/37.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/38.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/39.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/40.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/41.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/42.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/43.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/44.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/45.jpg)
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](https://reader035.vdocuments.co/reader035/viewer/2022062602/5e9b8dc50130a205c06dbb82/html5/thumbnails/46.jpg)
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