You are on page 1of 3

Teora de conjuntos

Conjunto:
Un conjunto puede considerarse como una coleccin de objetos, llamados
miembros o elementos del conjunto. En general, mientras no se especifique lo
contrario, denotamos un conjunto por la letra mayscula: A, B, C, y un elemento
por una letra minscula: a, b.
Si un elemento a pertenece a un conjunto C, escribimos aC. Si a no
pertenece a C escribimos aC. si a y b pertenecen a C escribimos: a,bC.
Conjunto universal U:
Conjunto que contiene todos los elementos posibles para un problema
particular en consideracin.
Por ejemplo, en un problema que slo involucra nmeros naturales, el conjunto
universal es el conjunto de todos los nmeros naturales: {1, 2, 3, 4, . . .}.
Cualesquiera otros subconjuntos involucrados, como el conjunto de los
nmeros pares {2, 4, 6, . . .}, se toman de este conjunto universal.
Subconjuntos:
Si cada elemento de un conjunto A tambin pertenece a un conjunto B,
llamamos a A un subconjunto de B, se denomina: A B, que significa, A esta
contenido en B.
Si A B y B A llamamos a A y B iguales y escribimos A=B. en este caso A y B
tienen exactamente los mismos elementos.
Si A no es igual a B, es decir si A y B no tienen exactamente los mismos
elementos, escribimos A=/B.
Si A B pero A=/B llamamos a A un subconjunto propio de B
Ejemplo 1: {a, i, u} es un subconjunto propio de {a, e, i, o, u}

Ejemplo 2: {i, o, u, a, e} es un subconjunto, pero no un subconjunto propio de


{a, e, i, o, u}, puesto que los dos conjuntos son iguales. La sola redistribucin
de los elementos no cambia el conjunto.
Unin entre conjuntos:
El conjunto de todos los elementos que pertenecen a A o a B, o tanto a A como
a B, se le llama la unin de A y B, y se escribe: AB
Interseccin entre conjuntos:
El conjunto de todos los elementos que pertenecen simultneamente a A y a B
se le llama la interseccin de A y B, y se escribe AB.
Dos conjuntos A y B tales que AB=, es decir, que no tienen elementos
comunes, se llaman conjuntos disjuntos.
Complemento de un conjunto:
El complemento o el conjunto complementario de un conjunto dado es otro
conjunto que contiene todos los elementos que no estn en el conjunto original.
Teoremas:
Ley comunicativa de las uniones: La unin de los conjuntos A y B es igual a la
unin de los conjuntos B y A: teorema AB=BA
Ley asociativa de las uniones: La unin de los conjuntos A y BC es igual que
la unin de los conjuntos AB y C: teorema A (BC) = (AB) C = ABC
Ley

comunicativa

de

las

intersecciones:

La

interseccin

de

los

conjuntos A y B es igual a la interseccin de los conjuntos B y A: AB=BA


Ley asociativa de las intersecciones: La interseccin de los conjuntos A y BC
es igual a la interseccin de los conjuntos AB y C. Teorema: A (BC) =
(AB)C = ABC
Primera Ley distributiva: A(BC) = (AB) (AC), y por tanto: A(AB) = A

Segunda ley distributiva: A(BC) = (AB)(AC), y por tanto:


A(AB) = A
Teorema A B = A B: Diferencia de A menos B cuyos elementos son todos
aquellos elementos de A que no lo sean de B
Si AB, entonces BA o A)B si A est contenido en B, entonces el
complemento de B est contenido en el complemento de cualquier subconjunto
de B
Teorema: A = A (El conjunto vaco es neutro de la operacin unin). A =
(La interseccin de cualquier conjunto con el conjunto vaco, es el conjunto
vaco.)
Teorema Au = u (Todo conjunto A es subconjunto de U, A U.
La unin de un conjunto A con el conjunto universal U es igual a U. Au = A (La
interseccin de un conjunto A con el conjunto universal resulta en el mismo
conjunto A)
Teorema (AB) = AB primera ley de Morgan: El complemento de la unin es
la interseccin de los complementos. (La ley es falsa ya que no se cumple).
Teorema (AB) = AB segunda ley de Morgan: El complemento de la
interseccin es la unin de los complementos.

You might also like