Teora de conjuntos, No 09, 10 de octubre de 2017. Universidad Tecnolgica de Pereira.

Teora de conjuntos
Autor: Hamilton Andrs Ruiz Mosquera
Matemtica, Universidad tecnolgica de Pereira (UTP), Pereira, Colombia
Correo: Hamilton.ruiz@utp.edu.co

I. INTRODUCCIN hiptesis del continuo o la existencia de un cardinal

Este documento es una breve instruccin a la teora de los
conjuntos en el cual se trataran temas de inters de modo
claro y fiable, con lo cual se trata de que el lector pueda
entender de forma clara y eficiente a travs de ejemplos
imgenes y ms herramientas que ayuden a asimilar el tema.
Para empezar hablaremos un poco de que es un conjunto y
sus definiciones y empezaremos a desglosar cada una de
ellas para entender mejor cada punto, como lo son los
smbolos y dems elementos que hacen parte de la teora de
los conjuntos
II. CONTENIDO
Que es
Caractersticas
Historia
Ejemplos
inaccesible. Por esta razn, sus razonamientos y tcnicas
se apoyan en gran medida en la lgica.
El desarrollo histrico de la teora de conjuntos se
atribuye a Georg Cantor, que comenz a investigar
cuestiones conjuntistas puras del infinito en la segunda
mitad del siglo XIX, precedido por algunas ideas de
Bernhard Bolzano e influido por Richard Dedekind. El
descubrimiento de las paradojas de la teora cantoriana de
conjuntos, formalizada por Gottlob Frege, propici los
trabajos de Bertrand Russell, Ernst Zermelo, Abraham
Fraenkel y otros a principios del siglo XX.
Los conjuntos numricos usuales en matemticas son: el
conjunto de los nmeros naturales N, el de los nmeros
enteros Z, el de los nmeros racionales Q, el de los
nmeros reales R y el de los nmeros complejos C. Cada
uno es subconjunto del siguiente:

Que es
La teora de conjuntos es una rama de las matemticas
que estudia las propiedades y relaciones de los
conjuntos: colecciones abstractas de conjuntos,
consideradas como objetos en s mismas. Los
conjuntos y sus operaciones ms elementales son una
herramienta bsica en la formulacin de cualquier
teora matemtica La teora de los conjuntos es lo
suficientemente rica como para construir el resto de
objetos y estructuras de inters en matemticas: Algebra de conjuntos
nmeros, funciones, figuras geomtricas,...; y, junto Existen unas operaciones bsicas que permiten
con la lgica, permite estudiar los fundamentos de manipular los conjuntos y sus elementos, similares a
aquella. En la actualidad se acepta que el conjunto de las operaciones aritmticas, constituyendo el lgebra
axiomas de la teora de Zermelo-Fraenkeles suficiente de conjuntos:
para desarrollar toda la matemtica.
Adems, la propia teora de conjuntos es objeto de estudio Unin. La unin de dos conjuntos A y B es el conjunto
per se, no slo como herramienta auxiliar, en particular
A B que contiene cada elemento que est por lo
las propiedades y relaciones de los conjuntos infinitos. En
menos en uno de ellos.
esta disciplina es habitual que se presenten casos de
propiedades indemostrables o contradictorias, como la

1
 Teora de conjuntos, No 09, 10 de octubre de 2017. Universidad Tecnolgica de Pereira.

Interseccin. La interseccin de dos conjuntos A y B REFERENCIAS

es el conjunto A B que contiene todos los elementos
comunes de A y B. https://www.canva.com/design/DACjdnvhTM4/y-
jYbDxIX99-EOVU8sR0sw/edit
Diferencia. La diferencia entre dos conjuntos A y B es
el conjunto A \ B que contiene todos los elementos de https://es.wikipedia.org/wiki/Teor%C3%ADa_de_con
A que no pertenecen a B. juntos

Complemento. El complemento de un conjunto A es https://www.google.com.co/search?q=mapa+mental

el conjunto A que contiene todos los elementos +de+los+conjuntos&rlz=1C1LENP_enCO753CO753&t
(respecto de algn conjunto referencial) que no bm=isch&tbo=u&source=univ&sa=X&ved=0ahUKEwi
pertenecen a A. QrpXfqebWAhUJG5AKHQ0dD58QsAQIIw&biw=1280
&bih=893#imgrc=JA7aRJLkhqLrDM:
Diferencia simtrica. La diferencia simtrica 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. El producto cartesiano de dos

conjuntos A y B es el conjunto A B que contiene
todos los pares ordenados (a, b) cuyo primer elemento
a pertenece a A y su segundo elemento b pertenece a
B.