UNIVERSIDAD NACIONAL

SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE CIENCIAS
ESCUELA ACADMICO-PROFESIONAL
INGENIERA DE SISTEMAS E INFORMTICA

TEORA DE CONJUNTOS
TEORA DE LENGUAJES

PRESENTADO POR:
1 .DEPAZ SANDN WILLIAMS ULRRICH
2. DE PAZ TOLEDO TATIANA
3. FLORENTINO HUAMN EROS
4. GOMEZ TREJO MARIELA
5. OBREGN JARA ELSHIN
6. VILLANUEVA TRUJILLO JAVIER ALFREDO
ASESOR:
ING. MIGUEL NGEL SILVA ZAPATA
HUARAZ - PER
2015

A Dios, por habernos dado la vida y la oportunidad de

conocer sus maravillosos caminos, que nos han dado la
gua y la inteligencia necesaria para alcanzar, lo que hoy
es para nosotros, una meta. A nuestros padres, quienes
nos han brindado su apoyo incondicional y confianza.
A nuestros amigos, por estar siempre a nuestro lado,
compartiendo momentos alegres y cuando se
atraviesan dificultades. El equipo de trabajo.

El equipo de trabajo expresa sus agradecimientos a:

Al docente MIGUEL ANGEL SILVA ZAPATA, por su
orientacin y disponibilidad.

NDICE
DEDICATORIA..
AGRADECIMIENTOS...
INTRODUCCIN
CAPITULO I: HISTORIA
CAPITULO II: TEORA DE CONJUNTOS
CONCEPTOS
TEORA DE CONJUNTOS.
CONCLUSIONES..
WEB GRAFA

CAPITULO I: HISTORIA
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.
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.
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.

CAPITULO II: TEORA DE CONJUNTOS

1. CONCEPTOS:
1.1.

Qu es un conjunto?

Es la agrupacin en un todo de objetos bien diferenciados en el la mente o en

la intuicin, por lo tanto, estos objetos son bien determinados y diferenciados.
Es la reunin, agrupacin o coleccin de elementos bien definidos que tienen
una propiedad en comn, este fue inventado por Georg Cantor hace 100 aos.
Sus conceptos han penetrado y transformado todas las teoras formales y
todas las ramas de la matemtica y de la lgica, as como la misma ontologa.
Como este es un concepto primario, el conjunto no puede definirse; slo se
puede dar una idea intuitiva de el.
A pesar de su sencillez este concepto es la base de las Matemticas actuales,
ya que, entre otras cosas, sirve para la construccin de los nmeros. Sirve
adems para estudiar las estructuras algebraicas, con las cuales se organizan
ordenadamente todos los conocimientos matemticos.
Ejemplos: los alumnos de un colegio, los nmeros impares, los meses del ao,
etc., siendo cada alumno del colegio, cada nmero impar, cada mes del ao,
respectivamente, elementos de cada uno de los correspondientes conjuntos.
1.2.

Qu es un elemento?

Elemento es cada uno de los objetos por los cuales esta conformado un
conjunto.
Por ejemplo, par los ejemplos tomados anteriormente en el concepto de
conjunto. Luis, Antonio, Paula, son los elementos del primer conjunto, por que

ellos son alumnos de colegio. 1,3,5 son elementos del segundo conjunto
porque son nmeros impares.

Este ejemplo grfico nos muestra la agrupacin llamado Alumnos de Colegio

con sus elementos que seran: Luis, Antonio, Paula y Pnfilo
1.3.

Cules son las formas de determinar un conjunto?

Un conjunto puede determinarse de dos formas:

Por extensin: escribiendo dentro de una llave los nombres de los

elementos del conjunto.

Por comprensin: escribiendo dentro de una llave una propiedad

caracterstica de los elementos del conjunto y solamente de ellos.

