Determinacin de un conjunto

Un conjunto se puede determinar de dos maneras: por extensin y por comprensin

Por extensin

Un conjunto est determinado por extensin cuando se escriben uno a uno todos sus elementos. Por ejemplo, el conjunto de los nmeros naturales menores que 9:

Por comprensin

Un conjunto est determinado por comprensin cuando solamente se menciona una caracterstica comn de todos los elementos. Por ejemplo, el conjunto formado por las letras vocales del abecedario:

Dos conjuntos son idnticos si, y slo si, contienen los mismos elementos. Se puede obtener una descripcin ms detallada en la teora de conjuntos. Las aplicaciones de teora de conjuntos son muy amplias, y baste con mencionar que se utiliza en el diseo de circuitos en electrnica digital; en cuestiones relacionadas con probabilidad; y sus conceptos estn de manera implcita en la terminologa utilizada en diseo de bases de datos, cuando se realizan las consultas.

Unin

Diagrama de Venn que ilustra

Para cada par de conjuntos A y B existe un conjunto unin de los dos, que se denota como el cual contiene todos los elementos de A y de B.

Esto siginifica que xAB si y slo si xA xB. De manera ms general, para cada conjunto S existe otro conjunto denotado como de manera que sus elementos son todos los elementos de algn elemento de S, .

De esta manera

es el caso especial donde

Ejemplo. Si tenemos los conjuntos

entonces:

[editar] Interseccin

Diagrama de Venn que ilustra

Los elementos comunes a A y B forman un conjunto denominado interseccin de A y B, representado por . Es decir, es el conjunto que contiene a todos los elementos de A que al mismo tiempo estn en B:

Esto siginifica que xAB si y slo si xA y xB. Puede definirse tambin la interseccin de una familia de conjuntos, similar al caso de la unin. Si dos conjuntos A y B son tales que se dice que A y B se dice que son conjuntos disjuntos. Ejemplo. Si tenemos los conjuntos de forma , entonces

entonces:

[editar] Particin

Dado un conjunto A, una familia de subconjuntos X={Ai} (con cada Ai A) se denomina una particin de A si la unin de todos ellos es A y son disjuntos dos a dos:

[editar] Diferencia

Diagramas de Venn que muestran A B y B A respectivamente.

Los elementos de un conjunto A que no se encuentran en otro conjunto B, forman otro conjunto llamado diferencia de A y B, representado por . Es decir:

Esto significa que xA\B si y slo si xA y xB. Tambin se denota por A-B. Ejemplo. Dados los conjuntos

se tiene:

[editar] Complemento

Diagrama de Venn que ilustra el complemento de A, AC.

El complemento de un conjunto A es el conjunto de todos los elementos que no pertenecen a A.

El conjunto complemento siempre lo es respecto al conjunto universal que estamos tratando, esto es, si hablamos de nmeros enteros, y definimos el conjunto de los nmeros pares, el conjunto complemento de los nmeros pares es el formado por los nmeros impares. Si estamos hablando de personas, y definimos el conjunto de las personas rubias, el conjunto complementario es el de las personas no rubias. Ejemplo. Consideremos el universo de los nmeros naturales {1,2,3,...}, y entendamos los puntos suspensivos "..." como "y todos los dems". Sean los conjuntos:

(los nmeros impares).

Se tiene entonces:

(los nmeros pares).

[editar] Diferencia simtrica

Diagrama de Venn que ilustra la diferencia simtrica de A y B, AB.

La diferencia simtrica de dos conjuntos A y B viene dada por los elementos que pertenecen a uno y slo uno de los dos:

Tambin se denota por