Relación de subconjunto

Resumen inicial

Definición formal, propiedades del orden parcial y uso del símbolo de inclusión $\subseteq$ para la relación de subconjunto.

Explicación en palabras simples

Infografía: Definición de inclusión, cuantificación universal y orden parcial

Decimos que un conjunto $A$ es subconjunto de otro conjunto $B$ (y escribimos $A \subseteq B$, que se lee "$A$ está contenido en $B$" o "$A$ está incluido en $B$") si todos y cada uno de los elementos de $A$ también forman parte de $B$. Por ejemplo, si $A = \{1, 3\}$ y $B = \{1, 2, 3, 4\}$, como el $1$ y el $3$ están dentro de $B$, entonces $A \subseteq B$. Dos reglas vitales: todo conjunto es subconjunto de sí mismo ($A \subseteq A$) y el conjunto vacío es subconjunto de todos los conjuntos ($\emptyset \subseteq A$).

Explicación formal

Definición formal

En la teoría axiomática de conjuntos, la relación de inclusión o subconjunto $\subseteq$ es una relación binaria sobre conjuntos definida mediante la cuantificación universal de la implicación de pertenencia:
$$A \subseteq B \quad \iff \quad \forall x \, (x \in A \to x \in B)$$
La relación $\subseteq$ confiere al conjunto potencia $(\mathcal{P}(\mathcal{U}), \subseteq)$ la estructura de un orden parcial canónico (retículo booleano):
1. Reflexividad: $\forall A, \, A \subseteq A$.
2. Antisimetría: $\forall A \, \forall B, \, (A \subseteq B \land B \subseteq A \implies A = B)$.
3. Transitividad: $\forall A \, \forall B \, \forall C, \, (A \subseteq B \land B \subseteq C \implies A \subseteq C)$.

Desglose simbólico

Símbolo $\subseteq$: Inclusión amplia (permite la posibilidad de que $A = B$).
Refutación de inclusión ($A \not\subseteq B$): $\exists x \, (x \in A \land x \notin B)$.
Inclusión universal del vacío: $\forall A, \, \emptyset \subseteq A$.

Síntesis didáctica

La inclusión conecta dos conjuntos entre sí mediante la subordinación de sus membresías, a diferencia de la pertenencia que vincula un elemento con un conjunto.

Definiciones clave

Relación de subconjunto ($A \subseteq B$): Relación donde todo elemento de $A$ es necesariamente elemento de $B$.
Orden parcial: Estructura matemática que satisface reflexividad, antisimetría y transitividad.
Contraejemplo de inclusión: Elemento $x_0 \in A$ tal que $x_0 \notin B$, demostrando que $A \not\subseteq B$.

Propiedades y relaciones importantes

Monotonía con intersección y unión:
$A \subseteq B \iff A \cap B = A$.
$A \subseteq B \iff A \cup B = B$.
$A \subseteq B \iff A \setminus B = \emptyset$.
$A \subseteq B \iff B^c \subseteq A^c$.

Ejemplo guiado

Diagrama: Verificación de subconjunto y jerarquía de conjuntos numéricos

Dados los conjuntos $A = \{2, 4\}$, $B = \{2, 4, 6, 8\}$ y $C = \{2, 5, 6\}$, determina si se cumplen las relaciones: (a) $A \subseteq B$, (b) $C \subseteq B$, (c) $\emptyset \subseteq A$.

Paso 1: Evaluar (a) $A \subseteq B$: - Elementos de $A$: $2$ y $4$. - Comprobamos en $B$: $2 \in B$ ($V$) y $4 \in B$ ($V$). - Como todos los elementos de $A$ están en $B$, $A \subseteq B$ es **Verdadero ($V$)**.
Paso 2: Evaluar (b) $C \subseteq B$: - Elementos de $C$: $2, 5, 6$. - Comprobamos en $B$: el elemento $5 \in C$, pero $5 \notin B$. - Al existir este contraejemplo, $C \subseteq B$ es **Falso ($F$)** ($C \not\subseteq B$).
Paso 3: Evaluar (c) $\emptyset \subseteq A$: - Por la propiedad universal del conjunto vacío, $\emptyset \subseteq A$ es **Verdadero ($V$)**.

Procedimiento

Paso 1: Identificar los elementos del conjunto propuesto a la izquierda ($A$).
Paso 2: Comprobar para cada elemento de $A$ si figura dentro del conjunto de la derecha ($B$).
Paso 3: Si todos los elementos de $A$ pertenecen a $B$, concluir que $A \subseteq B$.
Paso 4: Si se encuentra al menos un elemento de $A$ ausente en $B$, concluir que $A \not\subseteq B$.

Errores frecuentes y cómo corregirlos

Error 1: Confundir el símbolo de subconjunto $\subseteq$ con el de pertenencia $\in$. Cómo corregirlo: Se escribe $\{1\} \subseteq \{1, 2\}$ (el conjunto $\{1\}$ es subconjunto), pero $1 \in \{1, 2\}$ (el número 1 es elemento).
Error 2: Creer que un conjunto no es subconjunto de sí mismo. Cómo corregirlo: La relación $\subseteq$ es reflexiva; para todo conjunto $A$, $A \subseteq A$ es siempre verdadero.

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.

"La afirmación de que la relación de inclusión no cumple la propiedad transitiva."

"La afirmación de que el símbolo $\subseteq$ se utiliza para relacionar un elemento escalar con un conjunto."

"La afirmación de que un conjunto no es subconjunto de sí mismo ($A \not\subseteq A$)."

"La afirmación de que $A \subseteq B$ implica obligatoriamente que $A \neq B$."

"La afirmación de que el conjunto vacío no es subconjunto de los conjuntos finitos."

"Un conjunto $A$ es subconjunto de $B$ ($A \subseteq B$) si y solo si todo elemento de $A$ es también elemento de $B$ ($\forall x, x \in A \to x \in B$)."

"La relación de subconjunto $\subseteq$ es un orden parcial reflexivo, antisimétrico y transitivo sobre cualquier familia de conjuntos."

Al terminar debes poder

Cuadro resumen: Relación de subconjunto, propiedades y universales

Identificar, expresar y demostrar relaciones de subconjunto ($A \subseteq B$).

Verificar la implicación de pertenencia para todos los elementos, emplear propiedades de orden parcial y distinguirlo de la relación de pertenencia $\in$.

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}\}$?
¿Todo conjunto es subconjunto de sí mismo?
¿Si $A = \\{1, 2, 3\\}$ y $B = \\{2, 3, 4\\}$, entonces $A \\subseteq B$?

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.

Evaluación de dominio

Nivel 1 Definición

Nivel 2 Ejercicios simples

Nivel 3 Problemas de aplicación