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.

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, 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 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 propici los trabajos de Bertrand Russell, Ernst Zermelo, Abraham Fraenkel y otros a principios del siglo XX.

La palabra conjunto generalmente la asociamos con la idea de agrupar objetos, por ejemplo un conjunto de discos, de libros, de plantas de cultivo y en otras ocasiones en palabras como hato, rebao, piara, parcelas, campesinado, familia, etc., es decir la palabra conjunto denota una coleccin de elementos claramente entre s, que guardan alguna caracterstica en comn. Ya sean nmeros, personas, figuras, ideas conceptos.

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 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 de conjuntos informal o elemental 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.

Georg Ferdinand Cantor

(San Petersburgo, 1845-Halle, Alemania, 1918) Matemtico alemn de origen ruso. Era hijo del comerciante Georg Waldemar Cantor y de Mara Bohm. Su padre haba nacido en Copenhague, Dinamarca, pero emigr en 1845 a San Petersburgo. All naci su hijo y vivieron hasta que en 1856 una enfermedad pulmonar impuls al padre a trasladar a su familia a Frncfort, Alemania. Todos estos eventos provocaron que distintas naciones reclamaran como propio a Georg Cantor. La educacin primaria de Georg Cantor fue inicialmente confiada a un profesor particular, pasando luego a la escuela elemental de San Petersburgo. Cuando la familia se mud a Alemania, Cantor asisti a escuelas privadas de Frncfort y Darmstadt hasta que a los 15 aos de edad ingres al Instituto de Wiesbaden. Georg Cantor en 1874 public su primer trabajo sobre teora de conjuntos. Entre 1874 y 1897, demostr que el conjunto de los nmeros enteros tena el mismo nmero de elementos que el conjunto de los nmeros pares, y que el nmero de puntos en un

segmento es igual al nmero de puntos de una lnea infinita, de un plano y de cualquier espacio. Es decir, que todos los conjuntos infinitos tienen el mismo tamao. Consider estos conjuntos como entidades completas con un nmero de elementos infinitos completos. Llam a estos nmeros infinitos completos nmeros transfinitos y articul una aritmtica transfinita completa. Por este trabajo fue ascendido a profesor en 1879. Sin embargo, el concepto de infinito en matemticas haba sido tab hasta entonces, y por ello se granje algunos enemigos, especialmente Leopold Kronecker, que hizo lo imposible por arruinar su carrera. Estancado en una institucin docente de tercera clase, privado del reconocimiento por su trabajo y constantemente atacado por Kronecker, sufri su primera crisis nerviosa en 1884.

Sus teoras slo fueron reconocidas a principios del siglo XX, y en 1904 fue galardonado con una medalla de la Sociedad Real de Londres y admitido tanto en la Sociedad Matemtica de Londres como en la Sociedad de Ciencias de Gotinga. En la actualidad se le considera como el padre de la teora de conjuntos, punto de partida de exepcional importancia en el desarrollo de la matemtica moderna. Muri en una institucin mental.

Comentario Personal. La teora de conjuntos puede ser aplicada de diferentes formas en la ingenieria ya que mediante ella podemos formular cualquier teora matematica, o demostrarla para conocer de donde procede. Utilizando el algebra de los conjuntos podemos transformar grupos, esto nos permite encontrar y analizar los diferentes conjuntos de manera que nos convenga. Enfocado en la informtica y la creacin de lenguajes las diferentes operaciones de la teora de conjuntos nos conducen a las bases para la formacin de estos.

Introduccion. El siguiente trabajo habla acerca de la teora de conjuntos esta es una rama de las matemticas que estudia las propiedades de los conjuntos, los conjuntos y sus operaciones ms elementales. Encontraremos los inicios de la teora de conjuntos y quien es el creador de la misma.

Bibliografa

Cantor, Georg (5 de 2009) (en Espaol, 24x17 cm). Georg Cantor. Sistema de nmeros y conjuntos.. 1. Gmez Bermdez, Carlos (1 edicin). Universida de la Corua. pp. 564
Lipschutz, Seymour (1991). Prlogo. Teora de conjuntos y temas afines. McGraw-Hill.

Cantor, Georg (11 de 2005) (en Espaol, 21x14 cm). Fundamentos para una teora general de conjuntos: escritos y correspondencia selecta.. ed. Ferreirs Domnguez, Jos; tr. Ferreirs, Jos; tr. Gmez-Caminero, Emilio (1 edicin). Editorial Crtica. pp. 320