Creo que lo que pasaría si hay menos de todos los números reales positivos ¿Cómo puedo demostrarlo?
R/2 < R es efectivamente la forma correcta de hacerlo.
Creo que lo que pasaría si hay menos de todos los números reales positivos ¿Cómo puedo demostrarlo?
Si $0 < \epsilon \in \Bbb R$ y $\epsilon < r$ por cada positivo $r \in \Bbb R$ entonces
$\epsilon < \epsilon; \tag 1$
¡que obviamente no funcionará!
Incluso si relajamos la condición de $\epsilon < r$ a $\epsilon \le r$ para todos los positivos $r \in \Bbb R$ , sigue sin funcionar, ya que
$0 < \dfrac{\epsilon}{2} < \epsilon. \tag 2$
Correcto, aunque todavía tienes que establecer el hecho de que /2R (un poco pedante, pero sin ello, podrías usar esta prueba para "demostrar" que no hay positivo natural número que es menor que cualquier otro número natural positivo - sólo hay que sustituir R por N...)
Supongamos que existe un verdadero $y > 0$ que es menor que cualquier otro número real positivo. Entonces $y < \frac{1}{n}$ para cada número natural $n$ . Esto implicaría entonces que $n < \frac{1}{y}$ para cada número natural (¡los números naturales tendrían entonces un límite superior!) y así tenemos una contradicción.
Si $x$ es un número real, entonces $x/2$ también es un número real $< x$ con una contradicción.
Si los números reales están formados por las clases de límites de las series de Cauchy convergentes, entonces existe una serie $a_1, a_2, a_3, …$ con el límite $x$
$x/2$ es un número real ya que existe una secuencia de Cauchy $a_1/2, a_2/2, a_3/2 , …$ que tiene el límite $x/2$
Dejemos que $r$ sea un real positivo. Consideremos el conjunto $S=\{x\in\mathbb{R}~:~x<r\}$ . Ahora este conjunto $S$ no está vacío, ya que $0\in S$ . Así que tiene un límite superior mínimo, digamos $r^*$ . $r^*\leq r$ como $r\not<r$ . Si $r^*<r$ entonces $r^*<\frac{r+r^*}{2}<r$ . Por lo tanto, $\frac{r+r^*}{2}\in S$ lo que contradice nuestra suposición de que $r^*$ es el límite superior más bajo. Así que $r^*=r$ pero $r\not\in S$ .
Espera, entonces este número que estás buscando sería menor que cada número real positivo que incluye mismo ? Eso es imposible. Creo que querías preguntar
Demuestre que no hay ningún número real positivo que sea menor que todos otros números reales positivos.
Esa es la cuestión que ya han abordado los demás contestatarios, y que yo abordaré ahora desde un ángulo ligeramente distinto.
Considere el número $$0.000000000000000000000000000000000001.$$ Es un número muy pequeño, ¿verdad? Es definitivamente más pequeño que todos los enteros positivos. Bien, $$0.0000000000000000000000000000000000001$$ es aún más pequeño. Y $$0.00000000000000000000000000000000000001$$ es aún más pequeño. Y $$0.000000000000000000000000000000000000001$$ y $$0.0000000000000000000000000000000000000001$$ y $$0.00000000000000000000000000000000000000001$$ y $$0.000000000000000000000000000000000000000001$$ y $$0.0000000000000000000000000000000000000000001 \ldots$$
En teoría puedo hacer esto todo el día, pero en la práctica agotaría tu paciencia muy rápidamente si no lo he hecho ya.
Bonito, aunque no del todo riguroso. Podrías considerar la notación científica, es decir, la secuencia $10^{-n}$ para $n \in \Bbb N$ .
Muchos estudiantes, cuando se les presenta este argumento, propondrán el "número" $$0.00000\dots{}1$$ donde el 1 "viene después de infinitos 0s". Entonces hay que tener una discusión más larga sobre la definición de los números reales, el significado de las expansiones decimales y lo que es realmente una "secuencia de dígitos". (Por cierto, estos mismos alumnos afirmarán que $1 \ne 0.9999\dots$ y el número de arriba es lo que se obtiene al restar $0.9999\dots$ de $1$ .)
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
10 votos
1. Supongamos que existe un número real positivo que es menor que cualquier otro número real positivo. Llámalo " $y$ ". 2. Algo va mal. ¿Qué puede ir mal?
3 votos
Ad absurdum. Imagina que ese número existe y nómbralo $x$ . ¿Qué puede decir sobre $x/2$ ?
0 votos
Lo que resulta más interesante es hablar de la posibilidad de un número (no un número real propiamente dicho) que sea mayor que 0 y menor que todo número real positivo. Esto nos lleva a campos no arquimédicos como los hiperreales.
0 votos
@BenCrowell O el conjunto de funciones racionales en una variable, ordenadas por la que es mayor hacia el infinito.
0 votos
@Arthur: Tu ejemplo es un campo no arquimédico.
0 votos
@BenCrowell ¿He dicho alguna vez que no lo fuera? Tú has puesto un ejemplo, yo otro.