La teora de conjuntos es una rama de las matemticas que estudia las propiedades 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 esta. 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
matemtica.

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 del siglo XX.

ndice
1 Teora bsica de conjuntos
o 1.1 lgebra de conjuntos
2 Teora axiomtica de conjuntos
3 Vase tambin
4 Referencias
5 Bibliografa
6 Enlaces externos

Teora bsica de conjuntos

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 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:

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

Teora axiomtica de conjuntos

La teora informal de conjuntos apela a la intuicin para determinar como 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 esta fue una de las razones para el desarrollo de las teoras 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

Vase tambin
lgebra de conjuntos
Conjunto
Teora de grupos

Referencias
1. Jump up Vase Devlin, Keith (2005). 3.1. Sets (en ingls). Sets, functions and
logic. ISBN 1-58488-449-5 o Lipschutz, Seymour (1991). Prlogo. Teora de
conjuntos y temas afines. McGraw-Hill. ISBN 968-422-926-7.

Bibliografa
Ivorra, Carlos, Lgica y teora de conjuntos, consultado el 18-10-2010.
Jech, Thomas. Set Theory (en ingls). Stanford Encyclopedia of Philosophy (Fall
2011 edition). Consultado el 16-12-2011.

Enlaces externos
Ejercicios resueltos de teora de conjuntos.
Wikimedia Commons alberga contenido multimedia sobre Teora de conjuntos.

Categoras:

Teora de conjuntos
Mtodos formales

Men de navegacin
 Crear una cuenta
Ingresar

Artculo
Discusin

Leer
Editar cdigo
Ver historial

Portada
Portal de la comunidad
Actualidad
Cambios recientes
Pginas nuevas
Pgina aleatoria
Ayuda
Donaciones
Notificar un error

Imprimir/exportar

Crear un libro
Descargar como PDF
Versin para imprimir

Herramientas

Otros proyectos

En otros idiomas

Aragons

Azrbaycanca

emaitka

()


Brezhoneg
Bosanski
 Catal
esky

Dansk
Deutsch

English
Esperanto
Eesti
Euskara

Suomi
Vro
Froyskt
Franais
Furlan
Galego


Hrvatski
Magyar

Bahasa Indonesia
Ido
slenska
Italiano

Basa Jawa



Latina
Lumbaart
Latvieu



Bahasa Melayu

Nederlands
Norsk nynorsk
Norsk bokml
Novial
Occitan

 Plzisch
Polski
Piemontis

Portugus
Romn


Srpskohrvatski /

Simple English
Slovenina
Slovenina
/ srpski
Svenska


Trkmene
Trke
/tatara


Ozbekcha
Ting Vit
Volapk
Winaray



Bn-lm-g

Editar los enlaces

Esta pgina fue modificada por ltima vez el 26 oct 2013, a las 22:39.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir
Igual 3.0; podran ser aplicables clusulas adicionales. Lanse los trminos de uso
para ms informacin.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una
organizacin sin nimo de lucro.
Contacto