El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El...

31
El teorema de Weierstrass y la teor´ ıa de aproximaci´on Jer´ onimo Basa * 23 de julio de 2015 Resumen En el presente texto se muestra una peque˜ na rese˜ na sobre la teor´ ıa de apro- ximaci´ on de funciones en el ´area del an´ alisis matem´ atico. Sumado a esto, se manifiesta uno de los teoremas m´ as importantes en este marco: el teorema de aproximaci´ on de Weierstrass. Las secciones est´ an ordenadas a modo de comen- zar con una introducci´ on (que el lector con conocimientos puede obviar tranqui- lamente) seguido de algunos resultados elementales. Como siempre, la secci´ on de ap´ endice permite complementar el desarrollo, sin impedir una lectura fluida de la presente exposici´ on. ´ Indice Pr´ ologo III 1. Conceptos necesarios y discusi´ on general 1 1.1. Continuidad, espacios m´ etricos y polinomios ............... 1 1.2. La norma uniforme ............................. 3 1.3. ¿Denso en qu´ e sentido? .......................... 4 1.4. Sucesiones y compacidad .......................... 4 1.5. Cosas llamadas ´ Algebras .......................... 6 2. El teorema de aproximaci´ on de Weierstrass 6 2.1. Enunciado y demostraci´ on ......................... 7 2.2. Los polinomios de Bernstein ........................ 8 2.3. ¿Se pueden debilitar las hip´ otesis? .................... 11 3. Formas pr´ acticas de emplear esta teor´ ıa 12 3.1. Una idea econ´ omica ............................ 12 3.2. Usando la aproximaci´ on para ejercitar la mente ............. 13 4. Generalizar y deducir 15 4.1. La generalizaci´ on de Stone ......................... 15 4.2. Nuestro tema central como corolario ................... 17 4.2.1. Un poco de Fourier ......................... 18 4.2.2. El teorema de Fej´ er ........................ 18 A. Resultados necesarios 23 B. Definiciones equivalentes 26 Referencias 27 * Estudiante de Licenciatura en Matem´atica por la Universidad Nacional del Litoral i

Transcript of El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El...

Page 1: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

El teorema de Weierstrass y la teorıa de aproximacion

Jeronimo Basa *

23 de julio de 2015

ResumenEn el presente texto se muestra una pequena resena sobre la teorıa de apro-

ximacion de funciones en el area del analisis matematico. Sumado a esto, semanifiesta uno de los teoremas mas importantes en este marco: el teorema deaproximacion de Weierstrass. Las secciones estan ordenadas a modo de comen-zar con una introduccion (que el lector con conocimientos puede obviar tranqui-lamente) seguido de algunos resultados elementales. Como siempre, la seccionde apendice permite complementar el desarrollo, sin impedir una lectura fluidade la presente exposicion.

Indice

Prologo III

1. Conceptos necesarios y discusion general 11.1. Continuidad, espacios metricos y polinomios . . . . . . . . . . . . . . . 11.2. La norma uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.3. ¿Denso en que sentido? . . . . . . . . . . . . . . . . . . . . . . . . . . 41.4. Sucesiones y compacidad . . . . . . . . . . . . . . . . . . . . . . . . . . 41.5. Cosas llamadas Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . 6

2. El teorema de aproximacion de Weierstrass 62.1. Enunciado y demostracion . . . . . . . . . . . . . . . . . . . . . . . . . 72.2. Los polinomios de Bernstein . . . . . . . . . . . . . . . . . . . . . . . . 82.3. ¿Se pueden debilitar las hipotesis? . . . . . . . . . . . . . . . . . . . . 11

3. Formas practicas de emplear esta teorıa 123.1. Una idea economica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123.2. Usando la aproximacion para ejercitar la mente . . . . . . . . . . . . . 13

4. Generalizar y deducir 154.1. La generalizacion de Stone . . . . . . . . . . . . . . . . . . . . . . . . . 154.2. Nuestro tema central como corolario . . . . . . . . . . . . . . . . . . . 17

4.2.1. Un poco de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . 184.2.2. El teorema de Fejer . . . . . . . . . . . . . . . . . . . . . . . . 18

A. Resultados necesarios 23

B. Definiciones equivalentes 26

Referencias 27*Estudiante de Licenciatura en Matematica por la Universidad Nacional del Litoral

i

Page 2: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

A Federico Font, por sus enormescualidades matematicas

y su virtud de companerismoque siempre agradecere.

Page 3: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

Prologo

El teorema de aproximacion de Weierstrass fue originalmente desarrollado por elmatematico Karl Weierstrass en su trabajo de 1885. El enunciado, que fue probadopor el, puede establecerse de la siguiente manera. Supongamos que f es una fun-cion continua en valores complejos definida sobre un intervalo real [a, b]. Para cadaε > 0, existe una funcion polinomica p sobre C tal que para todo x ∈ [a, b], tenemos|f(x)− p(x)| < ε, o equivalentemente, la norma uniforme (o supremo) ||f − p||∞ < ε.En otras palabras, el teorema de aproximacion afirma que toda funcion continua de-finida en un intervalo compacto [a, b] puede ser uniformemente aproximada por unafuncion polinomica. Este teorema ha logrado un gran impacto tanto en la comunidaddel analisis matematico (porque los polinomios son las funciones mas simples de ma-nejar), como en sus aplicaciones (entre otras en el area del calculo numerico). Comoconsecuencia del teorema de aproximacion de Weierstrass, uno puede probar que el es-pacio C([a, b],R) es separable, como veremos mas adelante. En 1937 [9] Marshall Stonegeneralizo el teorema y luego simplifico la demostracion en 1948 [10]. Hoy conocemosestos resultados como el teorema de Stone-Weierstrass. Este generaliza el teorema deaproximacion de Weierstrass en dos maneras. Primero, en lugar de intervalos reales[a, b], se considera un espacio compacto de Hausdorff arbitrario. Y en lugar del alge-bra de funciones polinomicas, Stone investigo la aproximacion con elementos de otrasalgebras mas generales, C(K,R).

Stone comenzo con un espacio compacto de Hausdorff K arbitrario y considero elalgebra C(K,R) de funciones continuas reales sobre K, con la topologıa de la con-vergencia uniforme. El querıa encontrar otras algebras de C(K,R) que sean densas,y noto que la propiedad necesaria que debe satisfacer dicha estructura es que separepuntos. Ahora, podemos enunciar el teorema de la siguiente forma. Sea K un espaciocompacto de Hausdorff y A un algebra de C(K,R) que contiene una funcion no cons-tantemente cero. Entonces A es denso en C(K,R) sı, y solo sı, separa puntos. Estoimplica el enunciado original de Weierstrass ya que los polinomios sobre [a, b] formanun algebra de C([a, b],R) que contiene las funciones constantes y separa puntos.

En una forma general, podemos decir que la teorıa de aproximacion se dedica ala descripcion de elementos en un espacio topologico X, que pueden ser aproximadospor elementos en un subconjunto A de X, dicho de otra manera, la teorıa de aproxi-macion permite caraterizar la clausura de A en X. Uno de los resultados relevantesen este aspecto es la densidad de los polinomios trigonometricos en la clase de lasfunciones reales continuas de perıodo 2π. Tales resultados sirvieron para un famosoejemplo de Weierstrass de 1861 sobre la existencia de funciones continuas que no sondiferenciables en su dominio. La existencia de estas funciones acentua la necesidad derigor analıtico en la matematica, para una mayor comprension sobre la naturaleza delconjunto de las funciones continuas, y en consecuencia, influenciar el desarrollo delanalisis.

Finalmente, como dato interesante y anecdotico, cuando Weierstrass probo el teo-rema, tenıa 70 anos. Por otro lado, veinte anos despues, otra prueba fue dada porFejer, a la joven edad de 19 anos. Y mas sorprendente aun es el hecho de que Fejerera considerado debil en matematicas en la escuela, y necesitaba de apoyo especial.Su prueba la realiza a traves de series de Fourier, obteniendo que el teorema deWeierstrass es equivalente a su version periodica.

iii

Page 4: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,
Page 5: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

1. Conceptos necesarios y discusion general

Para comenzar, consideramos util tener en claro ciertas cosas, como las nocionesbasicas, definiciones, y todo fundamento que nos ayude en el desarrollo del texto.Desde luego, nosotros no hemos demostrado nada nuevo, somos simples narradoresintentando hacer llegar al lector los bellos resultados, aplicaciones y, en general, losdetalles interesantes que podemos extraer sobre este tema. Ya hemos mencionado enel prologo algunos puntos sobre este teorema, nos gustarıa sin embargo destacar lospuntos importantes e ir progresando a medida que avanzamos.

Como primer item a destacar, el teorema trata sobre funciones, pero no de cual-quier tipo. Vimos que, en particular, nos interesara trabajar con funciones continuas.

1.1. Continuidad, espacios metricos y polinomios

Definicion 1.1. Sean f : R→ R y a un numero real. Diremos que f es continua en asi, para todo ε mayor que cero, existe un δ(a, ε) positivo, tal que si la distancia entrex y a es menor que δ, entonces la distancia entre las respectivas imagenes es menorque ε. Si una funcion cumple la condicion de continuidad para todo elemento en sudominio, decimos que f es continua en todo su dominio.1

