Teora de conjuntos

Hiptesis del continuo. La coleccin de todos los conjuntos de nmeros naturales P(N) tiene la
llamadapotencia del continuo: tantos elementos como (por ejemplo) puntos en una recta. Su estudio
es uno de los principales problemas en la 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. 1
Sin embargo, la teora de los conjuntos es lo suficientemente rica como para construir el
resto de objetos y estructuras de inters en matemticas: nmeros, funciones, figuras
geomtricas,...; y junto con la lgica permite estudiar los fundamentos de aquella. 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 particular las propiedades y relaciones de los conjuntos infinitos.
En esta disciplina es habitual que se presenten casos de
propiedadesindemostrables 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.
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 influenciado 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 delsiglo XX.

ndice
[ocultar]

1Teora bsica de conjuntos

1.1lgebra de conjuntos

2Teora axiomtica de conjuntos

3Vase tambin

4Referencias

5Bibliografa

6Enlaces externos

Teora bsica de conjuntos[editar]

Artculo principal: Conjunto

La teora de conjuntos ms elemental es una de las herramientas bsicas del lenguaje

matemtico. Dados unos elementos, unos objetos matemticos
como nmeros opolgonos por ejemplo, puede imaginarse una coleccin determinada de
estos objetos, un conjunto. Cada uno de estos elementos pertenece al conjunto, y esta
nocin depertenencia es la relacin relativa a conjuntos ms bsica. Los propios conjuntos
pueden imaginarse a su vez como elementos de otros conjuntos. La pertenencia de un
elemento a a un conjunto A se indica como a A.
Una relacin entre conjuntos derivada de la relacin de pertenencia es la relacin de
inclusin. Una subcoleccin de elementos B de un conjunto dado A es
un subconjunto de A, y se indica como B A.
Ejemplos.

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
losnmeros reales R y el de los nmeros complejos C. Cada uno es subconjunto del
siguiente:

El espacio tridimensional E3 es un conjunto de objetos elementales

denominados puntos p, p E3. Las rectas r y planos son conjuntos de puntos a su
vez, y en particular son subconjuntos de E3, r E3 y E3.

lgebra de conjuntos[editar]
Artculo principal: lgebra de conjuntos

Existen unas operaciones bsicas que permiten manipular los conjuntos y sus elementos,
similares a las operaciones aritmticas, constituyendo el lgebra de conjuntos:

Unin. La unin de dos conjuntos A y B es el conjunto A B que contiene cada

elemento que est por lo menos en uno de ellos.

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

contiene todos los elementos comunes de A y B.

Diferencia. La diferencia entre dos conjuntos A y B es el conjunto A \ B que

contiene todos los elementos de A que no pertenecen a B.

Complemento. El complemento de un conjunto A es el conjunto A que contiene

todos los elementos (respecto de algn conjunto referencial) que no pertenecen a A.

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 aA y su segundo elemento b pertenece a B.

Teora axiomtica de conjuntos[editar]

La teora informal de conjuntos apela a la intuicin para determinar cmo se comportan los
conjuntos. Sin embargo, es sencillo plantear cuestiones acerca de las propiedades de
estos que llevan a contradiccin si se razona de esta manera, como la famosa paradoja de
Russell. Histricamente sta fue una de las razones para el desarrollo de lasteoras
axiomticas de conjuntos, siendo otra el inters en determinar exactamente qu
enunciados acerca de los conjuntos necesitan que se asuma el polmico axioma de
eleccin para ser demostrados.
Las teoras axiomticas de conjuntos son colecciones precisas de axiomas escogidos para
poder derivar todas las propiedades de los conjuntos con el suficiente rigor matemtico.
Algunos ejemplos conocidos son:

La teora de conjuntos de Zermelo-Fraenkel

La teora de conjuntos de Neumann-Bernays-Gdel

La teora de conjuntos de Morse-Kelley