Anlisis Matemtico II

Unidad 1 Actividad 3

EL TEOREMA DE WEIERSTRASS
14 de febrero de 2015
Autor: Laura Pontn Becerril

Anlisis Matemtico II
Unidad 1 Actividad 3
Presentacin
ARGUMENTOS EN LOS QUE SE BASA LA DEMOSTRACIN DEL TEOREMA DE
APROXIMACIN DE WEIERSTRASS
Al revisar las dos demostraciones observamos que ambas son constructivas y se fundamentan en los
polinomios de Bernstein o teorema de Bernstein. Para mayor abundamiento supongamos una funcin

: [0,1] que podra no ser analtica o derivable en ningn punto pero conocemos () y
= 0,1,2, , para aproximar f(x) con [0,1], utilizamos entonces a la siguiente estrategia
aleatoria: lanzamos n veces una moneda cargada con probabilidad x de que salga cara y contamos las veces

que sali cara, si cae cara k veces, entonces se elige () () y la esperanza de esta estrategia es un
polinomio en x conocido como polinomio de Bernstein.
De lo anterior es claro que siendo una estrategia probabilstica, el polinomio tiene como dominio el
intervalo [0, 1] (al igual que la funcin a aproximar) , adems se trata de una distribucin binomial por lo
cual dicho polinomio lo presentamos como:

(, ) = ( ) ( ) (1 )

=0

Las dos demostraciones del teorema de Weierstrass se construyen a partir de estos polinomios, pues si
estos aproximan una funcin, significa que dado un nmero real > 0 y una funcin continua : [0,1]
existe un polinomio : [0,1] |() () < ; [0,1]
Este es precisamente el enunciado del teorema y aunque el dominio de la funcin es [0,1], puede
extenderse mediante una apropiada traslacin.

Anlisis Matemtico II | 14/02/2015

IMPORTANCIA DEL TEOREMA

El teorema de aproximacin de Weierstrass es muy til dado que nos asegura que es posible aproximar
funciones que incluso no son derivables en ningn punto, funciones en las cuales no se puede obtener una
aproximacin mediante algunos mtodos numricos o con los polinomios de Taylor ya que exigen adems
de que la funcin sea continua que sea derivable.
Por otro lado, la forma constructiva de las demostraciones que se presentan en el plan desarrollado y en el
documento para la presente actividad, nos permiten obtener funciones polinmicas que se aproximen con
mucha precisin a la funcin original pues dicho teorema parte del hecho de que los polinomios de
Bernstein convergen uniformemente a la funcin y es as como este teorema y los polinomios de Bernstein
son una tcnica matemtica fuerte en la teora de aproximacin y en el anlisis matemtico.
En este punto valdra la pena contraponer las caractersticas de ambas demostraciones que se fundamentan
en los polinomios de Bernstein pues tales demostraciones se construyen con estos y son estos mismos la
herramienta para obtener aproximaciones a funciones reales continuas en un intervalo cerrado y acotado
sean o no derivables en algn punto.

El teorema de Weierstrass se enfoca sobre los mximos y mnimos de una funcin, siendo un muy
importante teorema desarrollado por Karl Weierstrass , matemtico alemn quien es considerado el padre
del anlisis moderno.
CUADRO COMPARATIVO ENTRE EL PLAN DESARROLLADO Y EL DOCUMENTO EN
CUESTIN
T.A.W

Tipo
de Sus fundamentos
demostracin

Estrategia

Conclusin
de
demostracin

la

El
teorema
de
aproximacin
de
Bernstein,
Polinomios
de
Bernstein,
Funciones
continuas, Inversa
de una funcin,
Convergencia
uniforme.

Parte del teorema

de aproximacin
de Bernstein el
cual aproxima un
polinomio a una
funcin definida
en [0,1] utilizando
una
funcin
biyectiva
g:[0,1][a,b] y su
inversa a fin de
extender
la
aproximacin de
Bernstein a un
intervalo
cualquiera [a,b]