Muchas de las ideas del analisis (como la continuidad) pueden definirse para espa-cios mas generales llamados espacios metricos. Un espacio metrico, que denotaremospor X, es un espacio con dos caracterısticas. La mas intuitiva, es que posee elemen-tos;2 la segunda, es que existe una distancia entre ellos, que llamaremos la metrica delespacio. Por ser justamente una distancia podemos imaginarnos su naturaleza, comolas propiedades que deba cumplir. Resumiremos esto diciendo:

Definicion 1.2. Sea X un espacio con elementos en el (ya sean numeros, funciones,matrices, etcetera) y sean a, b y c elementos distintos de X. Diremos que una metrica(o distancia) es una funcion d : X × X → R+ que cumple las siguientes cuatropropiedades

d(a, a) = 0.

d(a, b) = d(b, a).

d(a, b) > 0.

d(a, b) ≤ d(a, c) + d(c, b).

Donde la ultima propiedad es un conocido principio llamado desigualdad triangular.

Decimos entonces que el par (X, d) es un espacio metrico.3 Resulta entonces senci-llo escribir nuevamente la definicion de continuidad en funciones sobre espacios metri-cos. Como mencionamos, solo necesitamos una ligera modificacion, que es considerarlas distancias de los espacios. Formalmente la definicion nos dice que si (X, dX) e(Y, dY ) son espacios metricos, f : X → Y es continua en a si

∀ ε > 0, ∃ δ > 0 : dX(x, a) < δ ⇒ dY (f(x), f(a)) < ε.

Si estamos en R, la distancia valor absoluto nos da la definicion usual de continuidad.

1En general, decimos que f es continua a secas.2Notese que descartamos la opcion de considerar el conjunto vacıo ∅.3En caso de que la metrica no sea del todo relevante, nos referiremos al mismo como espacio

metrico X.

1

Page 6: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

Desde luego, podrıamos preguntarnos el porque nos interesan tanto las funcionescontinuas. No es necesario recordar que las funciones sirven como modelo de sistemasque vemos en la realidad, y del cual podemos obtener muchas aplicaciones. Pense-mos primero en el teorema del valor intermedio. Este nos dice que si una funcioncontinua toma un valor negativo en un punto x1 y luego toma un valor positivo enotro punto x2, entonces existe al menos un punto entre x1 y x2 donde la funcionvale cero. Supongamos entonces que usamos una de estas funciones continuas parahallar la temperatura en cada punto de la Tierra (aquı la consideraremos una esferahomogenea). Hallamos las temperaturas en el polo norte y sur, y luego tomamos sudiferencia; llamaremos α a esta diferencia. Ahora, comenzaremos desde el polo nortey nos moveremos hacia el polo sur, tomando la temperatura en cada punto a medidaque describimos nuestro recorrido,4 hasta finalmente llegar al extremo sur. Mas aun, siestudiamos la diferencia entre puntos opuestos (en el sentido de que estan en distintoshemisferios) que viven sobre el mismo meridiano, esperamos que al llegar al polo surla diferencia sea −α. El teorema del valor intermedio nos asegura que, examinandolas diferencias de temperaturas, deben haber dos puntos opuestos sobre la Tierra conla misma temperatura, pues la diferencia se hace cero en algun momento.

Ahora bien, que una funcion continua sea util y agradable, ¿la hace sencilla? Enun amplio margen, las funciones continuas son mas sencillas que las que no lo son,pero podemos encontrarnos funciones continuas que no lo sean.

Aprovechando que hemos invocado la palabra “sencillas”, recordemos que fue men-cionada anteriormente, pero en referencia a los polinomios. Esto fue porque hablamossobre el caracter especial de sencillez que estos poseen. Un polinomio no es mas queuna expresion de la forma

p(x) = anxn + an−1x

n−1 + · · ·+ a2x2 + a1x+ a0, ai ∈ R, 0 ≤ i ≤ n.

Es trivial probar que toda funcion polinomica es una funcion continua, y por lo tantoomitiremos dicha prueba. Debido a su sencilla expresion, los polinomios son muysencillos de evaluar numericamente, lo que los hace una gran herramienta en analisisnumerico.

Antes de finalizar, veamos algo particular. Podemos decir que lo maravilloso dedichas funciones es que podemos dibujar su grafica sin levantar el lapiz 5, lo que setraduce en la ausencia de “huecos” y “saltos bruzcos”. Pero podemos ir aun mas lejosy volverlo un poco mas elegante.

Definicion 1.3. Una funcion f definida en un intervalo I de R se dice que es unifor-memente continua en I si, dado ε > 0, existe δ = δ(ε) > 0 tal que, si x y x′ verificanque |x− x′| < δ entonces |f(x)− f(x′)| < ε.

A primera vista esta definicion no parece diferente a la que ya vimos sobre conti-nuidad. Pero veamoslo mas de cerca. Si una funcion es continua en un intervalo I, esosignifica que, para cada x0 en I, f es cotinua en x0. Esto a su vez significa que dadoε > 0 existe δ > 0 tal que si |x − x0| < δ resulta |f(x) − f(x0)| < ε. Esto se puedehacer para cada x0 en I, pero la forma en que depende δ de ε puede cambiar cuandocambia x0. Lo que pide la definicion de continuidad uniforme es que haya una funcionδ(ε) que sirva para todos los x0 ∈ I. Claramente, si una funcion es uniformementecontinua, entonces es continua. El recıproco es cierto solo en conjuntos compactos. Lademostracion se encuentra en (A.1).

4Siguiendo una geodesica, para ser mas precisos.5De hecho, deberıamos pedir que la funcion sea tambien derivable para poder hacerlo. Por ejemplo,

la funcion de Weierstrass nunca podrıamos dibujarla.

2

Page 7: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

1.2. La norma uniforme

A continuacion hablaremos sobre otro detalle mencionado en el prologo y queveremos mucho a lo largo de la monografıa. De una manera muy similar a lo que vimossobre metrica, decimos que una norma sobre un espacio C es una funcion ρ : C → R+

tal que valen las siguientes propiedades:

ρ(af) = |a|ρ(f) para todo numero real a y todo elemento f de C.

ρ(f + g) ≤ ρ(f) + ρ(g) para todo par de elementos distintos f, g de C.

ρ(f) = 0 ⇐⇒ f = 0.

Un ejemplo muy familiar es la norma Euclıdea, la que usamos para hallar ladistancia entre dos puntos. En R2 decimos que si x = (x1, x2) entonces su norma|| · ||2 : R2 → R+ se define por

‖x‖2 =√

(x21 + x22).

Definicion 1.4. Para todo numero real p ≥ 1, definimos la norma p de x ∈ Rn como

‖x‖p = (|x1|p + |x2|p + · · ·+ |xn|p)1p =

(n∑i=1

|xi|p) 1

p

.

En particular, se define la norma uniforme (o infinito) como el lımite de la normap cuando p→∞. Lo que equivale a decir que

‖x‖∞ = max{|x1|, |x2|, . . . , |xn|}.

Ya que las funciones continuas son objeto central de nuestro relato, definamos elespacio formado por todas las funciones continuas que toman valores en un intervalocerrado, por ejemplo I = [a, b]. Denotaremos entonces con C[a, b] al espacio en cues-tion.6 Por lo tanto, sea f ∈ C[a, b], entonces vemos que la norma infinito es el maximovalor absoluto de f(x) sobre [a, b], es decir

‖f‖∞ = maxa≤x≤b

|f(x)|.

Puede demostrarse facilmente que toda norma induce una metrica, y por lo tan-to todo espacio normado es un espacio metrico. En particular podemos definir losiguiente.

Definicion 1.5. Sea C[a, b] el espacio de las funciones continuas en el intervalo [a, b].Entonces la metrica

d∞(f, g) = ‖f − g‖∞ = maxa≤x≤b

|f(x)− g(x)|

define el espacio metrico (C[a, b], d∞).

Mas aun, si en lugar de realizar una suma sobre un conjunto finito, integramos dela siguiente manera

‖f‖p =

b∫a

|f(x)|pdx

1p

6En principio no estamos diciendo si estas funciones son a valores reales o complejos, pero nosera de vital importancia aun.

3

Page 8: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

podemos definir el espacio de las funciones bajo la norma p mediante la anteriorintegral de Riemann con f ∈ C[a, b].

De ahora en adelante utilizaremos estas definiciones cuando hagamos referenciaal espacio sobre el que trabajamos y la distancia entre ellos, pues veremos repetidasveces la nocion de “hacer chica una diferencia”. Gracias a las ultimas observaciones,vamos a comprender el sentido con que usaremos dicha frase. Desde luego, nuestroprincipal objetivo sera mostrar que podemos tomar polinomios a una distancia muychica de toda funcion continua, es decir, que los polinomios son densos en las funcionescontinuas.

1.3. ¿Denso en que sentido?

No podemos dejar pasar por alto un dato interesante. Hemos dicho que podemosprobar que un cierto conjunto (el de los polinomios, para ser exactos) es denso. Loque nos lleva a una pregunta, que no la repetiremos, pues da el nombre a esta seccion.Primero, daremos la nocion de entorno.

