Teora de conjuntos

Un diagrama de Venn que ilustra la interseccin de dos 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
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
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.
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.
ndice
[ocultar]
La teora de conjuntos ms elemental es una de las herramientas bsicas del
lenguaje matemtico. Dados unos elementos, unos objetos matemticos
como nmeros o polgonos por ejemplo, puede imaginarse una coleccin
determinada de estos objetos, un conjunto. Cada uno de estos elementos
pertenece 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 los nmeros reales R y el de los nmeros complejos C. Cada
uno es subconjunto del siguiente:
{\displaystyle \mathbb {N} \subset \mathbb {Z} \subset \mathbb {Q}
\subset \mathbb {R} \subset \mathbb {C} }

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.