Siguiendo la estrategia se
llega a que la diferencia
entre la funcin f(x) y un
polinomio de Bernstein
que depende de un real
>0, es menor que este
nmero para toda x en [a,
b] y de aqu se sigue el
corolario
donde
una
sucesin de polinomios
de Bernstein construidos
de la forma que indica la
demostracin, converge
uniformemente a f en [a,
b].

Documento
Constructiva
asignado a la
actividad

Construccin de los
polinomios
de
Bernstein,
Toda
funcin continua en
un intervalo cerrado
y
acotado
es
acotada,
Toda
funcin continua en
un intervalo cerrado
y
acotado
es
uniformemente
continua.

Se
parte
del
hecho de que una
funcin continua
en un intervalo
cerrado y acotado
es acotada y
uniformemente
continua,
luego
se
usa
el
polinomio
de
Bernstein como
identidad
para
poner en trminos
de
dicho
polinomio
la
diferencia entre la
funcin f y el
polinomio
de
Bn(f,x) y de apartir
de aqu se usan
las
dos
propiedades de
las
funciones
continuas
mencionadas
arriba.

Siguiendo la estrategia
especificada, se llega a
que la diferencia entre la
funcin f y Bn(f,x) es
menor que 2 para algn
real > 0 que adems se
encuentra en trminos de
M (cota de la funcin), n
(grado del polinomio) y de
(de la definicin de
continuidad uniforme)

Anlisis Matemtico II | 14/02/2015

Demostracin Constructiva
del
Plan
desarrollado

CONCLUSIONES
Revisando el los temas de la antologa de la materia y la demostracin del teorema de aproximacin de
Weierstrass hecha por S. Bernstein, este ltimo demuestra lo mismo slo que la funcin en principio est
definida en el intervalo [0, 1] y a esta forma se le conoce como el teorema de aproximacin de Bernstein el
cual parte, como se ve en el cuadro comparativo, de la definicin y la construccin de los polinomios de
Bernstein de manera directa, pues aunque dichos polinomios estn definidos en principio en [0, 1], se
puede llevar un intervalo [a, b] al intervalo [0, 1] mediante alguna traslacin y de este modo podra
generalizarse la demostracin.
Pero al comparar la informacin de ambas fuentes, nos damos cuenta de que efectivamente el teorema de
aproximacin de Weierstrass es una generalizacin del de Bernstein pues siguiendo a este ltimo, si el
polinomio lo definimos en principio en [a, b] sera de la forma:
(, ) =

1
( )
( +

) ( ) ( ) ( )
( )

=0

El cual, por el corolario descrito en el material desarrollado, converge uniformemente a f en [a, b] y

quedara demostrado el teorema.
Ahora bien, de esta comparacin, vemos que lo que se hace en la demostracin del teorema de
Weierstrass, tambin en el material desarrollado, es decir, D1 en el cuadro comparativo, es un cambio de
variable que especficamente se hace mediante la funcin biyectiva : [0,1] [, ] tal que () =
(1 ) + y aplicando se construye el polinomio de Bernstein ( , ) de modo que la
funcin ( , )(1 ()) es un polinomio y cumple:

[, ]
Y como vemos la conclusin es la misma en ambos casos pues el teorema de aproximacin de Weierstrass
generaliza el de Bernstein.

Teorema de Weierstrass

Anlisis Matemtico II | 14/02/2015

Sea una funcin f(x) continua y definida en un intervalo cerrado [a, b], entonces la funcin
alcanzar un mximo y un mnimo en algn valor perteneciente al intervalo.

Donde los mximos y mnimos son absolutos, y cabe mencionar que el teorema no hace referencia al lugar
donde se encuentran los valores extremos absolutos, sino que slo indica que estos existen dentro del
intervalo.
Siendo ste teorema la base fundamental para el desarrollo del anlisis matemtico para crear una forma
ms simple en la aproximaciones de funciones., donde la utilizacin de los polinomios es la herramienta
primordial.
Posteriormente a que Weierstras introdujo dicho teorema otros muchos matemticos han desarrollo
mtodos similares para usarlos en otros campos de los nmeros. Parte de la idea de este ensayo es analizar
y comparar los teoremas desarrollados por Weierstrass, Berstein y Stone.

Comentado [LAPB1]: Aqu termina la adicin de contenido con respecto a

