Actividad 3. Teorema de Weierstrass.

Presentacin.

Karl Theodor Wilhelm Weierstrass.

Weierstrass fu un Matemtico alemn, llamado el "padre del anlisis moderno". Naci en Ostenfelde,
Alemania y estudi en la Universidad de Mnster , certificndose como maestro en esa ciudad, asisti
asisti a las conferencias de Christoph Gudermann y se interes en las funciones elpticas. En 1843 fue
profesor en la Deutsch-Krone en Westprussia y desde 1848 fu profesor en el Liceo de Hosianum
Braunsberg. Adems de las matemticas tambin ense la fsica, la botnica y la gimnasia.
Teorema de Aproximacin de Weierstrass.
En la publicacin de Berstein titulada, Dmonstration du Thorme de Weierstrass fonde
sur la calcul des Probabilits, Berstein se propone realizar una demostracin ms simple del
Teorema de Weierstrass (Bernstein, 1912/13, pgs. 1-2). Esta nueva demostracin lleg a ser conocida
como el Polinomio de Berstein.
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
.

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.
Argumento sobre la solucin de los teoremas propuestos.
En su artculo Berstein 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:
|
|
en todos los puntos considerados del intervalo
Utilidad del teorema para la aproximacin de funciones.
Contribuciones matemticas.
Weierstrass estaba interesado en la solidez de clculo. En ese momento, no haba definiciones un
tanto ambiguas respecto a las bases de clculo, teoremas y por lo tanto, importantes; no pudieron ser
probados con suficiente rigor. Bolzano haba elaborado una definicin razonablemente riguroso de un
lmite, ya en 1817, su obra permaneci desconocida para la mayor parte de la comunidad matemtica
hasta aos ms tarde, tenan slo definiciones vagas de lmites y continuidad de funciones.
Cauchy di una forma de la definicin de lmite, en el contexto de la definicin formal del derivado, en
la dcada de 1820, pero no distingue correctamente entre la continuidad en un punto frente a la
continuidad uniforme sobre un intervalo, debido a la insuficiente rigor. Cabe destacar que en el 1821
Cours d'analyse, Cauchy di una prueba famosa incorrecta de que el lmite de funciones continuas es
continua en s. Lo correcto es ms bien que el lmite uniforme de funciones uniformemente continua, es
uniformemente continua. Esto requiere que el concepto de convergencia uniforme, que se observ por
primera vez por el consejero de Weierstrass, Christoph Gudermann, en un documento de 1838, donde
Gudermann sealar el fenmeno, pero no se definen ni desarrolla en l. Weierstrass vi la importancia
del concepto, y ambos se formaliz y se aplica ampliamente a travs de las bases de clculo.

Clculo de variaciones.
Weierstrass tambin realiz avances significativos en el campo del clculo de variaciones. Utilizando
el aparato de anlisis que l ayud a desarrollar, fu capaz de dar una completa reformulacin de la
teora que allan el camino para el estudio moderno del clculo de variaciones. Entre los varios axiomas
importantes, Weierstrass estableci una condicin necesaria para la existencia de una fuerte extrema de
los problemas variacionales. Tambin ayud a disear la condicin de Weierstrass-Erdmann que dan
condiciones suficientes para un extremal tener un rincn junto a extrema dado, y le permite a uno
encontrar una curva de minimizacin de una integral dada.
.
Aunque no define explcitamente el concepto de convergencia uniforme, la primera discusin de este
concepto fue publicada por Stokes en 1847. En 1885, Weierstrass demostr un teorema ms
sorprendente:

Este teorema ha sido muy til al permitir por ejemplo, simplificar la demostracin de ciertos teoremas.
Si la propiedad a demostrar se preserva al tomar lmites uniformes, es suficiente demostrar el teorema
para polinomios.
Los polinomios de aproximacin de Weierstrass no son los del Teorema de Taylor. Weierstrass no
exige que sus polinomios coincidan con la funcin punto y los coeficientes de un polinomio no tienen,
en principio, relacin con los de
. Es esta flexibilidad para escoger los polinomios lo que se le permite
aproximar cualquier funcin continua sin necesidad de usar la diferenciabilidad.

