Está en la página 1de 2

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


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

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.