9 de septiembre de 2014 [MATEMATICAS DISCRETAS :TEORIA DE CONJUNTOS]

BECERRA SANCHEZ JAIR 1

DEFINICION
Un conjunto es una coleccin o familia de objetos.
Las llaves { } tendrn un uso muy especial y nico; servirn para definir un conjunto. Para ninguna
otra cosa ms.
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,
rebao, piara, parcelas, campesinado, familia, etc., es decir la palabra conjunto denota una
coleccin de elementos claramente entre s, que guardan alguna caracterstica en comn. Ya sean
nmeros, personas, figuras, ideas y conceptos.
En matemticas el concepto de conjunto es considerado primitivo y ni se da una definicin de
este, sino que se trabaja con la notacin de coleccin y agrupamiento de objetos, lo mismo puede
decirse que se consideren primitivas las ideas de elemento y pertenencia.
La caracterstica 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 nmeros dgitos, 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 (,).







9 de septiembre de 2014 [MATEMATICAS DISCRETAS :TEORIA DE CONJUNTOS]

BECERRA SANCHEZ JAIR 2

DESARROLLO HISTORICO
HISTORIA: INTRODUCCIN A LA TEORA DE CONJUNTOS
George Cantor (1845-1918) fue quien prcticamente formul de manera
individual la teora de conjuntos a finales del siglo XIX y principios del XX. Su
objetivo era el de formalizar las matemticas como ya se haba hecho con el
clculo cien aos antes. Cantor comenz esta tarea por medio del anlisis de las
bases de las matemticas y explic todo basndose en los conjuntos (por ejemplo,
la definicin de funcin se hace estrictamente por medio de conjuntos). Este
monumental trabajo logr unificar a las matemticas y permiti la comprensin
de nuevos conceptos.
El problema apareci cuando se comenzaron a encontrar paradojas en esta teora,
siendo la ms clebre la paradoja de Russell, y ms tarde varios matemticos
encontraron ms paradojas, incluyendo al mismo Cantor. Russell descubri su
paradoja en 1901, y la public en un apndice de su libro "Principios de las
matemticas".
Cuando los matemticos supieron de esta paradoja, muchos se preguntaron si las
matemticas en realidad eran consistentes, y sobre todo verdaderas, ya que
cualquier suposicin matemtica poda basarse en una teora inconsistente.
La primera propuesta para solucionar el problema de las paradojas provino de un
matemtico holands llamado Brouwer, quien propuso una redefinicin radical
de todas las matemticas y prometi una solucin al conflicto. El programa de
Brouwer se basaba en lo ms simple de la intuicin: el aceptaba los conceptos
que son aparentes a la intuicin general. Esta filosofa rechazaba muchos
principios fundamentales de las matemticas, pero en cambio, solucionaba
satisfactoriamente el problema de las paradojas. Particularmente Brouwer
rechazaba el principio del medio excluido, el cul deca que los elementos de un
conjunto o bien tienen una propiedad A o no la tienen, lo cul sera la negacin
de la propiedad A. A esta corriente de pensamiento se le llam intuicionismo.




9 de septiembre de 2014 [MATEMATICAS DISCRETAS :TEORIA DE CONJUNTOS]

BECERRA SANCHEZ JAIR 3


Luitz Brouwer
Por otro lado, David Hilbert se opuso al intuicionismo y aunque no toleraba las
paradojas, no estaba dispuesto a ver las matemticas mutiladas. En 1904 propuso
la teora de la prueba, la cul era una teora de la lgica independiente del
contexto y podra ser aplicada a las matemticas sin encontrar paradojas. Russell
a su vez desarroll su teora de los tipos para evitar las paradojas. El propona
que los enunciados se acomodaran jerrquicamente. Russell public sus
resultados en 1908 con la colaboracin de Alfred North Whitehead.

David Hilbert
La cuarta respuesta a la paradoja fue de Ernst Zermelo en 1908 con la
axiomatizacin de la teora de conjuntos.
La mejor prueba de que la teora de conjuntos no ha logrado unificar a las
matemticas es que stas se han ramificado en reas muy diferenciadas, como la
aritmtica, el lgebra, la trigonometra y geometra; tambin se han separados
distintos campos como el clculo, la topologa, la teora de conjuntos, la teora de
los nmeros y la estadstica.










9 de septiembre de 2014 [MATEMATICAS DISCRETAS :TEORIA DE CONJUNTOS]

BECERRA SANCHEZ JAIR 4


Caracteristicas de los Conjuntos
Es posible determinar la pertenencia de los elementos
Denotados por letras mayusculas
Elementos denotados por letras minusculas
Definidos por comprension o por extension
El orden de los elementos es irrelevante
No son conjuntos finitos

PROPIEDADES DE LOS CONJUNTOS

9 de septiembre de 2014 [MATEMATICAS DISCRETAS :TEORIA DE CONJUNTOS]

BECERRA SANCHEZ JAIR 5

propiedad: Unin interseccin
Asociativa
(A B) C =
A (B C)
(A B) C =
A (B C)
Conmutativa A B = B A A B = B A
Idempotente A A = A A A =A
Absorcin A (B A) = A A (A B) = A
Distributiva
A (B C) =
(A B) (B A)
A (B C)
= (A B) (A C)
Neutralidad A = A A U = A

A U = U A =
Complementacin A A
l
= U A A
l
=
Ley de De
Morgan
(A B)
l
= A
l
B
l
(A B)
l
= A
l
B
l

Adems se cumple:
(A
l
)
l
= A, A - B = A B
l
, A - (B C) = (A - B) (A -
C), A - (B C) = (A - B) (A - C)

















CONJUNTOS MAS IMPORTANTES
9 de septiembre de 2014 [MATEMATICAS DISCRETAS :TEORIA DE CONJUNTOS]

BECERRA SANCHEZ JAIR 6

SUBCONJUNTOS:

Un conjunto A se dice subconjunto de B , , si tod
os los elementos de A pertenecen a B el reciproco no es necesario, pero
si sucede, el conjunto A es igual a B. A esta relacin se le conoce como
relacin de inclusin.

RELACION DE INCLUSIN. Es una relacin conjunto conjunto. Se dice que un
conjunto A est incluido en otro B, si todos los elementos del conjunto A
pertenecen al conjunto B.

PROPIEDADES DE LOS SUBCONJUNTOS:

Los subconjuntos tienen las siguientes propiedades:


REFLEXIVA.- Todo conjunto es subconjunto de si mismo.
A A

ANTISIMETRICA.- Si dados dos conjuntos A y B se verifica A B,
entonces se deduce que B A.

9 de septiembre de 2014 [MATEMATICAS DISCRETAS :TEORIA DE CONJUNTOS]

BECERRA SANCHEZ JAIR 7

A B A B

TRANSITIVA.- Dados tres conjuntos A, B y C, si se verifica

A B y B C entonces A C
Una manera grafica de entender los diagramas de Venn-Euler que se
mostraran mas adelante continuacin.

A = {x I x es par}
B = {2,4,6,8}
C = {vocales}
D = {abecedario}

Los subconjuntos se expresan de la siguiente manera:

AB (A es subconjunto de B)
C_D (C es subconjunto de D)

Los elementos del conjunto A esta contenido en B pero al revs no es
cierto, es decir B no es subconjunto de A y se representa como: .

9 de septiembre de 2014 [MATEMATICAS DISCRETAS :TEORIA DE CONJUNTOS]

BECERRA SANCHEZ JAIR 8


CONJUNTO VACO

Es un conjunto que carece de elementos. Se suele llamarle conjunto
nulo, y se le denota por el smbolo o { }.

Ejemplos:
A = { Las personas que vuelan } A = { } A =
B = { x I x

numero racional e irracional} B = { } B =
C = { x I x es una solucin real de }
C = { } C =
D = { x I x es rojo y verde a la vez} D = { } D =
E = { x I x es un nmero real e imaginario} E = { } F =


