You are on page 1of 20

Conjunto

Ir a la navegaciónIr a la búsqueda
Para otros usos de este término, véase Conjunto (desambiguación).

Los diversos polígonos en la imagenconstituyen un conjunto. Algunos de los elementos del conjunto, además de ser
polígonos son regulares. La colección de estos últimos —los polígonos regulares en la imagen— es otro conjunto, en
particular, un subconjunto del primero.

En matemáticas, un conjunto es una colección de elementos con características similares considerada en


sí misma como un objeto. Los elementos de un conjunto, pueden ser las
siguientes: personas, números, colores, letras, figuras, etc. Se dice que un elemento (o miembro)
pertenece al conjunto si está definido como incluido de algún modo dentro de él.
Ejemplo: el conjunto de los colores del arcoíris es:
AI = {Rojo, Naranja, Amarillo, Verde, Azul, Añil, Violeta}
Un conjunto suele definirse mediante una propiedad que todos sus elementos poseen. Por ejemplo, para
los números naturales, si se considera la propiedad de ser un número primo, el conjunto de los números
primos es:
P = {2, 3, 5, 7, 11, 13, ...}
Un conjunto queda definido únicamente por sus miembros y por nada más. En particular, un conjunto
puede escribirse como una lista de elementos, pero cambiar el orden de dicha lista o añadir elementos
repetidos no define un conjunto nuevo. Por ejemplo:
S = {Lunes, Martes, Miércoles, Jueves, Viernes} = {Martes, Viernes, Jueves, Lunes, Miércoles}
AI = {Rojo, Naranja, Amarillo, Verde, Azul, Añil, Violeta} = {Amarillo, Naranja, Rojo, Verde, Violeta, Añil,
Azul}
Los conjuntos pueden ser finitos o infinitos. El conjunto de los números naturales es infinito, pero el
conjunto de los planetas del sistema solar es finito (tiene ocho elementos). Además, los conjuntos pueden
combinarse mediante operaciones, de manera similar a las operaciones con números.
Los conjuntos son un concepto primitivo, en el sentido de que no es posible definirlos en términos de
nociones más elementales, por lo que su estudio puede realizarse de manera informal, apelando a la
intuición y a la lógica. Por otro lado, son el concepto fundamental de la matemática: mediante ellos puede
formularse el resto de objetos matemáticos, como los números y las funciones, entre otros. Su estudio
detallado requiere pues la introducción de axiomas y conduce a la teoría de conjuntos.

Índice
 1Historia
 2Definición
o 2.1Notación
o 2.2Igualdad de conjuntos
o 2.3Conjunto vacío
 2.3.1Propiedades
o 2.4Subconjuntos
o 2.5Conjuntos disjuntos
 3Cardinalidad
o 3.1Cardinalidad de los reales
 4Operaciones con conjuntos
 5Véase también
 6Notas y referencias
o 6.1Notas
o 6.2Referencias
o 6.3Bibliografía
o 6.4Bibliografía adicional
 7Enlaces externos

Historia[editar]
El concepto de conjunto como objeto abstracto no comenzó a emplearse en matemáticas hasta el siglo
XIX, a medida que se despejaban las dudas sobre la noción de infinito.1 Los trabajos de Bernard
Bolzano y Bernhard Riemann ya contenían ideas relacionadas con una visión conjuntista de la matemática.
Las contribuciones de Richard Dedekind al álgebra estaban formuladas en términos claramente
conjuntistas, que aún prevalecen en la matemática moderna: relaciones de
equivalencia, particiones, homomorfismos, etc., y él mismo explicitó las hipótesis y operaciones relativas a
conjuntos que necesitó en su trabajo.
La teoría de conjuntos como disciplina independiente se atribuye usualmente a Georg Cantor.
Comenzando con sus investigaciones sobre conjuntos numéricos, desarrolló un estudio sobre los conjuntos
infinitos y sus propiedades. La influencia de Dedekind y Cantor empezó a ser determinante a finales del
siglo XIX, en el proceso de «axiomatización» de la matemática, en el que todos los objetos matemáticos,
como los números, las funciones y las diversas estructuras, fueron construidos con base en los conjuntos.

