Subconjunto

En matemáticas, un conjunto A es un subconjunto de un conjunto B si y solo si todos los elementos de A también son elementos de B ; entonces B es un superconjunto de A. Es posible que A y B sean iguales; si son diferentes, entonces A es un subconjunto propio de B. La relación de que un conjunto sea un subconjunto de otro se llama inclusión (o a veces contención ). Que A sea un subconjunto de B también puede expresarse como que B incluye (o contiene) a A o que A está incluido (o contenido) en B. Un k -subconjunto es un subconjunto con k elementos.

Cuando se cuantifica, se representa como ^{[ 1 ]}${\displaystyle A\subsetequ B}$${\displaystyle \forall x\left(x\in A\Rightarrow x\in B\right).}$

Se puede probar la afirmación aplicando una técnica de prueba conocida como argumento de elementos ^{[ 2 ]} :${\displaystyle A\subsetequ B}$

Sean A y B conjuntos dados. Demostrar que${\displaystyle A\subseteq B,}$

1. Supongamos que a es un elemento particular pero elegido arbitrariamente de A.
2. Demuestra que a es un elemento de B.

La validez de esta técnica puede verse como una consecuencia de la generalización universal : la técnica muestra para un elemento c elegido arbitrariamente . La generalización universal implica entonces lo cual es equivalente a lo indicado anteriormente.${\displaystyle (c\in A)\Rightarrow (c\in B)}$${\displaystyle \forall x\left(x\in A\Rightarrow x\in B\right),}$${\displaystyle A\subseteq B,}$

Si A y B son conjuntos y cada elemento de A es también un elemento de B , entonces:

• A es un subconjunto de B , denotado por , o equivalentemente,${\displaystyle A\subsetequ B}$
• B es un superconjunto de A , denotado por${\displaystyle B\supseteq A.}$

Si A es un subconjunto de B , pero A no es igual a B (es decir, existe al menos un elemento de B que no es un elemento de A ), entonces:

• A es un subconjunto propio (o estricto ) de B , denotado por , o equivalentemente,${\displaystyle A\subsetneq B}$
• B es un superconjunto propio (o estricto ) de A , denotado por${\displaystyle B\supsetneq A.}$

El conjunto vacío , escrito o , no tiene elementos y, por lo tanto, es trivialmente un subconjunto de cualquier conjunto X.${\displaystyle \{\}}$${\displaystyle \varnothing ,}$

• Reflexividad : Dado cualquier conjunto, ^{[ 3 ]}${\displaystyle A}$${\displaystyle A\subsetequ A}$
• Transitividad : Siy, entonces${\displaystyle A\subsetequ B}$${\displaystyle B\subsetequ C}$${\displaystyle A\subsetequ C}$
• Antisimetría : Siy, entonces.${\displaystyle A\subsetequ B}$${\displaystyle B\subsetae}$${\displaystyle A=B}$

Algunos autores utilizan los símbolos y para indicar subconjunto y superconjunto respectivamente; es decir, con el mismo significado que y en lugar de los símbolos y . ^{[ 4 ]} Por ejemplo, para estos autores, es cierto para todo conjunto A que (una relación reflexiva ).${\displaystyle \subset }$${\displaystyle \supset }$${\displaystyle \subseteq }$${\displaystyle \supseteq }$${\displaystyle A\subset A.}$

Otros autores prefieren usar los símbolos y para indicar subconjunto propio (también llamado estricto) y superconjunto propio respectivamente; es decir, con el mismo significado que y en lugar de los símbolos y ^{[ 5 ]} Este uso hace que y sean análogos a los símbolos de desigualdad y Por ejemplo, si entonces x puede o no ser igual a y , pero si entonces x definitivamente no es igual a y , y es menor que y (una relación irreflexiva ). De manera similar, usando la convención de que es un subconjunto propio, si entonces A puede o no ser igual a B , pero si entonces A definitivamente no es igual a B .${\displaystyle \subset }$${\displaystyle \supset }$${\displaystyle \subsetneq }$${\displaystyle \supsetneq .}$${\displaystyle \subseteq }$${\displaystyle \subset }$${\displaystyle \leq }$${\displaystyle <.}$${\displaystyle x\leq y,}$${\displaystyle x<y,}$${\displaystyle \subset }$${\displaystyle A\subseteq B,}$${\displaystyle A\subset B,}$

• El conjunto A = {1, 2} es un subconjunto propio de B = {1, 2, 3}, por lo tanto ambas expresiones son verdaderas.${\displaystyle A\subsetequ B}$${\displaystyle A\subsetneq B}$
• El conjunto D = {1, 2, 3} es un subconjunto (pero no un subconjunto propio) de E = {1, 2, 3}, por lo tanto es verdadero, y no es verdadero (falso).${\displaystyle D\subsetequ E}$${\displaystyle D\subsetneq E}$
• El conjunto { x : x es un número primo mayor que 10} es un subconjunto propio de { x : x es un número impar mayor que 10}.
• El conjunto de los números naturales es un subconjunto propio del conjunto de los números racionales ; asimismo, el conjunto de puntos en un segmento de recta es un subconjunto propio del conjunto de puntos en una recta . Estos son dos ejemplos en los que tanto el subconjunto como el conjunto completo son infinitos, y el subconjunto tiene la misma cardinalidad (el concepto que corresponde al tamaño, es decir, al número de elementos, de un conjunto finito) que el conjunto completo; estos casos pueden contradecir la intuición inicial.
• El conjunto de los números racionales es un subconjunto propio del conjunto de los números reales . En este ejemplo, ambos conjuntos son infinitos, pero el segundo tiene una cardinalidad (o potencia ) mayor que el primero.

