You are on page 1of 12

CONJUNTOS

Definición
El concepto de conjunto es intuitivo y se podría definir como una "colección de
objetos"; así, se puede hablar de un conjunto de personas, ciudades, gafas,
lapiceros o del conjunto de objetos que hay en un momento dado encima de una
mesa. Un conjunto está bien definido si se sabe si un determinado elemento
pertenece o no al conjunto. El conjunto de los bolígrafos azules está bien definido,
porque a la vista de un bolígrafo se puede saber si es azul o no. El conjunto de las
personas altas no está bien definido, porque a la vista de una persona, no siempre
se podrá decir si es alta o no, o puede haber distintas personas, que opinen si esa
persona es alta o no lo es. En el siglo XIX, según Frege, los elementos de un
conjunto se definían sólo por tal o cual propiedad. Actualmente la teoría de
conjuntos está bien definida por el sistema ZFC. Sin embargo, sigue siendo célebre
la definición que publicó Cantor

Usualmente los conjuntos se representan con una letra mayúscula: A, B, K,...


Llamaremos elemento, a cada uno de los objetos que forman parte de un conjunto,
estos elementos tienen carácter individual, tienen cualidades que nos permiten
diferenciarlos, y cada uno de ellos es único, no habiendo elementos duplicados o
repetidos. Los representaremos con una letra minúscula: a, b, k,...

De esta manera, si es un conjunto, y todos sus elementos, es común


escribir:

para definir a tal conjunto . Esta notación empleada para definir al conjunto se
llama notación por extensión

Para representar que un elemento pertenece a un conjunto A, escribimos


(léase "x en A", "x pertenece a A" o bien "x es un elemento de A"). La negación de

se escribe (léase no pertenece a ).


El conjunto universal, que siempre representaremos con la letra U (u mayúscula), es
el conjunto de todas las cosas sobre las que estemos tratando. Así, si hablamos de
números enteros entonces U es el conjunto de los números enteros, si hablamos de
ciudades, U es el conjunto de todas las ciudades, este conjunto universal puede
mencionarse explícitamente, o en la mayoría de los casos se da por supuesto dado
el contexto que estemos tratando, pero siempre es necesario demostrar la
existencia de dicho conjunto previamente.
Existe además, un único conjunto que no tiene elementos al que se le llama

conjunto vacío y que se denota por . Es decir

La característica importante de este conjunto es que satisface todos los elementos


posibles no están contenidos en él, es decir

http://es.wikipedia.org/wiki/Diagrama_de_Venn
http://sipan.inictel.gob.pe/internet/av/venn.htm
http://www.itchetumal.edu.mx/v2006/paginasvar/Maestros/mduran/Archivos/
Unidad%204%20Relaciones.pdf
http://descartes.cnice.mec.es/materiales_didacticos/cardinal_conjuntos_fzf/i
ndex.htm
Por otro lado, si todos los elementos de un conjunto A satisfacen alguna

propiedad, misma que pueda ser expresada como una proposición , con la

indeterminada , usamos la notación por comprensión, y se puede definir:

Lo anterior se lee "A es el conjunto de elementos x, que cumplen la propiedad p(x)".


El símbolo ":" se lee "que cumplen la propiedad" o "tales que"; este símbolo puede

ser remplazado por una barra .

Por ejemplo, el conjunto puede definirse por:

donde el símbolo representa al conjunto de los números naturales.

El uso de algún conjunto es muy importante, ya que de no hacerlo se podría caer


en contradicciones como ejemplo:

Es decir, es el conjunto donde cada elemento satisface la propiedad .


Al principio uno podría creer que ningún conjunto puede estar contenido en sí

mismo y que por lo tanto no contiene elemento alguno; sin embargo, en vista de

que es un conjunto, cabe hacer la pregunta "¿ ?" Si la respuesta es

negativa ( ) entonces cumple la propiedad y por lo tanto