Definición[editar]
[...] entiendo en general por variedad o conjunto toda multiplicidad que
puede ser pensada como unidad, esto es, toda colección de elementos
determinados que pueden ser unidos en una totalidad mediante una ley.

—Georg Cantor2

Un conjunto es una colección bien definida de objetos, entendiendo que dichos objetos pueden ser
cualquier cosa: números, personas, letras, otros conjuntos, etc. Algunos ejemplos son:
A es el conjunto de los números naturales menores que 5.
B es el conjunto de los colores verde, blanco y rojo.
C es el conjunto de las vocales a, e, i, o y u.
D es el conjunto de los palos de la baraja francesa.
Los conjuntos se denotan habitualmente por letras mayúsculas. Los objetos que componen el conjunto se
llaman elementos o miembros. Se dice que «pertenecen» al conjunto y se denota mediante el símbolo ∈:n 1
la expresión a ∈ A se lee entonces como «a está en A», «a pertenece a A», «A contiene a a», etc. Para la
noción contraria se usa el símbolo ∉. Por ejemplo:
3∈A,♠∈D
amarillo ∉ B, z ∉ C
Notación[editar]

Relación de pertenencia. El conjunto A es un conjunto de polígonos. En la imagen, algunas de las figuras


pertenecen a dicho conjunto, pero otras no.

Existen varias maneras de referirse a un conjunto. En el ejemplo anterior, para los conjuntos A y D se usa
una definición intensiva o por comprensión, donde se especifica una propiedad que todos sus elementos
poseen. Sin embargo, para los conjuntos B y C se usa una definición extensiva, listando todos sus
elementos explícitamente.
Es habitual usar llaves para escribir los elementos de un conjunto, de modo que:
B = {verde, blanco, rojo}
C = {a, e, i, o, u}
Esta notación mediante llaves también se utiliza cuando los conjuntos se especifican de forma intensiva
mediante una propiedad:
A = {Números naturales menores que 5}
D = {Palos de la baraja francesa}
Otra notación habitual para denotar por comprensión es:
A = {m : m es un número natural, y 1 ≤ m ≤ 5}
D = {p : p es un palo de la baraja francesa}
F = {n2 : n es un entero y 1 ≤ n ≤ 10},
En estas expresiones los dos puntos («:») significan «tal que». Así, el conjunto F es el conjunto de «los
números de la forma n2 tal que n es un número natural entre 1 y 10 (ambos inclusive)», o sea, el conjunto
de los diez primeros cuadrados de números naturales. En lugar de los dos puntos se utiliza también la barra
vertical («|») u oblicua «/» .
Igualdad de conjuntos[editar]
Conjunto de personas. El conjunto de «personas» mostrado en la imagen, A, tiene 8 miembros. Este conjunto
puede representarse mediante llaves o mediante un diagrama de Venn. El orden de las personas en A es irrelevante.

Un conjunto está totalmente determinado por sus elementos. Por ello, la igualdad de conjuntos se
establece como:

Propiedad de la extensionalidad
Dos conjuntos A y B que tengan los mismos elementos son el mismo conjunto, A = B.