Definicion 1.6. Sea X un espacio metrico y sea x un elemento. Decimos que unabola abierta de centro x es el conjunto de todos los elementos de X que estan a unadistancia no superior a r (con respecto de x), para un r positivo. Denotamos esto con

Nx(r) = {y ∈ X : d(x, y) < r}.

Esto es un ejemplo de lo que en topologıa se conoce como entorno abierto (nodaremos la definicion formal de ello).7 Supongamos que K es un subconjunto delespacio X. De manera informal, decimos que K es denso en X si, para todo elementox ∈ X, el elemento esta en K, o bien se encuentra “arbitrariamente cerca” de algunelemento de K. Formalmente decimos que K es denso en X, si para cada elementox ∈ X, todo entorno Nx contiene al menos un elemento de K. El ejemplo mas sencilloque conocemos sobre esta idea es la densidad de los numeros racionales sobre losnumeros reales. Decimos que, para cada numero real, siempre podemos encontrarnumeros racionales tan proximos a este como queramos (vease [2]). Nuestro teoremacentral nos dice que los polinomios pueden tomarse arbitrariamente cerca a todafuncion continua. Es decir, las funciones polinomicas son un conjunto denso en elespacio C[a, b] de funciones continuas en [a, b] con la norma uniforme 1.5.

1.4. Sucesiones y compacidad

Una sucesion (xn) de numeros reales es una lista ordenada de numeros xn ∈ R,llamados los terminos de la sucesion, donde el subındice n es un natural. De hecho, sidefinimos esto formalmente en un contexto mas general, vemos que una sucesion noes mas que una funcion.

Definicion 1.7. Una sucesion (xn) de elementos en un conjunto A es una funcionf : N→ A, donde xn = f(n).

Veamos un caso particular, para una sucesion de numeros reales. Si se representanlos diversos valores de xn para una sucesion dada, sobre la recta, se puede teneruna idea del comportamiento que esta tiene. Consideremos, por ejemplo, la sucesion(xn) = 1

n . Listando los primeros elementos

1,1

2,

1

3,

1

4, . . . ,

1

n, . . .

7Notese que la forma geometrica de una bola abierta depende del espacio y de la metrica.

4

Page 9: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

Geometricamente parece claro que mientras tomamos sucesivos valores de xn,estos se van acercando a 0. Es decir, cualquier elemento xn esta mas cerca de 0 quexm si n > m. Pero esta observacion no nos dice nada sobre el comportamiento de lasucesion, pues tambien es cierto que los sucesivos valores de 1

n se van acercando a −1.Ahora bien, esta sucesion tiene una cierta particularidad. Su acercamiento al cero esmas especial que su acercamiento al −1. Pues esta sucesion llega a estar tan cerca decero como se quiera. En cambio, con respecto a −1 esto no ocurre, pues en este casolos terminos xn estan siempre a distancia mayor que 1. Esta caracterıstica especialde que exista un objeto tal que la sucesion se encuentre tan cerca a el como se quieradefine un tipo particular de sucesiones.

Definicion 1.8. Sea (xn) una sucesion. Diremos que (xn) converge a x 8 si cualquierasea el numero real ε > 0, hay un numero natural N , tal que, para n ≥ N , se tiene que|xn − x| < ε. Si una sucesion cumple esta definicion, entonces se llama convergente.

Si tenemos una sucesion (xn), una subsucesion de ella consiste en elegir algunosde los xn y formar ası una nueva sucesion usando dichos terminos. De esta manera,una subsucesion de (xn) es una lista de la forma

xn1, xn2

, xn3, . . . , xnk

, . . .

conn1 < n2 < n3 < . . .

Definicion 1.9. Sea x : N→ R una sucesion. Una subsucesion de (xn) es la compo-sicion

x ◦ k : N→ R

de (xn) con una funcion estrictamente creciente k : N→ N. Indicamos la subsucesioncon (xnk

).

Supongamos que estamos en el espacio de las funciones continuas en el intervalo[a, b], y sea (fn) una sucesion allı. Diremos que la misma converge uniformemente sipara todo ε positivo y para todo x0 ∈ [a, b], existe un N = N(ε) (que no depende delx0 tomado), tal que |fn(x0)− f(x0)| < ε si n > N .

Informalmente decimos que una sucesion pertenece a un espacio si cada terminode la sucesion esta efectivamente en dicho espacio. Un espacio compacto confina cadasucesion de puntos en el de tal forma que la sucesion debe acumularse en algun puntodel espacio. Podemos pensar que el espacio apreta la sucesion tal que logra mantenerla(o al menos mantener una parte) dentro del mismo. A continuacion damos la definicionrigurosa.

Definicion 1.10. Sea X un espacio metrico y K ⊆ X. Entonces K es compacto sitoda sucesion en K tiene una subsucesion que converge a un elemento de K.

Ejemplo 1.11. El intervalo abierto I = (0, 1) no es compacto. La sucesion(1n

)en I

converge a 0, luego toda subsucesion tambien converge a 0, pero 0 /∈ I.

Entrando en el ambito de la topologıa, puede darse una definicion para espacioscompactos que es equivalente a la que fue presentada. Mas aun, puede probarse que,en R, los conjuntos compactos son conjuntos cerrados y acotados, y viceversa.9

Ademas de la compacidad, nuestra ultima observacion caera sobre los espacios deHausdorff. Podemos imaginar a estos como espacio que separan puntos distintos enentornos que no se tocan.

8O bien, que x es el lımite de la sucesion (xn).9Este resultado, llamado Teorema de Heine-Borel, sera el que usaremos mas adelante.

5

Page 10: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

Definicion 1.12. Sea X un espacio metrico (no necesariamente compacto). EntoncesX es espacio de Hausdorff si para cada par de puntos distintos x, y existen entornosabiertos de cada uno, y que son disjuntos. Formalmente

∀x, y ∈ X, ∃Nx ∧Ny : x ∈ Nx, y ∈ Ny, Nx ∩Ny = ∅.

1.5. Cosas llamadas Algebras

Veremos rapidamente una forma distinta de interpretar la palabra algebra. Paraesto, usaremos la nocion puramente intuitiva de una familia de funciones, cuyos ele-mentos llamaremos normalmente con las letras f , g. Puede advertirse que lo expuestoa continuacion es muy similar a la nocion de espacio vectorial.

Definicion 1.13. Sea A una familia de funciones reales definidas en un conjunto X.Diremos que A es un algebra si

1. f + g ∈ A ,

2. fg ∈ A ,

3. cf ∈ A ,

para todo f ∈ A , g ∈ A y para toda constante real c. Es decir, A es cerrado bajo lasuma, el producto y la multiplicacion por un escalar.

Ahora que tenemos esta nueva interpretacion de un algebra, veamos dos casosparticulares. Esto junto con la nocion de espacios de Hausdorff son las herramientas enel teorema general de Stone-Weierstrass. Observaremos que la idea de separar puntoscomo lo vimos en estos ultimos espacios, puede tambien tomarse para algebras defunciones con la siguiente

Definicion 1.14. Sea A un algebra de funciones sobre un conjunto X. Decimos queA separa puntos10 en X si para todo par de puntos distintos x1, x2 ∈ X existe unafuncion f ∈ A tal que f(x1) 6= f(x2). Si para cada x ∈ X existe una funcion f ∈ Atal que f(x) 6= 0, se dice que A no se anula en ningun punto de X.

En este punto, resulta trivial ver que la familia de polinomios forman un algebracon estas propiedades sobre un subconjunto de R.

Ejemplo 1.15. Un ejemplo de un algebra que no separa puntos es el conjunto detodas las funciones pares sobre [−1, 1], pues f(−x) = f(x) para cada funcion par f .

2. El teorema de aproximacion de Weierstrass

El teorema mencionado en el tıtulo, es uno de los mas importantes a la hora dehablar sobre aproximacion de funciones mediante polinomios, que como ya vimos,son muy utiles a nivel practico. La tecnica mas conocida en este proceso recibe elnombre de interpolacion polinomica de funciones que permite aproximar funcionescontinuas. Muchos estudiantes de nivel basico estan acostumbrados a trabajar conesto. De hecho, en un gran porcentaje, se sabe que la primera vision que tenemos deeste hecho es el desarrollo por serie de Taylor. Podrıamos preguntarnos entonces cuales la particularidad del teorema de Weierstrass. A modo de mostrar esto, primeropresentaremos los dos siguientes resultados.

10No confundir la separabilidad de este caso con la definicion dada para un conjunto de Hausdorff.

6

Page 11: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

Teorema 2.1 (Hermite). Toda funcion f continua puede expresarse como serieinfinita en terminos de polinomios de Hermite

f(x) =

∞∑n=0

AnHn(x),

donde

Hn(x) = (−1)nex2/2 d

n

dxne−x

2/2

Ak =1

2kk!√π

∫ +∞

−∞e−x

2

f(x)Hk(x)dx

Teorema 2.2 (Taylor). Si n ≥ 0 es un entero y f una funcion que es derivable nveces en el intervalo cerrado [a, x] y n+1 veces en el intervalo abierto (a, x), entoncesse obtiene la aproximacion polinomica de Taylor

f(x) = f(a) +f ′(a)

1!(x− a) +

f (2)(a)

2!(x− a)2 + · · ·+ f (n)(a)

n!(x− a)n +Rn(f)