Programa desarrollado Unidad I.

TEOREMA DE WEIERSTRASS.
[

]
[

[
|

]
[

( ) ( )

Sean [ ]
y [ ]
, continua en [ ].definimos la
siguiente funcin biyectiva [ ] [ ], dada como
[
].
para
Entonces es continua,
y
. Como es continua,
la composicin
tambin es continua.
Por el teorema de aproximacin de Bernstein si
, entonces
existe un entero tal que para todo entero
, el n-simo
polinomio de Bernstein
satisface que
|

|
[

POLINOMIO DE BERNSTEIN.

( )( )

TEOREMA DE WEIERSTRASS
|

POLINOMIO DE BERNSTEIN
[

Actividad 3. Teorema de Weierstrass.

Y siendo que es biyectiva y continua, entonces tiene

Se calcula
el polinomio asociado a la funcin 1 usando el
Teorema del Binomio y se elige
donde:
( )

Comparando con el polinomio de Bernstein para

.
Se deriva con respecto a y el resultado se multiplica por
Se tiene que

Sean [ ]
y [ ]
siguiente funcin biyectiva

, continua en [ ].definimos la
] [
], dada como

( )

[
].
Para
Entonces es continua,
y
. Como es continua,
la composicin
tambin es continua.
Por el teorema de aproximacin de Bernstein si
, entonces
existe un entero tal que para todo entero
, el n-simo
polinomio de Bernstein
satisface que
|

|
]

Se divide entre
( )

Se compara de nuevo con el polinomio de Bernstein

Se deriva con respecto a se multiplica por , se sigue eligiendo
y al final se divide entre para obtener

Y siendo que es biyectiva y continua, entonces tiene una inversa

[
] [
] dada como
continua
[

( )

Se compara con el polinomio de Bernstein

Entonces
(

|
(

)|

se considera se considera como el error

[

)|

Ahora como
( ) es una funcin polinomial en [
Definimos el polinomio buscado
Como
( ) por lo que se cumple que
|

Ahora la sucesin
uniformemente a en [

) converge

].

].

Aplicando las definiciones:

Toda funcin continua sobre un intervalo cerrado y acotado es
acotada, se sume que existe una cota tal que:
|

La sucesin queda definida como

( ) ( )

Y la identidad

( )( )(

) (

))

Toda funcin continua sobre un intervalo cerrado y acotado es

uniformemente continua. Para todo
, existe que solo depende
de tal que
Usando

( )

Tenemos que
( )[ ( )

( )( )(

) (

Por el mdulo de una suma es menor o igual que la suma de los

mdulos de los sumandos se tiene que

)( )(

) (

( )| ( )

Se toma un punto entre [ ] que sera teniendo dos tipos.

considerando los valores de k en [ ] los cercanos que satisfacen
|

y lo lejanos que satisfaga

|

Para los cercanos se tiene

( )|

Y para los lejanos

( )|

| ( )|

Usando el hecho de que es acotada, se hace la descomposicin u

utilizando las ltimas dos igualdades tenemos ahora
|

|(

)|

|(

( )

( )

)|

Podemos mayorar la primera suma extendindola a todos los valores

de
. Y la segunda suma se usara
(

( ))

Se reescribe

( ))

(
|

|(

)|

Volvemos a mayorar la primera suma extendindola a todos los

valores de
|

( ) )

De los valores obtenidos:

Sustituimos y se llega a
|

q.e.d.

CONCLUSIN.

Bibliografa consultada:
http://www.centrodeartigos.com/articulos-utiles/article_121511.html
Teorema de Aproximacin de Weierstrass. Pdf, UNADM,2014.
ApstoL, T. M, Calculus, Vol 1, Barcelona, Revert
Anlisis Matemtico, Curso de Introduccin, Norman B. Haaser, La Salle
http://demonstrations.wolfram.com/BinomialDistributionsAreBernsteinVectors/