Complemento de un conjunto

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. Para poder definirlo es necesario especificar qu tipo de elementos se estn utilizando, o de otro modo, cul es el conjunto universal. Por ejemplo, si se habla de nmeros naturales, el complementario del conjunto de los nmeros primos P es el conjunto de los nmeros no primos C, que est formado por los nmeros compuestos y el 1: P = {2, 3, 5, 7, ...} C = {1, 4, 6, 8, 9,...} A su vez, el conjunto C es el complementario de P. El conjunto complementario se denota por una barra vertical o por el superndice , por lo que se tiene: P = C, y tambin C = P. El conjunto complementario de A es la diferencia (o complementario relativo) entre el conjunto universal y A, por lo que ambas operaciones (complementario y diferencia) tienen propiedades similares.
El complemento de un conjunto A es otro conjunto A que contiene todos los elementos (dentro del universo U) que no estn en A.

Definicin
Dado un conjunto A, su complementario es el conjunto AC formado por los elementos que no pertenecen a A: El complementario de A es otro conjunto AC cuyos elementos son todos aquellos que no estn en A:

Esta definicin presupone que se ha especificado un conjunto universal U, pues de otro modo, en la afirmacin todos los x que no est en A, la palabra todos es ambigua. Si se menciona explcitamente el Complementario de un conjunto A. conjunto universal U, entonces el complementario de A es el conjunto de todos los elementos de U que no estn en A, por lo que la relacin con la diferencia es clara:

Por otro lado, considerando un conjunto universal, la diferencia entre dos conjuntos puede expresarse utilizando la nocin de complementariedad:

Ejemplo. El complementario del conjunto de todos los hombres es el conjunto de todas las mujeres (hablando de personas). Hablando de nmeros naturales, el complementario del conjunto {1, 5, 6, 7, 8, 10} es el conjunto {2, 3, 4, 9, 11, 12, ...}. El complementario del conjunto A en la imagen es la zona sombreada de azul (el conjunto universal U es toda el rea del rectngulo).

Complemento de un conjunto

Propiedades
Puesto que el conjunto universal contiene todos los elementos en consideracin, y el conjunto vaco no contiene a ninguno, se tiene lo siguiente:

Puesto que la nocin de complementariedad est relacionada con la negacin en lgica, la primera posee propiedades similares a la segunda: Propiedad involutiva. El complementario del complementario de A es el propio A: (A) = A La unin de un conjunto y su complementario es el conjunto universal: A A = U Un conjunto y su complementario son disjuntos: A A = El complementario de A est contenido en el complementario de cualquier subconjunto de A: B A implica que A B Existen tambin unas relaciones entre las operaciones de unin e interseccin a travs del complemento: Leyes de De Morgan El complementario de la unin de dos conjuntos es la interseccin de los complementarios: (A B) = A B El complementario de la interseccin de dos conjuntos es la unin de los complementarios: (A B) = A B

Referencias
Lipschutz, Seymour (1991). Teora de conjuntos y temas afines. McGraw-Hill. ISBN 968-422-926-7.

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Complemento de un conjunto Fuente: http://es.wikipedia.org/w/index.php?oldid=66957602 Contribuyentes: Antonorsi, Antur, Axvolution, Baiji, C'est moi, Dnu72, Domaniom, Edslov, Farisori, HUB, HiTe, Isha, JABO, Jkbw, Juan Mayordomo, Kismalac, Leonpolanco, Lipedia, MI GENERAL ZAPATA, MasterPetar, Matdrodes, Plux, Waka Waka, Xenoforme, Yabama, 65 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:PolygonsSetComplement.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:PolygonsSetComplement.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:kismalac Archivo:SetComplement.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:SetComplement.svg Licencia: Creative Commons Zero Contribuyentes: User:kismalac

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