Otro ejemplo en un diagrama de Euler :

• 
  A es un subconjunto propio de B.
• 
  C es un subconjunto, pero no un subconjunto propio, de B.

El conjunto de todos los subconjuntos de se llama su conjunto potencia y se denota por . ^{[ 6 ]}${\displaystyle S}$${\displaystyle {\mathcal {P}}(S)}$

La relación de inclusión es un orden parcial en el conjunto definido por . También podemos ordenar parcialmente mediante la inclusión inversa de conjuntos definiendo${\displaystyle \subseteq }$${\displaystyle {\mathcal {P}}(S)}$${\displaystyle A\leq B\iff A\subseteeq B}$${\displaystyle {\mathcal {P}}(S)}$${\displaystyle A\leq B{\text{ si y solo si }}B\subseteq A.}$

Para el conjunto potencia de un conjunto S , el orden parcial de inclusión es —salvo un isomorfismo de orden— el producto cartesiano de (la cardinalidad de S ) copias del orden parcial en para el cual Esto se puede ilustrar enumerando y asociando con cada subconjunto (es decir, cada elemento de ) la k -tupla de la cual la i -ésima coordenada es 1 si y solo si es un miembro de T.${\displaystyle \operatorname {\mathcal {P}} (S)}$${\displaystyle k=|S|}$${\displaystyle \{0,1\}}$${\displaystyle 0<1.}$${\displaystyle S=\left\{s_{1},s_{2},\ldots ,s_{k}\right\},}$${\displaystyle T\subseteq S}$${\displaystyle 2^{S}}$${\displaystyle \{0,1\}^{k},}$${\displaystyle s_{i}}$

El conjunto de todos los subconjuntos de se denota por , en analogía con la notación para coeficientes binomiales , que cuentan el número de subconjuntos de un conjunto de elementos . En teoría de conjuntos , la notación también es común, especialmente cuando es un número cardinal transfinito .${\displaystyle k}$${\displaystyle A}$${\displaystyle {\tbinom {A}{k}}}$${\displaystyle k}$${\displaystyle n}$${\displaystyle [A]^{k}}$${\displaystyle k}$

• Un conjunto A es un subconjunto de B si y solo si su intersección es igual a A. Formalmente:

${\displaystyle A\subseteq B{\text{ si y solo si }}A\cap B=A.}$

• Un conjunto A es un subconjunto de B si y solo si su unión es igual a B. Formalmente:

${\displaystyle A\subseteq B{\text{ si y solo si }}A\cup B=B.}$

• Un conjunto finito A es un subconjunto de B si y solo si la cardinalidad de su intersección es igual a la cardinalidad de A. Formalmente:

${\displaystyle A\subseteq B{\text{ si y solo si }}|A\cap B|=|A|.}$

• La relación de subconjunto define un orden parcial en conjuntos. De hecho, los subconjuntos de un conjunto dado forman un álgebra booleana bajo la relación de subconjunto, en la que la unión y el encuentro están dados por la intersección y la unión , y la relación de subconjunto en sí es la relación de inclusión booleana .
• La inclusión es el orden parcial canónico , en el sentido de que todo conjunto parcialmente ordenado es isomorfo a alguna colección de conjuntos ordenados por inclusión. Los números ordinales son un ejemplo sencillo: si cada ordinal n se identifica con el conjunto de todos los ordinales menores o iguales a n , entonces si y solo si${\displaystyle (X,\preceq )}$${\displaystyle [n]}$${\displaystyle a\leq b}$${\displaystyle [a]\subseteq [b].}$

• Subconjunto convexo : en geometría, conjunto cuya intersección con cada línea es un único segmento de línea. Pages displaying short descriptions of redirect targets
• Orden de inclusión : orden parcial que surge como la relación de inclusión de subconjuntos en alguna colección de objetos. 
• Mereología : estudio de las partes y los todo que forman. 
• Región : subconjunto abierto conectado de un espacio topológico. Pages displaying short descriptions of redirect targets
• Problema de la suma de subconjuntos : un problema de decisión en informática. 
• Contención subsuntiva : sistema de elementos que están subordinados entre sí. 
• Subespacio : conjunto matemático con alguna estructura añadida. Pages displaying short descriptions of redirect targets
• Subconjunto total : espacio vectorial en análisis funcional 

• Jech, Thomas (2002). Teoría de conjuntos . Springer-Verlag. ISBN 3-540-44085-2.

• Contenido multimedia relacionado con subconjuntos en Wikimedia Commons
• Weisstein, Eric W. "Subconjunto" . MathWorld .