Subconjunto impropio
Identificar y definir los subconjuntos impropios de un conjunto reconociendo al propio conjunto y al conjunto vacío como tales.
Introducción
Imagina que tienes una caja con juguetes. Si decides regalarle a tu hermano un grupo de juguetes de esa caja, tienes varias opciones. Pero hay dos casos extremos: no regalarle nada (dejar la caja vacía para él) o regalarle exactamente la caja completa con todos los juguetes.
En matemáticas, a estos dos extremos los llamamos subconjuntos impropios de un conjunto. En particular, cualquier conjunto es un subconjunto impropio de sí mismo porque contiene exactamente la misma información y elementos, sin dejar nada fuera.
Aprender sobre subconjuntos impropios te ayudará a reconocer los límites extremos cuando analizamos las posibles formas de agrupar o seleccionar elementos de un conjunto.
Explicación
En la teoría de conjuntos, la relación de inclusión $A \subseteq B$ permite que ambos conjuntos sean iguales.
Definición:
Dado un conjunto $A$, sus subconjuntos se dividen en dos categorías:
1. Subconjuntos Propios: Aquellos subconjuntos que son estrictamente más pequeños que $A$ y no vacíos (en algunos textos).
2. Subconjuntos Impropios: Aquellos casos extremos de inclusión que no representan una parte estricta y diferente del conjunto. Estos son:
* El propio conjunto ($A$): Dado que todo conjunto está contenido en sí mismo ($A \subseteq A$), el conjunto $A$ es un subconjunto impropio de sí mismo.
* El conjunto vacío ($\emptyset$): Como el conjunto vacío está contenido en cualquier conjunto ($\emptyset \subseteq A$), también se le clasifica como subconjunto impropio de $A$.
Cualquier otro subconjunto $S$ de $A$ tal que $S \neq \emptyset$ y $S \neq A$ se denomina subconjunto propio.
Características de $A$ como su propio subconjunto impropio:
* Cardinalidad: La cardinalidad del subconjunto impropio $A$ es idéntica a la del conjunto original: $|A| = |A|$.
* Igualdad: Es el único subconjunto de $A$ que es igual a $A$.
Cómo hacerlo paso a paso
- Paso 1: Identifica el conjunto original $A$ dado en el problema.
- Paso 2: Escribe los dos subconjuntos extremos que siempre existen para cualquier conjunto: el conjunto vacío $\emptyset$ y el mismo conjunto $A$.
- Paso 3: Clasifica a estos dos conjuntos como los subconjuntos impropios del conjunto $A$.
Ejemplos
1 Para el conjunto $M = \{1, 2, 3\}$, identifica todos sus subconjuntos impropios.
- Paso a: Identificamos el conjunto dado: $M = \{1, 2, 3\}$.
- Paso b: Determinamos los casos extremos de contención. El conjunto vacío $\emptyset$ y el propio conjunto $M = \{1, 2, 3\}$ son subconjuntos de $M$.
- Paso c: Clasificamos estos dos conjuntos. Por definición, $\emptyset$ y $\{1, 2, 3\}$ son los subconjuntos impropios de $M$.
2 Determina si el conjunto $S = \{a\}$ es un subconjunto impropio de $T = \{a, b\}$.
- Paso a: Comparamos el conjunto $S = \{a\}$ con el conjunto contenedor $T = \{a, b\}$. Vemos que $S \subseteq T$.
- Paso b: Verificamos si $S$ es igual al conjunto vacío $\emptyset$ o al conjunto completo $T$. Como $\{a\} \neq \emptyset$ y $\{a\} \neq \{a, b\}$, $S$ no es ninguno de los extremos impropios de $T$.
- Paso c: Concluimos que $S = \{a\}$ es un subconjunto propio de $T$, y no un subconjunto impropio de $T$.
3 ¿Es el conjunto $A = \\{2, 4, 6\\}$ un subconjunto impropio de sí mismo?
- Por propiedad reflexiva de los conjuntos, todo conjunto es subconjunto de sí mismo, es decir, $A \subseteq A$.
- Un subconjunto que es igual al conjunto original se clasifica como subconjunto impropio.
- Por lo tanto, $A$ es efectivamente un subconjunto impropio de sí mismo.
4 ¿Existe algún subconjunto propio para el conjunto vacío $\\emptyset$?
- El conjunto vacío $\emptyset$ solo tiene un subconjunto en total, que es sí mismo ($\emptyset$).
- Como este único subconjunto es igual al conjunto original, es un subconjunto impropio.
- Por lo tanto, el conjunto vacío no posee subconjuntos propios.
Ejemplos Verdadero/Falso
"Confundir subconjuntos propios con impropios. Los propios deben ser estrictamente menores que el conjunto original."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Pensar que un conjunto no es subconjunto de sí mismo porque son iguales. La relación $\subseteq$ incluye la igualdad."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Creer que el conjunto vacío es un subconjunto propio de sí mismo."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Olvidar que la definición de subconjunto impropio incluye tanto a $\emptyset$ como al propio conjunto en la literatura clásica."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Asumir que los subconjuntos impropios de un conjunto finito tienen menor cardinalidad que este."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
Un subconjunto impropio es un subconjunto que no aporta elementos nuevos ni restringe de forma parcial el conjunto original. Para cualquier conjunto $A$, los subconjuntos impropios son el propio conjunto $A$ (ya que $A \subseteq A$) y, según la definición clásica, el conjunto vacío $\emptyset$ (ya que $\emptyset \subseteq A$).
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
¿A qué se le denomina subconjunto impropio de un conjunto $S$?
Los subconjuntos impropios de $S$ son aquellos que no representan una 'verdadera' porción menor de $S$, es decir, el propio $S$ y el conjunto vacío.
Respuesta: Al propio conjunto $S$ y al conjunto vacío $\\emptyset$, que representan los límites extremos de la inclusión
-
¿Cuál de los siguientes subconjuntos de $A$ es siempre igual a $A$?
El único subconjunto de $A$ que es igual a $A$ es el propio conjunto $A$ (su inclusión reflexiva $A \\subseteq A$), considerado un subconjunto impropio.
Respuesta: El subconjunto impropio formado por el mismo conjunto $A$
-
El conjunto vacío $\\emptyset$, en relación con cualquier conjunto no vacío $M$:
El conjunto vacío no tiene elementos y es subconjunto de cualquier conjunto. Tradicionalmente se clasifica como subconjunto impropio de cualquier conjunto no vacío.
Respuesta: Se considera un subconjunto impropio de $M$ bajo la definición clásica
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Si $A = \\{1, 2\\}$, ¿cuáles son todos sus subconjuntos impropios?
Los subconjuntos impropios de $A$ son el conjunto vacío $\\emptyset$ y el mismo conjunto original $A = \\{1, 2\\}$.
Respuesta: $\\emptyset$ y $\\{1, 2\\}$
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
¿La cardinalidad de un subconjunto impropio de $A$ (que no sea el vacío) es igual a la cardinalidad de $A$?
El subconjunto impropio de $A$ (distinto de $\\emptyset$) es el mismo conjunto $A$, de modo que su cardinalidad es la misma que la de $A$.
Respuesta: Verdadero
-
¿Todo conjunto no vacío $A$ tiene exactamente dos subconjuntos impropios?
Para cualquier conjunto no vacío $A$, los únicos subconjuntos impropios son $\\emptyset$ y el propio $A$.
Respuesta: Verdadero
-
¿El conjunto $\\text{Im} = \\{a, b\\}$ es un subconjunto impropio de $X = \\{a, b, c\\}$?
El conjunto $\\text{Im}$ es menor que $X$ y diferente de $\\emptyset$ y $X$. Por lo tanto, es un subconjunto propio, no impropio.
Respuesta: Falso
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
Considere el conjunto $A = \\{x \\in \\mathbb{R} : x^2 - 9 = 0\\}$. Se definen tres subconjuntos de $A$: $S_1 = \\{-3, 3\\}$, $S_2 = \\{3\\}$ y $S_3 = \\{\\}$. ¿Cuáles corresponden a subconjuntos impropios de $A$?
Por extensión, $A = \\{-3, 3\\}$. Los subconjuntos impropios son el propio conjunto $A$ ($S_1$) y el conjunto vacío ($S_3$).
Respuesta: $S_1$ y $S_3$
-
Sea $T$ el conjunto de todos los números impares menores que 10. Si seleccionamos un subconjunto de $T$ cuya cardinalidad coincida exactamente con la cardinalidad de $T$, ¿qué podemos afirmar de este subconjunto?
Para un conjunto finito $T$, el único subconjunto con su misma cardinalidad es él mismo ($T$). Por definición, $T$ es subconjunto impropio de sí mismo.
Respuesta: Es un subconjunto impropio de $T$ y es idéntico a $T$.
-
Un estudiante asegura que el conjunto vacío $\\emptyset$ y el conjunto de los números enteros $\\mathbb{Z}$ son subconjuntos impropios del conjunto de los números enteros $\\mathbb{Z}$. ¿Es correcta la afirmación del estudiante?
La afirmación es matemáticamente correcta. Para cualquier conjunto, sea finito o infinito como $\\mathbb{Z}$, el conjunto vacío y el conjunto mismo son sus subconjuntos impropios.
Respuesta: Sí, porque tanto el conjunto vacío como el conjunto completo son los subconjuntos límites o impropios de $\\mathbb{Z}$.