donde

Rn(f) =

∫ x

a

f (n+1)(t)

n!(x− t)ndt.

Vemos, en estos dos teoremas, que efectivamente una funcion f continua pue-de obtenerse por series de polinomios. Pero recordemos el enunciado del teorema deWeierstrass. Este nos dice que tal aproximacion existe siempre que f sea continua enun intervalo [a, b]. Si observamos los dos teoremas anteriores, las hipotesis de Weiers-trass son mas debiles que las presentadas allı.11 Sin embargo, como desventaja, puedeadvertirse que este teorema no es en manera constructivo; no nos dice quienes son lospolinomios que participan en tal aproximacion.12

2.1. Enunciado y demostracion

De manera un tanto indirecta, se intento enunciar el teorema de Weierstrass ensu forma mas sencilla en el prologo. Y a pesar de que fue mencionado el caracterno constructivo del mismo, a manera contradictoria, presentaremos una demostra-cion que resultara de la construccion de polinomios13 adecuados. Una demostracionrealmente bella puede deducirse usando herramientas poderosas en analisis llamadasaproximaciones a la identidad.

Comenzaremos notando que∫ 1

0

(n+ 1)(1− y2)n 2ydy = 1.

Como y ≤ 1 en [0, 1], se sigue que∫ 1

0(n+ 1)(1− y2)n2dy > 1, y hay un kn < n+ 1

tal que∫ 1

zkn(1− y2)n2dy es un polinomio Pn(z) tal que Pn(1) = 0, Pn(0) = 1 y (por

simetrıa de (1− y2)n sobre el eje y) Pn(−1) = 2.

11Notese que Taylor pide la derivabilidad en el orden de n + 1 veces para el intervalo abierto. Asu vez las condiciones de integrabilidad de Hermite son mas fuertes aun.

12Mas adelante podra verse que es posible representar estos polinomios.13Adviertase las letras cursivas.

7

Page 12: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

Ahora para b fijo entre 0 y 1, tenemos que lımn→∞

(n + 1)bn = 0. Se sigue entonces

que dado ε > 0 y dado δ con 0 < δ < 1, hay un n tal que (n+ 1)(1− y2)n < ε/2 paraδ ≤ y ≤ 1, y entonces Pn(δ) < ε. De manera similar Pn(−δ) > 2 − ε. Como Pn(x)es una funcion decreciente en [−1, 1], se sigue que Pn(x) esta entre 2 y 2 − ε sobre[−1,−δ] y esta entre ε y 0 sobre [δ, 1].

Sea t entre 0 y 1, y sea Qn(x) = Pn(x2 − t). Entonces Qn(x) esta entre 2 y 2− εsobre [−h, h] si h2 = t−δ, y Qn(x) esta entre 0 y ε sobre [−s,−ζ] y [ζ, s] con ζ2 = t+δy ζ < s < 1.

Como t, s y δ estan a nuestra disposicion, mediante un apropiado cambio de escalatenemos el siguiente

Lema 2.3. Sea 0 < a < b < c y m > ε > 0. Entonces hay un polinomio Qn(x) quees creciente en [−c, 0] y decreciente en [0, c], y tal que Qn(x) esta entre m − ε y msobre [−a, a] y esta entre 0 y ε sobre [−c,−b] y [b, c].

Teorema 2.4 (Weierstrass). Sea f(x) una funcion real continua sobre un intervalocompacto [a, b]. Dado ε > 0, existe un polinomio p(x) tal que |f(x) − p(x)| < ε paratodo x ∈ [a, b].

Demostracion. Supongamos sin perdida de generalidad, que el rango de f es [0,M ]sobre [a, b]. Es suficiente probar como encontrar un polinomio p1(x) tal que f − p1tiene rango en [0, .8M ]. Si podemos hacer esto, lograremos encontrar un polinomio p2tal que f−p1−p2 tiene rango en [0, .82M ], y por tanto hay un k tal que .8kM < ε. Elpolinomio p = p1+p2+· · ·+pk es tal que |f(x)−p(x)| < ε para todo x ∈ [a, b]. Como fes continua en [a, b], es uniformemente continua, y hay un k tal que si x, y ∈ [a, b] con|x−y| < (b−a)/k entonces |f(x)−f(y)| < .1M . Sea a = x0 < x1 < x2 < . . . < xn = buna particion de [a, b] tal que xi+1 − xi = (b − a)/k. Consideremos los intervalos[xj , xj+1] tales que f(y) ≥ 1

2M si y ∈ [xj , xj+1], y sea P el conjunto de los puntosen ese intervalo. Entonces P es la union finita de intervalos cerrados disjuntos (notienen puntos finales en comun) I1, . . . , Ir tal que cada Ii se encuentra bordeado porintervalos Hi y Ji de longitud (b− a)/2k, con f(x) en el rango [.4M, .6M ] sobre Ji ysobre Hi.

Ahora aplicamos el lema anterior con m = 12M y ε = M/10r. Para cada i hay un

polinomio Qi(x) tal que Qi(x) esta entre 12M y 1

2M − ε sobre Ii, y Qi(x) esta entre0 y ε sobre el complemento de (Ii ∪Hi ∪ Ji) en [a, b]. Entonces el polinomio p1(x) =Q1(x)+ · · ·+Qr(x)−2M/10 tiene la propiedad de que f −p1 tiene rango en [0, .8M ],como debıamos probar.

2.2. Los polinomios de Bernstein

Como ya dijimos, a pesar de que el teorema afirma la existencia de polinomiosque convergen uniformemente a una funcion continua, no es trivial encontrar dichospolinomios. Sin embargo, puede darse una demostracion utilizando los polinomios deBernstein que tiene un caracter probabilıstico en su desarrollo que se encuentran en[4]. A continuacion se presenta una demostracion alternativa usando esta tecnica, queno es la unica, pero sı una de las mas conocidas y encontrada en diversa bibliografıa.

Definicion 2.5. Sea f : [0, 1] → R una funcion. Definimos el n-esimo polinomio deBernstein, asociado a f como

Bn(f)(x) =

n∑k=0

f

(k

n

)(n

k

)xk(1− x)n−k

8

Page 13: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

para cada n ∈ N, donde(nk

)es el coeficiente binomial.14

Teorema 2.6. Sea f : [0, 1]→ R una funcion continua. Entonces {Bn}∞n=1 convergeuniformemente a f en [0, 1].

Demostracion. Primero necesitamos computar algunos resultados preliminares. Seanp, q ∈ R y n ∈ N. Entonces por el teorema del binomio

n∑k=0

(n

k

)pkqn−k = (p+ q)n. (2.1)

Derivando ambos miembros con respecto de p obtenemos

n∑k=0

(n

k

)kpk−1qn−k = n(p+ q)n−1.

Entonces resultan∑k=0

k

n

(n

k

)pkqn−k = p(p+ q)n−1. (2.2)

Derivando nuevamente

n∑k=0

k2

n

(n

k

)pk−1qn−k = p(n− 1)(p+ q)n−2 + (p+ q)n−1,

n∑k=0

k2

n2

(n

k

)pkqn−k = p2

(1− 1

n

)(p+ q)n−2 +

p

n(p+ q)n−1. (2.3)

Sea x ∈ [0, 1] y sean p = x y q = 1− x. Entonces por (2.1)

n∑k=0

(n

k

)xk(1− x)n−k = 1. (2.4)

Tambien, aplicando (2.2),

n∑k=0

k

n

(n

k

)xk(1− x)n−k = x, (2.5)

y por (2.3),n∑k=0

k2

n2

(n

k

)xk(1− x)n−k = x2

(1− 1

n

)+x

n. (2.6)

14 (nk

)=

n!

k!(n− k)!.

9

Page 14: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

De estas ultimas ecuaciones, podemos simplificar la siguiente expresion

n∑k=0

(k

n− x)2(

n

k

)xk(1− x)n−k

=

n∑k=0

(k2

n2− 2x

k

n+ x2

)(n

k

)xk(1− x)n−k

=

n∑k=0

k2

n2

(n

k

)xk(1− x)n−k − 2x

n∑k=0

k

n

(n

k

)xk(1− x)n−k + x2

n∑k=0

(n

k

)xk(1− x)n−k

= x2(

1− 1

n

)+x

n− 2x · x+ x2 · 1

= x2 − x2

n+x

n− 2x2 + x2

= x1− xn

.

Luegon∑k=0

(k

n− x)2(

n

k

)xk(1− x)n−k = x

1− xn

para x ∈ [0, 1].Como f es continua en [0, 1] y este intervalo es compacto, f([0, 1]) es compacto

(A.3). Entonces existe un numero real M > 0 tal que

|f(x)| < M

para todo x ∈ [0, 1]. Sea ε > 0. Como f es continua en [0, 1], es uniformementecontinua allı y existe δ > 0 tal que si |x − y| < δ entonces |f(x) − f(y)| < ε/2 paratodo x, y ∈ [0, 1]. Fijado x en [0, 1]. Ahora observamos, por (6.4) y la definicion depolinomios de Bernstein

|f(x)−Bn(f)(x)| =

∣∣∣∣∣f(x)

n∑k=0

(n

k

)xk(1− x)n−k −

n∑k=0

f

(k

n

)(n

k

)xk(1− x)n−k

