Densidad de Q: entre dos racionales siempre hay otro racional
Resumen inicial
El conjunto de los racionales $\mathbb{Q}$ es denso: entre dos racionales distintos $q_1 < q_2$ existen infinitos racionales, destacando el punto medio $m = \frac{q_1 + q_2}{2}$.
Explicación en palabras simples
A diferencia de los enteros (donde entre el 2 y el 3 no hay otro número entero), los números racionales son densos. Esto significa que entre dos fracciones cualesquiera, por más cercanas que estén, siempre se puede encontrar otra fracción intermedia, permitiendo meter infinitas fracciones en medio.
Explicación formal
El conjunto $(\mathbb{Q}, <)$ satisface la Propiedad de Densidad Aritmética:
$$\forall q_1, q_2 \in \mathbb{Q} \text{ con } q_1 < q_2, \quad \exists q_3 \in \mathbb{Q} \quad \text{tal que } q_1 < q_3 < q_2$$
Desglose de la fórmula:
- Punto medio de Cantor: $q_3 = \frac{q_1 + q_2}{2} \in \mathbb{Q}$ demuestra constructivamente la existencia de al menos un elemento intermedio.
- Infinitud densa: Al iterar la fórmula del punto medio se generan infinitos racionales en el intervalo $(q_1, q_2)$.
Complemento didáctico: Por la densidad, en los números racionales carece de sentido hablar del 'sucesor' o del 'antecesor' de una fracción.
La alternativa correcta es 'Que entre dos racionales distintos siempre existen infinitos racionales intermedios'.
Definiciones clave
- Densidad en $\mathbb{Q}$: Propiedad estructural por la que siempre existe un racional comprendido entre dos racionales distintos.
- Punto medio racional: La media aritmética $m = \frac{q_1 + q_2}{2}$ que reside entre $q_1$ y $q_2$.
Propiedades y relaciones importantes
- Punto medio: $m = \frac{q_1 + q_2}{2}$ está estrictamente comprendido entre $q_1$ y $q_2$.
Ejemplo guiado
Encuentre un número racional comprendido entre $\frac{1}{3}$ y $\frac{1}{2}$ aplicando el método del punto medio.
- Paso 1: Sumar los racionales dados: $\frac{1}{3} + \frac{1}{2} = \frac{2 + 3}{6} = \frac{5}{6}$.
- Paso 2: Dividir la suma entre 2 (multiplicar por $\frac{1}{2}$): $\frac{5}{6} \cdot \frac{1}{2} = \frac{5}{12}$.
- Paso 3: Homogenizar para comprobar: $\frac{1}{3} = \frac{4}{12}$ y $\frac{1}{2} = \frac{6}{12}$.
- Conclusión: Como $\frac{4}{12} < \frac{5}{12} < \frac{6}{12}$, $\frac{5}{12}$ es un racional exactamente intermedio.
La alternativa correcta es '5/12'.
Procedimiento
- Paso 1: Tomar dos racionales distintos $q_1$ y $q_2$ con $q_1 < q_2$.
- Paso 2: Sumar ambas fracciones $q_1 + q_2$.
- Paso 3: Dividir la suma por 2 para obtener el punto medio $m = \frac{q_1 + q_2}{2}$ garantizado en $(q_1, q_2)$.
Errores frecuentes y cómo corregirlos
-
Error 1: Buscar el 'sucesor inmediato' de una fracción como $\frac{1}{2}$. Cómo corregirlo: En racionales NO EXISTE el concepto de sucesor o antecesor inmediato por la densidad.
-
Error 2: Sumar numeradores y denominadores directamente al buscar el punto medio. Cómo corregirlo: El punto medio formal es la media aritmética $\frac{q_1 + q_2}{2}$ usando la suma racional correcta.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- $2/5 = 4/10$ y $3/5 = 6/10$. Entre $4/10$ y $6/10$ se encuentra $5/10 = 1/2$.
- Entre 0,5 y cualquier propuesta siempre hay infinitos racionales.
- No, en $\mathbb{Z}$ entre el 2 y el 3 no existe ningún otro entero.
- Sí, el punto medio demuestra la presencia de al menos un racional intermedio.
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación es correcta.
Al terminar debes poder
Comprender y aplicar la propiedad de densidad del conjunto de números racionales $\mathbb{Q}$.
Demostrando que $\forall x, y \in \mathbb{Q}$ ($x < y$), la semisuma $z = \frac{x+y}{2} \in \mathbb{Q}$ cumple $x < z < y$, o amplificando por $n+1$ para interpolar $n$ números racionales intermedios.