Teora de conjuntos

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 unarecta. 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 de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en s mismas. Los conjuntos y sus operaciones ms elementales son una erramienta bsica en la !ormulacin de cualquier teora matemtica." Sin embar#o, la teora de los conjuntos es lo su!icientemente rica como para construir el resto de objetos y estructuras de inter$s en matemticas: nmeros, !unciones, !i#uras #eom$tricas, ...% y junto con la l#ica permite estudiar los !undamentos de esta. &n la actualidad se acepta que el conjunto de a'iomas de la teora de (ermelo)*raen+el es su!iciente para desarrollar toda la matemtica. ,dems, la propia teora de conjuntos es objeto de estudio per se, no slo como erramienta au'iliar, en particular las propiedades y relaciones de los conjuntos in!initos. &n esta disciplina es abitual que se presenten casos de propiedades indemostrables o contradictorias, como la iptesis del continuo o la e'istencia de un cardinal inaccesible. -or esta ra.n, los ra.onamientos y t$cnicas de la teora de conjuntos se apoyan en #ran medida en la l#ica matemtica. &l desarrollo istrico de la teora de conjuntos se atribuye a /eor# 0antor, que comen. a in1esti#ar cuestiones conjuntistas 2puras2 en la se#unda mitad del si#lo 343, precedido por al#unas ideas de 5ern ard 5ol.ano e in!luenciado por 6ic ard 7ede+ind. &l descubrimiento de las paradojas de la

teora cantoriana de conjuntos propici los trabajos de5ertrand 6ussell, &rnst (ermelo, ,bra am *raen+el y otros a principios del si#lo 33.

8editar9Teora

bsica de conjuntos

Artculo principal: 0onjunto.

La teora de conjuntos ms elemental es una de las erramientas bsicas del len#uaje matemtico. 7ados unos elementos, unos objetos matemticos :como nmeros opol#onos por ejemplo:, puede ima#inarse una coleccin determinada de estos objetos, un conjunto. 0ada uno de estos elementos pertenece al conjunto, y esta nocin depertenencia es la relacin relati1a a conjuntos ms bsica. Los propios conjuntos pueden ima#inarse a su 1e. como elementos de otros conjuntos. La pertenencia de un elementoa a un conjunto A se indica como a A. ;na relacin entre conjuntos deri1ada de la relacin de pertenencia es la relacin de inclusin. ;na subcoleccin de elementos B de un conjunto dado A es un subconjunto de A, y se indica como B A. Ejemplos.

Los conjuntos num$ricos 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. 0ada uno es subconjunto del si#uiente:

&l espacio tridimensional E< es un conjunto de objetos elementales denominados puntos p, p E<. Las rectas r y planos son conjuntos de puntos a su 1e., y en particular son subconjuntos de E<, r E< y E<.

8editar9lgebra

de conjuntos

Artculo principal: =l#ebra de conjuntos.

&'isten unas operaciones bsicas que permiten manipular los conjuntos y sus elementos, similares a las operaciones aritm$ticas, constituyendo el l#ebra 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.

i!erencia. La di!erencia entre dos conjuntos A y B es el conjunto A ? B que contiene todos los elementos de A que no pertenecen a B.

Complemento. &l complemento de un conjunto A es el conjunto A que contiene todos los elementos (respecto de al#n conjunto re!erencial) que no pertenecen a A.

i!erencia sim"trica La di!erencia sim$trica de dos conjuntos , y 5 es el conjunto , @ 5 con todos los elementos que pertenecen, o bien a ,, o bien a 5, pero no a ambos a la 1e..

#roducto cartesiano. &l producto cartesiano de dos conjuntos A y B es el conjunto A A B que contiene todos los pares ordenados (a, b) cuyo primer elemento a pertenece aA y su se#undo elemento b pertenece a B.

8editar9Teora

a'iomtica de conjuntos

La teora de conjuntos 2in!ormal2 o 2elemental2 apela a la intuicin para determinar como se comportan los conjuntos. Sin embar#o, es sencillo plantear cuestiones acerca de las propiedades de estos que lle1an a contradiccin si se ra.ona de esta manera, como la !amosa paradoja de 6ussell. Bistricamente esta !ue una de las ra.ones para el desarrollo de las teoras axiomticas de conjuntos, siendo otra el inter$s en determinar e'actamente qu$ enunciados acerca de los conjuntos necesitan que se asuma el pol$mico a'ioma de eleccin para ser demostrados. Las teoras a'iomticas de conjuntos son colecciones precisas de a'iomas esco#idos para poder deri1ar todas las propiedades de los conjuntos con el su!iciente ri#or. ,l#unos ejemplos conocidos son:

La teora de conjuntos de (ermelo)*raen+el La teora de conjuntos de Ceumann)5ernays)/Ddel La teora de conjuntos de Eorse)Felley