. Si por el contrario la respuesta es afirmativa ( ), entonces

no cumple con la propiedad y por esta razón . Esta paradoja es


muy famosa y se conoce como la paradoja del barbero esta es una de las tantas
incongruencias que tenía la teoría de Cantor.

TIPOS DE CONJUNTOS
Conjunto unitario. Es el conjunto que solamente tiene un elemento.

- El conjunto formado por las madres genéticas que puede tener un


individuo.
- El conjunto formado por el número de presidentes ejecutivos de un país
- El conjunto formado por los números enteros mayores de 5 pero menores
de 7

Conjunto vacío. Es aquel conjunto que no posee ningún elemento. Se representa


con el símbolo F

- El conjunto formado por los hombre que pueden tener hijos.


http://es.wikipedia.org/wiki/Diagrama_de_Venn
http://sipan.inictel.gob.pe/internet/av/venn.htm
http://www.itchetumal.edu.mx/v2006/paginasvar/Maestros/mduran/Archivos/
Unidad%204%20Relaciones.pdf
http://descartes.cnice.mec.es/materiales_didacticos/cardinal_conjuntos_fzf/i
ndex.htm
- El conjunto formado por el número de edificios en la luna
- El conjunto formado por los números menores a 2

Conjunto finito. Es cuando podemos contar todos y cada uno de los elementos de
un conjunto.

- El conjunto formado por las mujeres de 8vo grado sección B


- El conjunto formado por los días de la semana
- El conjunto formado por los números pares menores a 20

Conjunto finito. Es cuando no podemos contar todos y cada uno de los elementos
de un conjunto.

- El conjunto formado por las estrellas del universo.


- El conjunto formado por el número de partículas de arena de la playa
- El conjunto de números negativos.

Igualdad entre conjuntos. Subconjuntos y


Superconjuntos
Igualdad de conjuntos
Dos conjuntos y se dicen iguales, lo que se escribe si constan de los
mismos elementos. Es decir, si y solo si todo elemento de A está también contenido
en B y todo elemento de B está contenido en A. En
símbolos:

Subconjuntos y Superconjuntos

Diagrama de Venn que muestra

Un conjunto se dice que es subconjunto de otro

, si cada elemento de es también elemento de , es decir, cuando se verifique:

http://es.wikipedia.org/wiki/Diagrama_de_Venn
http://sipan.inictel.gob.pe/internet/av/venn.htm
http://www.itchetumal.edu.mx/v2006/paginasvar/Maestros/mduran/Archivos/
Unidad%204%20Relaciones.pdf
http://descartes.cnice.mec.es/materiales_didacticos/cardinal_conjuntos_fzf/i
ndex.htm
sea cual sea el elemento . En tal caso, se escribe .

Cabe señalar que, por definición, no se excluye la posibilidad de que si , se

cumpla . Si tiene por lo menos un elemento que no pertenezca al

conjunto , pero si todo elemento de es elemento de , entonces decimos que

es un subconjunto propio de , lo que se representa por . En otras

palabras, si y sólo si ,y . Así, el conjunto vacío es


subconjunto propio de todo conjunto (excepto de sí mismo), y todo conjunto A es
subconjunto impropio de sí mismo.

Si es un subconjunto de , decimos también que es un superconjunto de ,

lo que se escribe . Así pues

,
y también que:

significando que es superconjunto propio de .

Por el principio de identidad, es siempre cierto , para todo

elemento , por lo que todo conjunto es subconjunto (y también superconjunto) de


sí mismo.

Vemos que es una relación de orden sobre un conjunto de conjuntos, pues

( es reflexiva)

( es
antisimétrica)

( es transitiva)

