11/5/2017 TeoradeconjuntosWikipedia,laenciclopedialibre

Teoradeconjuntos
DeWikipedia,laenciclopedialibre

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
operacionesmselementalessonunaherramientabsicaenlaformulacin
decualquierteoramatemtica.1

Lateoradelosconjuntoseslosuficientementericacomoparaconstruirel
resto de objetos y estructuras de inters en matemticas: nmeros,
funciones, figuras geomtricas,... y, junto con la lgica, permite estudiar
losfundamentosdeaquella.Enlaactualidadseaceptaqueelconjuntode UndiagramadeVennqueilustrala
axiomasdelateoradeZermeloFraenkelessuficienteparadesarrollartoda interseccindedosconjuntos.
lamatemtica.

Adems,lapropiateoradeconjuntosesobjetodeestudioperse,noslocomoherramientaauxiliar,enparticular
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.Porestarazn,susrazonamientosytcnicasseapoyanengranmedidaenlalgica.

EldesarrollohistricodelateoradeconjuntosseatribuyeaGeorgCantor,quecomenzainvestigarcuestiones
conjuntistas puras del infinito en la segunda mitad del siglo XIX, precedido por algunas ideas de Bernhard
BolzanoeinfluidoporRichardDedekind.Eldescubrimientodelasparadojasdelateoracantorianadeconjuntos,
formalizada por Gottlob Frege, propici los trabajos de Bertrand Russell, Ernst Zermelo, Abraham Fraenkel y
otrosaprincipiosdelsigloXX.

ndice
1 Introduccin
1.1 lgebradeconjuntos
2 Teoraaxiomticadeconjuntos
3 Vasetambin
4 Referencias
5 Bibliografa
6 Enlacesexternos

Introduccin
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
determinadadeestosobjetos,unconjunto.Cadaunodeestoselementospertenecealconjunto,yestanocinde
pertenenciaeslarelacinrelativaaconjuntosmsbsica.Lospropiosconjuntospuedenimaginarseasuvezcomo
elementosdeotrosconjuntos.LapertenenciadeunelementoaaunconjuntoAseindicacomoaA.

Unarelacinentreconjuntosderivadadelarelacindepertenenciaeslarelacindeinclusin.Unasubcoleccin
deelementosBdeunconjuntodadoAesunsubconjuntodeA,yseindicacomoBA.

https://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos 1/3
11/5/2017 TeoradeconjuntosWikipedia,laenciclopedialibre

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
complejosC.Cadaunoessubconjuntodelsiguiente:

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.

lgebradeconjuntos
Existen unas operaciones bsicas que permiten manipular los conjuntos y sus elementos, similares a las
operacionesaritmticas,constituyendoellgebradeconjuntos:

Unin.LaunindedosconjuntosAyBeselconjuntoABquecontienecadaelementoqueestporlo
menosenunodeellos.
Interseccin.LainterseccindedosconjuntosAyBeselconjuntoABquecontienetodosloselementos
comunesdeAyB.
Diferencia.LadiferenciaentredosconjuntosAyBeselconjuntoA\Bquecontienetodosloselementosde
AquenopertenecenaB.
Complemento. El complemento de un conjunto A es el conjunto A que contiene todos los elementos
(respectodealgnconjuntoreferencial)quenopertenecenaA.

DiferenciasimtricaLadiferenciasimtrica de dos conjuntos A y B es el conjunto A B con todos los

elementosquepertenecen,obienaA,obienaB,peronoaambosalavez.
Productocartesiano.ElproductocartesianodedosconjuntosAyBeselconjuntoABquecontienetodos
losparesordenados(a,b)cuyoprimerelementoaperteneceaAysusegundoelementobperteneceaB.

Teoraaxiomticadeconjuntos
La teora informal de conjuntos apela a la intuicin para determinar cmo se comportan los conjuntos. Sin
embargo,essencilloplantearcuestionesacercadelaspropiedadesdeestosquellevanacontradiccinsiserazona
deestamanera,comolafamosaparadojadeRussell.Histricamentestafueunadelasrazonesparaeldesarrollo
delasteorasaxiomticasdeconjuntos,siendootraelintersendeterminarexactamentequenunciadosacercade
losconjuntosnecesitanqueseasumaelpolmicoaxiomadeeleccinparaserdemostrados.

Lasteorasaxiomticasdeconjuntossoncoleccionesprecisasdeaxiomasescogidosparapoderderivartodaslas
propiedadesdelosconjuntosconelsuficienterigormatemtico.Algunosejemplosconocidosson:

LateoradeconjuntosdeZermeloFraenkel
LateoradeconjuntosdeNeumannBernaysGdel
LateoradeconjuntosdeMorseKelley

Vasetambin
lgebradeconjuntos

https://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos 2/3
11/5/2017 TeoradeconjuntosWikipedia,laenciclopedialibre

Conjunto
Dinmicadesistemas
Equipotenciadeconjuntos
Teoradegrupos

Referencias
1.VaseDevlin,Keith(2005).3.1.Sets.Sets,functionsandlogic(eningls). ISBN1584884495.oLipschutz,Seymour
(1991).Prlogo.Teoradeconjuntosytemasafines.McGrawHill.ISBN9684229267.

Bibliografa
Ivorra,Carlos,Lgicayteoradeconjuntos(http://www.uv.es/ivorra/Libros/Logica.pdf),consultadoel18de
octubrede2010.
Jech,Thomas.Set Theory (http://stanford.library.usyd.edu.au/entries/settheory/). Stanford Encyclopedia
ofPhilosophy(Fall2011edition)(eningls).Consultadoel16dediciembrede2011.

Enlacesexternos
WikimediaCommonsalbergacontenidomultimediasobreTeoradeconjuntos.

Obtenidodehttps://es.wikipedia.org/w/index.php?title=Teora_de_conjuntos&oldid=98961181

Categoras: Teoradeconjuntos Mtodosformales

Seeditestapginaporltimavezel8may2017alas13:32.
EltextoestdisponiblebajolaLicenciaCreativeCommonsAtribucinCompartirIgual3.0pueden
aplicarseclusulasadicionales.Alusarestesitio,ustedaceptanuestrostrminosdeusoynuestrapolticade
privacidad.
WikipediaesunamarcaregistradadelaFundacinWikimedia,Inc.,unaorganizacinsinnimodelucro.

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