Teora de conjuntos

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

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.

Teora bsica de conjuntos

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.

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

Teora de conjuntos

Referencias
[1] Vase o

Bibliografa
Ivorra, Carlos, Lgica y teora de conjuntos (http://www.uv.es/ivorra/Libros/Logica.pdf), consultado el 18-10-2010. Jech, Thomas. Set Theory (http://stanford.library.usyd.edu.au/entries/set-theory/) (en ingls). Stanford Encyclopedia of Philosophy (Fall 2011 edition). Consultado el 16-12-2011.

Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Teora de conjuntosCommons.

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Teora de conjuntos Fuente: https://es.wikipedia.org/w/index.php?oldid=68680602 Contribuyentes: .Jos, 4lex, Aadrover, Acastiello, Acratta, Airunp, Aleator, Alephcero, AlfonsoERomero, Alhen, Allforrous, Andreasmperu, Antur, Antn Francho, Aracne, Ascnder, Aipni-Lovrij, Banfield, Biasoli, Cain31415, Chalisimo5, Chanchocan, Cheveri, Cinabrium, Cobalttempest, Comae, Crescent.Moon, Cuate77, Cuky, Cyberdelic, Daipop, Danieleditor, Davidsevilla, Davius, Dianai, Diegusjaimes, Dnu72, Dodo, Ebr, Edslov, Eduardosalg, Ejrrjs, Elessar.telkontar, Elodar, Elwikipedista, Eqcedwin, Eyetheunlord, Farisori, Fmr cosm, Fsd141, GermanX, Gtz, Halfdrag, Helmy oved, HiTe, Humbefa, Hctor Guido Calvo, JAGT, Javierito92, Jkbw, Joe orella, Jorge C.Al, JorgeGG, Joseaperez, Joxemai, Juan Marquez, Juanes.the.best, Julio grillo, Kiaramaria, Kismalac, Klauestte, Kn, Kolmogorov, Kronoss, Kved, Latiniensis, Laura Fiorucci, Lauranrg, Leonpolanco, Linkedark, Lipedia, Lolmaker, Lucien leGrey, Mafores, Magister Mathematicae, Maldoror, Manw, Marsa, Matdrodes, Mauricio Maluff, Maximiliano Ulloa Castillo, Moriel, Mortadelo2005, Mpagano, Muro de Aguas, Nicolasdiaz, Nicop, Nyx, Oblongo, Oscar.st, Paintman, Palach, Pan con queso, Plux, Qoan, Ramjar, Raulshc, Raystorm, Redjhawk, Retama, Richy, Rimeju, Rioman, Roman.astaroth, Rsg, Rubenerm, Sabbut, Samid Limon, Savh, SuperBraulio13, Superzerocool, Tano4595, Technopat, Tirithel, Tito HX, Toad32767, Tomas Snchez, Torquemado, Ty25, UA31, Vargenau, Vitamine, Vivero, Waeswaes, Waka Waka, Wewe, Wikisilki, Wikiullu, Willtron, Yeza, 484 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:ContinuumHypothesis.svg Fuente: https://es.wikipedia.org/w/index.php?title=Archivo:ContinuumHypothesis.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:kismalac Archivo:Commons-logo.svg Fuente: https://es.wikipedia.org/w/index.php?title=Archivo:Commons-logo.svg Licencia: logo Contribuyentes: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version, created by Reidab.

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/