∣∣∣∣∣=

∣∣∣∣∣n∑k=0

(f(x)− f

(k

n

))(n

k

)xk(1− x)n−k

∣∣∣∣∣≤

n∑k=0

∣∣∣∣f(x)− f(k

n

)∣∣∣∣ (nk)xk(1− x)n−k.

Cuando∣∣x− k

n

∣∣ < δ tenemos∣∣∣∣f(x)− f(k

n

)∣∣∣∣ < ε

2.

Ahora, si∣∣x− k

n

∣∣ ≥ δ, entonces (x− k

n

)2

≥ δ2

(x− k

n

)2δ2

≥ 1

10

Page 15: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

y ası ∣∣∣∣f(x)− f(k

n

)∣∣∣∣ ≤ 2M ≤ 2M

(x− k

n

)2δ2

.

Podemos, por lo tanto, continuar la anterior expresion de manera que

|f(x)−Bn(f)(x)| ≤n∑k=0

2+ 2M

(x− k

n

)2δ2

)(n

k

)xk(1− x)n−k

2+

2M

δ2

n∑k=0

(x− k

n

)2(n

k

)xk(1− x)n−k

2+

2M

δ2x(1− x)

n

2+

2M

δ2n

porque x(1 − x) < 1. Ahora podemos elegir n ∈ N suficientemente grande tal quen ≥ 4M

δ2ε . Finalmente

|f(x)−Bn(f)(x)| < ε

2+ε

2= ε

como querıamos probar. �

2.3. ¿Se pueden debilitar las hipotesis?

Realizaremos algunas observaciones respecto de las condiciones necesarias sobreel dominio de las funciones continuas, primero analizando que podrıa pasar si nopedimos que el intervalo dado sea cerrado, y luego si el mismo no es acotado. Para elloexhibiremos dos funciones continuas que no pueden ser uniformemente aproximadasen cada caso (por polinomios).

Veamos primero la condicion de que el intervalo dado sea cerrado, es obligatoria-mente necesaria. Supongamos, sin perdida de generalidad, que el intervalo dado es dela forma (a, b], y definamos la funcion ϕ : (a, b]→ R, ϕ(t) = (t−a)−1. De esta maneraϕ es continua en el (a, b], y

lımt→a+

ϕ(t) =∞.

Por lo tanto, considerando que todo polinomio p(t) tiene continuidad en a, tendremosque

||ϕ(t)− p(t)||∞ = supt∈(a,b]

|ϕ(t)− p(t)| =∞.

(De hecho deberıamos decir que, dado que el conjunto A = {|ϕ(t) − p(t)|, t ∈ (a, b]}no esta acotado superiormente, no existe el supremo del mismo).

Ahora bien, supongamos que el dominio no es un intervalo de longitud finita.Nuevamente, sin perdida de generalidad, suponemos que el mismo es de la forma[a,∞), y definimos ψ : [a,∞) → R, ψ(t) = e|t|. De esta manera, tenemos que, paratodo polinomio p(t),

||ψ(t)− p(t)||∞ = supt∈[a,∞)

|ψ(t)− p(t)| =∞,

por resultados de calculo basico. (Cabe la misma aclaracion de que el supremo no esinfinito, si no que el conjunto dado no es acotado superiormente).

11

Page 16: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

3. Formas practicas de emplear esta teorıa

Mas alla de la exposicion que se brinda sobre los resultados de este y otros teoremasen el ambito de la teorıa de aproximacion, existen muchas formas de ver aplicacionesde las mismas. De hecho, hay toda una rama de la matematica que se encarga de ello.A modo de presentacion, se intentara reflejar lo mas posible esta idea.

3.1. Una idea economica

Problemas en los cuales se ven involucrados valores maximos y mınimos (pero noambos) surgen de manera natural en el ambito de la teorıa economica. Supongamosque el valor ν de un objeto de venta (e.g., una reserva de petroleo) se correlaciona conuna variable observable s (por ejemplo, los resultados en una perforacion muestra).Sea f(s/ν) la densidad de s, para un ν dado. Supongamos que un comprador, perono el vendedor, conoce ν ¿Puede un vendedor promedio cobrar al comprador su valorν? Esto se reduce a resolver la ecuacion

ν =

∫S

z(s)f(s/ν)ds,

donde z(s) es el precio de carga cuando surge la s resultante. Asumamos que s quedaplasmado sobre un espacio metrico compacto S.

Si el vendedor ofrece al comprador un conjunto de funciones precio {z1, . . . zn},y deja que el comprador elija la que mas le gusta (i.e., la que minimiza el precioesperado), el vendedor observara que, en promedio

p(ν) = mın1≤i≤n

∫S

zi(s)f(s/ν)ds.

Esto requiere que p(ν) no sea mayor que el valor ν del comprador; de esta manerapodra estar dispuesto a participar bajo este esquema.

R =

{∫z(s)f(s/·)ds : z ∈ C(S)

}entonces el vendedor puede cobrar, con precision, al valor del comprador cuando laidentidad esta en R. Obviamente, el vendedor puede estar arbitrariamente cerca siRm = C[0, ν], donde el valor cae en [0, ν]. Debemos notar que 1 ∈ R15 ya que f(·/ν)es una densidad.

Ejemplo 3.1. Supongamos que una variable aleatoria s tiene una funcion distribucionacumulativa sν con s ∈ [0, 1]. A un agente economico que conoce ν se le ofrece unalista de pagos {zi}. Este agente escoge el precio con el menor valor esperado

p(ν) = mın1≤i≤n

∫ 1

0

zi(s)νsν−1ds.

¿Es el conjunto de tales cargos denso en C[0, 1]? Esto es, si el valor del agente deun objeto de venta es π(ν), ¿hay una lista {zi(s)} que aproxima los cargos al valordel agente?

La respuesta es sı. Consideremos

A =

{f : f(ν) =

∫ 1

0

z(s)νsν−1ds, z ∈ C([0, 1])

}.

15Con 1 nos referimos a la funcion identicamente igual a 1.

12

Page 17: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

Notemos que A contiene a 1 (usando z = 1), f(ν) = ν/(ν + 1) (para z(s) = s), yg(ν) = ν/(ν + 2) (para z(s) = s2). Como se vera mas adelante, f y g cumplen lascondiciones de (4.3) por lo que Am = C[0, 1].

3.2. Usando la aproximacion para ejercitar la mente

Veamos que ademas de las demostraciones, que incluyen de por sı mucho esfuerzomental, existen diversas formas de enfocar un estudio breve sobre estas teorıas deaproximacion. La mayorıa de los libros de analisis matematico incluyen al menos unode estos puntos. No he de seguir plan exacto en esta parte, sin embargo creo utilincluirla.

Ejercicio 3.2. Sea f continua en el intervalo [0, 1] con la propiedad de que∫ 1

0

f(x)xndx = 0 ∀n ∈ N,

probar que f(x) = 0 en [0, 1]

Probaremos que∫ 1

0f2(x) dx = 0 (de esta manera, puesto que f2(x) ≥ 0, debera ser

f2(x) = 0 y por lo tanto f(x) = 0). Gracias al teorema de Weierstrass, sabemos queexiste una sucesion Pn de polinomios que aproxima uniformemente a f . Luego∫ 1

0

f2(x)dx =

∫ 1

0

f(x) · f(x)dx =

∫ 1

0

f(x)(

lımn→∞

Pn(x))dx.

La convergencia uniforme de Pn nos permite intercambiar el lımite con la integral,obteniendo∫ 1

0

f2(x)dx = lımn→∞

∫ 1

0

f(x)Pn(x)dx = lımn→∞

∫ 1

0

f(x)

(n∑i=0

aixi

)dx.

Finalmente, por la linealidad de la integral,∫ 1

0

f2(x)dx = lımn→∞

n∑i=0

ai

∫ 1

0

f(x)xidx = 0.

Ejercicio 3.3. Realizando una pequena modificacion al enunciado del ejercicio ante-rior, podemos obtener otro similar (y tal vez mas bello aun).

Sea f : [0, 1]→ R una funcion continua tal que∫ 1

0

f(x)enxdx = 0

para todo n natural. Probar que entonces f(x) = 0 para 0 ≤ x ≤ 1.Para probarlo, basta comprobar que la familia de funciones enx forma un algebra

que separa puntos y no se anula. De esta manera, vıa el teorema de Stone-Weierstrass,se puede repetir los pasos seguidos en el ejercicio anterior.

Ejercicio 3.4. Mostrar un ejemplo de una funcion continua f : (−1, 1)→ R que nopuede ser aproximada uniformemente por polinomios.

Vamos a afirmar que nuestra funcion

f(x) =1

x+ 1

13

Page 18: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

que es continua en el (−1, 1) no puede ser aproximada uniformemente por polinomios.Vamos a asumir que esto no es cierto. Sea entonces ε = 1 y por definicion, existe unpolinomio p(x) tal que

|f(x)− p(x)| ≤ 1

para todo x ∈ (−1, 1). Como p(x) esta acotado en (−1, 1), se sigue que existe unaconstante M > 0 tal que |p(x)| ≤M para todo x ∈ (−1, 1). Pero entonces

|f(x)| = |p(x) + f(x)− p(x)| ≤ |p(x)|+ |f(x)− p(x)| ≤M + 1