http://es.wikipedia.org/wiki/Diagrama_de_Venn
http://sipan.inictel.gob.pe/internet/av/venn.htm
http://www.itchetumal.edu.mx/v2006/paginasvar/Maestros/mduran/Archivos/
Unidad%204%20Relaciones.pdf
http://descartes.cnice.mec.es/materiales_didacticos/cardinal_conjuntos_fzf/i
ndex.htm
Operaciones de conjuntos
Sean y dos conjuntos.
Unión

Diagrama de Venn que ilustra


Para cada par de conjuntos A y B existe un

conjunto que se denota como el cual


contiene todos los elementos de A y de B. De manera más general, para cada

conjunto S existe otro conjunto denotado como de manera que sus elementos

son todos los tales que . De esta manera es el caso

especial donde .

Es claro que el hecho de que un elemento x pertenezca a es condición


necesaria y suficiente para afirmar que x es un elemento de A o al menos de B. Es
decir

Ejemplos: si tenemos los conjuntos

Entonces

http://es.wikipedia.org/wiki/Diagrama_de_Venn
http://sipan.inictel.gob.pe/internet/av/venn.htm
http://www.itchetumal.edu.mx/v2006/paginasvar/Maestros/mduran/Archivos/
Unidad%204%20Relaciones.pdf
http://descartes.cnice.mec.es/materiales_didacticos/cardinal_conjuntos_fzf/i
ndex.htm
Intersección

Diagrama de Venn que ilustra

Los elementos comunes a y forman un conjunto

denominado intersección de y , representado por

. Es decir, es el conjunto que contiene a


todos los elementos de A que al mismo tiempo están en B:

Si dos conjuntos y son tales que , entonces y se dice que son


conjuntos disjuntos.

Es claro que el hecho de que es condición necesaria y suficiente para

afirmar que y . Es decir

Ejemplos: si tenemos los conjuntos

Entonces:

Particiones
Dado un conjunto A y una serie de subconjuntos Ai, se dice que Ai son particiones
de A cuando la unión de todas es el conjunto A, y la intersección de todas es el
conjunto vacío. Es decir, que los subconjuntos Ai, forman parte del conjunto mas
grande denotado A.

Diferencia

http://es.wikipedia.org/wiki/Diagrama_de_Venn
http://sipan.inictel.gob.pe/internet/av/venn.htm
http://www.itchetumal.edu.mx/v2006/paginasvar/Maestros/mduran/Archivos/
Unidad%204%20Relaciones.pdf
http://descartes.cnice.mec.es/materiales_didacticos/cardinal_conjuntos_fzf/i
ndex.htm
Diagrama de Venn que muestra A − B

Diagrama de Venn que muestra B − A

Los elementos de un conjunto que no se encuentran en otro conjunto , forman

otro conjunto llamado diferencia de y , representado por . Es decir:

.
o dicho de otra manera:

Algunas personas prefieren denotar la diferencia de y como .


Una propiedad interesante de la diferencia es que

eso es porque

Ejemplos: Sin importar cual conjunto A elija usted, siempre se cumple

http://es.wikipedia.org/wiki/Diagrama_de_Venn
http://sipan.inictel.gob.pe/internet/av/venn.htm
http://www.itchetumal.edu.mx/v2006/paginasvar/Maestros/mduran/Archivos/
Unidad%204%20Relaciones.pdf
http://descartes.cnice.mec.es/materiales_didacticos/cardinal_conjuntos_fzf/i
ndex.htm
Complemento
El complemento de un conjunto A, es el conjunto de los elementos que pertenecen

a algún conjunto U pero no pertenecen a A, que lo representaremos por . Es


decir

El conjunto complemento siempre lo es respecto al conjunto universal que estamos


tratando, esto es, si hablamos de números enteros, y definimos el conjunto de los
números pares, el conjunto complemento de los números pares, es el formado por
los números no pares. Si estamos hablando de personas, y definimos el conjunto de
las personas rubias, el conjunto complementario es el de las personas no rubias.

En vista de que y , entonces

,
de manera que

Pero también

de modo que

