Presentacin.
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.
]
[
[
|
]
[
( ) ( )
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
[
Se calcula
el polinomio asociado a la funcin 1 usando el
Teorema del Binomio y se elige
donde:
( )
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
( )
( )
Entonces
(
|
(
)|
)|
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
].
].
( ) ( )
Y la identidad
( )( )(
) (
))
( )
Tenemos que
( )[ ( )
( )( )(
) (
)( )(
) (
( )| ( )
| ( )|
|(
)|
|(
( )
( )
)|
( ))
Se reescribe
( ))
(
|
|(
)|
( ) )
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/