Inclusión de conjuntos numéricos en los reales

Resumen inicial

Los conjuntos numéricos presentan una estructura jerárquica de inclusión anidada donde los números naturales están contenidos en los enteros, estos en los racionales, y todos en los reales.

Explicación en palabras simples

Inclusión de conjuntos numéricos en R

Los conjuntos de números funcionan como cajas rusas (matrioshkas): los números naturales ($\mathbb{N}$) están dentro de los enteros ($\mathbb{Z}$), los enteros están dentro de los racionales ($\mathbb{Q}$), y los racionales están dentro de los reales ($\mathbb{R}$). Por su parte, los irracionales ($\mathbb{I}$) forman otra caja independiente que también está dentro de los reales.

Explicación formal

La jerarquía de inclusión de los sistemas numéricos sobre el cuerpo de los números reales $\mathbb{R}$ se rige por la Cadena de Inclusión Anidada:

$$\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \quad \land \quad \mathbb{I} \subset \mathbb{R}$$

Relaciones formales de inclusión y disyunción:
1. Inclusión estricta: $\mathbb{N} \subsetneq \mathbb{Z} \subsetneq \mathbb{Q} \subsetneq \mathbb{R}$.
2. Transitividad: Si $x \in \mathbb{N} \implies x \in \mathbb{Z} \land x \in \mathbb{Q} \land x \in \mathbb{R}$.
3. No reciprocidad: Existen elementos en $\mathbb{Z}$ que no pertenecen a $\mathbb{N}$ (ej: $-3$), elementos en $\mathbb{Q}$ que no pertenecen a $\mathbb{Z}$ (ej: $\frac{1}{2}$), y elementos en $\mathbb{R}$ que no pertenecen a $\mathbb{Q}$ (ej: $\sqrt{2}$).
4. Independencia de $\mathbb{I}$: $\mathbb{I} \not\subset \mathbb{Q}$ y $\mathbb{Q} \not\subset \mathbb{I}$, pero $\mathbb{I} \subset \mathbb{R}$.

Definiciones clave

Inclusión de conjuntos ($\subset$): Relación donde todo elemento del primer conjunto es elemento del segundo conjunto.
Cadena $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$: Jerarquía base de los conjuntos numéricos clásicos.
Subconjunto propio ($\subsetneq$): Inclusión donde el conjunto contenedor posee elementos adicionales que no están en el contenido.

Propiedades y relaciones importantes

Pertenencia múltiple: Todo número natural es simultáneamente entero, racional y real.
Clasificación más restrictiva: Para caracterizar un número, se busca el conjunto más pequeño al que pertenece en la cadena.

Ejemplo guiado

Ejemplos de inclusión de conjuntos numéricos

Determine todos los conjuntos numéricos ($\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{I}, \mathbb{R}$) a los que pertenecen los números $7$, $-\frac{3}{4}$ y $\sqrt{5}$.

Paso 1: Analizar el número $7$: Es un número de conteo positivo $\implies 7 \in \mathbb{N}$. Por transitividad de la cadena, $7 \in \mathbb{Z}$, $7 \in \mathbb{Q}$ y $7 \in \mathbb{R}$. No pertenece a $\mathbb{I}$.
Paso 2: Analizar $-\frac{3}{4}$: Es una fracción irreducible con denominador $4 \neq 1$. No es natural ni entero ($-\frac{3}{4} \notin \mathbb{N}, \notin \mathbb{Z}$). Pertenece a $\mathbb{Q}$ y a $\mathbb{R}$. No pertenece a $\mathbb{I}$.
Paso 3: Analizar $\sqrt{5}$: $5$ es primo, su raíz es inexacta. No pertenece a $\mathbb{N}, \mathbb{Z}$ ni a $\mathbb{Q}$. Pertenece a $\mathbb{I}$ y a $\mathbb{R}$.
Conclusión: $7 \in \{\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}\}$, $-\frac{3}{4} \in \{\mathbb{Q}, \mathbb{R}\}$ y $\sqrt{5} \in \{\mathbb{I}, \mathbb{R}\}$.

Procedimiento

Paso 1: Evaluar la naturaleza del número (natural, entero negativo, fracción o decimal periódico, o decimal aperiódico/raíz inexacta).
Paso 2: Ubicar el conjunto más específico al que pertenece el número.
Paso 3: Aplicar la transitividad de la cadena $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$ o $\mathbb{I} \subset \mathbb{R}$ para listar todas sus pertenencias conjuntistas.

Errores frecuentes y cómo corregirlos

Error 1: Creer que los números negativos pertenecen a $\mathbb{N}$. Cómo corregirlo: $\mathbb{N}$ solo contiene enteros positivos ($\{1, 2, 3...\}$). Los negativos se incorporan en $\mathbb{Z}$.
Error 2: Pensar que $\mathbb{I}$ contiene a $\mathbb{Q}$. Cómo corregirlo: $\mathbb{Q}$ e $\mathbb{I}$ son ramas completamente separadas y disjuntas que solo se unen al llegar a $\mathbb{R}$.

Ejemplos

Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.

Ejemplos Verdadero/Falso

Decide si cada afirmación es verdadera o falsa antes de ver la explicación.

"Los conjuntos $\mathbb{Q}$ e $\mathbb{I}$ son subconjuntos propios disjuntos de $\mathbb{R}$."

"Olvidar que el número 0 es un entero y un racional, pero no un natural (según la convención estándar MINEDUC)."

"Pensar que $\mathbb{I} \subset \mathbb{Q}$."