Diferencia simétrica
Los elementos de dos conjuntos,A y B a excepción de aquellos que se encuentran
en el área de intersección de dichos conjuntos se define la diferencia simétrica.
http://es.wikipedia.org/wiki/Diagrama_de_Venn
http://sipan.inictel.gob.pe/internet/av/venn.htm
http://www.itchetumal.edu.mx/v2006/paginasvar/Maestros/mduran/Archivos/
Unidad%204%20Relaciones.pdf
http://descartes.cnice.mec.es/materiales_didacticos/cardinal_conjuntos_fzf/i
ndex.htm
Cardinal de un conjunto
Dos conjuntos se dicen equipotentes cuando es posible
establecer una aplicación biyectiva entre ellos.
Diremos que dos conjuntos tienen el mismo cardinal cuando
sean equipotentes. Asociaremos un símbolo común a todos
los conjuntos que tengan el mismo cardinal.
Así, a los conjuntos equipotentes al conjunto vacío les
asociaremos el símbolo 0; a los equipotentes a un conjunto
unitario, el símbolo 1; al cardinal de un conjunto binario es 2;
el de uno ternario, 3; etc.

Relación

Dados dos conjuntos A y B, el producto cartesianos de estos dos


conjuntos es el conjunto formado por todos los pares ordenados (a,b)
donde a es un elemento de A y b es un elemento de B.
Relación
Dados dos conjuntos A y B una relación es un subconjunto del
producto cartesiano A x B.
Un elemento a, que pertenece al conjunto A, está relacionado con un
elemento b, que pertenece al conjunto B, si el par (a, b) pertenece a
un subconjunto G (llamado grafo) del producto cartesiano A x B.
http://es.wikipedia.org/wiki/Diagrama_de_Venn
http://sipan.inictel.gob.pe/internet/av/venn.htm
http://www.itchetumal.edu.mx/v2006/paginasvar/Maestros/mduran/Archivos/
Unidad%204%20Relaciones.pdf
http://descartes.cnice.mec.es/materiales_didacticos/cardinal_conjuntos_fzf/i
ndex.htm
Ejemplo: Sean A = {a, b, c} y B = {1, 2} dos conjuntos. El producto
cartesiano A x B = {(a,1), (a,2), (b,1), (b,2), (c,1), (c,2)}. Una relación
sería R = {(a,1),(c,2)}.
A las relaciones también se les llama correspondencias.
Relación binaria
Dado el producto cartesiano A x A, una relación binaria es un
subconjunto G (llamado grafo) de este producto cartesiano.
Una relación binaria que cumple que para todo elemento a del
conjunto A, el elemento (a,a) pertenece al grafo G tiene la propiedad
reflexiva.
Una relación binaria que cumple que para todo elemento a del
conjunto A, el elemento (a,a) no pertenece al grafo G tiene la
propiedad irreflexiva o antireflexiva.
Una relación binaria que cumple que para todo elemento a y b
perteneciente al conjunto A si (a,b) pertenece al grafo G entonces el
elemento (b,a) también pertenece al grafo G, tiene la propiedad
simétrica.
Una relación binaria tiene la propiedad antisimétrica si para todo
elemento a y b perteneciente al conjunto A si (a,b) pertenece al grafo
G y el elemento (b,a) también pertenece al grafo G, entonces a = b.
Una relación binaria tiene la propiedad transitiva si para todo
elemento a, b y c perteneciente al conjunto A si (a,b) pertenece al
grafo G y (b,c) también pertenece al grafo G, entonces (a, c)
pertenece al grafo G.

Relación de equivalencia

Una relación de equivalencia es una relación binaria que tiene las


