Clausura de Q en la multiplicación
Resumen inicial
La propiedad de clausura multiplicativa establece que el producto de cualesquiera dos números racionales es siempre otro número racional: $\forall q_1, q_2 \in \mathbb{Q}, \, q_1 \cdot q_2 \in \mathbb{Q}$.
Explicación en palabras simples
Al igual que en la suma, al multiplicar dos números racionales entre sí obtenemos como resultado un nuevo número que pertenece estrictamente al conjunto de los racionales. El producto de dos fracciones jamás dará un número fuera de $\mathbb{Q}$.
Explicación formal
El conjunto $(\mathbb{Q}, \cdot)$ satisface el axioma de Clausura o Cerradura Multiplicativa:
$$\forall \frac{a}{b}, \frac{c}{d} \in \mathbb{Q}, \quad \frac{a}{b} \cdot \frac{c}{d} = \frac{a \cdot c}{b \cdot d} \in \mathbb{Q}$$
Desglose de la fórmula:
- $a \cdot c \in \mathbb{Z}$: Producto entero del numerador.
- $b \cdot d \in \mathbb{Z} \setminus \{0\}$: Producto de denominadores no nulos que pertenece a $\mathbb{Z} \setminus \{0\}$.
- $\frac{a \cdot c}{b \cdot d} \in \mathbb{Q}$: Expresión que satisface la definición canónica del conjunto $\mathbb{Q}$.
Complemento didáctico: Multiplicar un racional por cero da $0 = \frac{0}{1} \in \mathbb{Q}$, preservando la clausura multiplicativa.
La alternativa correcta es 'Que el producto de dos números racionales pertenece SIEMPRE a Q'.
Definiciones clave
- Clausura multiplicativa en $\mathbb{Q}$: Propiedad por la cual $\cdot : \mathbb{Q} \times \mathbb{Q} \to \mathbb{Q}$ es una operación interna.
Propiedades y relaciones importantes
- Estructura de Semigrupo Multiplicativo: Constituye la propiedad básica del producto en $(\mathbb{Q}, \cdot)$.
Ejemplo guiado
Verifique la clausura multiplicativa calculando el producto $\frac{4}{5} \cdot \left(-\frac{3}{2}\right)$.
- Paso 1: Identificar que $\frac{4}{5} \in \mathbb{Q}$ y $-\frac{3}{2} \in \mathbb{Q}$.
- Paso 2: Multiplicar en línea recta: $\frac{4 \cdot (-3)}{5 \cdot 2} = \frac{-12}{10} = \frac{-6}{5}$.
- Paso 3: Comprobar pertenencia: $-6, 5 \in \mathbb{Z}$ con $5 \neq 0 \implies -\frac{6}{5} \in \mathbb{Q}$.
- Conclusión: El producto dio un número racional, confirmando la clausura multiplicativa.
La alternativa correcta es 'Porque -6/5 es una fracción con numerador y denominador entero no nulo perteneciente a Q'.
Procedimiento
- Paso 1: Tomar dos racionales $q_1, q_2 \in \mathbb{Q}$.
- Paso 2: Calcular el producto en línea recta $q_1 \cdot q_2 = \frac{a \cdot c}{b \cdot d}$.
- Paso 3: Verificar que la fracción resultante pertenece al conjunto $\mathbb{Q}$.
Errores frecuentes y cómo corregirlos
-
Error 1: Creer que multiplicar dos fracciones puede dar un número irracional. Cómo corregirlo: $\mathbb{Q}$ es cerrado bajo la multiplicación; el producto es SIEMPRE racional.
-
Error 2: Pensar que multiplicar por cero rompe la clausura porque da 0. Cómo corregirlo: $0 = 0/1 \in \mathbb{Q}$, por ende pertenece al conjunto.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- $3/8 \cdot 2/5 = 6/40 = 3/20 \in \mathbb{Q}$.
- $q \cdot 0 = 0 \in \mathbb{Q}$, demostrando la clausura.
- Sí, por el axioma de clausura multiplicativa.
- No, los decimales infinitos no periódicos son irracionales, y $\mathbb{Q}$ es cerrado.
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 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.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Explicar y aplicar el axioma de clausura de la multiplicación en el conjunto de los números racionales.
Verificando que para todo par de elementos $\frac{a}{b}, \frac{c}{d} \in \mathbb{Q}$ con $b, d \neq 0$, el producto directo $\left(\frac{a}{b}\right) \cdot \left(\frac{c}{d}\right) = \frac{a \cdot c}{b \cdot d}$ pertenece estrictamente a $\mathbb{Q}$ al ser $ac, bd \in \mathbb{Z}$.