Problema 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 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 lalgica.

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.

Teora bsica de conjuntos

Artculo principal: Conjunto

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

matemtico y wikipedistico. Dados unos elementos, unos objetos matemticos
comonmeros o polgonos por ejemplo, puede imaginarse una coleccin determinada de
estos objetos, un conjunto. Cada uno de estos elementos pertenecen al conjunto, y esta
nocin de pertenencia 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
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.