Esta propiedad tiene varias consecuencias. Un mismo conjunto puede especificarse de muchas maneras
distintas, en particular extensivas o intensivas. Por ejemplo, el conjunto A de los números naturales
menores que 5 es el mismo conjunto que A′, el conjunto de los números 1, 2, 3 y 4. También:
B = {verde, blanco, rojo} = {colores de la bandera de México}
C = {a, e, i, o, u} = {vocales del español}
D = {Palos de la baraja francesa} = {♠, ♣, ♥, ♦}
El orden en el que se precisan los elementos tampoco se tiene en cuenta para comparar dos conjuntos:
B = {verde, blanco, rojo} = {rojo, verde, blanco}
C = {a, e, i, o, u} = {e, i, u, a, o}
Además, un conjunto no puede tener elementos «repetidos», ya que un objeto solo puede o bien ser un
elemento de dicho conjunto o no serlo. Se da entonces que, por ejemplo:
{1, 2} = {1, 2, 1}
En ausencia de alguna característica adicional que distinga los «1» repetidos, lo único que puede decirse
del conjunto de la derecha es que «1» es uno de sus elementos.
Conjunto vacío[editar]
Artículo principal: Conjunto vacío

El conjunto que no contiene ningún elemento se llama el conjunto vacío y se denota por o
simplemente {}. Algunas teorías axiomáticas de conjuntos aseguran que el conjunto vacío existe incluyendo
un axioma del conjunto vacío. En otras teorías, su existencia puede deducirse. Muchas posibles
propiedades de conjuntos son trivialmente válidas para el conjunto vacío.
Propiedades[editar]
En la teoría de conjuntos axiomática estándar, por el Axioma de extensionalidad, dos conjuntos son
iguales si tienen los mismos elementos; por lo tanto sólo puede haber un conjunto sin ningún elemento. Por
consiguiente, sólo hay un único conjunto vacío, y hablamos de "el conjunto vacío" en lugar de "un conjunto
vacío".
Para cualquier conjunto A:
(Ver operaciones con conjuntos)
 El conjunto vacío es un subconjunto de A:

 La unión de A con el conjunto vacío es A:

 La intersección de A con el conjunto vacío es el conjunto vacío:

 El producto cartesiano de A y el conjunto vacío es el conjunto vacío:

El conjunto vacío tiene las siguientes propiedades:


 Su único subconjunto es el propio conjunto vacío:

 El conjunto potencia del conjunto vacío es el conjunto que contiene únicamente el conjunto vacío:

 Su número de elementos (cardinalidad) es cero:

(La lista de símbolos matemáticos empleados se encuentra aquí).


Subconjuntos[editar]
Artículo principal: Subconjunto

Subconjunto. B es un subconjunto de A (en particular un subconjunto propio).


Un subconjunto A de un conjunto B, es un conjunto que contiene algunos de los elementos de B (o quizá
todos):

B si cada elemento de A es a su vez un elemento de B.

Cuando A es un subconjunto de B, se denota como A ⊆ B y se dice que «A está contenido en B».


También puede escribirse B ⊇ A, y decirse que B es un superconjunto de A y también «B contiene a A» o
«B incluye a A».
Todo conjunto A es un subconjunto de sí mismo, ya que siempre se cumple que «cada elemento de A es a
su vez un elemento de A». Es habitual establecer una distinción más fina mediante el concepto
de subconjunto propio: A es un subconjunto propio de B si es un subconjunto de B pero no es igual a B.
Se denota como A ⊊ B, es decir: A ⊆ B pero A ≠ B (y equivalentemente, para un superconjunto
propio, B ⊋ A).n 2
Ejemplos.
El «conjunto de todos los hombres» es un subconjunto propio del «conjunto de todas las personas».
{1, 3} ⊊ {1, 2, 3, 4}
{1, 2, 3, 4} ⊆ {1, 2, 3, 4}
Conjuntos disjuntos[editar]
Artículo principal: Conjuntos disjuntos

Dos conjuntos A y B son disjuntos si no tienen ningún elemento en común. Por ejemplo, los conjuntos de
los números racionales y los números irracionales son disjuntos: no hay ningún número que sea a la vez
racional e irracional. La intersección de dos conjuntos disjuntos es el conjunto vacío.

Cardinalidad[editar]
Artículo principal: Número cardinal

Los conjuntos pueden ser finitos o infinitos. En el caso de un conjunto finito se pueden contar los
elementos del conjunto:

El número de elementos de un conjunto finito es su cardinal.

