lgebra de conjuntos

lgebra de conjuntos
En matemticas, se denomina lgebra de conjuntos a las operaciones bsicas que pueden realizarse con conjuntos, como la unin, interseccin, etc.

Conjuntos
Un conjunto es una coleccin 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 bsicas 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 los subconjuntos del mismo. En la figura tenemos:

Pertenencia. La relacin relativa a conjuntos ms bsica es la relacin 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:

Inclusin. Dado un conjunto A, cualquier subcoleccin 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 slo si tienen los mismos elementos. Este principio, denominado principio de extensionalidad establece el hecho de que un conjunto queda definido nicamente por sus elementos.

lgebra de conjuntos

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 bsicas del lgebra de conjuntos son: Unin. La unin de dos conjuntos A y B es el conjunto A B que contiene todos los elementos de A y de B.

Interseccin. La interseccin 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.

Dasos 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 notacin, 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 nmeros. Por ejemplo, la unin y la interseccin son conmutativas y asociativas. El conjunto vaco es el elemento neutro de la unin, y el elemento absorbente de la interseccin y el producto cartesiano. El conjunto universal es el elemento neutro de la interseccin y el elemento absorbente de la unin. Adems, las operaciones de unin, interseccin, diferencia y complemento son muy similares a las operaciones en un lgebra de Boole, as como a los conectores lgicos de la lgica proposicional.[2]

lgebra de conjuntos

Leyes fundamentales
Dadas las operaciones binarias sobre conjuntos unin e interseccin y la operacin monaria complemento, se cumplen algunas leyes o propiedades que se agrupan del siguiente modo: Proposicin 1: para cualquier conjunto A, B y C se cumplen las siguientes proposiciones: Ley conmutativa:

Ley asociativa:

Ley distributiva

Proposicin 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 vaco Ley de identidad:

Ley de complemento:

Proposicin 3: dados los conjuntos A, B subconjuntos de U, se cumple: Ley de idempotencia:

Ley de dominacin:

Ley de absorcin:

Ley de De Morgan

lgebra de conjuntos

Ejemplo con dos conjuntos

Dados dos conjuntos A y B que pertenecen a U, y siendo el conjunto vaco, podemos ver los distintos casos que se pueden dar, a modo de ejemplo del lgebra de conjuntos. En la representacin grfica utilizaremos un rectngulo 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 expresin representada. Caso 1 Este caso corresponde al conjunto universal y engloba a todos los conjuntos que lo forman.

Caso 2

Corresponde a la unin 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

lgebra de conjuntos

El resultado es, dentro del conjunto universal U, la unin 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 grfica, es la unin de los elementos que no pertenecen a A y los que pertenecen a B.

Caso 6

lgebra de conjuntos

Son los elementos que pertenecen a B.

Caso 7

Este caso, algo ms complejo que los anteriores, esta formado por: la unin de los elemento de la interseccin de A y B con la interseccin de los complementos de A y B, o lo que es lo mismo es: la interseccin de la unin de A y el complemento B con la unin del complemento de A y B.

Caso 8

Corresponde a la interseccin de A y B.

Caso 9

lgebra de conjuntos

Corresponde a la unin de los complementos de A y de B, o lo que es lo mismo: al complemento de la interseccin de A y B.

Caso 10

El resultado es la unin de, la interseccin de A y el complemento de B, con la interseccin del complemento de A y B.

Caso 11

El resultado es el complemento de B.

Caso 12

lgebra de conjuntos

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

lgebra de conjuntos

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

Caso 16

En este caso representamos el conjunto vaco.

Estos diecisis casos son todas las combinaciones que se pueden realizar con dos conjuntos, las expresiones pueden tomar distintas formas pero sern equivalentes a las expresadas.

Referencias
[1] Gutirrez Gmez, Andrs; Garca Castro, Fernando (1981). 1 (en espaol). lgebra lineal. 1 (2 edicin). Ediciones Pirmide, S.A.. p.28. ISBN 978-84-368-0175-0. [2] Vase Barco Gmez, 2005, p.21.

Barco Gmez, Carlos (2005). lgebra Booleana. Aplicaciones tecnolgicas. Universidad de Caldas. ISBN 9789588231389. Larson, Harold J. (2002). Introduccin a la teora de probabilidades e inferencia estadstica. Editorial Limusa. ISBN 9789681807306. Nachbin, Leopoldo (1980). Introduccin al lgebra. Revert. ISBN 9788429150995. Rivaud, J. (1981). Ejercicios de lgebra. ISBN 9788429151312.

Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre lgebra de conjuntosCommons.

Fuentes y contribuyentes del artculo

10

Fuentes y contribuyentes del artculo

lgebra de conjuntos Fuente: http://es.wikipedia.org/w/index.php?oldid=54018448 Contribuyentes: Ascnder, Aipni-Lovrij, Comae, Diegusjaimes, Digitalfredy, Dnu72, HiTe, Ingenioso Hidalgo, Jaxielle, Jomra, Juanes.the.best, Kismalac, Leonpolanco, Linkedark, Lipedia, Melocoton, Qwertyytrewqqwerty, Unaiaia, Vitamine, 35 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

archivo:DosConjuntos200.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:DosConjuntos200.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 archivo:DosConjuntos00.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:DosConjuntos00.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 archivo:DosConjuntos01.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:DosConjuntos01.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 archivo:DosConjuntos02.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:DosConjuntos02.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 archivo:DosConjuntos03.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:DosConjuntos03.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 archivo:DosConjuntos04.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:DosConjuntos04.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 archivo:DosConjuntos05.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:DosConjuntos05.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 archivo:DosConjuntos06.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:DosConjuntos06.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 archivo:DosConjuntos07.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:DosConjuntos07.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 archivo:DosConjuntos08.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:DosConjuntos08.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 archivo:DosConjuntos09.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:DosConjuntos09.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 archivo:DosConjuntos10.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:DosConjuntos10.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 archivo:DosConjuntos11.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:DosConjuntos11.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 archivo:DosConjuntos12.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:DosConjuntos12.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 archivo:DosConjuntos13.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:DosConjuntos13.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 archivo:DosConjuntos14.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:DosConjuntos14.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 archivo:DosConjuntos15.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:DosConjuntos15.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 archivo:DosConjuntos16.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:DosConjuntos16.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 Archivo:Commons-logo.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Commons-logo.svg Licencia: logo Contribuyentes: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version, created by Reidab.

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/