Ejemplo: El conjunto de los meses del ao se nombra:
Por extensin: {Enero, febrero, marzo, abril, mayo, junio, julio, agosto,
septiembre, octubre, noviembre, diciembre}
Por comprensin: {meses del ao}, o bien, de esta otra forma: {x/x es un mes
del ao}, que se lee: conjunto de elementos x tales que x es un mes del ao.
Ejemplo: El conjunto dedos de la mano se nombra
Por extensin: {Pulgar, Indice, Mayor, Anular, meique}

Por comprensin: {dedos de la mano}, o bien, de esta otra forma: {x/x es dedo
de la mano}, que se lee: conjunto de elementos x tales que x es un dedo de la
mano
1.4.

Qu es la relacin de pertenencia?

Es la relacin que existe entre un elemento y un conjunto, as, un elemento

pertenece al conjunto, y se representa de esta forma.
Ejemplo, A = {x/x es dedo de la mano}
B= ndice, entonces
BA
Cuando un elemento no esta en el conjunto dicho elemento no pertenece al
conjunto, y se representa de la siguiente manera
Ejemplo, A = {x/x es mes del ao}
B= ndice, entonces
BA
1.5.
-

Tipos de conjuntos

Conjunto Finito: Se denomina as al conjunto al cual podemos nombrar

su ltimo elemento

Ejemplo: M={x/x es mes del ao}

Por que sabemos que el ltimo mes es Diciembre
-

Conjunto Infinito: Se denomina as al conjunto al cual no podemos

nombrar su ltimo elemento

Ejemplo: M={x/x es nmero natural}

Por que no sabemos que cual es el ltimo mes es el ltimo nmero

Conjunto Universo: Se denomina as al conjunto formado por todos los

elementos del tema de referencia

Ejemplo: U= {x/x es un animal}

A={x/x es un mamfero}
B={x/x es un reptil}
-

Conjunto vaco: Se denomina as al conjunto que no tiene ningn

elemento. A pesar de no tener elementos se le considera como conjunto
y se representa de la siguiente forma: {*}

Ejemplos: Conjunto de los meses del ao que terminan en a.

Conjunto de nmeros impares mltiplos de 2.

Conjunto unitario. Es el conjunto que tiene un solo elemento.

Ejemplo: Conjunto de los meses del ao que tiene menos de reinta das,
solamente febrero pertenece a dicho conjunto.
Conjuntos disjuntos. Se llaman conjuntos disjuntos aquellos que no tienen
ningn elemento que pertenezca a ambos al mismo tiempo.

Ejemplo: Los dos conjuntos siguientes:

{x/x es un nmero natural}
{x/x es un da de la semana}
Son disjuntos ya que no tienen ningn elemento comn.
-

Conjunto de las partes de un conjunto: Se llama as al conjunto

formado por todos los subconjuntos posibles de un conjunto dado.
Observamos que en l los elementos son, a su vez, conjuntos. Se
representan por p(A).

Ejemplo: Dado el conjunto: A={a,b,c,d.}

Formemos todos sus subconjuntos: , M={a}, N={b}, P={c}, Q={d}, R={a,c},
T={a,d}, U={b,c}, V={b,d}, X={c,d}, Y={a,b,c}, Z={a,b,d}, L={b,c,d}. El conjunto
de las partes de A, es decir (A), ser:
p(A) = {{ }, M, N, P, Q, R, S, T, U, V, X, Y, Z, L, A}
1.6.

Qu es un conjunto universo?

Conjunto Universo: Se denomina as al conjunto formado por todos los

elementos del tema de referencia
Ejemplo: U={x/x es un animal}
A={x/x es un mamfero}
B={x/x es un reptil}
1.7.

Cundo dos conjuntos son iguales?

Dos conjuntos son iguales si, y solamente si, todos los elementos del primero
son iguales a los elementos del segundo y todo elemento del segundo es el
elemento del primero.