El cardinal se denota por |A|, card(A) o #A. Así, en los ejemplos anteriores, se tiene que |A| = 4 (cuatro
números), |B| = 3 (tres colores) y |F| = 10 (diez cuadrados). El único conjunto cuyo cardinal es 0 es
el conjunto vacío ∅.
Existen, a su vez, determinadas propiedades de cardinalidad. Si tomamos como ejemplo dos
conjuntos, A y B:

1.

2.

3.

4.
5.

6.
Y en el caso de tres conjuntos, A, B y C:

1.

2.

3.

4.
En un conjunto infinito no hay un número finito de elementos. Es el caso por ejemplo de los números
naturales: N = {1, 2, 3, ...}. Sin embargo, existe una manera de comparar conjuntos infinitos entre sí, y se
obtiene que existen conjuntos infinitos «más grandes» que otros. El «número de elementos» de un conjunto
infinito es un número transfinito.
Cardinalidad de los reales[editar]
Artículo principal: Número real

Uno de los resultados más importantes de Georg Cantor fue que la cardinalidad de los reales ( ) es

más grande que la de los números naturales ( ). Esto es, que hay más números reales R que números

enteros N. Concretamente, Cantor mostró que


La hipótesis del continuo afirma que no existen conjuntos con cardinalidades intermedias entre
los naturales y los reales:

 No existe ningún conjunto A tal que su cardinal |A| cumpla:

Si se asume el axioma de elección, la estructura de los cardinales infinitos es más clara: todos los
cardinales infinitos son álefs y están bien ordenados, por lo que existe sólo un cardinal inmediatamente
superior a ℵ0, denotado por ℵ1. La hipótesis es equivalente entonces a:

 El cardinal del conjunto de los números reales es el inmediatamente superior al cardinal de los
números naturales:

Operaciones con conjuntos[editar]


Operaciones con conjuntos
Unión

Intersección

Diferencia

Complemento

Diferencia simétrica

Artículo principal: Álgebra de conjuntos

Existen varias operaciones básicas que pueden realizarse, partiendo de ciertos conjuntos dados, para
obtener nuevos conjuntos:

 Unión: (símbolo ∪) La unión de dos conjuntos A y B, que se representa como A ∪ B, es el conjunto


de todos los elementos que pertenecen al menos a uno de los conjuntos Ay B.


 Intersección: (símbolo ∩) La intersección de dos conjuntos A y B es el conjunto A ∩ B de los
elementos comunes a A y B.


 Diferencia: (símbolo \) La diferencia del conjunto A con B es el conjunto A \ B que resulta de
eliminar de A cualquier elemento que esté en B.


 Complemento: El complemento de un conjunto A es el conjunto A∁ que contiene todos los
elementos que no pertenecen a A, respecto a un conjunto U que lo contiene.


 Diferencia simétrica: (símbolo Δ) La diferencia simétrica de dos conjuntos A y B es el
conjunto A Δ B con todos los elementos que pertenecen, o bien a A, o bien a B, pero no a ambos a la vez.


 Producto cartesiano: (símbolo ×) El producto cartesiano de dos conjuntos A y B es el
