Subconjunto propio
Resumen inicial
Definición, características y notación ($\subsetneq$ o $\subset$) de los subconjuntos propios, donde $A \subseteq B$ pero $A \neq B$.
Explicación en palabras simples
Un conjunto $A$ es un subconjunto propio de $B$ (escrito como $A \subsetneq B$ o $A \subset B$) cuando todos los elementos de $A$ están en $B$, PERO $B$ tiene al menos un elemento más que no está en $A$ (es decir, $A$ está estrictamente adentro de $B$ y no son iguales). Por ejemplo, si $A = \{1, 2\}$ y $B = \{1, 2, 3\}$, entonces $A$ es subconjunto propio de $B$. La gran diferencia con el subconjunto simple es que un conjunto NUNCA puede ser subconjunto propio de sí mismo ($A \not\subsetneq A$).
Explicación formal
Definición formal
En la teoría de conjuntos, $A$ es un subconjunto propio (o inclusión estricta) de $B$, denotado formalmente como $A \subsetneq B$ (o $A \subset B$), si y solo si se verifican simultáneamente dos condiciones:
$$A \subsetneq B \quad \iff \quad A \subseteq B \quad \land \quad A \neq B$$
En términos de lógica de predicados:
$$A \subsetneq B \quad \iff \quad (\forall x \, (x \in A \to x \in B)) \quad \land \quad (\exists y \, (y \in B \land y \notin A))$$
Desglose simbólico
- Símbolos: $\subsetneq$ (notación rigurosa inequívoca) o $\subset$.
- Propiedad de Irreflexividad: $\forall A, \, A \not\subsetneq A$.
- Propiedad de Asimetría: $A \subsetneq B \implies B \not\subsetneq A$.
- Propiedad de Transitividad: $(A \subsetneq B \land B \subsetneq C) \implies A \subsetneq C$.
- Cardinalidad en conjuntos finitos: Si $A \subsetneq B$ y $B$ es finito, entonces $|A| < |B|$.
Síntesis didáctica
El subconjunto propio modela la noción de parte estrictamente menor o contenida sin saturar el conjunto mayor.
La alternativa correcta es '$A \subseteq B$ permite que $A = B$, mientras que $A \subsetneq B$ exige obligatoriamente que $A \neq B$'. El subconjunto propio prohíbe la igualdad.
Definiciones clave
- Subconjunto propio ($A \subsetneq B$): Subconjunto que no coincide con el conjunto contenedor ($A \neq B$).
- Elemento excedente: Objeto $y \in B$ tal que $y \notin A$, que certifica la desigualdad de los conjuntos.
- Orden estricto: Estructura relacional irreflexiva, asimétrica y transitiva.
Propiedades y relaciones importantes
- Número de subconjuntos propios: Un conjunto finito de $n$ elementos tiene exactamente $2^n - 1$ subconjuntos propios (se excluye a $A$).
- Conjunto vacío: El conjunto vacío es subconjunto propio de cualquier conjunto no vacío ($\forall A \neq \emptyset, \, \emptyset \subsetneq A$).
Ejemplo guiado
Dado el conjunto $M = \{1, 2, 3\}$, determina si los siguientes conjuntos son subconjuntos propios de $M$: (a) $S_1 = \{1, 3\}$, (b) $S_2 = \{1, 2, 3\}$, (c) $S_3 = \emptyset$.
- Paso 1: Evaluar (a) $S_1 = \{1, 3\}$: - $S_1 \subseteq M$ porque $1, 3 \in M$. - $S_1 \neq M$ porque $2 \in M$ y $2 \notin S_1$. - Como cumple ambas condiciones, $S_1 \subsetneq M$ es **Verdadero ($V$)**.
- Paso 2: Evaluar (b) $S_2 = \{1, 2, 3\}$: - $S_2 \subseteq M$, pero $S_2 = M$. - Al no haber diferencia estricta, $S_2 \subsetneq M$ es **Falso ($F$)** (es subconjunto impropio).
- Paso 3: Evaluar (c) $S_3 = \emptyset$: - $\emptyset \subseteq M$ y como $M \neq \emptyset$, se cumple $\emptyset \neq M$. - Por ende, $\emptyset \subsetneq M$ es **Verdadero ($V$)**.
La alternativa correcta es '$15$ subconjuntos propios ($2^4 - 1$)'. Se resta el propio conjunto para dar $16 - 1 = 15$.
Procedimiento
- Paso 1: Verificar que todo elemento de $A$ pertenezca a $B$ ($A \subseteq B$).
- Paso 2: Si $A \not\subseteq B$, concluir de inmediato que $A \not\subsetneq B$.
- Paso 3: Si $A \subseteq B$, verificar si existe al menos un elemento en $B$ que no esté en $A$.
- Paso 4: Si se halla dicho elemento excedente ($A \neq B$), concluir formalmente que $A \subsetneq B$.
Errores frecuentes y cómo corregirlos
- Error 1: Afirmar que un conjunto es subconjunto propio de sí mismo ($A \subsetneq A$). Cómo corregirlo: La relación $\subsetneq$ es estrictamente irreflexiva; $A \subsetneq A$ es siempre falso porque viola la condición $A \neq B$.
- Error 2: Creer que el conjunto vacío no tiene subconjuntos propios. Cómo corregirlo: El conjunto vacío no tiene subconjuntos propios (porque su único subconjunto es $\emptyset = \emptyset$), pero el vacío sí es subconjunto propio de cualquier conjunto no vacío.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- Todo par es natural.
- Existen naturales impares que no están en $P$, por lo que $P \subsetneq \mathbb{N}$.
- No, pues $|\mathcal{P}(\emptyset)| = 1$ y su único subconjunto es el propio $\emptyset$.
- Sí, en conjuntos finitos la inclusión estricta implica desigualdad estricta de cardinalidad.
- No, por la propiedad de asimetría de la inclusión estricta.
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
Esta afirmación es correcta.
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 describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Definir, identificar y calcular subconjuntos propios ($A \subsetneq B$).
Comprobar la inclusión $A \subseteq B$, verificar la existencia de elementos excedentes en $B$ y calcular el total de subconjuntos propios ($2^n - 1$).
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.