Álgebra de conjuntos

Álgebra de conjuntos
En matemáticas, se denomina álgebra de conjuntos a las operaciones básicas que pueden realizarse con conjuntos, como la unión,intersección, etc.
Contenido
[ocultar] 
1 Conjuntos
2 Operaciones con conjuntos
3 Leyes fundamentales
4 Ejemplo con dos conjuntos
5 Referencias
6 Véase también
7 Enlaces externos
[editar]Conjuntos
Artículo principal: Conjunto.

Un conjunto es una colección de objetos considerada como un objeto en sí. Un conjunto está definido únicamente por los elementos que lo componen, y no por la manera en la que se lo representa.



Existe una serie de relaciones básicas entre conjuntos y sus elementos:
El conjunto universal, referencial o universo de discurso, que normalmente se denota por las letras , es un conjunto cuyo objeto de estudio son lossubconjuntos del mismo. En la figura tenemos:

Pertenencia. La relación relativa a conjuntos más básica es la relación de pertenencia. Dado un elemento x, pertecece a un conjunto dado. Esto se indica como:

Si un elemento no pertenece a un conjunto, se indica:

Inclusión. Dado un conjunto A, cualquier subcolección B de sus elementos es un subconjunto de A, y se indica como:

Si un conjunto no esta incluido en otro, se indica:

Igualdad. Dos conjuntos son iguales si y sólo si tienen los mismos elementos. Este principio, denominado principio de extensionalidad establece el hecho de que un conjunto queda definido únicamente por sus elementos.
[editar]Operaciones con conjuntos

Veamos las operaciones con conjuntos, para ello lo ilustraremos con el ejemplo de la figura, donde puede ver el conjunto universal adoptado: U y dos conjuntos el A y el B, así como los elementos que pertenecen a cada uno:



Las operaciones básicas del álgebra de conjuntos son:
Unión. La unión de dos conjuntos A y B es el conjunto A B que contiene todos los elementos de A y de B.

Intersección. La intersección de dos conjuntos A y B es el conjunto A B que contiene todos los elementos comunes de A y B.

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



Diferencia. La diferencia entre dos conjuntos A y B es el conjunto A \ B que contiene todos los elementos de A que no pertenecen a B.


Dados dos conjuntos A y B, se llama diferencia entre A y B, y se representa A - B, al conjunto formado por los elementos de A que no pertenecen a B.1 Es decir:

Con esta notación, se expresaria:



Producto cartesiano. El producto cartesiano de dos conjuntos A y B es el conjunto A × B que contiene todos los pares ordenados(a, b) cuyo primer (segundo) elemento pertenece a A (a B).
Algunas de estas operaciones poseen propiedades similares a las operaciones con números. Por ejemplo, la unión y la intersección son conmutativas y asociativas. El conjunto vacío es el elemento neutro de la unión, y el elemento absorbente de la intersección y el producto cartesiano. El conjunto universal es el elemento neutro de la intersección y el elemento absorbente de la unión.
Además, las operaciones de unión, intersección, diferencia y complemento son muy similares a las operaciones en un álgebra de Boole, así como a los conectores lógicos de la lógica proposicional.2
[editar]Leyes fundamentales
Dadas las operaciones binarias sobre conjuntos unión e intersección y la operación monaria complemento, se cumplen algunas leyes o propiedades que se agrupan del siguiente modo:
Proposición 1: para cualquier conjunto A, B y C se cumplen las siguientes proposiciones:
Ley conmutativa:


Ley asociativa:


Ley distributiva


Proposición 2: existe un conjunto universal U, para el que se cumple que dado un conjunto A, A es un subconjunto de U, existe un conjunto Ø que llamaremos conjunto vacío
Ley de identidad:


Ley de complemento:





Proposición 3: dados los conjuntos A, B subconjuntos de U, se cumple:
Ley de idempotencia:


Ley de dominación:


Ley de absorción:


Ley de De Morgan


[editar]Ejemplo con dos conjuntos
Dados dos conjuntos A y B que pertenecen a U, y siendo Ø el conjunto vacío, podemos ver los distintos casos que se pueden dar, a modo de ejemplo del álgebra de conjuntos.
En la representación gráfica utilizaremos un rectángulo para representar el conjunto universal y un ovalo o un circulo para representar el resto de los conjuntos, la zona coloreada en verde es la que corresponde a la expresión representada.
Caso 1

Este caso corresponde al conjunto universal y engloba a todos los conjuntos que lo forman.



Caso 2

Corresponde a la unión de los conjuntos A y B, y engloba a los elementos que pertenecen al conjunto A o al B o a ambos simultaneamente.



Caso 3

El resultado es, dentro del conjunto universal U, la unión de los elementos que pertenecen a A y no pertenecen a B.



Caso 4

Corresponde al conjunto A.



Caso 5

Como se puede ver en la gráfica, es la unión de los elementos que no pertenecen a A y los que pertenecen a B.



Caso 6

Son los elementos que pertenecen a B.



Caso 7

Este caso, algo más complejo que los anteriores, esta formado por: la unión de los elemento de la intersección de A y B con la intersección de los complementos de A y B, o lo que es lo mismo es: la intersección de la unión de A y el complemento B con la unión del complemento de A y B.



Caso 8

Corresponde a la intersección de A y B.



Caso 9

Corresponde a la unión de los complementos de A y de B, o lo que es lo mismo: al complemento de la intersección de A y B.



Caso 10

El resultado es la unión de, la intersección de A y el complemento de B, con la intersección del complemento de A y B.



Caso 11

El resultado es el complemento de B.



Caso 12

El resultado es la intersecció de A y el complemento de B.



Caso 13

Es el complemento de A.



Caso 14

El resultado es la intersecció del complemento A y de B.



Caso 15

El resultado es la intersecció del complemento A y el complemento B, o lo que es lo mismo: el complemento de la unión de A y B.



Caso 16

En este caso representamos el conjunto vacío.



Estos dieciséis casos son todas las combinaciones que se pueden realizar con dos conjuntos, las expresiones pueden tomar distintas formas pero serán equivalentes a las expresadas.