"La cadena de inclusión anidada es $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$."

"Confundir la relación de pertenencia de elemento ($\in$) con la relación de inclusión de conjunto ($\subset$)."

"Todo número perteneciente a un conjunto interno pertenece automáticamente a todos los conjuntos exteriores."

"Afirmar que un número entero no es racional."

"Creer que un número que está en $\mathbb{R}$ obligatoriamente debe estar en $\mathbb{Q}$."

Al terminar debes poder

Síntesis de inclusión de conjuntos numéricos

Identificar y aplicar las relaciones de inclusión entre los conjuntos numéricos $\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{I}$ y $\mathbb{R}$.

Utilizando la cadena jerárquica $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$ y la rama disjunta $\mathbb{I} \subset \mathbb{R}$, reconociendo la transitividad de la inclusión y clasificando cualquier número dado en todos los conjuntos a los que pertenece.

Practica

Preguntas conceptuales

Verificar las ideas clave antes de calcular.

Entre los siguientes casos, ¿cuál representa inclusión de conjuntos numéricos en los reales?
El caso “$-4$ es entero, racional porque $-4=-4/1$, y también real” cumple la definición de inclusión de conjuntos numéricos en los reales: los conjuntos numéricos cumplen $\mathbb{N}\subset\mathbb{Z}\subset\mathbb{Q}\subset\mathbb{R}$.

Respuesta: $-4$ es entero, racional porque $-4=-4/1$, y también real
Una estudiante necesita recordar qué es inclusión de conjuntos numéricos en los reales. ¿Qué opción debería anotar?
Para inclusión de conjuntos numéricos en los reales, la formulación completa es “los conjuntos numéricos cumplen $\mathbb{N}\subset\mathbb{Z}\subset\mathbb{Q}\subset\mathbb{R}$”. Las demás alternativas describen conceptos distintos o incompletos.

Respuesta: los conjuntos numéricos cumplen $\mathbb{N}\subset\mathbb{Z}\subset\mathbb{Q}\subset\mathbb{R}$
Después de aplicar inclusión de conjuntos numéricos en los reales, ¿qué idea sirve como control?
La conclusión específica para inclusión de conjuntos numéricos en los reales es “pertenecer a un conjunto pequeño implica pertenecer a todos los conjuntos que lo contienen”; funciona como control del razonamiento.

Respuesta: pertenecer a un conjunto pequeño implica pertenecer a todos los conjuntos que lo contienen

Reconocimiento

Identificar elementos, datos o procedimientos.

El caso “$-4$ es entero, racional porque $-4=-4/1$, y también real” corresponde principalmente a uno de estos recursos. ¿A cuál?
Los datos del caso satisfacen “los conjuntos numéricos cumplen $\mathbb{N}\subset\mathbb{Z}\subset\mathbb{Q}\subset\mathbb{R}$”; por eso corresponden a Inclusión de conjuntos numéricos en los reales.

Respuesta: Inclusión de conjuntos numéricos en los reales

Ejercicios básicos

Aplicar el procedimiento principal en casos simples.

Respecto de inclusión de conjuntos numéricos en los reales, evalúa la afirmación: “Los conjuntos numéricos cumplen $\mathbb{N}\subset\mathbb{Z}\subset\mathbb{Q}\subset\mathbb{R}$”.
Para inclusión de conjuntos numéricos en los reales, se propone el caso “$-4$ es entero, racional porque $-4=-4/1$, y también real”. ¿Cumple la idea “pertenecer a un conjunto pequeño implica pertenecer a todos los conjuntos que lo contienen”?
La frase “los números reales reúnen todos los racionales y todos los irracionales” pertenece a un concepto cercano. ¿Basta por sí sola para definir completamente inclusión de conjuntos numéricos en los reales?

Preguntas tipo PAES

Resolver preguntas con formato y distractores similares a PAES.

En el caso “$-4$ es entero, racional porque $-4=-4/1$, y también real”, ¿qué definición justifica de forma completa el procedimiento o la clasificación realizada?
La justificación debe nombrar la condición de inclusión de conjuntos numéricos en los reales: los conjuntos numéricos cumplen $\mathbb{N}\subset\mathbb{Z}\subset\mathbb{Q}\subset\mathbb{R}$.

Respuesta: los conjuntos numéricos cumplen $\mathbb{N}\subset\mathbb{Z}\subset\mathbb{Q}\subset\mathbb{R}$
Un estudiante concluye que “pertenecer a un conjunto pequeño implica pertenecer a todos los conjuntos que lo contienen”. ¿Qué recurso matemático está usando principalmente?
Esa conclusión se obtiene al estudiar Inclusión de conjuntos numéricos en los reales, cuya definición es “los conjuntos numéricos cumplen $\mathbb{N}\subset\mathbb{Z}\subset\mathbb{Q}\subset\mathbb{R}$”.

Respuesta: Inclusión de conjuntos numéricos en los reales
Tras analizar “$-4$ es entero, racional porque $-4=-4/1$, y también real”, ¿qué afirmación permite comprobar que la interpretación de inclusión de conjuntos numéricos en los reales es correcta?
El control pertinente para inclusión de conjuntos numéricos en los reales es “pertenecer a un conjunto pequeño implica pertenecer a todos los conjuntos que lo contienen”; las otras opciones se refieren a recursos vecinos.

Respuesta: pertenecer a un conjunto pequeño implica pertenecer a todos los conjuntos que lo contienen

Evaluación de dominio

Nivel 1 Definición

Nivel 2 Ejercicios simples

Nivel 3 Problemas de aplicación