la versin anterior del archivo

Ar gumento vlido para la solucin de los teoremas propuestos:

Teorema de Weierstrass:
Sea : [, ] .

Comentado [LAPB2]: una funcin continua

Donde [() | [, ] ], est acotada.

los puntos 1 2 | 1 = . ( ([, ]) ) 2 = . ( ([, ]) ).
Nota
.

Comentado [LAPB3]: si el intervalo no es cerrado y acotado no se cumple

necesariamente

Demostracin
Sea = { () | [, ] }
1 [, ] | = (1 ).

{ } [a,b] | ( ) .
, { } ,
{ } 1
= 1 ,
,
( ) = (1 ).
( ) , , .
, ( ) , | = (1).

Comentado [LAPB4]: Para la cota superior

Nota:

Comentado [LAPB5]: Se razona anlogamente para la cota inferior.

El teorema de Weierstrass nos dice que dada una distancia fija, dentro de tal intervalo o vecindad se
encuentra al menos uno de los elementos que buscamos.
Lo cual significa, que la funcin creada por los nmeros reales se encontrara entre la distancia de nuestro
psilon y el polinomio creado por nmeros enteros.

Dado > 0, () y un polinomio | |() ()| <

En contraposicin Berstein se propone realizar una demostracin ms simple del Teorema de

Weierstrass, dicha demostracin llego a ser conocida como el Polinomio de Berstein, donde propone
otras condiciones tomando una vecindad en el intervalo 0 al 1 de la funcin continua.
Si () es una funcin continua cualquiera en el intervalo 0, 1, no
importa lo pequeo que sea , determinar un polinomio: () =
+ + + de grado n lo suficientemente alto, tal
que sea:

Anlisis Matemtico II | 14/02/2015

Esto nos dice que las funciones polinomiales son densas en el conjunto de funciones continuas definidas en el
intervalo cerrado.

Comentado [LAPB6]: Teorema de Weierstrass (Apuntes Unadm)

|() ()| <

En todos los puntos considerados del intervalo

Berstein
El intervalo no slo es cerrado y acotado sino que deber ser uniformemente continuo e independiente
de que tan pequeo sea ste, pero an as no se garantizaba la densidad de un polinomio en un espacio
mtrico cualquiera.

Conocemos otro mtodo de demostracin an ms general desarrollado por Marshall H. Stone mejor
conocido como el teorema Stone-Weierstrass.
Teorema Stone Weierstrass

Anlisis Matemtico II | 14/02/2015

Sea X espacio mtrico, , conjunto compacto y (, ) el espacio de las

funciones reales continuas definidas en A. Si existe B sublgebra de (, ) que
contiene a las funciones constantes y separa puntos, es decir ,
| () (), B es denso en (, ).

Donde (, ) es el espacio de las funciones continuas en un intervalo cerrado para A compacto en un

espacio mtrico cualquiera. Esto ayuda a establecer con precisin las condiciones necesarias para
garantizar la densidad de los polinomios. Este teorema si nos garantiza que en un espacio mtrico
cualquiera encontraremos un polinomio que se aproxime a nuestra funcin real continua.

Utilidad del teorema para la aproximacin de funciones:

Dentro del anlisis matemtico la utilidad de las aproximaciones por el teorema de Weierstrrass
fundamentalmente obedece a dos razones. La primera, radica en que los polinomios son una de las
funciones ms sencillas y las computadoras permiten realizar los clculos con mucha agilidad y
precisin; siendo que el conjunto de los nmeros racionales es denso y se encuentra conformado por un

subconjunto de nmeros racionales de la forma , en los cuales existe un nmero contable de

polinomios con coeficiente racional.
La segunda razn radica en que se puede aplicar en varios espacios, es decir, en un espacio arbitrario
compacto Hausdoff, que usa el plano de los nmeros complejos., como tambin en el espacio
Tychonoff que se utiliza al estudiar topologa dado el espacio uniforme sobre un conjunto compacto
similar al descrito en el teorema de Stone-Weierstrass.
En este punto podemos darnos cuenta de que la utilidad del teorema de Weierstrass radica en obtener
un resultado tan cercano al exacto como sea necesario para un propsito determinado. Tambin lo es
obtener resultados tan cercanos al exacto como sea necesario con el propsito de trabajar con funciones
sencillas en lugar de hacerlo con funciones que pudieran resultar complicadas

