Relación de subconjunto
Identificar y justificar si un conjunto es subconjunto de otro comprobando la contención de todos sus elementos.
Introducción
Imagina que tienes una colección de figuras geométricas de madera y, dentro de ella, un grupo formado únicamente por los círculos rojos. Todos los círculos rojos son, al mismo tiempo, parte de tu colección completa de figuras geométricas.
En matemáticas, cuando todos los elementos de un conjunto pequeño también forman parte de un conjunto más grande, decimos que el primero es un subconjunto del segundo. Es como una caja pequeña guardada dentro de una caja grande.
Aprender sobre subconjuntos te permitirá clasificar objetos y entender cómo se organizan las categorías en matemáticas (por ejemplo, cómo los números enteros se guardan dentro de los números racionales).
Explicación
La relación de subconjunto (o inclusión de conjuntos) es una relación binaria fundamental entre conjuntos.
Definición Formal:
Se dice que $A$ es un subconjunto de $B$, y se escribe $A \subseteq B$, si y solo si se cumple la condición:
$$\forall x, (x \in A \implies x \in B)$$
Esto significa que la pertenencia de un elemento a $A$ garantiza su pertenencia a $B$.
Si queremos demostrar que $A$ no es subconjunto de $B$ ($A \nsubseteq B$), basta con encontrar un contraejemplo: un elemento $x$ tal que $x \in A$ pero $x \notin B$.
Propiedades Importantes:
1. Reflexividad: Todo conjunto es subconjunto de sí mismo ($A \subseteq A$).
2. El Conjunto Vacío: El conjunto vacío es subconjunto de cualquier conjunto ($\emptyset \subseteq A$). Esto se cumple por vacuidad (la premisa $x \in \emptyset$ es siempre falsa, por lo que la implicación es verdadera).
3. Transitividad: Si $A \subseteq B$ y $B \subseteq C$, entonces $A \subseteq C$.
4. Antisimetría: Si $A \subseteq B$ y $B \subseteq A$, entonces $A = B$.
Cómo hacerlo paso a paso
- Paso 1: Identifica los elementos del conjunto $A$ (el presunto subconjunto) y del conjunto $B$ (el conjunto contenedor).
- Paso 2: Toma cada elemento de $A$, uno por uno, y comprueba si pertenece a $B$.
- Paso 3: Si absolutamente todos los elementos de $A$ están en $B$, entonces $A \subseteq B$. Si encuentras aunque sea un elemento de $A$ que no está en $B$, entonces $A \nsubseteq B$.
Ejemplos
1 Determina si el conjunto $A = \{1, 3\}$ es subconjunto de $B = \{1, 2, 3, 4\}$.
- Paso a: Listamos los elementos de $A$: 1 y 3.
- Paso b: Comprobamos si cada uno de ellos está en $B = \{1, 2, 3, 4\}$: El 1 está en $B$ (correcto). El 3 está en $B$ (correcto).
- Paso c: Como todos los elementos de $A$ pertenecen también a $B$, concluimos que $A \subseteq B$.
2 Determina si el conjunto $C = \{2, 5\}$ es subconjunto de $D = \{1, 2, 3, 4\}$.
- Paso a: Listamos los elementos de $C$: 2 y 5.
- Paso b: Comprobamos si están en $D$: El 2 está en $D$ (correcto). El 5 no está en $D$ (no pertenece).
- Paso c: Encontramos un elemento de $C$ ($5$) que no pertenece a $D$. Por lo tanto, concluimos que $C \nsubseteq D$ ($C$ no es subconjunto de $D$).
3 ¿Es el conjunto vacío $\\emptyset$ subconjunto del conjunto $A = \\{7, 8, 9\\}$?
- Por definición de la teoría de conjuntos, el conjunto vacío $\emptyset$ es subconjunto de cualquier conjunto.
- Esto se debe a que no existe ningún elemento en $\emptyset$ que pueda fallar la prueba de estar en $A$.
- Por lo tanto, la afirmación $\emptyset \subseteq A$ es siempre verdadera.
4 ¿Es el conjunto $M = \\{2, 4\\}$ subconjunto del conjunto $N = \\{x \\in \\mathbb{N} : x \\text{ es par}\\}$?
- Los elementos de $M$ son 2 y 4.
- Comprobamos si pertenecen a $N$. El 2 es un número natural y es par, por lo tanto $2 \in N$. El 4 es un número natural y es par, por lo tanto $4 \in N$.
- Como todos los elementos de $M$ están en $N$, se cumple que $M \subseteq N$.
Ejemplos Verdadero/Falso
"Confundir la relación de pertenencia ($\in$) con la relación de inclusión o subconjunto ($\subseteq$). La pertenencia relaciona un elemento con un conjunto; la inclusión relaciona dos conjuntos."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Pensar que un conjunto no puede ser subconjunto de sí mismo. Siempre se cumple $A \subseteq A$."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Creer que el conjunto vacío no es subconjunto de otros conjuntos porque no contiene nada."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Concluir que $A \subseteq B$ solo porque algunos elementos de $A$ están en $B$. Todos deben estar."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Escribir incorrectamente los símbolos, por ejemplo, confundir $\subseteq$ con $\subset$ (subconjunto propio) o $\supseteq$ (superconjunto)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
Un conjunto $A$ es subconjunto de un conjunto $B$ (denotado por $A \subseteq B$) si todo elemento que pertenece a $A$ también pertenece a $B$. Si hay al menos un elemento en $A$ que no está en $B$, entonces $A$ no es subconjunto de $B$ ($A \nsubseteq B$).
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
¿Qué significa que el conjunto $A$ sea un subconjunto de $B$ ($A \\subseteq B$)?
La relación de subconjunto $A \\subseteq B$ exige que la pertenencia de un elemento en $A$ implique necesariamente su pertenencia en $B$.
Respuesta: Que cada elemento de $A$ pertenece también al conjunto $B$
-
Si $A \\subseteq B$ y $B \\subseteq C$, por la propiedad transitiva de la inclusión se cumple que:
Si todo elemento de $A$ está en $B$, y todo elemento de $B$ está en $C$, entonces lógicamente todo elemento de $A$ debe estar en $C$.
Respuesta: $A \\subseteq C$
-
¿Por qué el conjunto vacío $\\emptyset$ es subconjunto de cualquier conjunto $S$?
La definición $A \\subseteq B$ establece que si $x \\in A$, entonces $x \\in B$. Como no existen elementos en $\\emptyset$, la condición se cumple por vacuidad para cualquier conjunto $S$.
Respuesta: Porque no contiene ningún elemento que pueda fallar la condición de pertenencia a $S$
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Dados los conjuntos $A = \\{2, 4\\}$ y $B = \\{1, 2, 3, 4, 5\\}$, ¿cuál es la relación de contención correcta?
Los elementos de $A$ son 2 y 4. Ambos pertenecen a $B$, por lo tanto se cumple $A \\subseteq B$.
Respuesta: $A \\subseteq B$
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
¿El conjunto $P = \\{3, 5, 7\\}$ es subconjunto de $Q = \\{x \\in \\mathbb{N} : x \\text{ es impar}\}$?
Todos los elementos de $P$ (3, 5 y 7) son números naturales impares, cumpliendo la condición del conjunto $Q$, de modo que $P \\subseteq Q$.
Respuesta: Verdadero
-
¿Todo conjunto es subconjunto de sí mismo?
Por reflexividad, para cualquier conjunto $A$ siempre es verdadero que si $x \\in A$, entonces $x \\in A$. Por lo tanto, $A \\subseteq A$.
Respuesta: Verdadero
-
¿Si $A = \\{1, 2, 3\\}$ y $B = \\{2, 3, 4\\}$, entonces $A \\subseteq B$?
El elemento $1$ pertenece a $A$, pero no pertenece a $B$. Por tanto, $A \\nsubseteq B$.
Respuesta: Falso
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
Sea $U = \\{x \\in \\mathbb{N} : x \\le 10\\}$ el conjunto universal. Se definen los conjuntos $M = \\{2, 4, 6, 8, 10\\}$ y $N = \\{x \\in U : x \\text{ es múltiplo de } 4\\}$. ¿Cuál de las siguientes opciones es verdadera?
Los elementos del conjunto $N$ son los múltiplos de 4 menores o iguales a 10: $\\{4, 8\\}$. Dado que ambos números pertenecen al conjunto $M = \\{2, 4, 6, 8, 10\\}$, se tiene que $N \\subseteq M$.
Respuesta: $N \\subseteq M$
-
En una universidad, todos los estudiantes de Ingeniería Comercial ($I$) cursan la asignatura de Álgebra ($A$). Todos los estudiantes que cursan Álgebra cursan además Cálculo ($C$). ¿Cuál de las siguientes relaciones de inclusión de conjuntos modela correctamente esta situación?
Como todos los de Ingeniería ($I$) están en Álgebra ($A$), se tiene $I \\subseteq A$. Como todos los de Álgebra ($A$) están en Cálculo ($C$), se tiene $A \\subseteq C$.
Respuesta: $I \\subseteq A$ y $A \\subseteq C$
-
Dados los conjuntos de números reales $A = \\{x \\in \\mathbb{R} : x^2 - 4 = 0\\}$ y $B = \\{x \\in \\mathbb{Z} : |x| = 2\\}$. ¿Cuál de las siguientes proposiciones describe de forma correcta su relación de contención?
El conjunto $A$ contiene las soluciones a la ecuación cuadrática, las cuales son $-2$ y $2$. El conjunto $B$ contiene los enteros con valor absoluto igual a 2, que también son $-2$ y $2$. Al ser idénticos, se cumple la doble inclusión.
Respuesta: $A \\subseteq B$ y $B \\subseteq A$, por lo tanto, son iguales.