Subconjunto propio
Distinguir e identificar un subconjunto propio a partir de la comparación estricta de sus elementos y cardinalidades con respecto al conjunto contenedor.
Introducción
Imagina que tienes una colección de películas favoritas en tu repisa. Si eliges un grupo de ellas para prestárselo a un amigo, pero te aseguras de no prestarle todas las películas (te quedas con al menos una), el grupo que prestaste es una "verdadera parte" de tu colección.
En matemáticas, cuando un conjunto está completamente contenido dentro de otro, pero no es exactamente igual a él (es decir, el conjunto contenedor tiene al menos un elemento adicional), lo llamamos un subconjunto propio. Es como tener una porción real de una torta, pero nunca la torta entera.
Aprender sobre subconjuntos propios te ayudará a entender relaciones estrictas entre grupos de cosas y a clasificar de forma más precisa cómo se relacionan entre sí.
Explicación
El concepto de subconjunto propio formaliza la idea de contención estricta.
Definición Formal:
Un conjunto $A$ es un subconjunto propio de $B$, lo cual se escribe $A \subset B$ o $A \subsetneq B$, si se cumplen simultáneamente dos condiciones:
1. $A$ es subconjunto de $B$ ($A \subseteq B$).
2. $A$ no es igual a $B$ ($A \neq B$).
Equivalentemente:
$$A \subsetneq B \iff (\forall x, (x \in A \implies x \in B)) \land (\exists y \in B : y \notin A)$$
Propiedades Clave:
* Cardinalidad: Si $A$ y $B$ son conjuntos finitos y $A$ es un subconjunto propio de $B$, entonces la cardinalidad de $A$ es estrictamente menor que la de $B$ ($|A| < |B|$).
* El Conjunto Vacío: El conjunto vacío $\emptyset$ es subconjunto propio de cualquier conjunto no vacío. (Si $B \neq \emptyset$, entonces $\emptyset \subsetneq B$).
* Transitividad: Si $A \subsetneq B$ y $B \subsetneq C$, entonces $A \subsetneq C$.
* No reflexivo: Ningún conjunto es subconjunto propio de sí mismo ($A \nsubsetneq A$).
Cómo hacerlo paso a paso
- Paso 1: Comprueba que todos los elementos de $A$ pertenecen a $B$. Si hay algún elemento en $A$ que no esté en $B$, entonces $A$ no puede ser subconjunto propio.
- Paso 2: Busca si existe al menos un elemento en $B$ que no esté en $A$.
- Paso 3: Si se cumplen ambas condiciones (todos los elementos de $A$ están en $B$, y hay al menos un elemento en $B$ que no está en $A$), entonces concluye que $A$ es un subconjunto propio de $B$ ($A \subsetneq B$).
Ejemplos
1 Determina si el conjunto $A = \{1, 2\}$ es un subconjunto propio de $B = \{1, 2, 3\}$.
- Paso a: Verificamos si $A \subseteq B$. Los elementos de $A$ son 1 y 2. Ambos pertenecen a $B = \{1, 2, 3\}$. Por lo tanto, $A \subseteq B$.
- Paso b: Verificamos si $A \neq B$. El elemento 3 pertenece a $B$, pero no pertenece a $A$. Esto significa que $B$ tiene elementos que no están en $A$, por lo que $A \neq B$.
- Paso c: Al cumplirse $A \subseteq B$ y $A \neq B$, concluimos que $A$ es un subconjunto propio de $B$ ($A \subsetneq B$).
2 Analiza si el conjunto $C = \{a, b, c\}$ es subconjunto propio de $D = \{c, b, a\}$.
- Paso a: Verificamos si $C \subseteq D$. Los elementos de $C$ son a, b y c, y todos están en $D$. Así, $C \subseteq D$.
- Paso b: Comparamos los conjuntos para ver si son diferentes. Vemos que $C$ y $D$ tienen exactamente los mismos elementos, por lo que $C = D$.
- Paso c: Como los conjuntos son iguales, no se cumple la condición de contención estricta. Por lo tanto, $C$ no es un subconjunto propio de $D$ ($C \nsubsetneq D$).
3 ¿Es el conjunto vacío $\\emptyset$ un subconjunto propio del conjunto vacío?
- Para que un conjunto $A$ sea subconjunto propio de $B$, se requiere que $A \neq B$.
- Si tomamos $A = \emptyset$ y $B = \emptyset$, vemos que $A$ y $B$ son idénticos, es decir, $A = B$.
- Como no son diferentes, el conjunto vacío no es subconjunto propio de sí mismo.
4 ¿Es el conjunto de los números naturales $\\mathbb{N}$ un subconjunto propio de los números enteros $\\mathbb{Z}$?
- Todos los números naturales son también números enteros, por lo que se cumple que $\mathbb{N} \subseteq \mathbb{Z}$.
- Existen números enteros (como los negativos o el cero, por ejemplo, $-5$) que no son números naturales.
- Como $\mathbb{N} \subseteq \mathbb{Z}$ y $\mathbb{N} \neq \mathbb{Z}$, concluimos que $\mathbb{N}$ es un subconjunto propio de $\mathbb{Z}$ ($\mathbb{N} \subsetneq \mathbb{Z}$).
Ejemplos Verdadero/Falso
"Pensar que un conjunto puede ser subconjunto propio de sí mismo. Ningún conjunto puede ser menor que sí mismo."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"No verificar si los dos conjuntos son iguales. Si $A = B$, entonces $A$ no es subconjunto propio de $B$."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Confundir la notación de subconjunto ($\subseteq$) con la de subconjunto propio ($\subsetneq$ o $\subset$)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Creer que el conjunto vacío no puede ser subconjunto propio de ningún conjunto. Sí lo es de cualquier conjunto que contenga elementos."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Suponer que la relación de subconjunto propio no es transitiva."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
Un conjunto $A$ es un subconjunto propio de $B$ (denotado por $A \subset B$ o $A \subsetneq B$) si todos los elementos de $A$ pertenecen a $B$, pero existe al menos un elemento en $B$ que no pertenece a $A$. Esto implica que $A \subseteq B$ y $A \neq B$.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
Si $A$ es un subconjunto propio de $B$ ($A \\subsetneq B$) y son conjuntos finitos, ¿qué relación se cumple entre sus cardinalidades?
Como $A$ está contenido en $B$ y no es igual a $B$, la cantidad de elementos en $A$ debe ser estrictamente menor que la de $B$.
Respuesta: $|A| < |B|$
-
¿Cuál de las siguientes afirmaciones es FALSA respecto a los subconjuntos propios?
Ningún conjunto es subconjunto propio de sí mismo porque la relación requiere que el conjunto contenedor sea estrictamente más grande (no igual).
Respuesta: Cualquier conjunto es subconjunto propio de sí mismo
-
¿Qué condición diferencia a un subconjunto propio $A \\subsetneq B$ de un subconjunto general $A \\subseteq B$?
Un subconjunto propio es una contención estricta. Todos los elementos del primer conjunto deben estar en el segundo, pero el segundo debe tener al menos un elemento adicional.
Respuesta: Que $A$ no puede ser igual a $B$, es decir, $B$ debe contener al menos un elemento que no está en $A$
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Si $X = \\{a, b\\}$ y $Y = \\{a, b, c\\}$, ¿cuál es la relación correcta?
Todos los elementos de $X$ pertenecen a $Y$ ($a, b \\in Y$) y además $Y$ contiene al elemento $c$ que no está en $X$. Así, la contención es estricta.
Respuesta: $X$ es un subconjunto propio de $Y$ ($X \\subsetneq Y$)
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
¿El conjunto vacío $\\emptyset$ es un subconjunto propio de $M = \\{5\\}$?
El conjunto vacío está contenido en $M$ y no es igual a $M$ (porque $M$ contiene al 5). Por ende, es un subconjunto propio.
Respuesta: Verdadero
-
¿Si $A \\subsetneq B$ y $B \\subsetneq C$, entonces $A \\subsetneq C$?
La relación de subconjunto propio es transitiva. Si $A$ está estrictamente dentro de $B$ y $B$ estrictamente dentro de $C$, entonces $A$ está estrictamente dentro de $C$.
Respuesta: Verdadero
-
¿Es el conjunto $A = \\{1, 2, 3\\}$ un subconjunto propio de $B = \\{1, 2, 3\\}$?
Como $A$ y $B$ tienen los mismos elementos, son iguales ($A=B$). Por lo tanto, no se cumple la condición de diferencia estricta para ser subconjunto propio.
Respuesta: Falso
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
Sea $A = \\{x \\in \\mathbb{Z} : -3 < x < 3\\}$ y $B = \\{x \\in \\mathbb{N} : x < 3\\}$. ¿Cuál es la relación de contención correcta?
Por extensión: $A = \\{-2, -1, 0, 1, 2\\}$ y $B = \\{1, 2\\}$. Los elementos de $B$ pertenecen a $A$. Además, $A$ tiene elementos como $-2$ que no están en $B$. Así, $B \\subsetneq A$.
Respuesta: $B \\subsetneq A$
-
En un colegio, el conjunto $A$ representa a todos los estudiantes de 2° Medio. El conjunto $B$ representa a todos los estudiantes de 2° Medio que juegan fútbol en el taller deportivo escolar. Si hay alumnos de 2° Medio que no participan en fútbol, ¿cuál de las siguientes opciones describe formalmente la situación?
Todo alumno que pertenece al taller de fútbol ($B$) es alumno de 2° Medio ($A$), por lo que $B \\subseteq A$. Como hay alumnos en 2° Medio que no juegan fútbol, $B \\neq A$. Por lo tanto, $B \\subsetneq A$.
Respuesta: $B$ es un subconjunto propio de $A$ ($B \\subsetneq A$)
-
Sean los conjuntos $P = \\{x \\in \\mathbb{N} : x \\text{ es divisor de } 8\\}$ y $Q = \\{x \\in \\mathbb{N} : x \\text{ es divisor de } 24\\}$. ¿Cuál de las siguientes relaciones describe correctamente la contención entre $P$ y $Q$?
Los divisores de 8 son $\\{1, 2, 4, 8\\}$ y los de 24 son $\\{1, 2, 3, 4, 6, 8, 12, 24\\}$. Todos los elementos de $P$ están en $Q$, y $Q$ tiene elementos que no están en $P$, por lo que $P \\subsetneq Q$.
Respuesta: $P$ es un subconjunto propio de $Q$ ($P \\subsetneq Q$) porque todos los divisores de 8 dividen a 24, pero 24 tiene más divisores.