Diferencia entre revisiones de «Complemento de un conjunto»
m Revertidos los cambios de 190.130.67.111 (disc.) a la última edición de 2800:200:E650:28E7:8B:FEBD:3004:BA91 Etiqueta: Reversión |
Sin resumen de edición |
||
Línea 1: | Línea 1: | ||
[[Archivo:PolygonsSetComplement.svg|thumb|El complemento de un conjunto {{math|''A''}} es otro conjunto {{math|''A''<sup>{{unicode|}}</sup>}} que contiene todos |
[[Archivo:PolygonsSetComplement.svg|thumb|El complemento de un conjunto {{math|''A''}} es otro conjunto {{math|''A''<sup>{{unicode|}}</sup>}} que contiene todos losgiles son tod05 UWU elementos (dentro del universo {{math|''U''}}) que no están en {{math|''A''}}.]] |
||
El '''complemento de un conjunto''' o '''conjunto complementario''' es otro conjunto que contiene todos los elementos que no están en el conjunto original. Para poder definirlo es necesario especificar qué tipo de elementos se están utilizando, o de otro modo, cuál es el [[conjunto universal]]. Por ejemplo, si se habla de [[números naturales]], el complementario del conjunto de los [[números primos]] {{math|'''P'''}} es el conjunto de los números no primos {{math|''C''}}, que está formado por los [[números compuestos]] y el [[uno|1]]: |
El '''complemento de un conjunto''' o '''conjunto complementario''' es otro conjunto que contiene todos los elementos que no están en el conjunto original. Para poder definirlo es necesario especificar qué tipo de elementos se están utilizando, o de otro modo, cuál es el [[conjunto universal]]. Por ejemplo, si se habla de [[números naturales]], el complementario del conjunto de los [[números primos]] {{math|'''P'''}} es el conjunto de los números no primos {{math|''C''}}, que está formado por los [[números compuestos]] y el [[uno|1]]: |
||
Revisión del 00:40 11 abr 2019
El complemento de un conjunto o conjunto complementario es otro conjunto que contiene todos los elementos que no están en el conjunto original. Para poder definirlo es necesario especificar qué tipo de elementos se están utilizando, o de otro modo, cuál es el conjunto universal. Por ejemplo, si se habla de números naturales, el complementario del conjunto de los números primos P es el conjunto de los números no primos C, que está formado por los números compuestos y el 1:
A su vez, el conjunto C es el complementario de P. El conjunto complementario se denota por una barra horizontal o por el superíndice «∁», por lo que se tiene: P∁ = C, y también 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.
Definición
Dado un conjunto A, su complementario es el conjunto formado por los elementos que no pertenecen a A:
|
Esta definición presupone que se ha especificado un conjunto universal U, pues de otro modo, en la afirmación «todos los x que no están en A», la palabra «todos» es ambigua. Si se menciona explícitamente el conjunto universal U, entonces el complementario de A es el conjunto de todos los elementos de U que no están en A, por lo que la relación con la diferencia es clara:
Por otro lado, considerando un conjunto universal, la diferencia entre dos conjuntos puede expresarse utilizando la noción de complementariedad:
Ejemplo.
- El complementario del conjunto de todos los hombres es el conjunto de todas las mujeres (hablando de personas).
- Hablando de números 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 rectángulo).
Propiedades
Puesto que el conjunto universal contiene todos los elementos en consideración, y el conjunto vacío no contiene a ninguno, se tiene lo siguiente:
Puesto que la noción de complementariedad está relacionada con la negación en lógica, la primera posee propiedades similares a la segunda:
|
Existen también unas relaciones entre las operaciones de unión e intersección a través del complemento:
|
Véase también
Referencias
- Lipschutz, Seymour (1991). Teoría de conjuntos y temas afines. McGraw-Hill. ISBN 968-422-926-7.