conjunto A × B de todos los pares ordenados (a, b) formados con un primer elemento aperteneciente a A, y
un segundo elemento b perteneciente a B.
Ejemplos

 {1, a, 0} ∪ {2, b} = {2, b, 1, a, 0}


 {5, z, ♠} ∩ {♠, a} = {♠}
 {5, z, ♠} \ {♠, a} = {5, z}
 {♠, 5} Δ {8, #, ♠} = {5, #, 8}
 {1, a, 0} × {2, b} = {(1, 2), (1, b), (a, 2), (a, b), (0, 2), (0, b)}

Véase también[editar]
 Axiomas de Zermelo-Fraenkel
 Relación matemática
 Correspondencia matemática
 Conjunto de Borel
 Equipotencia de conjuntos
 Diagrama de Venn
 Estructura algebraica
 Función matemática
 Georg Cantor
 Morfismo
 Teoría de conjuntos

Notas y referencias[editar]
Notas[editar]

1. ↑ Este símbolo lo introdujo Peano. Vid Matemática Moderna de André Warusfel sobre epsilon y
Nachbin en su Álgebra Elemental (pág.1 y pág.2) habla de: "La notación de Peano x ∈ X".
2. ↑ También se utiliza la notación A ⊂ B y B ⊃ A, pero según el autor esto puede denotar
subconjunto, A ⊆ B y B ⊇ A; o subconjunto propio, A ⊊ B y B ⊋ A. Véase Subconjunto.

Referencias[editar]
1. ↑ Esta sección está basada en Ferreirós, J. «The early development of set theory». En Edward N.
Zalta. The Stanford Encyclopedia of Philosophy (Fall 2011 edition) (en inglés). Archivado desde el original el 30 de julio
de 2012. Consultado el 15 de diciembre de 2011.
2. ↑ Véase Cantor, Georg (2006) [1872-1899]. Fundamentos para una teoría general de conjuntos.
Escritos y correspondencia selecta. Edición de José Ferreirós. Crítica. p. 137. ISBN 84-8432-695-0.

Bibliografía[editar]

 Courant, Richard; Robbins, Herbert; Stewart, Ian (1996). What is Mathematics? An Elementary
Approach to Ideas and Methods (en inglés). Oxford University Press. ISBN 0-19-510519-2. Suplemento del
capítulo II.
 Ivorra, Carlos, Lógica y teoría de conjuntos, consultado el 18 de abril de 2011.
 Jech, Thomas. «Set Theory». En Edward N. Zalta. The Stanford Encyclopedia of
Philosophy (Spring 2009 Edition) (en inglés). Consultado el 22 de abril de 2011.
 Lipschutz, Seymour (1991). Teoría de conjuntos y temas afines. McGraw-Hill. ISBN 968-422-926-7.
 Nachbin, Leopoldo : Álgebra elemental (1986) Rochester, Nueva York; editora: Eva V. Chesnau.
Edición de la OEA, traducida al español por César E. Silva.
Bibliografía adicional[editar]

 Halmos, Paul R. : Teoría intuitiva de conjuntos (1965) Compañía editorial Continental S.A. México
22, D.F. primera edición en español.

Enlaces externos[editar]

 Wikimedia Commons alberga una categoría multimedia sobre Conjuntos.


 Weisstein, Eric W. «Set». En Weisstein, Eric W. MathWorld (en inglés). Wolfram Research.
 Esta obra contiene una traducción derivada de Set de Wikipedia en inglés, publicada por sus
editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-
CompartirIgual 3.0 Unported.

DEFINICION

La palabra conjunto generalmente la asociamos con la idea de agrupar objetos, por ejemplo un conjunto de
discos, de libros, de plantas de cultivo y en otras ocasiones en palabras como hato, rebaño, piara, parcelas,
campesinado, familia, etc., es decir la palabra conjunto denota una colección de elementos claramente entre sí,
que guardan alguna característica en común. Ya sean números, personas, figuras, ideas y conceptos.

En matemáticas el concepto de conjunto es considerado primitivo y ni se da una definición de este, sino que se
trabaja con la notación de colección y agrupamiento de objetos, lo mismo puede decirse que se consideren
primitivas las ideas de elemento y pertenencia.

La característica esencial de un conjunto es la de estar bien definido, es decir que dado un objeto particular,
determinar si este pertenece o no al conjunto. Por ejemplo si se considera el conjunto de los números dígitos,
sabemos que el 3 pertenece al conjunto, pero el 19 no. Por otro lado el conjunto de las bellas obras musicales no
es un conjunto bien definido, puesto que diferentes personas puedan incluir distintas obras en el conjunto.
Los objetos que forman un conjunto son llamados miembros o elementos. Por ejemplo el conjunto de las
letras de alfabeto; a, b, c, ..., x, y, z. que se puede escribir así:

{ a, b, c, ..., x, y, z}

Como se muestra el conjunto se escribe entre llaves ({}) , o separados por comas (,).

El detallar a todos los elementos de un conjunto entre las llaves, se denomina forma tabular,
extensión o enumeración de los elementos.

Dos conjuntos son iguales si tienen los mismos elementos, por ejemplo:

El conjunto { a, b, c } también puede escribirse:

{ a, c, b }, { b, a, c }, { b, c, a }, { c, a, b }, { c, b, a }

En teoría de conjuntos se acostumbra no repetir a los elementos por ejemplo:

El conjunto { b, b, b, d, d } simplemente será { b, d }.

MEMBRESIA

Los conjuntos se denotan por letras mayúsculas : A, B, C,... por ejemplo:

A={ a, c, b }

B={ primavera, verano, otoño, invierno }

El símbolo Î indicará que un elemento pertenece o es miembro de un conjunto. Por el contrario para indicar
que un elemento no pertenece al conjunto de referencia, bastará cancelarlo con una raya inclinada / quedando
el símbolo como Ï .

Ejemplo:

Sea B={ a, e, i, o, u }, a Î B y c Ï B
SUBCONJUNTO

Sean los conjuntos A={ 0, 1, 2, 3, 5, 8 } y B={ 1, 2, 5 }

En este caso decimos que B esta contenido en A, o que B es subconjunto de A. En general si A y B son dos
conjuntos cualesquiera, decimos que B es un subconjunto de A si todo elemento de B lo es de A también.

Por lo tanto si B es un subconjunto de A se escribe B Ì A. Si B no es subconjunto de A se indicará con una


diagonal Ë .

Note que Î se utiliza solo para elementos de un conjunto y Ì solo para conjuntos.

UNIVERSO O CONJUNTO UNIVERSAL

El conjunto que contiene a todos los elementos a los que se hace referencia recibe el nombre de conjunto
Universal, este conjunto depende del problema que se estudia, se denota con la letra U y algunas veces con la
letra S (espacio muestral).

Por ejemplo si solo queremos referirnos a los 5 primeros números naturales el conjunto queda:

U={ 1, 2, 3, 4, 5 }

Forma alternativa para indicar conjuntos de gran importancia:

 Conjunto de números naturales (enteros mayores que cero) representados por la letra N donde

N={ 1, 2, 3, .... }

 Conjunto de números enteros positivos y negativos representados por la letra Z donde

Z={..., -2, -1, 0, 1, 2, ... }

 Conjunto de números racionales (números que se representan como el cociente de dos números
enteros {fracciones }). Estos números se representan por una Q

 Conjunto de números irracionales (números que no puedan representarse como el cociente de dos
números enteros) representados por la letra I.

 Conjunto de los números reales que son los números racionales e irracionales es decir todos,
representados por R.
Todos estos conjuntos tienen un número infinito de elementos, la forma de simbolizarlos por extensión o por
enumeración es de gran utilidad cuando los conjuntos a los que se hace referencia tienen pocos elementos para
poder trabajar con ellos se emplean la notación llamada comprehensión.

Por ejemplo, la denotar el conjunto de los números naturales menores que 60. Aquí U es el conjunto N y se
tiene una propiedad que caracteriza a los elementos del conjunto: ser menores que 60.

Para indicar esta situación empleamos la simbología del álgebra de conjuntos:

{ x/x Î N ; x<60 }

En esta expresión se maneja un conjunto de x que pertenece a los números naturales (N) y además que los
valores de x son menores que 60.

Ahora si se desea trabajar con conjuntos que manejen intervalos estos pueden ser representados por medio de
una expresión algebraica; supongamos que se desea expresar los números enteros (Z) entre -20 y 30 el conjunto
quedaría de la manera siguiente:

{ x/x Î Z ; -20 £ x £ 30 }

También se puede expresar el valor de un conjunto indicando la pertenencia o no pertenencia a uno diferente,
por ejemplo

L={ 1, 3, 4, 6, 9 }

P={ x/x Î N ; X Ï L }

En el conjunto P se indica que los elementos x de un conjunto pertenecen a los números naturales y
además x no pertenece al conjunto L.

OPERACIONES CON CONJUNTOS

UNION
La unión de dos conjuntos A y B la denotaremos por A È B y es el conjunto formado por los elementos que
pertenecen al menos a uno de ellos ó a los dos. Lo que se denota por:

A È B = { x/x Î A ó x Î B }

Ejemplo: Sean los conjuntos A={ 1, 3, 5, 7, 9 } y B={ 10, 11, 12 }

A È B ={ 1, 3, 5, 7, 9, 10, 11, 12 }

INTERSECCION

Sean A={ 1, 2, 3, 4, 5, 6, 8, 9 } y B={ 2, 4, 8, 12 }

Los elementos comunes a los dos conjuntos son: { 2, 4, 8 }. A este conjunto se le llama intersección de A y B; y
se denota por A Ç B, algebraicamente se escribe así:

A Ç B = { x/x Î A y x Î B }

Y se lee el conjunto de elementos x que están en A y están en B.

Ejemplo:

Sean Q={ a, n, p, y, q, s, r, o, b, k } y P={ l, u, a, o, s, r, b, v, y, z }

Q Ç P={ a, b, o, r, s, y }

CONJUNTO VACIO

Un conjunto que no tiene elementos es llamado conjunto vacío ó conjunto nulo lo que denotamos por el
símbolo Æ .

Por ejemplo:

Sean A={ 2, 4, 6 } y B={ 1, 3, 5, 7 } encontrar A Ç B.

A Ç B= { }

El resultado de A Ç B= { } muestra que no hay elementos entre las llaves, si este es el caso se le llamará
conjunto vacío ó nulo y se puede representar como:
A Ç B=Æ

CONJUNTOS AJENOS

Sí la intersección de dos conjuntos es igual al conjunto vacío, entonces a estos conjuntos les llamaremos
conjuntos ajenos, es decir:

Si A Ç B = Æ entonces A y B son ajenos.

COMPLEMENTO

El complemento de un conjunto respecto al universo U es el conjunto de elementos de U que no pertenecen a


A y se denota como A' y que se representa por comprehensión como:

A'={ x Î U/x y x Ï A }

Ejemplo:

Sea U = { 1, 2, 3, 4, 5, 6, 7, 8, 9 }

A= { 1, 3, 5, 7, 9 } donde A Ì U

El complemento de A estará dado por:

A'= { 2, 4, 6, 8 }

DIFERENCIA

Sean A y B dos conjuntos. La diferencia de A y B se denota por A-B y es el conjunto de los elementos de A que
no están en B y se representa por comprehensión como:

A - B={ x/x Î A ; X Ï B }

Ejemplo:

Sea A= { a, b, c, d } y
B= { a, b, c, g, h, i }

A - B= { d }

En el ejemplo anterior se observa que solo interesan los elementos del conjunto A que no estén en B. Si la
operación fuera B - A el resultado es

B – A = { g, h, i }

E indica los elementos que están en B y no en A.

DIAGRAMAS DE VENN

Los diagramas de Venn que de deben al filósofo inglés John Venn (1834-1883) sirven para encontrar relaciones
entre conjuntos de manera gráfica mediante dibujos ó diagramas.

La manera de representar el conjunto Universal es un rectángulo, ó bien la hoja de papel con que se trabaje.

Un ejemplo de la representación del conjunto universal se muestra como:

Los conjuntos se representan por medio de dibujos dentro del rectángulo, los aspectos de interés se resaltan
sombreando las áreas respectivas. En el caso de este curso las indicaremos por medio de un color azul por
ejemplo: