INSTITUTO TECNOLGICO DEL SUR DE

GUANAJUATO
COORDINACIN SISTEMAS

MATERIA:
Matemticas discretas

DOCENTE:
Nancy Carolina Quintana Martnez

TTULO:
Teora de conjuntos

ALUMNO: Christian Garca Barrera

CARRERA: Ing. Sistemas

NUMERO DE CONTROL: S13120087

SEMESTRE: 3

Uriangato, Guanajuato, 27 de Agosto 2014.

INTRODUCCIN
En este documento repasaremos la teora de conjuntos, caractersticas
principales, conceptos fundamentales y un pequeo desarrollo histrico. Un punto
importante para esta realizacin es enfatizar el uso de la lgica matemtica como
principal aspecto para la realizacin de dichos problemas.

CONJUNTOS (CARACTERSTICAS)
Conjunto: coleccin de objetos bien definidos, de tal manera que se pueda decir
siempre que si un objeto pertenece o no al conjunto al cual nos referimos.
Nomenclatura: Se determinan entre llaves {}. Los conjuntos se nombran con letras
maysculas. Conjunto A, B, C,...., Z
Los conjuntos tambin se representan por medio de Diagramas de Venn-Euler:

Definiciones
Elemento: que pertenece a un conjunto. Ejemplo: a, e, i, o u son los elementos del
conjunto de las vocales.
Universo: U: Conjunto que determina un marco de referencia. Ejemplo: U= {letras
del alfabeto} es el universo del conjunto A= {vocales}.
Subconjunto: AB Si cada elemento de A es un elemento de B y B tiene igual o
ms elementos que A, esto es la cardinalidad de B es mayor o igual que la
cardinalidad de A, se dice que A es un subconjunto de B. Entonces, A B A
subconjunto de B |A| |B| pueden ser iguales o no los conjuntos

Conjunto vaco:
A= {} A=

es aquel conjunto que no contiene elementos. Si

|A| = 0. Si A = {0} A |A|=1

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.

Unin: La unin de dos conjuntos A y B es el conjunto formado por todos

los elementos que pertenecen A o a B. Se nota A B.

AB = {x:x A x B }

Interseccin: La interseccin de dos conjuntos A y B es el conjunto

formado por todos los elementos que pertenecen a A y a B. Se nota AB.

AB = {x:x A x B}
Si A y B no tienen elementos en comn, es decir, si AB = , entonces diremos
que A y B son conjuntos disjuntos.

Diferencia: La diferencia entre dos conjuntos A y B es el conjunto formado

por todos los elementos que pertenecen A y no pertenecen a B. Se nota por
A \ B.

A \ B = {x:x A x / B}
El conjunto A\B se lee A menos B y recibe tambin el nombre de complementario
relativo del conjunto B respecto del conjunto A.

Complementario: El complementario de un conjunto A es el conjunto

formado por todos los elementos del conjunto universal que no

pertenecen A. Se nota Ac.
Ac = {x:x U x / A}

Obsrvese que el complementario de A es igual a la diferencia entre U y A , es

decir, Ac = U \ A.
Diferencia simtrica: La diferencia simtrica entre dos conjuntos A y B es
el conjunto formado por todos los elementos que pertenecen a A o a B
pero no a ambos. Se nota por A B.

DESARROLLO HISTRICO
El lgebra de la teora de conjuntos se desarroll durante los siglos diecinueve y
veinte. En Inglaterra, George Peacock (1806 1858) fue un pionero en reformas
matemticas y uno de los primeros en revolucionar el concepto del lgebra y la
aritmtica. Sus ideas fueron desarrolladas ms tarde por Duncan Gregory (1813
1844), William Rowan Hamilton (1805 1865) y Augustus de Morgan (1806
1871), quien intent eliminar la ambigedad del lgebra elemental para ponerla en
forma de postulados estrictos. Sin embargo fue en 1845, ao en que Boole logr
formalizar el lgebra de conjuntos y la lgica y se extendi el trabajo de Peacock y
sus contemporneos. El enfoque intuitivo de la teora de conjuntos se realiz en

tiempos del matemtico ruso Geroge Cantor (1845 1918), quien defini un
conjunto, en 1895, en forma intuitiva.
En la dcada de 1870, cuando Cantor estaba estudiando

las series

trigonomtricas y las series de nmeros reales, necesitaba una forma para

comparar el tamao de los conjuntos infinitos de nmeros. Su estudio de lo infinito
como una realidad, que est en el mismo nivel de lo infinito, fue en su momento
revolucionario. Parte de su trabajo fue rechazado ya que result ser ms abstracto
de lo acostumbrado por muchos matemticos de su tiempo. Pero con el tiempo,
gan aceptacin para que en 1890 la teora de conjuntos, tanto finita como infinita,
fuera considerada una rama de las matemticas como derecho propio. Al terminar
el siglo XIX la teora era aceptada. Sin embargo, en 1901 Russell mostr que esta
teora de conjuntos, propuesta originalmente, tena una inconsistencia interna: la
falta de restriccin para definir los conjuntos (paradoja de Russell). Los
matemticos britnicos Lord Bertrand Arthur William Russell (1872 1970) y
Alfred North Whitehead (1861 1947) desarrollaron una jerarqua en la teora de
conjuntos conocida como la teora de tipos. Con esta teora, se definan los
conjuntos.
El descubrimiento de la paradoja de Russell aun cuando se pudo remediar, tuvo
un profundo impacto en la comunidad matemtica, ya que muchos comenzaron a
preguntarse si haba otras contradicciones ocultas. En 1931, el matemtico
austriaco Kart Gel (1906 1978) formul la idea de que en una condicin de
consistencia dada, cualquier sistema axiomtico formal suficientemente fuerte
debe de contener una proposicin tal que ni sta ni su negacin sea demostrable y
tal que cualquier demostracin de consistencia del sistema debe usar ideas de
mtodos que estn ms all de los propios del sistema en s. Esto quiere decir que
no podemos establecer que no existen contradicciones en matemticas.

CONCLUSIN
El uso de las matemticas discretas es parte fundamental en el perfil de un
programador porque de alguna manera incrementa el uso de la lgica en
matemticas o incluso en cualquier aspecto. Con esto dicho anteriormente
podemos decir que la teora de conjuntos hace referencia a la forma en que
podemos relacionar cualquier elemento real para sustituirlo en un proceso simple y
es por esto que observando las cosas y sus caractersticas desde otro punto de
vista, que en este caso son las matemticas simples, podemos crear sistemas
automatizados para simplificar la vida cotidiana del ser humano.

BIBLIOGRAFA
Gutirrez, F. J. (Octubre de 2004). UCA.ES. Recuperado el 27 de Agosto de 2014,
de http://www2.uca.es/matematicas/Docencia/20052006/ESI/1710003/Apuntes/Leccion2.pdf
Soriano, R. Z. (Agosto de 2011). TESOEM. Recuperado el 27 de Agosto de 2014,
de http://www.tesoem.edu.mx/alumnos/cuadernillos/2012.007.pdf
Tecnolgico de Monterrey. (Noviembre de 2008). ITESM. Recuperado el 27 de
Agosto de 2014, de
http://campus.cva.itesm.mx/nazira/Tc1003/PDF/Apuntes/0300Tc1003_Conj
untos.pdf

.
.
.
.