CONJUNTO DE CONJUNTO O FAMILIA DE CONJUNTOS

Es una coleccin de objetos considerada como un objeto en s. Los objetos de la coleccin pueden ser
cualquier cosa: personas, nmeros, colores, letras figuras, etc. Cada uno de los objetos en la coleccin es un
elemento o miembro del conjunto.

Un conjunto suele definirse mediante una propiedad que todos sus elementos poseen. Por ejemplo,
para los nmeros naturales, si se considera la propiedad der ser un nmero primo, el conjunto de los nmeros
primos es:

P = {2,3,5,7,11,13,}

Un conjunto queda definido nicamente por sus miembros y por nada ms. En particular, un conjunto
puede escribirse como una lista de elementos, pero cambiar el orden de dicha lista o aadir elementos
repetidos no define un conjunto nuevo.

S = {Lunes, Martes, Mircoles, Jueves, Viernes} = {Martes, Viernes, Jueves, Lunes Mircoles}

Al = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta} = {Amarillo, Naranja, Rojo, Verde, Violeta,
Ail, Azul}

Los conjuntos pueden ser finitos o infinitos. El conjunto de los nmeros naturales es infinito, pero el
conjunto de los planetas en el Sistema Solar es infinito, adems, con los con juntos pueden combinarse
mediante operaciones, de manera similar a las operaciones con nmeros.

Los conjuntos son un concepto primitivo, en el sentido de que no es posible definirlos en trminos de
nociones ms elementales, por lo que su estudio puede realizarse de manera informal, apelando a la intuicin
y a la lgica.

Un conjunto es una coleccin bien definida de objetos, entendiendo que dichos objetos puede ser
cualquier cosa: nmeros, personas, letras, otros conjuntos, etc.
 A es el conjunto de los nmeros naturales menores que 5
B es el conjunto de los colores verde, blanco y rojo
C es el conjunto de las letras a, e, i, o, u

Los conjuntos se denotan habitualmente por letras maysculas. Los objetos que componen el
conjunto se llaman elementos o miembros. Se dice que pertenecen al conjunto y se denota mediante el
smbolo :n 1 a A y se lee entonces como a esta en A, a pertenece a A, A contiene a a y para la
opcin contraria se usa el smbolo

Es habitual usar llaves para escribir los elementos de un conjunto, de modo que:

B = {verde, blanco, rojo}

C = {a, e, i, o, u}

Esta notacin mediante llaves tambin se utiliza cuando los conjuntos se especifican de forma
intensiva mediante una propiedad:

A = {Nmeros naturales menor que 5}

D = {Palos de la baraja francesa}

Otra notacin habitual para denotar por comprensin es:

A = {m; m es un numero natural, y 1 m 5}

D = {p; p es un palo de la baraja francesa}
A = {n; n es un numero entero, y 1 m 10}

En matemticas, una familia de conjuntos o una coleccin de conjuntos es un conjunto cuyos

elementos son a su vez conjuntos. El nombre familia o coleccin se utiliza para enfatizar la naturaleza
conjuntista de sus elementos y suele venir acompaado de una notacin distinta.

Aplicaciones

Sean X e Y conjuntos. Una correspondencia entre X e Y es una terna (X, Y, G) donde G X Y. Al

conjunto X se le llama conjunto inicial, al conjunto Y se le llama conjunto final y a G se le llama grafo
o grfica de la correspondencia. Si el par (x,y) G se dice que x se corresponde con y.

A una correspondencia como la anterior se le suele asignar letras f, g, h,..., representndose

mediante

f: X Y, o bien, X Y

CONJUNTOS DISJUNTOS

Cuando dos conjuntos son completamente diferentes (no tiene ningn elemento en comn) reciben el
nombre de conjuntos disyuntos.
 Se dice que dos conjuntos son disjuntos si no tiene ningn elemento en comn. Por ejemplo: {1, 2, 3}
y {4, 5, 6} son conjuntos disjuntos.

Formalmente, dos conjuntos A y B son disjuntos si su interseccin es el conjunto vaco, es decir, si

Esta definicin se extiende a cualquier coleccin de conjunto. Los conjuntos de una tal coleccin son
disjuntos por pares o mutuamente disjuntos si cualquier par de conjuntos distintos de ella son disjuntos.

Formalmente sea A un conjunto para cada / . La familia de conjuntos {Ai | i I} es disjunta por
pares si para cada i, j I, con i j,

La coleccin de conjunto { {1}, {2}, {3},... } es disjunta por pares. Si la coleccin {Ai} es disjunta por
pares, su interseccin es obviamente vaca:

La implicacin inversa no es, sin embargo, cierta: la interseccin de la coleccin {{1, 2}, {2, 3}, {3, 1}}
es vaca, pero la coleccin no es disjunta por pares; no hay, de hecho, dos conjuntos disjuntos en ella.

Una particin de un conjunto X es una coleccin de subconjuntos no vacos {Ai | i I} de X, disjuntos

por pares, tales que

CONJUNTOS UNIVERSAL