propiedades:
Reflexiva: a R a
Simétrica: Si a R b, b R a
Transitiva: Si a R b y b R a, entonces a R c.
Ejemplo: La relación a - b = 2.k (múltiplo de 2), siendo a y b números
enteros es una relación de equivalencia porque cumple las
propiedades:
Reflexiva: a - a = 0 = 2.k (k = 0).
Simétrica: a - b = b - a porque b - a = -(a - b). Si a - b es múltiplo de
2, -(a - b) también lo será.
Transitiva: a - b = 2.k1 b - c = 2.k2 Sumando queda a - c = 2.k3
Entonces a - c es múltiplo de 2.
Al conjunto de los elementos del conjunto A que están relacionados
con él se llama clase de equivalencia.
En el ejemplo anterior, la clase de equivalencia del número cero (uno
de los elementos del conjunto de los números enteros) C(0) = {... -4,

http://es.wikipedia.org/wiki/Diagrama_de_Venn
http://sipan.inictel.gob.pe/internet/av/venn.htm
http://www.itchetumal.edu.mx/v2006/paginasvar/Maestros/mduran/Archivos/
Unidad%204%20Relaciones.pdf
http://descartes.cnice.mec.es/materiales_didacticos/cardinal_conjuntos_fzf/i
ndex.htm
-2, 0, 2, 4, ...}, pues 0 - (-4) es múltiplo de 2, 0 - (-2) es múltiplo de 2
ya sí sucesivamente. La clase de equivalencia del número 1 será C(1)
= {... -5, -3, -1, 1, 3, 5, ...} pues la diferencia entre 1 y los números
indicados es múltiplo de 2.
Del mismo modo podríamos calcular las clases de equivalencia de
más números.
El conjunto formado por las clases de equivalencia se llama conjunto
cociente.
En el ejemplo anterior el conjunto cociente Z / 2 es el conjunto
formado por las clases de todos los elementos Z / 2 = {C(0), C(1),
C(2), ... }.

Relación de orden

Una relación binaria es una relación de orden que tiene las


propiedades:
Reflexiva: a R a
Antisimétrica: Si a R b y b R a entonces a = b.
Transitiva: Si a R b y b R a, entonces a R c.
Si en un conjunto se puede establecer una relación de orden el
conjunto se dice ordenado.
Las relaciones de orden se representan con el símbolo menor igual (a
<= b)
En un conjunto ordenado, si b <= a para todo b, a se llama elemento
máximo. Si el máximo existe es único.
En un conjunto ordenado, si a <= b para todo b, a se llama elemento
mínimo. Si el mínimo existe es único.
En un conjunto ordenado, si a <= b implica a = b, a y b se llaman
elementos maximales.
En un conjunto ordenado, si b <= a implica a = b, a y b se llaman
elementos minimales.

DIAGRAMAS DE VENN
Los diagramas de Venn son ilustraciones usadas en la rama de la
matemática conocida como teoría de conjuntos. Estos diagramas se usan

http://es.wikipedia.org/wiki/Diagrama_de_Venn
http://sipan.inictel.gob.pe/internet/av/venn.htm
http://www.itchetumal.edu.mx/v2006/paginasvar/Maestros/mduran/Archivos/
Unidad%204%20Relaciones.pdf
http://descartes.cnice.mec.es/materiales_didacticos/cardinal_conjuntos_fzf/i
ndex.htm
para mostrar gráficamente la relación matemática o lógica entre diferentes
grupos de cosas (conjuntos), representando cada conjunto mediante un
óvalo o círculo. La forma en que esos círculos se sobreponen entre sí
muestra todas las posibles relaciones lógicas entre los conjuntos que
representan. Por ejemplo, cuando los círculos se superponen, indican la
existencia de subconjuntos con algunas características comunes.

http://es.wikipedia.org/wiki/Diagrama_de_Venn
http://sipan.inictel.gob.pe/internet/av/venn.htm
http://www.itchetumal.edu.mx/v2006/paginasvar/Maestros/mduran/Archivos/
Unidad%204%20Relaciones.pdf
http://descartes.cnice.mec.es/materiales_didacticos/cardinal_conjuntos_fzf/i
ndex.htm