En matemáticas, la propiedad del límite superior mínimo (a veces llamada integridad o propiedad del valor supremo)Bartle and Sherbert (2011) define la "propiedad de integridad" y afirma que también se la llama "propiedad del valor supremo". (p. 39) es una característica fundamental de los números reales. De manera más general, un conjunto parcialmente ordenado tiene la propiedad del límite superior mínimo si cada subconjunto no vacío de con un elemento mayorante y minorante tiene un límite superior mínimo (supremo) en . No todos los conjuntos (parcialmente) ordenados tienen la propiedad del límite superior mínimo. Por ejemplo, el conjunto de todos los números racionales con su orden natural no tiene la propiedad del límite superior mínimo.

La propiedad del límite superior mínimo es una forma del axioma de completitud para los números reales y, a veces, se la denomina integridad de Dedekind.Willard dice que un espacio ordenado "X es completo de Dedekind si cada subconjunto de X que tiene un límite superior tiene un límite superior mínimo". (pp. 124-5, Problem 17E.) Se puede utilizar para probar muchos de los resultados fundamentales del análisis real, como el teorema del valor intermedio, el teorema de Bolzano-Weierstrass, el teorema de Weierstrass y el teorema de Heine-Borel. Generalmente se toma como un axioma en las construcciones de los números reales sintéticas y también está íntimamente relacionada con la construcción de los números reales utilizando los cortes de Dedekind.

En teoría del orden, esta propiedad se puede generalizar a una noción de completitud para cualquier conjunto parcialmente ordenado. Un orden total que es denso y tiene la propiedad de límite superior mínimo se denomina continuo lineal.

Enunciado de la propiedad

Enunciado para los números reales Sea un conjunto no vacío de números reales. Un número real se llama límite superior para si para todos los . Un número real es el límite superior mínimo (o supremo) para si es un límite superior para y para cada límite superior de . La propiedad del límite superior mínimo establece que cualquier conjunto no vacío de números reales que tenga un límite superior debe tener un límite superior mínimo en los números reales.

Generalización a conjuntos ordenados

De manera más general, se pueden definir el límite superior y el límite superior mínimo para cualquier subconjunto de un conjunto parcialmente ordenado , reemplazando número real por elemento de . En este caso, se dice que tiene la propiedad del límite superior mínimo si cada subconjunto no vacío de con un límite superior tiene un límite superior mínimo en .

Por ejemplo, el conjunto de los números racionales no tiene la propiedad del límite superior mínimo en el orden habitual. Por ejemplo, el conjunto

tiene un límite superior en , pero no tiene un límite superior mínimo en (ya que la raíz cuadrada de dos es un número irracional). El axiomas de los números reales que utiliza los cortes de Dedekind se aprovecha de este defecto al definir los números irracionales como los límites superiores mínimos de ciertos subconjuntos de los números racionales.

Demostración

Enfoque lógico La propiedad del límite superior mínimo es equivalente a otras formas del axioma del supremo, como la convergencia de la sucesión de Cauchy o principio de los intervalos encajados. El estado lógico de la propiedad depende de los axiomas de los números reales utilizados: en la aproximación sintética, la propiedad generalmente se toma como un axioma para los números reales (véase axioma del límite superior mínimo); en un enfoque constructivo, la propiedad debe probarse como teorema, ya sea directamente desde la construcción o como consecuencia de alguna otra forma de integridad.

Demostración utilizando secuencias de Cauchy Es posible demostrar la propiedad del límite superior mínimo suponiendo que toda secuencia de números reales de Cauchy converge. Sea un conjunto no vacío de números reales. Si tiene exactamente un elemento, entonces su único elemento es un límite superior mínimo. Considérese entonces con más de un elemento y supóngase que tiene un límite superior . Dado que no está vacío y tiene más de un elemento, existe un número real que no es un límite superior para . Ahora, se definen las secuencias y de forma recursiva de la siguiente manera:

Comprobar si es un límite superior para . Si es así, entonces y . En caso contrario, debe haber un elemento en para el que . Dejemos y sea .

Entonces y como . De ello se deduce que ambas secuencias son de Cauchy y tienen el mismo límite , que debe ser el límite superior mínimo para .

Aplicaciones La propiedad del límite superior mínimo de se puede utilizar para demostrar muchos de los principales teoremas fundamentales del análisis real.

Teorema del valor intermedio Sea una función continua, y supóngase que y . En este caso, el teorema del valor intermedio establece que debe tener un raíz en el intervalo . Este teorema se puede demostrar considerando el conjunto . Es decir, es el segmento inicial de que toma valores negativos bajo . Entonces es un límite superior para , y el límite superior mínimo debe ser una raíz de .

Teorema de Bolzano-Weierstrass El teorema de Bolzano-Weierstrass para establece que cada sucesión de números reales en un intervalo cerrado debe tener una subsucesión convergente. Este teorema se puede demostrar considerando el conjunto

Claramente, y no está vacío. Además, es un límite superior para , por lo que tiene un límite superior mínimo . Entonces debe ser un punto de acumulación de la secuencia , y se deduce que tiene una subsecuencia que converge a .

Teorema del valor extremo Sea un función continua y sea , donde si no tiene límite superior. El teorema de Weierstrass establece que es finito y para algún . Esto se puede demostrar considerando el conjunto

.

Por definición de , , y por su propia definición, está delimitado por . Si es el límite superior mínimo de , entonces se deduce de la continuidad que .

Teorema de Heine-Borel Sea un intervalo cerrado en y sea una colección de conjuntos abiertos que recubren . Entonces, el teorema de Heine-Borel establece que alguna subcolección finita de también recubre . Esta afirmación se puede probar considerando el conjunto

.

El conjunto obviamente contiene a y está limitado por por construcción. Según la propiedad de límite superior mínimo, tiene un límite superior mínimo . Por lo tanto, es en sí mismo un elemento de algún conjunto abierto , y para se deduce que puede estar recubierto por un número finito de para algún suficientemente pequeño. Esto demuestra que y no son un límite superior para . En consecuencia, .

Historia

La importancia de la propiedad del límite superior mínimo fue reconocida por primera vez por Bernard Bolzano en su artículo de 1817 Rein analytischer Beweis des Lehrsatzes dass zwischen je zwey Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege.

Véase también Anexo:Temas de análisis real

Referencias

Bibliografía

Categoría:Análisis real Categoría:Teoría del orden