Tabla de comparacin entre el documento descargado con el

contenido de los temas revisados

Teorema
Weiertrass

Elementos

polinomio
> ,

Vecindad

Notas

|() ()| <

Aproximacin

de Bernstein

() =
0 +
1 1 +
+
() es una
funcin
continua
intervalo 0, 1
no importa lo
pequeo que

|() ()| <

Densidad del campo de los nmeros

enteros en funciones de los
Son densas porque en una vecindad se
puede encontrar dicho nmeros
enteros en un polinomio continuo.
El teorema de Weierstrass establece
que cada funcin continua sobre un
intervalo [a;b] de R puede ser
aproximada uniformemente por
polinomios o, es decir, los
polinomios constituyen una familia
uniformemente densa de C[a;b].
Cuando se trata de aproximar una
funcin por polinomios, es inevitable
tratar con los polinomios de
interpolacin, como buenos
aproximantes, donde,es notable que
los polinomios de interpolacin de
una funcin no convergen, en
general, ni siquiera puntualmente
hacia la funcin
Anlisis Matemtico II | 14/02/2015

Teorema

Densidad del campo de los nmeros

reales
Se enfatiza que la funcin tiene que ser
continua donde no importa si el
intervalo es pequeo. Tal como es de 0
al 1

Teorema
StoneWeierstrass

sea
X
espacio
mtrico
,
conjunto
compacto
(, )
el
espacio de las
funciones reales
continuas
definidas en A
,

()
()

B es denso en
(, )

Densidad del conjunto de los nmeros

complejos
El espacio topolgico ya no son
intervalos en una vecindad sino unas
bolas abiertas en funcin de distancia.
Estas bolas son densas igual que en el
teorema de Weierstrass.
La generalizacin ms
importante del teorema de
Weierstrass es la de Stone.
Su teorema, conocido como el teorema
de Stone-Weierstrass, caracteriza en
trminos sumamente sencillos las
algebras de funciones continuas que son
uniformemente densas en C(X), para X
compacto.
Permite la construccin de nuevos
ejemplos, tambin es terico. Sin el no
se concibe, actualmente en estudio
serio de los anillos de funciones
continuas y su relacin con la topologa
del espacio

El teorema de Weierstrass es el cimiento sobre el que se construye la aproximacin de funciones

continuas utilizando polinomios.
Desde el punto de vista terico y prctico, ya que los polinomios son funciones sencillas y fciles de
calcular. La compacidad del dominio de la funcin continua en el Teorema de Aproximacin de
Weierstrass desempea un papel importante en la demostracin, asegurndonos la continuidad
uniforme, ya que puede no ser vlido, en general, si el dominio no es compacto. A demostrar que
ninguna sucesin de polinomios converge a f uniformemente o en (0, 1].

Anlisis Matemtico II | 14/02/2015

El Teorema de Stone-Weierstrass implica el Teorema de Aproximacin deWeierstrass, basta observar

que el conjunto de polinomios separa puntos; donde el Teorema de Aproximacin de Weierstrass es
una herramienta fundamental y brutalmente sencilla para demostrar la separabilidad del espacio de las
funciones continuas definida en un conjunto [a, b] con valores reales.

Teniendo ya demostrado el Teorema de Stone-Weierstrass en su versin real con ella puede ser
fcilmente demostrado el mismo teorema en su versin compleja.
Weierstrass, fund una vecindad tal que un elemento se encuentre en dicha funcin de nmeros reales
utilizando polinomios creados por nmeros enteros, posteriormente Bernstein construy el siguiente
peldao haciendo hincapi en que era posible realizar aproximaciones en un intervalo pequeo.
Finalmente la no menos importante aportacin realizada por Stone implica un bola abierta que ayudaba
a hacer denso lo que vendra a ser el campo de los nmeros complejos.As podemos vislumbrar
observar como el anlisis matemtico desarrolla y expande el campo de los nmeros.