Ejemplo: Los dos siguientes conjuntos: {x/x es un nmero natural} {x/x es un

nmero entero positivo} son iguales, ya que todo nmero entero positivo es un
nmero natural.
Cundo establece la inclusin o contenencia entre dos conjuntos?
El conjunto A esta incluido en B si todos los elementos del conjunto A
pertenecen al conjunto B, y se escribe:
AcB
A esta incluido en B
1. Propiedad reflexiva: Todo conjunto est incluido en si mismo. Esto se
expresa de la siguiente forma: VA =>, A cA que se lee: para todo conjunto A se
verifica que A est incluido en A.
2. Propiedad anti simtrica: Dados dos conjuntos diferentes A y B, si A est
incluido en B, B no puede estar incluido en A. Es decir: Si y A diferente B y A c
B =gt B NO c A
3. Propiedad transitiva: Si un conjunto A est incluido en otro conjunto B y a su
vez B esta incluido en C, A esta incluido en C. Sean los conjuntos:
A={a,b,c}; B={a,b,c,d,n}; C={a,b,c,d,n,m}.
en los cuales se observa con claridad que si los elementos del conjunto A son
elementos del conjunto B, y los del conjunto B son tambin elementos del
conjunto C, los elementos de A sern elementos de C.
Qu son los diagramas de Venn?

Es la representacin grfica de un conjunto en la cual se sitan dentro de una

lnea cerrada los signos representativos de los elementos del conjunto. En la
figura se muestran las dos formas respectivas de representar el conjunto:
A= {a, b, c, d, e}.
1.8.

Cules son las operaciones entre conjuntos?

Unin de conjuntos. Es la unin de los elementos de dos o mas conjuntos,

formando un nuevo conjunto cuyos elementos son los elementos de los
conjuntos originales, pero, cuando un elemento se repite, dicho elemento
entrar a formar parte del conjunto unin una sola vez; en esto se diferencia la
unin de conjuntos del concepto clsico de la suma, en la que los elementos
comunes se consideran tantas veces como estn en el total de los conjuntos.
Ejemplo: Dados los conjuntos: A = {d, f g, h} y B = {b, c, d, f}
La unin de dichos conjuntos ser: AUB= {d, f, g, h, b, c}
, mientras que segn el concepto clsico de la suma hubisemos puesto:
A + B = d + f + g + h + b + c + d + f.

Propiedades de la unin de conjuntos:

PROPIEDADES
1.- Idempotencia
2.- Conmutativa
3.- Asociativa
4.- Absorcin
5.- Distributiva

UNIN
AA=A
AB=BA
A(BC)=(AB)C
A(AB)=A
A(BC)=(AB)(AC)

INTERSECCIN
AA=A
AB=BA
A(BC)=(AB)C
A(AB)=A
A(BC)=(AB)(AC)

6.- Complementariedad

A A' = U

A A' =

Producto cartesiano de dos conjuntos

Se llama conjunto producto cartesiano de dos conjuntos A y B, y se representa
por A x B, al conjunto formado por todos los pares ordenados de elementos (a,
b), tales que a A y b B.
Al decir pares ordenados, estamos definiendo un nuevo concepto nuevo
hasta ahora, y que al ser ordenados, sern diferentes los pares: (a, b) y (b, a),
lo cual nos indica a su vez que dicho producto cartesiano no goza de la
propiedad conmutativa. En efecto, al considerar, por ejemplo, los conjuntos: A =
{a, b, c, d, e} y B = {m, n} podemos hallar el producto cartesiano de A x B,
resultando: A x B = {(a, m), (a, n), (b, m), (b, n), (c, m), (c, n), (e, m), (e, n).}.

Sin embargo, si hallamos el producto cartesiano de B x A:

B x A = {(m, a), (m, b), (m, c), (m, d), (m, e), (n, a), (n, b), (n, c), (n, d), (n, e).}.
Observndose que en ellos los pares son diferentes, pues aunque estn
formados por los mismos elementos, estn en distinto orden.
Propiedades del producto cartesiano.
1. El producto cartesiano de un conjunto. Cualquiera por el conjunto vaco da
como resultado el conjunto vaco. Ax{ } = { } es evidente, ya que el conjunto
vaco carece de elementos, luego no se pueden formar pares con los del otro
conjunto A.
2. Propiedad distributiva respecto de la unin. Se expresa: A (BUC) =
(AxB)U(AxC)
3. Propiedad distributiva respecto de la interseccin: Ax(BnC) = ((AxB)n(AxC))
Aqu tenemos un grfico con varias operaciones

