Clausura de Q en la adición
Resumen inicial
La propiedad de clausura aditiva establece que la suma de cualesquiera dos números racionales es siempre otro número racional: $\forall q_1, q_2 \in \mathbb{Q}, \, q_1 + q_2 \in \mathbb{Q}$.
Explicación en palabras simples
La propiedad de clausura o cierre significa que el conjunto de los números racionales es un sistema 'cerrado' para la suma. Al sumar dos números racionales cualesquiera, jamás obtendremos un número extraño o fuera del conjunto; el resultado siempre será obligatoriamente otro número racional.
Explicación formal
El conjunto $(\mathbb{Q}, +)$ satisface el axioma de Clausura o Cerradura Aditiva:
$$\forall \frac{a}{b}, \frac{c}{d} \in \mathbb{Q}, \quad \frac{a}{b} + \frac{c}{d} = \frac{a \cdot d + b \cdot c}{b \cdot d} \in \mathbb{Q}$$
Desglose de la fórmula:
- $a \cdot d + b \cdot c \in \mathbb{Z}$: Numerador resultante que pertenece al conjunto de los enteros.
- $b \cdot d \in \mathbb{Z} \setminus \{0\}$: Denominador resultante que es un entero no nulo por clausura en $\mathbb{Z}$.
- $\frac{a \cdot d + b \cdot c}{b \cdot d} \in \mathbb{Q}$: La fracción resultante cumple estrictamente la definición formal del conjunto $\mathbb{Q}$.
Complemento didáctico: Es Imposible sumar dos fracciones y obtener como resultado un número irracional como $\pi$ o $\sqrt{2}$.
La alternativa correcta es 'Que la suma de dos números racionales da como resultado SIEMPRE otro número racional'.
Definiciones clave
- Clausura aditiva en $\mathbb{Q}$: Propiedad de estabilidad algebraica por la cual $+ : \mathbb{Q} \times \mathbb{Q} \to \mathbb{Q}$ es una operación bien definida.
Propiedades y relaciones importantes
- Estructura de Grupo Abeliano: La clausura aditiva constituye el primer axioma del grupo aditivo $(\mathbb{Q}, +)$.
Ejemplo guiado
Verifique la clausura aditiva calculando la suma $\frac{3}{5} + \frac{1}{2}$ y comprobando que pertenece a $\mathbb{Q}$.
- Paso 1: Identificar que $\frac{3}{5} \in \mathbb{Q}$ y $\frac{1}{2} \in \mathbb{Q}$.
- Paso 2: Sumar homogenizando a décimos: $\frac{3 \cdot 2 + 1 \cdot 5}{10} = \frac{6 + 5}{10} = \frac{11}{10}$.
- Paso 3: Verificar la pertenencia: $11, 10 \in \mathbb{Z}$ con $10 \neq 0 \implies \frac{11}{10} \in \mathbb{Q}$.
- Conclusión: La suma dio un número racional, confirmando la clausura aditiva.
La alternativa correcta es 'Porque 11 y 10 son enteros con 10 != 0, demostrando que 11/10 pertenece a Q'.
Procedimiento
- Paso 1: Tomar dos elementos $q_1, q_2 \in \mathbb{Q}$.
- Paso 2: Realizar la adición $q_1 + q_2$ obteniendo la fracción equivalente $\frac{a \cdot d + b \cdot c}{b \cdot d}$.
- Paso 3: Verificar que el resultado sea una fracción de numerador y denominador entero no nulo perteniente a $\mathbb{Q}$.
Errores frecuentes y cómo corregirlos
-
Error 1: Pensar que la suma de dos fracciones puede dar un número irracional. Cómo corregirlo: $\mathbb{Q}$ es cerrado bajo la suma; la suma de dos racionales es SIEMPRE racional.
-
Error 2: Creer que si la suma da un entero se rompe la clausura aditiva en $\mathbb{Q}$. Cómo corregirlo: Los enteros PERTENECEN a $\mathbb{Q}$ ($z = \frac{z}{1}$), por lo que un resultado entero es racional.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- $4/7 + (-3/7) = 1/7 \in \mathbb{Q}$.
- Por el axioma de clausura aditiva en $\mathbb{Q}$.
- Sí, cumple la propiedad de clausura o cerradura aditiva.
- No, $1 = 1/1 \in \mathbb{Q}$, por ende confirma la clausura.
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 es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Al terminar debes poder
Justificar y aplicar el axioma de clausura o cerradura de los números racionales bajo la adición y la sustracción.
Demostrando que para todo $\frac{a}{b}, \frac{c}{d} \in \mathbb{Q}$ ($b, d \neq 0$), la suma $\frac{a}{b} + \frac{c}{d} = \frac{ad + bc}{bd}$ produce siempre una razón de enteros con denominador no nulo, concluyendo que $\mathbb{Q}$ es cerrado.