Se denota con la letra U, contiene, comprende o dentro del cual estn todos los dems conjuntos. Si
consideramos U como el conjunto de todos los elementos qumicos, entonces dentro de U existirn
subconjuntos de elementos slidos, lquidos, gaseosos, radioactivos, metales, etc.

Este conjunto depende del problema que se estudia, se denota con la letra U y algunas veces con la
letra S.
 Si solo queremos referirnos a los 5 primeros nmeros naturales el conjunto queda:

U = { 1, 2, 3, 4, 5 }

Forma alternativa para indicar conjuntos de gran importancia:

Conjunto de nmeros naturales (enteros mayores que cero) representados por la letra N donde
N = { 1, 2, 3, .... }
Conjunto de nmeros enteros positivos y negativos representados por la letra Z donde
Z = {..., -2, -1, 0, 1, 2, ... }

Conjunto de nmeros racionales (nmeros que se representan como el cociente de dos nmeros
enteros {fracciones}). Estos nmeros se representan por una Q.
Conjunto de nmeros irracionales (nmeros que no puedan representarse como el cociente de dos
nmeros enteros) representados por la letra I.
Conjunto de los nmeros reales que son los nmeros racionales e irracionales es decir todos,
representados por R.
Todos estos conjuntos tienen un nmero infinito de elementos, la forma de simbolizarlos por extensin o
por enumeracin es de gran utilidad cuando los conjuntos a los que se hace referencia tienen pocos
elementos para poder trabajar con ellos se emplean la notacin llamada comprehensin.

Al denotar el conjunto de los nmeros naturales menores que 60. Aqu U es el conjunto N y se tiene
una propiedad que caracteriza a los elementos del conjunto: ser menores que 60.
Para indicar esta situacin empleamos la simbologa del lgebra de conjuntos:
{ x/x N ; x<60 }
En esta expresin se maneja un conjunto de x que pertenece a los nmeros naturales (N) y adems
que los valores de x son menores que 60.

Ahora si se desea trabajar con conjuntos que manejen intervalos estos pueden ser representados por
medio de una expresin algebraica; supongamos que se desea expresar los nmeros enteros (Z) entre -20 y
30 el conjunto quedara de la manera siguiente:

{ x/x Z ; -20 x 30 }

Tambin se puede expresar el valor de un conjunto indicando la pertenencia o no pertenencia a uno

diferente, por ejemplo

L={ 1, 3, 4, 6, 9 }

P={ x/x N ; X L }

En el conjunto P se indica que los elementos x de un conjunto pertenecen a los nmeros naturales y
adems x no pertenece al conjunto L.

CONJUNTOS POTENCIA

Se llama conjunto de potencia o conjunto de partes de S la conjunto formado por todos los
subconjuntos posibles de S.
 En la teora de conjuntos basada en los axiomas la existencia del conjunto potencia se establece por
el axioma de conjunto potencia.

Si S = {a, b, c} entonces el conjunto potencia de S es P(S) = {{},{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c,}}.

El conjunto potencia de un conjunto S, junto con las operaciones de la unin, de la interseccin y del
complemento forman el ejemplo prototpico de algebra de Boole. De hecho, uno puede demostrar que
cualquier algebra de Boole finita es isomorfa al algebra booleana del conjunto de potencia de un conjunto
finito. Para las algebras booleanas infinitas esto no es verdad, pero cada algebra booleana infinita es
subalgebra de una algebra booleana de partes.

Cuando S es finito, si n = S es el nmero de elementos de S entonces su conjunto potencia

contiene P(S) = 2n elementos. En este caso tambin se puede establecer una biyeccin entre los
elementos del conjunto potencia con nmeros de n-bits: el n-simo bit se refiere a la presencia o ausencia del
n-simo elemento de S. Hay 2n tales nmeros. Este argumento prueba la identidad de coeficientes
binomiales.

La cardialidad de un conjunto potencia siempre es mayor que la cardialidad del conjunto base, el
argumento diagonal de Cantor demuestra la afirmacin para conjuntos infinitos, mientras que el hecho de que
en n 2n la prueba para conjuntos finitos. El conjunto potencia de los nmeros naturales, se pude poner en
correspondencia uno a uno con el conjunto de nmeros reales. Usualmente se establece primero una
biyeccion entre los nmeros reales y el intervalo cerrado [0,1], para luego, usando la expansin didica de los
nmeros reales, identificar cada elemento de [0,1] con la biseccin infinita de ceros y unos dada por los
coeficientes.

Un importante resultado sobre el conjunto potencia es el teorema de Cantor que establece que no
existe biyeccin entre el conjunto potencia de un cierto conjunto y el propio conjunto, con respecto a su
cardinalidad el conjunto potencia tiene ms elementos que el propio conjunto. Si bien esto es trivial para
conjuntos finitos, tiene importantes consecuencias para conjuntos infinitos. El teorema de Cantor por tanto
permite construir una jerarqua infinita de tipos cardinales transfinitos cada uno estrictamente ms grande.

Es el conjunto de todos los subconjuntos posibles de un conjunto dado.