para todo x ∈ (−1, 1). Pero esto contradice el hecho de que f(x) es no acotada en(−1, 1).

El siguiente ejercicio establece una comparacion entre distintas aproximacionesmediante polinomios: la de Weierstrass y de Taylor (de hecho, da un contraejemplo depor que los polinomios de Taylor no son compatibles con el teorema de aproximacionde Weierstrass).

Ejercicio 3.5. Sea f definida por

f(x) =

{e−1/x

2

, si x 6= 00, si x = 0

.

Probar que los polinomios de Taylor de f alrededor de cero no convergen a f , exceptoen cero.

La funcion f(x) es infinitamente diferenciable en x = 0, y tiene todas sus deriva-das iguales a cero. En consecuencia, la serie de Taylor de f(x) alrededor de cero esidenticamente igual a cero. Sin embargo, f(x) no es la funcion cero, y por lo tanto noes igual a su serie de Taylor alrededor del origen.

Ejercicio 3.6. Sea P0 = 0, y definamos, para n = 1, 2, . . . ,

Pn+1(x) = Pn(x) +x2 − P 2

n(x)

2.

Probar quelımn→∞

Pn(x) = |x|,

uniformemente en [−1, 1].Al parecer, este es un caso en donde vemos quienes son los polinomios necesarios

para aproximar dicha funcion continua. El resultado se sigue de la identidad

|x| − Pn+1(x) = [|x| − Pn(x)]

[1− |x|+ Pn(x)

2

]para probar que 0 ≤ Pn(x) ≤ Pn+1(x) ≤ |x| si |x| ≤ 1 y que

|x| − Pn(x) ≤ |x|(

1− |x|2

)n≤ 2

n+ 1

si |x| ≤ 1. Haciendo n→∞ se sigue el resultado deseado.

Ejercicio 3.7. Sea f una funcion (al menos una vez) continuamente diferenciableen [a, b]. Probar que hay una sucesion de polinomios {Pn} tal que Pn(x) → f(x) yP ′n(x)→ f ′(x) uniformemente en [a, b].

14

Page 19: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

Por ser f (al menos una vez) continuablemente diferenciable, f ′ es una funcioncontinua. Por el teorema de Weierstrass, existe una sucesion de polinomios Qn(x) talque la aproxima uniformemente en [a, b]. Sea

Pn(x) = f(a) +

∫ x

a

Qn(t)dt.

Como Pn(a) = f(a) y P ′n(x) = Qn(x) se tiene que

f(x)− Pn(x) = (f(x)− f(a))− (Pn(x)− Pn(a))

=

∫ x

a

f ′(t)dt−∫ x

a

P ′n(t)dt

=

∫ x

a

(f ′(t)−Qn(t)) dt.

Si |f ′(t)−Qn(t)| < ε para todo t, entonces el valor absoluto de esta integral es, a losumo, (b− a)ε, que nos deduce el resultado deseado.

4. Generalizar y deducir

En la presente seccion se expondran dos cosas interesantes (que pueden advertirsefacilmente). Primero, como fue mencionado en el prologo, mostraremos los resultadosde Stone acerca de su generalizacion del teorema de Weierstrass, para lo cual usare-mos lo visto en 1.5. A continuacion, veremos como se puede obtener el teorema deWeierstrass como corolario directo de otros teoremas (no necesariamente mas genera-les) a partir de ideas que se iran desarrollando en el proceso. Para una lectura directa,omitiremos algunos resultados en un primer plano, pero haremos referencia a ellos,pues nuestro interes general recae en el gran teorema central.

4.1. La generalizacion de Stone

Antes de ver de manera directa el resultado que deseamos probar, es necesario ircombinando los conocimientos que ya hemos discutido.

Definicion 4.1. Si A es un algebra de funciones sobre un conjunto X, con la propie-dad de que cuando fn ∈ A para n natural y fn ⇒ f ,16 implican f ∈ A , decimos queA es uniformemente cerrado. Mas aun, si B es el conjunto de todas las funciones queson el lımite de sucesiones uniformemente convergentes de A , entonces B se llama laclausura uniforme de A .

Por ejemplo, el conjunto de todos los polinomios forman un algebra, y el teoremade Weierstrass nos dice que el conjunto de las funciones continuas sobre [a, b] es laclausura uniforme del conjunto de polinomios sobre [a, b]. En particular, si B es laclausura uniforme de un algebra A ,entonces B mismo es un algebra uniformementecerrada (este hecho se sigue de las propiedades de la convergencia uniforme parasucesiones en un algebra).

Daremos a continuacion la demostracion mas general. Como en muchos casos, estaparte sera mas bien tecnica, solo debemos seguir los pasos. Los resultados parcialesque van apareciendo pueden seguirse inmediatamente de la referencia indicada.

16Esta doble flecha la usaremos para denotar convergencia uniforme.

15

Page 20: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

Teorema 4.2 (Stone-Weierstrass). Sea A un algebra de funciones continuas en unconjunto compacto de Hausdorff K. Si A cumple 1.14 sobre K, entonces la clausurauniforme B de A consiste en todas las funciones reales continuas sobre K.17

Demostracion. La demostracion se divide en cuatro pasos. Primero probaremos quesi f ∈ B, entonces |f | ∈ B. Sea

a = supx∈K|f(x)|

y ε > 0 dado. Por A.5 existen numeros reales c1, . . . , cn tal que∣∣∣∣∣n∑i=1

ciyi − |y|

∣∣∣∣∣ < ε, −a ≤ y ≤ a. (4.1)

Como B es un algebra, la funcion

g =

n∑i=1

cifi

es un miembre de B. Luego, por (4.1) y por definicion de a, se tiene

|g(x)− |f(x)|| < ε, ∀x ∈ K.

Por ser B uniformemente cerrado, se sigue que |f | ∈ B.A continuacion veremos que si f ∈ B y g ∈ B, entonces max(f, g) ∈ B y

mın(f, g) ∈ B.18 Esto es claro si consideramos el resultado anterior y las identidades

max(f, g) =f + g

2+|f − g|

2,

mın(f, g) =f + g

2− |f − g|

2.

Claramente esto puede extenderse a cualquier conjunto finito de funciones, es decir,si f1, . . . , fn ∈ B entonces max(f1, . . . , fn) ∈ B y mın(f1, . . . , fn) ∈ B.

Como tercer paso probaremos lo siguiente. Dada una funcion real f , continua enK, un punto x en K y ε > 0, existe una funcion gx ∈ B tal que gx(x) = f(x) y

gx(t) > f(t)− ε, ∀t ∈ K. (4.2)

Como A ⊂ B y A satisface las hipotesis de A.6, tambien ası lo hace B. Por lo tanto,para cada y ∈ K, podemos encontrar una funcion hy ∈ B tal que

hy(x) = f(x), hy(y) = f(y). (4.3)

Por la continuidad de hy existe un conjunto abierto Jy, que contiene a y, tal que

hy(t) > f(t)− ε. (4.4)

17Dicho de otro modo, A es denso en C(K).18Por max(f, g) nos referimos a la funcion h definida como

h(x) =

{f(x), si f(x) ≥ g(x),g(x), si f(x) < g(x)

.

Una definicion similar se sigue para mın(f, g).

16

Page 21: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

Por ser K compacto, existe un conjunto finito de puntos y1, . . . , yn tales que

K ⊂n⋃i=1

Jyi . (4.5)

Llamemosgx = max(hy1 , . . . , hyn).

Por lo visto anteriormente, gx ∈ B y seguido de (4.3), (4.4) y (4.5) tenemos que gxsatisface (4.2).

Nuestro ultimo gran paso sera mostrar que, dada una funcion real f , continua enK, y un ε > 0, existe una funcion h ∈ B tal que

|h(x)− f(x)| < ε, ∀x ∈ K. (4.6)

Como B es uniformemente cerrado, esta ultima afirmacion es equivalente a la conclu-sion del teorema central. Para ver esto, consideremos la funcion gx, para cada x ∈ K,que construimos en el paso anterior. Por la continuidad de gx, existe un conjuntoabierto Vx que contiene a x, tal que

gx(t) < f(t) + ε ∀t ∈ Vx. (4.7)

Por ser K compacto, existe un conjunto finito de puntos x1, . . . , xm tal que

K ⊂m⋃i=1

Vxi . (4.8)

Seah = mın(gx1

, . . . , gxn). (4.9)

En nuestro segundo paso, vimos que h ∈ B y (4.2) implica que

h(t) > f(t)− ε ∀t ∈ K, (4.10)

mas aun, por (4.7), (4.8) y (4.9) se sigue que

h(t) < f(t) + ε ∀t ∈ K. (4.11)

Finalmente, (4.6) resulta de (4.10) y (4.11). �

Corolario 4.3. Supongamos que A es un subespacio lineal de C[a, b] que contiene lafuncion 1 y dos funciones f y g que satisfacen

f es estrictamente creciente,

g(x)−g(y)f(x)−f(y) es estrictamente creciente en x 6= y, para todo y.

Entonces Am = C[a, b].

4.2. Nuestro tema central como corolario

En este punto, vamos a mostrar como las herramientas vistas anteriormente, juntocon algunas ideas nuevas, permiten obtener nuestro teorema central como resultadodirecto de otros mas generales. Existen diversas formas de obtener el teorema deWeierstrass como corolario de otros desarrollos;19 nosotros aquı presentamos uno deellos.

19Por ejemplo, vease corolario 1.11 [3].

17

Page 22: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

4.2.1. Un poco de Fourier

Consideremos las sumas parciales de la serie de Fourier como

Snf(x) =

n∑k=−n

ckeikx

donde ck = 12π

∫ π−π f(t)e−iktdt son los coeficientes de Fourier. Ahora podemos escribir

Snf(x) =

n∑k=−n

1

∫ π

−πf(y)e−ikydyeikx

=1

∫ π

−πf(y)Dn(x− y)dy donde Dn(t) =

n∑k=−n

eikt.

A Dn se le llama nucleo de Dirichlet.

Definicion 4.4. Dadas dos funciones integrables f y g, definimos su convolucion hde la siguiente manera

h(x) = (f ∗ g)(x) =

∫f(y)g(x− y)dy.

Gracias a que la convolucion es conmutativa (A.7), podemos decir que

Snf(x) = f ∗Dn(x) = Dn ∗ f(x)

y resolviendo la serie para Dn, obtenemos que

Dn(t) =sen(n+ 1

2 )t

sen( t2 )(A.8)

y ademas la propiedad de que

1

∫ π

−πDn(t)dt = 1.

4.2.2. El teorema de Fejer

Lo que venimos desarrollando hasta ahora tiene una explicacion. Nos gustarıa mos-trar que toda funcion continua puede ser aproximada por polinomios trigonometricosde manera uniforme en el intervalo [−π, π]. En un arrebato de audacia, uno podrıapensar que las sumas parciales Snf de la serie de Fourier son un buen candidatopara ello. Desafortunadamente hay funciones continuas para las que su suma parcialSnf(x) no converge a f(x).20

Por lo tanto, en lugar de Snf vamos a considerar un metodo mas factible, llamadosumabilidad de Cesaro, que consiste en tomar el lımite de la media aritmetica de lassumas parciales. Definamos

σNf(x) =1

N + 1

N∑n=0

Snf(x)

20No mostraremos un contraejemplo de este hecho, pues se tratan de funciones muy complejas.

18

Page 23: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

Si usamos la convolucion, inmediatamente se sigue que

σNf(x) = KN ∗ f(x) =1

∫ π

−πKN (x− y)f(y)dy

=1

∫ π

−πKN (t)f(x− t)dt

donde KN (llamado nucleo de Fejer) es

KN (t) =1

N + 1

N∑n=0

Dn(t).

Es hora de probar el teorema, haciendo uso de (A.9) para las propiedades de KN .

Teorema 4.5 (Fejer). Sea f una funcion continua 2π-periodica. Entonces la mediaσNf converge uniformemente a f en la norma uniforme. Es decir

maxx∈R|σNf(x)− f(x)| → 0, cuando N →∞.

Demostracion. Dado ε > 0 queremos ver que existe M = M(ε) tal que, para N ≥Mse tiene

|σNf(x)− f(x)| < ε,

para todo x. Ahora vamos a escribir

σNf(x)− f(x) =1

∫ π

−πKN (t)f(x− t)dt− f(x)

=1

∫ π

−πKN (t)[f(x− t)− f(x)]dt, (4.12)

donde (4.12) utiliza la propiedad 3 de KN .Por ser f continua en [−π, π] es uniformemente continua allı. Como f es 2π-

periodica, f es uniformemente continua en R. Esto significa que existe un δ > 0 talque

|f(x− t)− f(x)| < ε

4para |t| ≤ δ y para todo x ∈ R.

Dividamos la integral en dos partes

1

∫ π

−πKN (t)[f(x− t)− f(x)]dt = IN (x) + IIN (x)

donde

IN (x) =1

∫ δ

−δKN (t)[f(x− t)− f(x)]dt,

IIN (x) =1

∫[−π,π]\[−δ,δ]

KN (t)[f(x− t)− f(x)]dt.

Vamos a hacer una estimacion para IN que sirva para todo N . Haremos

|IN (x)| ≤ 1

∫ δ

−δ|KN (t)| |[f(x− t)− f(x)]|dt

≤ 1

∫ δ

−δ|KN (t)| ε

4dt

≤ 1

∫ δ

−δKN (t)dt

ε

4=ε

4

19

Page 24: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

usando las propiedades de KN . Como este resultado se sigue para todo N , podemoselegir N suficientemente grande para estimar el segundo termino IIN (x).

Ahora usamos la ultima propiedad de KN y de esta manera poder estimar laintegral en x ∈ [−π,−δ] ∪ [δ, π]. Haremos uso de la cota

|f(x− t)− f(x)| ≤ |f(x− t)|+ |f(x)| ≤ 2M,

siendoM = max

x∈[−π,π]\[−δ,δ]{|f(x)|}.

Luego, resulta

|IIN (x)| ≤ 2M1

∫[−π,π]\[−δ,δ]

1

N + 1

(2

1− cos(δ)

)dt

≤ 1

N + 1

(4M

1− cos(δ)

).

Ahora bien, como 1N+1 → 0 cuando N →∞, podemos elegir N0 tal que para N ≥ N0

la cantidad1

N + 1

(4M

1− cos(δ)

)se haga menor que ε/4. Esto nos dice que para N ≥ N0 ambas cantidades, |IN (x)| y|IIN (x)| son menores que ε/4 para todo x. Finalmente

maxx∈R|σNf(x)− f(x)| < ε

2para N ≥ N0. �

Ahora bien, ¿que hacemos con todo esto? Como dijimos, queremos mostrar que elteorema de Weierstrass se puede obtener de los resultados mencionados.

Corolario 4.6 (Teorema de aproximacion de Weierstrass). Sea f continua enun intervalo [a, b]. Entonces f puede ser aproximada uniformemente por polinomiosen [a, b].

Demostracion. Claramente, lo que deseamos probar es que, dado ε > 0 existe unpolinomio P (que solo depende de ε) tal que

maxx∈[a,b]

|f(x)− P (x)| < ε.

Consideremos el caso en que [a, b] = [−π2 ,π2 ]. Ahora vamos a extender la funcion

f a una funcion continua F en [−π, π] tal que F (x) = f(x) en [−π2 ,π2 ] y F (−π) =

F (π) = 0. Entonces podemos extender F a una funcion continua 2π-periodica en todoR.

Dado ε > 0, por el teorema de Fejer podemos encontrar un polinomio trigonometri-co

T (x) = a0 +

N∑k=1

[ak cos(kx) + bk sen(kx)]

de manera que

maxx∈R|F (x)− T (x)| < ε

2.

Mas aun, la serie de Taylor para coseno y seno convergen uniformemente en todointervalo compacto. Entonces podemos encontrar un polinomio P tal que

max|x|≤π/2

|T (x)− P (x)| < ε

2.

20

Page 25: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

Combinando las dos ultimas ideas, junto con el hecho de que f = F en [−π2 ,π2 ], resulta

max|x|≤π/2

|f(x)− P (x)| = max|x|≤π/2

|F (x)− P (x)| < ε. �

21

Page 26: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,
Page 27: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

A. Resultados necesarios

Teorema A.1 (Heine). Sea f : S → T una funcion definida entre dos espaciosmetricos (S, dS) y (T, dT ). Sea A un subconjunto compacto21 de S y supongamos quef es continua en A. Entonces f es uniformemente continua en A.

Demostracion. Dado ε > 0, a cada punto a ∈ A se le puede asociar una bola BS(a; r)centrada en a y de radio r en el espacio S, con r dependiendo de a, tal que

dT (f(x), f(a)) <ε

2siempre que x ∈ BS(a; r) ∩A.

Consideremos la coleccion de las bolas BS(a; r/2) de radio r/2. Recubren a A y, comoA es compacto, basta un numero finito de ellas para recubrir a A, es decir

A ⊆m⋃k=1

BS

(ak;

rk2

).

En cualquiera de las bolas de doble radio, BS(ak, rk) se tiene

dT (f(x), f(a)) <ε

2siempre que x ∈ BS(ak; rk) ∩A.

Sea δ el menor de los numeros r1/2, . . . , rm/2. Probaremos que este δ satisface ladefinicion de continuidad uniforme.

En efecto, consideremos dos puntos de A, por ejemplo x y p, con dS(x, p) < δ. Envirtud de la anterior discusion existira una bola BS(ak; rk/2) que contenga a x, luego

dT (f(x), f(a)) <ε

2.

Por la desigualdad triangular tenemos que

dS(p, ak) ≤ dS(p, x) + dS(x, ak) < δ +rk2≤ rk

2+rk2

= rk.

Por lo tanto, p ∈ BS(ak; rk) ∩ S, entonces tenemos tambien que

dT (f(p), f(ak)) <ε

2.

Finalmente

dT (f(x), f(p)) ≤ dT (f(x), f(ak)) + dT (f(ak), f(p)) <ε

2+ε

2= ε. �

Lema A.2. Sea f : S → T una funcion de un espacio metrico (S, dS) en otro(T, dT ). Entonces f es continua en S si, y solo si, para cada conjunto abierto Y deT , la antiimagen f−1(Y ) es abierta en S.

Teorema A.3. Sea f : S → T una funcion de un espacio metrico (S, dS) en otro(T, dT ). Si f es continua en un subconjunto compacto X de S, entonces la imagenf(X) es un subconjunto compacto de T .

Demostracion. Sea F una familia de conjuntos A que es un cubrimiento por abiertosde f(X), es decir f(X) ⊆

⋃A∈F A. Como f es continua sobre el subespacio metrico

(X, dS) podemos aplicar el lema anterior para concluir que cada uno de los conjuntos

21En el sentido de (B.1)

23

Page 28: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

f−1(A) es abierto en (X, dS). Los conjuntos f−1(A) forman un cubrimiento abiertode X y, como X es compacto, podemos extraer un subcubrimiento finito de X; seaentonces

X ⊆ f−1(A1) ∪ · · · ∪ f−1(Ap).

Entonces aplicando f a ambos miembros

f(X) ⊆ f [f−1(A1) ∪ · · · ∪ f−1(Ap)] = f [f−1(A1)] ∪ · · · ∪ f [f−1(Ap)] ⊆ A1 ∪ · · · ∪Ap

luego f(X) es compacto. �

Teorema A.4. Sea B la clausura uniforme de un algebra A de funciones acotadas.Entonces B es un algebra uniformemente cerrado.

Demostracion. Si f ∈ B y g ∈ B existen sucesiones uniformemente convergentesfn, gn tales que fn ⇒ f , gn ⇒ g y fn ∈ A , gn ∈ A . Como estamos trabajando confunciones acotadas, es facil ver que

fn + gn ⇒ f + g, fngn ⇒ fg, cfn ⇒ cf,

donde c es una constante real. Por lo tanto, f + g ∈ B, fg ∈ B y cf ∈ B. Luego, Bes un algebra uniformemente cerrado �

Corolario A.5. Para cada intervalo [−a, a] existe una sucesion de polinomios realesPn tal que Pn(0) = 0 y tal que

lımn→∞

Pn(x) = |x|

uniformemente en [−a, a].

Demostracion. Por el teorema de Weierstrass, existe una sucesion {P ∗n} de polinomios

reales que convergen a |x| uniformemente en [−a, a]. En particular, P ∗n(0)n→∞→ 0. Los

polinomiosPn(x) = P ∗n(x)− P ∗n(0) n ∈ N

tienen la propiedad requerida. �

Teorema A.6. Supongamos que A es un algebra de funciones en un conjunto X quecumple 1.14. Supongamos tambien que x1, x2 son puntos distintos de X y c1, c2 sondos constantes reales. Entonces A contiene una funcion f tal que

f(x1) = c1, f(x2) = c2.

Demostracion. Nuestras suposiciones muestran que A tiene funciones g, h y k talesque

g(x1) 6= g(x2), h(x1) 6= 0, k(x2) 6= 0.

Hagamosu = gk − g(x1)k, v = gh− g(x2)h.

Entonces u ∈ A , v ∈ A , u(x1) = v(x2) = 0, u(x2) 6= 0 y v(x1) 6= 0. Luego la f quebuscamos es

f =c1v

v(x1)+

c2u

u(x2). �

Propiedad A.7. La convolucion de funciones f y g ambas 2π-periodicas es conmu-tativa.

24

Page 29: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

Demostracion. Para ver esto, primero notemos que para una funcion integrable 2π-periodica tenemos ∫ π

−πF (t)dt =

∫ a+π

a−πF (t)dt

para todo a. La conmutatividad se sigue de la definicion de f ∗ g con el cambio devariables t = x− y (con dt = −dy) obteniendo

2πf ∗ g(x) =

∫ π

−πf(y)g(x− y)dy =

∫ x−π

x+π

f(x− t)g(t)(−1)dt

=

∫ x+π

x−πf(x− t)g(t)dt =

∫ π

−πg(t)f(x− t)dt = 2πg ∗ f(x)

donde el ultimo paso utiliza el hecho de que las funciones son 2π-periodicas. �

Propiedad A.8.

Dn(t) =sin(n+ 1

2 )t

sin( t2 ).

Demostracion. Considerando que

n∑k=0

eikt =ei(n+1)t − 1

eit − 1,

tenemos que,−1∑

k=−n

eikt =

n∑k=1

e−ikt =e−i(n+1)t − 1

e−it − 1− 1,

donde la segunda suma se puede simplicar a

e−int − 1

1− eit.

Entonces

Dn(t) =ei(n+1)t − e−int

eit − 1.

Multiplicando numerador y denominador por e−it/2 tenemos

Dn(t) =ei(n+1/2)t − e−i(n+1/2)t

eit/2 − e−it/2,

que es el resultado deseado. �

Lema A.9. El nucleo de Fejer cumple las siguientes propiedades

1. Para [−π, π] se tiene

KN (x) =1

N + 1

1− cos(N + 1)x

1− cos(x)

=1

N + 1

(sen(N+12

)x

sen(x2

) )2

si x no es un entero multiplo de 2π. Y KN (0) = N + 1.

25

Page 30: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

2. KN (x) ≥ 0 para todo x ≥ 0.

3.1

∫ π

−πKN (t)dt = 1.

4.

KN (x) ≤ 1

N + 1

(2

1− cos(δ)

)para 0 < δ ≤ x ≤ π.

Demostracion. Escribiendo nuevamente el nucleo de Dirichlet

Dn(x) =sen(n+ 1

2 )x

sen(x2 )=

sen(x2 ) sen(n+ 12 )x

sen2(x2 ).

Observando que 2 sen(a) sen(b) = cos(a − b) − cos(a + b) y aplicando esto con a =(n+ 1/2)x, b = x/2 se tiene

Dn(x) =cos(nx)− cos(n+ 1)x

2 sen2(x2 ).

Entonces

KN (x) =1

N + 1

N∑n=0

Dn(x)

=1

N + 1

N∑n=0

cos(nx)− cos(n+ 1)x

2 sen2(x2 )

=1

N + 1

(1− cos(N + 1)x

2 sen2(x2 )

)Ahora usamos el hecho de que cos(2a) = cos2(a)− sen2(a) = 1− 2 sen2(a), por lo que2 sen2(a) = 1 − cos(2a). Si usamos esto para a = x

2 obtenemos la primera formulapara KN (x), y si lo usamos con a = (N + 1)x2 obtenemos la segunda formula.

Las propiedades 2 y 4 se siguen inmediatamente de dichas formulas.La propiedad 3 se sigue de 1

∫ π−πDn(t)dt = 1. �

B. Definiciones equivalentes

Definicion B.1. Sea X un espacio metrico. Diremos que la familia {Ai} es un cu-brimiento por abiertos de X si cada Ai es un conjunto abierto, y si

X ⊆⋃i∈N

Ai.

Un espacio metrico se llama compacto si, para toda familia {Ai} que forme un cu-brimiento por abiertos de X, existe un subcubrimiento finito de {Ai} que tambienrecubre a X. Es decir existe un conjunto finito de ındices tal que

X ⊆n⋃i=1

Ai.

26

Page 31: El teorema de Weierstrass y la teor a de aproximaci oncasanchi.com/mat/weierstrass01.pdf · El teorema del valor intermedio nos asegura que, examinando las diferencias de temperaturas,

Definicion B.2. Sean (X, dX) e (Y, dY ) espacios metricos y sea f : X → Y unafuncion de X en Y . Entonces f es continua en un punto p de X si para cada ε > 0existe un δ > 0 tal que

dY (f(x), f(p)) < ε siempre que dX(x, p) < δ.

Esta definicion puede expresarse en terminos de entornos: una funcion f es continuaen p si, y solo si, para cada ε > 0, existe un δ > 0 tal que

f(Np(δ)) ⊆ Nf(p)(ε).

Referencias

[1] Tom M Apostol. Mathematical analysis. Addison Wesley Publishing Company,1974.

[2] John William Scott Cassels. An introduction to Diophantine approximation,volume 1957. University Press Cambridge, 1957.

[3] Javier Duoandikoetxea. Fourier analysis, volume 29. American mathematicalsociety, 2000.

[4] Willliam Feller. An introduction to probability theory and its applications, volu-me 2. John Wiley & Sons, 2008.

[5] LaRita Barnwell Hipp. The Weierstrass Approximation Theorem. PhD thesis,University of South Carolina, 2013.

[6] Ricardo Noriega. Calculo diferencial e integral. Editorial Docencia, BS AS, 1991.

[7] Walter Rudin. Principles of mathematical analysis, volume 3. McGraw-Hill NewYork, 1964.

[8] Eugene Schenkman. The weierstrass approximation theorem. American Mathe-matical Monthly, pages 65–66, 1972.

[9] Marshall H Stone. Applications of the theory of boolean rings to general topology.Transactions of the American Mathematical Society, 41(3):375–481, 1937.

[10] Marshall H Stone. The generalized weierstrass approximation theorem. Mathe-matics Magazine, 21(5):237–254, 1948.

[11] Karl Weierstrass. Uber die analytische darstellbarkeit sogenannter willkurlicherfunctionen einer reellen veranderlichen. Sitzungsberichte der Koniglich Preußis-chen Akademie der Wissenschaften zu Berlin, 2:633–639, 1885.

27