Teorema de Bolzano-Weierstrass

Teorema de Bolzano-Weierstrass
Para el teorema de análisis real, véase Teorema de Weierstrass.

En el análisis real, el teorema Bolzano–Weierstrass es un importante teorema que caracteriza los conjuntos secuencialmente compactos.

Contenido

Enunciado

En el análisis real, el teorema de Bolzano-Weierstrass es un resultado fundamental referente a la convergencia en un espacio euclídeo dimensionalmente finito Rn. El teorema establece que cada sucesión acotada en Rn tiene una subsucesión convergente. Una formulación equivalente es que un subconjunto de Rn es secuencialmente compacto si y solo si es cerrado y acotado.

Demostración

En primer lugar, aplicando el método de inducción matemática, demostraremos el teorema cuando n = 1, en cuyo caso el orden de R se puede poner a buen uso. De hecho tenemos el siguiente resultado.

Lema: Cada sucesión { xn } en R tiene una subsucesión monótona.

Demostración: Vamos a llamar a un número entero positivo n un "pico de la secuencia", si m> n implica xn > xm  es decir, si xn es mayor que todos los términos siguientes de la secuencia. Supongamos primero que la secuencia tiene picos infinitos, n1 < n2 < n3 < … < nj < … Entonces la subsecuencia correspondiente    \{x_{n_j}\}  a los picos es monótonamente decreciente, y ya está. Así que supongamos ahora que sólo hay un número finito de muchos picos, sea N el último pico y n1 = N + 1. Luego n1 no es un pico, ya que n1 > N, lo que implica la existencia de un n2 > n1 con  x_{n_2} \geq x_{n_1}.  Una vez más, n2 > N no es un pico, por lo tanto hay n3 > n2 con x_{n_3} \geq x_{n_2}.  Repetiendo este proceso conduce a una subsucesión infinita no decreciente   x_{n_1} \leq x_{n_2} \leq x_{n_3} \leq \ldots, si lo desea.

Ahora supongamos que tenemos una secuencia acotada en R, por el Lema existe una subsucesión monótona, necesariamente limitada. Pero se sigue del teorema de convergencia monótona que esta subsecuencia deben converger, y la prueba es completa. Por último, el caso general puede ser fácilmente reducida al caso de n = 1 como sigue: dada una secuencia limitada en Rn, la secuencia de las primeras coordenadas es una secuencia real limitado, por lo tanto tiene una subsucesión convergente. A continuación, puede extraer un subsubsucesión en el que convergen las segundas coordenadas, y así sucesivamente, hasta que al final hemos pasado de la secuencia original a subsecuencia n veces - que sigue siendo una subsecuencia de la secuencia original - en la que cada coordenada converge secuencia , por lo tanto, la propia subsucesión es convergente.

Compacidad secuencial en espacios euclídeos

Supongamos que A es un subconjunto de Rn con la propiedad de que toda sucesión en A tiene una subsucesión convergente a un elemento de A. Entonces, A debe ser limitada, pues de lo contrario existe una secuencia en la xm in A con || xm  || ≥ m para todos los m, y luego cada subsecuencia es ilimitada y por tanto no convergentes. Por otra parte A debe ser cerrado, ya que desde un punto de noninterior x en el complemento de A se puede construir una secuencia A con valores de convergencia a x. Así, los subconjuntos A, de Rn, para que cada secuencia en la A tiene una subsucesión convergente a un elemento de A –  es decir, los subconjuntos que están secuencialmente compacto en la topología de subespacio –  son precisamente los conjuntos cerrados y limitados. Esta forma del teorema hace especialmente clara la analogía con el Teorema de Heine-Borel, que afirma que un subconjunto de Rn es compacto si y solo si es cerrado y acotado. De hecho, la topología general nos dice que un espacio es compacto metrizable si y solo si es secuencialmente compacto, de modo que la de Bolzano-Weierstrass y el teorema de Heine-Borel son esencialmente los mismos.

Historia

El teorema de Bolzano-Weierstrass lleva el nombre de matemáticos Bernard Bolzano y Karl Weierstrass. En realidad, fue demostrado por primera vez por Bolzano en 1817 como un lema en la demostración del teorema de valor intermedio. Unos cincuenta años más tarde, el resultado fue identificado como significativo por derecho propio, y demostrado una vez más por Weierstrass. Desde entonces se ha convertido en un teorema fundamental del análisis.

Referencias

  1.  Esta plantilla está obsoleta, véase el nuevo sistema de referencias. Fitzpatrick, Patrick M. (2006) Advanced Calculus (2nd ed.). Belmont, CA: Thompson Brooks/Cole. ISBN 0-534-37603-7.

Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • Teorema de Bolzano-Weierstrass — Si una función f(x) está definida y es continua en un intervalo cerrado [a,b], entonces f(x) alcanza al menos un máximo (z) y un mínimo (y) absolutos en el intervalo [a,b]. Es decir: Siendo «x» cualquier valor de la variable perteneciente al… …   Enciclopedia Universal

  • Teorema de Weierstrass — El Teorema de Weierstrass es un teorema de análisis real que establece que una función continua en un intervalo cerrado y acotado (de números reales) alcanza sus valores máximo y mínimo en puntos del intervalo. También se puede enunciar en… …   Wikipedia Español

  • Teorema del valor intermedio — Para el teorema de cálculo diferencial, véase Teorema del valor medio. Teorema de los valores intermedios. En análisis real el teorema del valor intermedio (o más correctamente teorema de los valores intermedios, o TVI), es un teorema sobre… …   Wikipedia Español

  • Teorema de Tychonoff — En topología, el teorema de Tychonoff establece que el producto de cualquier colección de espacios topológicos compactos es compacto. El teorema se nombró así por Andrey Nikolayevich Tychonoff, quien lo probó por primera vez en 1930 para… …   Wikipedia Español

  • Karl Weierstrass — Karl Weierstraß Karl Theodor Wilhelm Weierstraß Nacimiento 31 de octubre de 1815 Ostenfelde, Westphalia …   Wikipedia Español

  • Bernard Bolzano — Saltar a navegación, búsqueda Bernard Bolzano Contenido 1 Biografía …   Wikipedia Español

  • Karl Weierstrass — Carlos Teodoro Guillermo Weierstrass (o Weierstraß, en alemán) (31 de octubre de 1815 19 de febrero de 1897) fue un matemático alemán que se suele citar como el «padre del análisis moderno». Nació en Ostenfelde, Westfalia (actualmente Alemania) y …   Enciclopedia Universal

  • Anexo:Matemáticos importantes — En esta lista de matemáticos importantes se presenta una selección de matemáticos desde la antigüedad hasta el presente. La selección se orienta por los aportes científicos, utilizando como criterio para definir el grado de notoriedad la atención …   Wikipedia Español

  • Enunciados matemáticos — Anexo:Enunciados matemáticos Saltar a navegación, búsqueda Contenido 1 Lista de axiomas y postulados 2 Lista de conjeturas e hipótesis 3 Lista de lemas …   Wikipedia Español

  • Anexo:Enunciados matemáticos — Contenido 1 Lista de axiomas y postulados 2 Lista de conjeturas e hipótesis 3 Lista de lemas 4 Lista de teoremas …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”