¿Cuál es el valor más alto de x si 0 <x <1?

No hay ninguno

El conjunto [math] \ {x \ in \ R, 0 <x <1 \} [/ math], también escrito como [math] (0, 1) [/ math], no tiene ningún máximo.

Hay tres nociones que no debemos confundir (consideraré un conjunto de números reales [matemática] S \ subconjunto \ R [/ matemática]):

  • Mínimo y máximo : un máximo (mínimo) de un conjunto [matemática] S [/ matemática] es un elemento [matemática] M [/ matemática] ([matemática] m [/ matemática]) de [matemática] S [/ matemática] como cualquier otro elemento es menor (mayor) o igual a [matemática] M [/ matemática] ([matemática] m [/ matemática]). Matemáticamente, [math] M \ en S [/ math] es un máximo si [math] \ forall x \ in S, x \ leq M [/ math] y [math] m \ in S [/ math] es un mínimo if [math] \ forall x \ en S, x \ geq m [/ math]. Dado un conjunto [matemática] S [/ matemática], no siempre hay un mínimo ni un máximo.
  • Límite superior e inferior : un límite superior (inferior) de un conjunto [matemática] S [/ matemática] es una real [matemática] B [/ matemática] ([matemática] b [/ matemática]) como cada valor de [matemática] ] S [/ math] es menor (mayor) o igual a [math] B [/ math] ([math] b [/ math]). Matemáticamente, [math] B \ in \ R [/ math] es un límite superior si [math] \ forall x \ in S, x \ leq B [/ math] y [math] b \ in \ R [/ math] es un límite inferior si [math] \ forall x \ en S, x \ geq b [/ math]. La diferencia aquí es que [matemáticas] B [/ matemáticas] y [matemáticas] b [/ matemáticas] no están obligados a estar en [matemáticas] S [/ matemáticas]; una vez más, no todos los conjuntos tienen un límite superior e inferior.
  • Límite superior mínimo y límite inferior mayor: el límite superior mínimo (límite inferior mayor) de un conjunto [matemática] S [/ matemática] es el mínimo (máximo) de los límites superior (inferior) de [matemáticas] S [/ matemáticas]. Si [math] S [/ math] está enlazado, las propiedades de [math] \ R [/ math] nos dan que el límite más bajo y el límite más grande existen únicamente. Además, si el conjunto [matemática] S [/ matemática] tiene un máximo (mínimo), entonces es igual a este límite superior mínimo (límite inferior mayor).

El límite superior mínimo de [math] (0, 1) [/ math] es [math] 1 [/ math]. Sin embargo, [math] 1 [/ math] no es un elemento de [math] (0, 1) [/ math]. En consecuencia, [math] (0, 1) [/ math] no tiene un máximo y no tiene ningún “valor más alto”.

No hay ninguno. Vamos a jugar un juego. Le daré un número que creo que es el más grande y usted lo contrarrestará con uno que supere al mío. Luego repetimos hasta que alguien gane.

Comenzaré con [matemáticas] 0.9 [/ matemáticas] que podría contrarrestar con [matemáticas] 0.99 [/ matemáticas]. Voy a contrarrestar con el número que está a medio camino entre [matemáticas] 0.99 [/ matemáticas] y [matemáticas] 1 [/ matemáticas]. Esto es [matemática] \ frac {0.99 + 1} {2} = 0.995 [/ matemática].

Tu turno…

Te daré una pista. Cualquier número que le dé, llámelo [matemáticas] x [/ matemáticas], puede contrarrestar con el número a medio camino entre [matemáticas] x [/ matemáticas] y [matemáticas] 1 [/ matemáticas]. Que será [matemática] \ frac {x + 1} {2} [/ matemática] No tiene que usar esa estrategia. Tal vez le guste el número un cuarto de camino entre [matemáticas] x [/ matemáticas] y [matemáticas] 1 [/ matemáticas]. O el 90% del camino. No importa.

La observación importante es que dado cualquier número [matemática] x <1 [/ matemática] hay un número entre [matemática] x [/ matemática] y [matemática] 1 [/ matemática]. De hecho, hay tantos números entre [matemática] x [/ matemática] y [matemática] 1 [/ matemática] como los que hay en toda la recta numérica real. Entonces tienes muchas opciones.

¡Nuestro juego nunca terminará! Nunca encontraremos ese número más grande.