0 penilaian0% menganggap dokumen ini bermanfaat (0 suara)
380 tayangan6 halaman
Este documento trata sobre las matemáticas discretas. Las matemáticas discretas estudian estructuras como números enteros, grafos y lógica, cuyos elementos se pueden contar de forma individual. A diferencia de las matemáticas continuas, en las matemáticas discretas no es posible hablar de conceptos como continuidad o límites. Las matemáticas discretas son fundamentales para la ciencia de la computación. El documento luego describe varios tópicos importantes en las matemáticas discretas como teoría de grafos, lógica, te
Este documento trata sobre las matemáticas discretas. Las matemáticas discretas estudian estructuras como números enteros, grafos y lógica, cuyos elementos se pueden contar de forma individual. A diferencia de las matemáticas continuas, en las matemáticas discretas no es posible hablar de conceptos como continuidad o límites. Las matemáticas discretas son fundamentales para la ciencia de la computación. El documento luego describe varios tópicos importantes en las matemáticas discretas como teoría de grafos, lógica, te
Este documento trata sobre las matemáticas discretas. Las matemáticas discretas estudian estructuras como números enteros, grafos y lógica, cuyos elementos se pueden contar de forma individual. A diferencia de las matemáticas continuas, en las matemáticas discretas no es posible hablar de conceptos como continuidad o límites. Las matemáticas discretas son fundamentales para la ciencia de la computación. El documento luego describe varios tópicos importantes en las matemáticas discretas como teoría de grafos, lógica, te
matemticas encargadas del estudio de los conjuntos discretos: nitos o innitos numerables. En oposicin a las matemticas continuas, que se encar- gan del estudio de conceptos como la continuidad y el cambio continuo, la matemticas discretas estudian es- tructuras cuyos elementos pueden contarse uno por uno separadamente. Es decir, los procesos en matemticas discretas son contables, como por ejemplo, los nmeros enteros, grafos y sentencias de lgica. [1] Mientras que el clculo innitesimal est fundado en los nmeros reales que no son numerables, la matemtica discreta es la base de todo lo relacionado con los nmeros naturales o conjuntos numerables. Son fundamentales para la ciencia de la computacin, porque slo son computables las funciones de conjuntos numerables. La clave en matemticas discretas es que no es posible manejar las ideas de proximidad o lmite y suavidad en las curvas, como se puede en el clculo. Por ejemplo, en matemticas discretas una incgnita puede ser 2 3, pero nunca se aproximar a 3 por la izquierda con 2.9, 2.99, 2.999, etc. Las grcas en matemticas discretas vienen dadas por un conjunto nito de puntos que se pueden con- tar por separado; es decir, sus variables son discretas o digitales, mientras que las grcas en clculo son trazos continuos de rectas o curvas; es decir, sus variables son continuas o analgicas. 1 Historia Las matemticas discretas han visto un gran nmero de problemas difciles de resolver. En teora de grafos, mu- cha de la investigacin realizada en sus inicios fue mo- tivada por intentos para probar el teorema de los cuatro colores, el cual fue probado ms de cien aos despus de su inicial descripcin. El problema de los puentes de Knigsberg, un problema clsico del prolco Leonhard Euler. En lgica, el segundo problema de la lista de problemas abiertos de David Hilbert, era probar que los axiomas de la aritmtica son consistentes. El segundo teorema de G- del de la incompletitud prob en 1931 que esto no es po- sible, por lo menos dentro de la aritmtica en s. El dci- mo problema de Hilbert era determinar si un polinomio diofntico con coecientes enteros dado tiene una solu- cin entera. En 1970, Yuri Matiyasevich prob que esto es imposible de hacer. La necesidad de descifrar cdigos alemanes en la Segunda Guerra Mundial dio paso a avances en la criptografa y la ciencia computacional terica, con el primer computador electrnico, digital y programable desarrollado en Inglaterra. Al mismo tiempo, requeri- mientos militares motivaron avances en la investigacin de operaciones. La Guerra Fra tuvo signicancia en la criptografa, y la mantuvo vigente, con lo que se realiza- ron avances en la criptografa asimtrica. Actualmente, uno de los problemas abiertos ms famosos en la teora de la informtica es el problema de las clases de complejidad P = NP. El Clay Mathematics Institute ha ofrecido un premio de un milln de dlares para la primera demostracin correcta, junto con premios para 6 problemas ms. 2 Tpicos en la matemtica discre- ta 2.1 Informtica terica La complejidad estudia el tiempo en el cual un algoritmo se eje- cuta. La teora de la informtica incluye reas de la matemtica discreta relevante a la computacin. Est altamente rela- cionada con teora de grafos y lgica. Dentro de la teora de la informtica se encuentra la teora de algoritmos pa- ra problemas matemticos. La computabilidad estudia lo que puede ser computado y tiene lazos fuertes con la lgi- ca, mientras que la complejidad estudia el tiempo que se demora en hacer computaciones. La teora de autmatas 1 2 2 TPICOS EN LA MATEMTICA DISCRETA y los lenguajes formales se relacionan de manera cerca- na con la computabilidad. Las redes de Petri y lgebra de procesos se usan para modelar sistemas computacionales, y mtodos de la matemtica discreta se usan para analizar circuitos VLSI. La geometra computacional aplica algo- ritmos a problemas geomtricos, mientras que el anlisis digital de imgenes los aplica a representaciones de im- genes. La teora informtica tambin incluye el estudio de tpicos de informtica continua. 2.2 Teora de la informacin 101 0111 110 1001 110 1011 110 1001 111 0000 110 0101 110 0100 110 1001 110 0001 Wikipedia Los cdigos mostrados aqu son una manera de representar una palabra en teora de la informacin, como tambin para algorit- mos de proceso de informacin. La teora de la informacin se ve involucrada en la cuanticacin de la informacin. Cercanamente relacio- nado a esto es la teora de codicacin, que es usada para disear mtodos de transmisin y almacenamien- to de datos ecientes y conables. La teora de la in- formacin tambin incluye tpicos continuos tales como seales anlogas, codicacin anloga y cifrado anlogo. 2.3 Lgica La lgica es el estudio de los principios del razonamiento vlido y la inferencia, como tambin de la consistencia, solidez y completitud. Por ejemplo, en la mayora de los sistemas en la lgica, la ley de Peirce, (((PQ)P)P) es un teorema. En lgica clsica, puede ser fcilmente ve- ricado con una tabla de verdad. El estudio de las demos- traciones matemticas es particularmente importante en lgica y tiene aplicaciones en la demostracin automtica de teoremas y vericacin formal de software. Las frmulas lgicas son estructuras discretas, como lo son las demostraciones, las cuales forman rboles nitos, o ms generalmente, estructuras de grafos acclicos (en cada paso de inferencia combinando una o ms ramas de premisas para dar una sola conclusin). Las tablas de ver- dad de frmulas lgicas usualmente forman un conjunto nito, generalmente restringido a dos valores: verdadero y falso, pero la lgica puede tener valores continuos, por ejemplo en la lgica difusa. Los conceptos como rboles de demostraciones o derivaciones innitas tambin han sido estudiados, por ejemplo en la lgica proposicional innitaria. 2.4 Teora de conjuntos La teora de conjuntos es la rama de la matemtica que estudia conjuntos matemticos, los cuales son coleccio- nes de objetos, tales como {azul, blanco, rojo} o el con- junto innito de todos los nmeros primos. Conjuntos parcialmente ordenados y conjuntos con otras relaciones tienen aplicacin en muchas reas. En la matemtica discreta, los conjuntos numerables (in- cluyendo conjuntos nitos) son el principal objeto de es- tudio. El inicio de la teora de conjuntos generalmente se relaciona con el trabajo de Georg Cantor, haciendo distincin entre diferentes tipos de conjuntos innitos, motivado por el estudio de las series trigonomtricas. El desarrollo ms profundo en la teora de conjuntos inni- tos est fuera del alcance de la matemtica discreta. De hecho, el trabajo contemporneo en teora descriptiva de conjuntos hace uso extenso del uso de la matemtica con- tinua tradicional. 2.5 Combinatoria La combinatoria es la rama de la matemtica que estudia colecciones nitas de objetos que pueden ser combinados u ordenados. La combinatoria enumerativa se ocupa, en particular, del recuento de los objetos de dichas colecciones. La combinatoria analtica se concentra en la enumeracin de estructuras combinatorias utilizando herramientas de anlisis complejo y teora de probabilidad. En contraste con la combinatoria enumerativa, que usa frmulas com- binatorias explcitas y funciones generadoras para descri- bir los resultados, la combinatoria analtica se enfoca en obtener frmulas asintticas. La teora de diseo es el estudio de diseos combinato- rios, que son clases de subconjuntos con ciertas propie- dades numricas de interseccin. La teora de particiones estudia varios problemas asint- ticos y de enumeracin relacionados con particiones ente- ras, y est relacionada con series q, funciones especiales y polinomios ortogonales. Originalmente una parte de teo- 2.9 lgebra 3 ra numrica y anlisis, la teora de particiones es conside- rada una parte de combinatoria, o un rea independiente. La teora del orden es el estudio de conjuntos parcialmen- te ordenados, nitos e innitos. 2.6 Teora de grafos La teora de grafos se relaciona estrechamente con la Teora de grupos. Este grafo de un tetraedro truncado est relacionado con el grupo alternado A 4 . La teora de grafos es el estudio de grafos y la teora de redes. Generalmente es considerada parte de la Combi- natoria, pero ha evolucionado por su parte lo suciente como para ser considerada una materia por si misma. [2] La teora de grafos tiene extensas aplicaciones en todas las reas de la matemtica y la ciencia. Existen, incluso, grafos continuos. 2.7 Teora de distribuciones de probabili- dad discretas La teora de distribuciones discretas trata con eventos que ocurren en espacios de muestra numerables. Por ejem- plo, conteos como el nmero de aves en una bandada solo pueden tener valores naturales {0, 1, 2,...}. Por otra par- te, observaciones continuas como los pesos de estas aves se pueden representar mediante nmeros reales, y tpica- mente serian modelados por una distribucin de probabi- lidad continua, como por ejemplo, la distribucin normal. Distribuciones continuas pueden ser utilizadas para apro- ximar discretas y viceversa. Para situaciones en las cuales los valores posibles son altamente restringidos en su va- riabilidad, como por ejemplo en dados o cartas, calcular las probabilidades simplemente necesita de combinatoria enumerativa. 2.8 Teora de nmeros La teora de nmeros principalmente tiene que ver con las propiedades de los nmeros en general y, particularmen- La espiral de Ulam muestra aqu, en cada pixel negro, un numero primo. Este diagrama muestra una posible pista sobre la distribucin de los nmeros primos. te, de los enteros. Tiene aplicaciones en la criptografa, criptoanlisis y criptologa, particularmente en lo que re- ere a nmeros primos. Otros aspectos de la teora de nmeros incluye la teora geomtrica de nmeros. En la teora analtica de nmeros, tcnicas de matemtica con- tinua tambin son utilizadas. 2.9 lgebra Las estructuras algebraicas ocurren discreta y continua- mente. Como ejemplos de lgebras discretas estn: el lgebra booleana, utilizada en circuitos digitales y pro- gramacin, lgebra relacional, utilizada en bases de da- tos; grupos, nitos y discretos, as como anillos y campos son importantes en la teora de cdigos. 2.10 Clculo de diferencias nitas Una funcin denida en un intervalo de enteros se llama secuencia. Una secuencia puede ser una nita o inni- ta. Tal funcin discreta puede ser denida explcitamente por una lista (si su dominio es nito), o por una frmula para su trmino n-esimo, o tambin puede ser dada impl- citamente por una relacin de recurrencia o ecuacin de diferencia. Las ecuaciones de diferencia son similares a las ecuaciones diferenciales pero se reemplazan las deri- vadas tomando la diferencia entre trminos adyacentes y pueden ser utilizadas para aproximar ecuaciones diferen- ciales. Muchas interrogantes y mtodos de las ecuaciones diferenciales tienen sus contrapartes para ecuaciones de diferencias. 4 2 TPICOS EN LA MATEMTICA DISCRETA 2.11 Geometra La geometra computacional aplica algoritmos a representacio- nes de objetos geomtricos. La geometra discreta y la geometra combinatoria tratan las propiedades combinatorias de colecciones discretas de objetos geomtricos. Un antiguo tpico en la geome- tra discreta es el recubrimiento del plano. La geometra computacional aplica algoritmos a problemas geomtri- cos. 2.12 Topologa Si bien la topologa general es el campo de las matem- ticas que formaliza y generaliza la nocin intuitiva de deformacin continua de los objetos, o el proceso de lmite, da paso a muchos tpicos discretos. Esto puede ser atribuido en parte a la atencin que se le da a los invariantes topolgicos, que toman, por lo general, va- lores discretos. Entre sus ramas de estudio se encuentran la topologa combinatoria, topologa de grafos, topologa computacional y topologa algebraica, entre otros. 2.13 Investigacin de operaciones La investigacin de operaciones es una rama de las ma- temticas consistente en el uso de modelos matemti- cos, estadstica y algoritmos con objeto de realizar un proceso de toma de decisiones prcticas para negocios y otras reas. Estos problemas pueden ser, por ejem- plo, la reparticin de recursos para maximizar ingre- sos, o agendar actividades para minimizar riesgos. Tc- nicas propias de la investigacin de operaciones incluyen programacin lineal y otras reas de optimizacin, teora de colas, algoritmos de planicacin, anlisis de redes. Diagramas PERT como este, proveen tcnicas de administracin de negocios basados en teora de grafos. La investigacin de operaciones tambin incluye tpicos continuos como procesos de Markov de tiempo continuo, optimizacin de procesos, martingalas de tiempo conti- nuo, etc. 2.14 Teora de juegos, teora de la deci- sin, teora de utilidad Matriz de ganancias del dilema del prisionero, un ejemplo comn de juego. Un jugador elige una la y el otro una columna; el par resultante dicta sus ganancias. La teora de la decisin trata fundamentalmente con iden- ticar los valores, incertidumbres y otros factores rele- vantes en una decisin, su racionalidad y la decisin p- tima resultante. La teora de utilidades es sobre medidas de la relativa sa- tisfaccin econmica proveniente del consumo de algn bien o servicio. La teora de juegos trata con las situaciones donde el xito depende de las decisiones de otros, lo cual hace elegir el mejor curso de accin ms complejo. Tpicos incluyen la Teora de subasta y la divisin justa. La teora de decisin social estudia las elecciones. 2.15 Discretizacion La discretizacin busca transformar modelos y ecuacio- nes continuos en sus contrapartes discretas, [3] usualmente para hacer clculos mas fcilmente utilizando aproxima- ciones. El anlisis numrico es un importante ejemplo. 5 3 Vase tambin lgebra lineal el estudio de funciones lineales rela- cionadas. algoritmia el estudio de mtodos de clculos. combinatoria investigacin de operaciones lgica el estudio del razonamiento probabilidad y cadenas de Markov teoras de la computabilidad y de la complejidad - que tratan sobre la viabilidad y lmites de los algo- ritmos teora de conjuntos estudio de colecciones de ob- jetos teora de grafos teora de la informacin teora de nmeros topologa algebraica 4 Referencias [1] Weisstein, Eric W. Matemticas discretas (en ingls). MathWorld. Wolfram Research. [2] Graphs on Surfaces, Bojan Mohar and Carsten Thomas- sen, Johns Hopkins University press, 2001 [3] http://ccc.inaoep.mx/~{}emorales/Cursos/KDD/ node155.html Discretizacin de Valores 5 Enlaces externos matemticas discretas (en ingls) 6 6 TEXT AND IMAGE SOURCES, CONTRIBUTORS, AND LICENSES 6 Text and image sources, contributors, and licenses 6.1 Text Matemticas discretas Fuente: http://es.wikipedia.org/wiki/Matemticas_discretas?oldid=77408206 Colaboradores: Maveric149, Gene- ral Wesc, Sabbut, Moriel, Zwobot, Sms, Elwikipedista, Renabot, Xuankar, Rembiapo pohyiete (bot), Magister Mathematicae, RobotQuist- nix, Chobot, Yrbot, YurikBot, KnightRider, Eskimbot, Baneld, Gtz, Jstitch, CEM-bot, JMCC1, Mcetina, Ingenioso Hidalgo, Thijs!bot, Zifra, Egaida, JAnDbot, TXiKiBoT, Humberto, AlnoktaBOT, Technopat, BotMultichill, Drinibot, BOTarate, Mel 23, Correogsk, Dra- gonBot, Farisori, Charly genio, Alecs.bot, MaratRevolution, Poco a poco, Alexbot, Juan Mayordomo, VanBot, Luckas-bot, Nallimbot, Ezarate73, ArthurBot, Usuwiki, SuperBraulio13, Xqbot, Jkbw, SeFeDeK, AstaBOTh15, TobeBot, Jerowiki, GrouchoBot, EmausBot, AVIADOR, Classerre, Grillitus, Maestro de matemticas, JackieBot, Waka Waka, Post14, Naraht, ILoveSugar, Xerox 5B, MerlIwBot, KLBot2, Julio grillo, Vagobot, Johnbot, Arquigoras, Gilmjc, Addbot y Annimos: 39 6.2 Images Archivo:Dilemadelprisionero.PNG Fuente: http://upload.wikimedia.org/wikipedia/commons/d/dd/Dilemadelprisionero.PNG Licencia: CC-BY-SA-3.0-2.5-2.0-1.0 Colaboradores: Trabajo propio Artista original: Classerre Archivo:Pert_chart_colored.gif Fuente: http://upload.wikimedia.org/wikipedia/commons/b/b9/Pert_chart_colored.gif Licencia: Public domain Colaboradores: Originally from en.wikipedia; description page is/was here. Artista original: Original uploader was Jeremykemp at en.wikipedia Archivo:SimplexRangeSearching.png Fuente: http://upload.wikimedia.org/wikipedia/commons/4/48/SimplexRangeSearching.png Li- cencia: Public domain Colaboradores: Transferred from en.wikipedia Artista original: Original uploader was Gfonsecabr at en.wikipedia. Later version(s) were uploaded by McLoaf at en.wikipedia. Archivo:Sorting_quicksort_anim.gif Fuente: http://upload.wikimedia.org/wikipedia/commons/6/6a/Sorting_quicksort_anim.gif Licen- cia: CC-BY-SA-3.0 Colaboradores: originally upload on the English Wikipedia Artista original: Wikipedia:en:User:RolandH Archivo:TruncatedTetrahedron.gif Fuente: http://upload.wikimedia.org/wikipedia/commons/0/0f/TruncatedTetrahedron.gif Licencia: Public domain Colaboradores: Trabajo propio Artista original: Radagast3 Archivo:Ulam_1.png Fuente: http://upload.wikimedia.org/wikipedia/commons/6/69/Ulam_1.png Licencia: CC-BY-SA-3.0 Colabora- dores: Originally from en.wikipedia; description page is/was here. Artista original: Original uploader was Grontesca at en.wikipedia Archivo:WikipediaBinary.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/b/bb/WikipediaBinary.svg Licencia: CC-BY- 2.5 Colaboradores: Transferred from en.wikipedia; transferred to Commons by User:Sfan00_IMG using CommonsHelper. Artista original: User:Spinningspark. 6.3 Content license Creative Commons Attribution-Share Alike 3.0