CONJUNTO UNITARIO

Es todo conjunto que est formado por slo un elemento.

A = { 1 }
B = {x I x es la solucin de }
C = {nmeros pares entre 2 y 6} = { 4 }
D = {La capital del Mxico }
CONJUNTO UNIVERSAL

9 de septiembre de 2014 [MATEMATICAS DISCRETAS :TEORIA DE CONJUNTOS]

BECERRA SANCHEZ JAIR 9

Es el conjunto que contiene a todos los elementos del Universo. Se
le denota por la letra U. El universos lo forman el conjunto de conjuntos
que intervienen. As, si se esta hablando de todos los nmeros, el
conjunto universal ser los nmeros complejos:

Ejemplos:

Sean los conjuntos:

A = { aves} B = { peces } C = { anfibios } D = {tigres}

Existe otro conjunto que incluye a los conjuntos A, B, C y D y es
conjunto de todos los animales

9 de septiembre de 2014 [MATEMATICAS DISCRETAS :TEORIA DE CONJUNTOS]

BECERRA SANCHEZ JAIR 10

U = { animales }



De manera grafica estos conjuntos los podemos representar de la
manera siguiente:

Sean los conjuntos:

E = { mujeres } F = { hombres }

El conjunto que incluye a los conjuntos E y F es el universo, conformado
por

9 de septiembre de 2014 [MATEMATICAS DISCRETAS :TEORIA DE CONJUNTOS]

BECERRA SANCHEZ JAIR 11

U = { seres humanos }

Grficamente se representa por un rectngulo tal como se observa
a continuacin.


CONJUNTO POTENCIA

La familia de todos los subconjuntos de un conjunto N se llama Conjunto Potencia
de N. Se le denota como .

a).- Si N = { 1, 2 } como podemos ver el conjunto tiene dos elementos y el
conjunto potencia tendr elementos y son:


b).- si ahorra el conjunto N consta de tres elementos el, N = {1,2,3}, el conjunto potencia
tendr 8 elementos y son:


Teorema Si un conjunto N es finito con "n" elementos, entonces su conjunto
potencia tendr elementos.
CONJUNTOS DISJUNTOS
Si dos conjuntos A y B no tienen ningn elemento comn entonces
A y B son disjuntos.

9 de septiembre de 2014 [MATEMATICAS DISCRETAS :TEORIA DE CONJUNTOS]

BECERRA SANCHEZ JAIR 12

Ejemplos de conjuntos disjuntos y no disjuntos:

1.- Sea
A = {x I x es par}
B = {x I x es impar}

A y B son disjuntos pues no tienen ningn elemento en comn.

2.- Sea A = {x I x es una vocal} y B = {x I x es una letra del abecedario }
estos dos conjuntos tienen a las vocales en comn por lo que no son
disjuntos.












9 de septiembre de 2014 [MATEMATICAS DISCRETAS :TEORIA DE CONJUNTOS]

BECERRA SANCHEZ JAIR 13

OPERACIONES ENTRE CONJUNTOS
UNION
La unin 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 interseccin 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 estn en A y estn 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 }


9 de septiembre de 2014 [MATEMATICAS DISCRETAS :TEORIA DE CONJUNTOS]

BECERRA SANCHEZ JAIR 14


CONJ UNTO VACIO
Un conjunto que no tiene elementos es llamado conjunto vaco conjunto nulo lo
que denotamos por el smbolo .

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 vaco nulo y se puede representar como:
A B=


CONJ UNTOS AJ ENOS
S la interseccin de dos conjuntos es igual al conjunto vaco, 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 comprehensin como:
9 de septiembre de 2014 [MATEMATICAS DISCRETAS :TEORIA DE CONJUNTOS]

BECERRA SANCHEZ JAIR 15

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 estn en B y se representa por
comprehensin 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 estn en B. Si la operacin fuera B - A el resultado es
B A = { g, h, i }
E indica los elementos que estn en B y no en A.