2. TEORA DE CONJUNTOS:

La teora de conjuntos es una rama de las matemticas que estudia las

propiedades y relaciones de los conjuntos: colecciones abstractas de objetos,

consideradas como objetos en s mismas. Los conjuntos y sus operaciones
ms elementales son una herramienta bsica en la formulacin de cualquier
teora matemtica.
Sin embargo, la teora de los conjuntos es lo suficientemente rica como para
construir

el

resto

de

objetos

matemticas: nmeros, funciones, figuras

estructuras
geomtricas,

de
...;

inters

en

junto

con

la lgica permite estudiar los fundamentos de aqulla. En la actualidad se

acepta que el conjunto de axiomas de la teora de Zermelo-Fraenkel es
suficiente para desarrollar toda la matemtica.
Adems, la propia teora de conjuntos es objeto de estudio per se, no slo
como herramienta auxiliar. En esta disciplina es habitual que se presenten
casos de propiedades indemostrables o contradictorias, como la hiptesis del
continuo o la existencia de un cardinal inaccesible. Por esta razn, sus
razonamientos y tcnicas se apoyan en gran medida en la lgica
2.1.

NOCIN INTUITIVA DE CONJUNTO

Un conjunto es la reunin en un todo de objetos bien definidos y diferenciables

entre s, que se llaman elementos del mismo.
Si a es un elemento del conjunto
pertenencia a A.

se denota con la relacin de

En caso contrario, si a no es un elemento de A se

denota a A.
Ejemplos de conjuntos:
o

: el conjunto vaco, que carece de elementos.

N: el conjunto de los nmeros naturales.

Z: el conjunto de los nmeros enteros.

Q : el conjunto de los nmeros racionales.

R: el conjunto de los nmeros reales.

C: el conjunto de los nmeros complejos.

2.2.

APLICACIN DE LA TEORA DE CONJUNTO EN DIVERSAS

REAS DE LA COMPUTACIN

Es una ciencia cuyas bases estn establecidas bsicamente en

principios matemticos y conjunta varias ramas de las matemticas. Las
bases lgicas para la geometra, el clculo y la topologa, hasta crear
lgebra en torno a campos, anillos y grupos, las aplicaciones de la teora
de conjuntos son comnmente utilizadas en campos de las ciencias y las
matemticas como biologa, qumica y fsica, como as tambin en
ingeniera elctrica y computacin.
El clculo integral y diferencial son componentes principales del
anlisis. La continuidad de una funcin y los lmites de la misma derivan
de la teora de conjuntos. Estas operaciones conducen al lgebra de
Boole, que es til para la produccin de computadoras y calculadoras.
En la informtica se encuentra la teora de algoritmos para
problemas matemticos. La computacin estudia lo que puede ser
computado y tiene lazos fuertes con la lgica, mientras que la
complejidad estudia el tiempo que se demora en hacer computaciones.
La teora de autmatas y los lenguajes formales se relacionan de
manera cercana con la computacin. Las redes de Petri y lgebra de
procesos se usan para modelar sistemas computacionales, y mtodos
de la matemtica discreta se usan para analizar.

2.3.

RELACIN ENTRE CATEGORA DE CONJUNTO Y LGICA

La Teora de Conjuntos es una de las partes principales de la Lgica.

Tiene un papel muy importante en la discusin de los fundamentos de la
Matemtica y en el estudio de las nociones de innito y de nmero.
Desde ese punto de vista es una disciplina til para la Filosofa de la
Lgica y de la Matemtica.

CONCLUSIONES
1.

WEB GRAFA
1. http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Conjuntos/marco_conjun
tos.htm
2. http://www.geocities.ws/ferman30/caracteristicas-conjuntos.html
3. http://victorgh84.blogspot.pe/2013/05/aplicacion-de-la-teoria-deconjunto.html