You are on page 1of 5

8/9/2016

Teora de conjuntos - Wikipedia, la enciclopedia libre

Teora de conjuntos
De Wikipedia, la enciclopedia libre
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.

Hiptesis del continuo. La coleccin de


todos los conjuntos de nmeros naturales
P(N) tiene la llamada potencia del
continuo: tantos elementos como (por
ejemplo) puntos en una recta. Su estudio es
uno de los principales problemas en la
teora de conjuntos.

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

https://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos

1/5

8/9/2016

Teora de conjuntos - Wikipedia, la enciclopedia libre

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 Westside
1.1 lgebra de conjuntos
2 Teora axiomtica de conjuntos
3 Vase tambin
4 Referencias
5 Bibliografa
6 Enlaces externos

Westside
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:
https://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos

2/5

8/9/2016

Teora de conjuntos - Wikipedia, la enciclopedia libre

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

https://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos

3/5

8/9/2016

Teora de conjuntos - Wikipedia, la enciclopedia libre

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
Equipotencia de conjuntos
Teora de grupos

Referencias
1. Vase Devlin, Keith (2005). 3.1. Sets. Sets, functions and logic (en ingls). ISBN 158488-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 (http://www.uv.es/ivorra/Libros/Log
ica.pdf), consultado el 18 de octubre de 2010.
Jech, Thomas. Set Theory (http://stanford.library.usyd.edu.au/entries/set-theor
y/). Stanford Encyclopedia of Philosophy (Fall 2011 edition) (en ingls).
Consultado el 16 de diciembre de 2011.

Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Teora de
conjuntos.
https://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos

4/5

8/9/2016

Teora de conjuntos - Wikipedia, la enciclopedia libre

Obtenido
de
https://es.wikipedia.org/w/index.php?
title=Teora_de_conjuntos&oldid=92986823
Categoras: Teora de conjuntos Mtodos formales
Esta pgina fue modificada por ltima vez el 16 ago 2016 a las 21:17.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir
Igual 3.0; podran ser aplicables clusulas adicionales. Al usar este sitio, usted
acepta nuestros trminos de uso y nuestra poltica de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una
organizacin sin nimo de lucro.

https://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos

5/5

You might also like