Matemátiques discretes

De Wikipedia
Saltar a navegación Saltar a la gueta

Les matemátiques discretes son una área de les matemátiques encargaes del estudiu de los conxuntos discretos: finitos o infinitos numerables.

N'oposición a les matemátiques continues, que s'encarguen del estudiu de conceutos como la continuidá y el cambéu continuu, les matemátiques discretes estudien estructures que los sos elementos pueden cuntase ún por ún xebradamente. Esto ye, los procesos en matemátiques discretes son contables, como por casu, los númberos enteros, grafos y sentencies de lóxica.[1]

Ente que el cálculu infinitesimal ta fundáu nos númberos reales que nun son numerables, la matemática discreta ye la base de too rellacionar colos númberos naturales o conxuntos numerables.

Son fundamentales pa la ciencia de la computación, porque solo son computables les funciones de conxuntos numerables.[ensin referencies]

La clave en matemátiques discretes ye que nun ye posible remanar les idees de proximidá o llende y suavidá nes curves, como se puede nel cálculu. Por casu, en matemátiques discretes una incógnita puede ser 2 o 3, pero nunca se va averar a 3 pola esquierda con 2.9, 2.99, 2.999, etc. Les gráfiques en matemátiques discretes vienen daes por un conxuntu finito de puntos que pueden cuntase por separáu; esto ye, los sos variables son discretes o dixitales, ente que les gráfiques en cálculu son trazos continuos de rectes o curves; esto ye, los sos variables son continues o analóxiques.

Historia[editar | editar la fonte]

Les matemátiques discretes vieron un gran númberu de problemes difíciles de resolver. En teoría de grafos, muncha de la investigación realizada nos sos entamos foi motivada por intentos pa probar el teorema de los cuatro colories, que foi probáu más de cien años dempués de la so inicial descripción. El problema de les pontes de Königsberg, un problema clásicu del prolíficu Leonhard Euler.

En lóxica, el segundu problema de la llista de problemes abiertos de David Hilbert, yera probar que los axomes de la aritmética son consistentes. El segundu teorema de Gödel de la incompletitud probó en 1931 qu'esto nun ye posible, a lo menos dientro de l'aritmética en sí. El décimu problema de Hilbert yera determinar si un polinomiu diofántico con coeficientes enteros dadu tien una solución entera. En 1970, Yuri Matiyasevich probó qu'esto ye imposible de faer.

La necesidá de descifrar códigos alemanes na Segunda Guerra Mundial dio pasu a meyores na criptografía y la ciencia computacional teórica, col primer computador electrónicu, dixital y programable desenvueltu n'Inglaterra. Coles mesmes, requerimientos militares motivaron meyores na investigación d'operaciones. La Guerra Fría tuvo significancia na criptografía, y caltener vixente, colo que se realizaron meyores na criptografía asimétrica.

Anguaño, unu de los problemes abiertos más famosos na teoría de la informática ye'l problema de les clases de complexidá "P = NP". El Clay Mathematics Institute ufiertó un premiu d'un millón de dólares pa la primer demostración correcta, xuntu con premios pa 6 problemes más.

Tópicos na matemática discreta[editar | editar la fonte]

Informática teórica[editar | editar la fonte]

Artículu principal: Ciencia computacional teórica
La complexidá estudia'l tiempu nel cual un algoritmu execútase.

La teoría de la informática inclúi árees de la matemática discreta relevante a la computación. Ta altamente rellacionada con teoría de grafos y lóxica. Dientro de la teoría de la informática atópase la teoría de algoritmos pa problemes matemáticos. La computabilidad estudia lo que puede ser computáu y tien llazos fuertes cola lóxica, ente que la complexidá estudia'l tiempu que se precisa pa faer los cálculos. La teoría d'autómates, los llinguaxes formales y la Dinámica de sistemes rellacionar de manera cercana cola computabilidad. Les redes de Petri y álxebra de procesos usar pa modelar sistemes de cálculu, y los métodos de la matemática discreta usar p'analizar circuitos VLSI. La xeometría computacional aplica algoritmos a problemes xeométricos, ente que l'analís dixital d'imaxes aplicar a representaciones d'imaxes. La teoría informática tamién inclúi l'estudiu de tópicos d'informática continua.

Teoría de la información[editar | editar la fonte]

Artículu principal: Teoría de la Información
Los códigos amosaos equí son una manera de representar una palabra en teoría de la información, como tamién p'algoritmos de procesu d'información.

La teoría de la información vese arreyada na cuantificación de la información. Cercanamente rellacionáu a esto ye la teoría de codificación, que ye usada pa diseñar métodos de tresmisión y almacenamientu de datos eficientes y confiables. La teoría de la información tamién inclúi tópicos continuos tales como señales análogicas, codificación análoga y cifráu análogu.

Lóxica[editar | editar la fonte]

Artículu principal: Lóxica matemática

La lóxica ye l'estudiu de los principios del razonamientu válidu y la inferencia, como tamién de la consistencia, solidez y completitud. Por casu, na mayoría de los sistemes na lóxica, la llei de Peirce, (((P→Q)→P)→P) ye un teorema. En lóxica clásica, pue ser fácilmente verificáu con una tabla de verdá. L'estudiu de les demostraciones matemátiques ye particularmente importante en lóxica y tien aplicaciones na demostración automática de teoremas y verificación formal de software.

Les fórmules lóxiques son estructures discretes, como lo son les demostraciones, que formen árboles finitos, o más xeneralmente, estructures de grafos acíclicos (en cada pasu d'inferencia combinando una o más cañes de premises pa dar una sola conclusión). Les tables de verdá de fórmules lóxiques usualmente formen un conxuntu finito, xeneralmente acutáu a dos valores: verdaderu y falsu, pero la lóxica puede tener valores continuos, por casu na lóxica difusa. Los conceutos como árboles de demostraciones o derivaciones infinites tamién fueron estudiaos, por casu na lóxica proposicional infinitaria.

Teoría de conxuntos[editar | editar la fonte]

Artículu principal: Teoría de conxuntos

La teoría de conxuntos ye la caña de la matemática qu'estudia conxuntos matemáticos, que son colecciones d'oxetos, tales como {azul, blancu, colloráu} o'l conxuntu infinitu de tolos númberos primos. Conxuntos parcialmente ordenaos y conxuntos con otres relaciones tienen aplicación en munches árees.

Na matemática discreta, los conxuntos numerables (incluyendo conxuntos finitos) son el principal oxetu d'estudiu. L'entamu de la teoría de conxuntos xeneralmente rellaciónase col trabayu de Georg Cantor, faciendo distinción ente distintos tipos de conxuntos infinitos, motiváu pol estudiu de les series trigonométriques. El desenvolvimientu más fondu na teoría de conxuntos infinitos ta fora del algame de la matemática discreta. Ello ye que el trabayu contemporaneu en teoría descriptiva de conxuntos fai usu estensu del usu de la matemática continua tradicional.

Combinatoria[editar | editar la fonte]

Artículu principal: Combinatoria

La combinatoria ye la caña de la matemática qu'estudia colecciones finitas d'oxetos que pueden ser combinaos o ordenaos.

La combinatoria enumerativa ocúpasesobremanera, del "recuentu" de los oxetos de diches colecciones.

La combinatoria analítica concentrar na enumeración d'estructures combinatories utilizando ferramientes de analís complexu y teoría de probabilidá. En contraste cola combinatoria enumerativa, qu'usa fórmules combinatories esplícites y funciones xeneradores pa describir les resultancies, la combinatoria analítica enfocar en llograr fórmules asintóticas.

La teoría de diseñu ye l'estudiu de diseños combinatorios, que son clases de subconxuntos con ciertes propiedaes numbériques d'intersección.

La teoría de particiones estudia dellos problemes asintóticos y de enumeración rellacionaos con particiones enteres, y ta rellacionada con series q, funciones especiales y polinomios ortogonales. Originalmente una parte de teoría numbérica y analís, la teoría de particiones ye considerada una parte de combinatoria, o una área independiente.

La teoría del orde ye l'estudiu de conxuntos parcialmente ordenaos, finitos ya infinitos.

Teoría de grafos[editar | editar la fonte]

Artículu principal: Teoría de Grafos
La teoría de grafos rellaciónase estrechamente cola Teoría de grupos. Esti grafo d'un tetraedru truncáu ta rellacionáu col grupu alternáu A4.

La teoría de grafos ye l'estudiu de grafos y la teoría de redes. Xeneralmente ye considerada parte de la Combinatoria, pero evolucionó pela so parte lo suficiente como pa ser considerada una materia por si mesma.[2] La teoría de grafos tien estenses aplicaciones en toles árees de la matemática y la ciencia. Esisten, inclusive, grafos continuos.

Teoría de distribuciones de probabilidá discretes[editar | editar la fonte]

La teoría de distribuciones discretes trata con eventos qu'asoceden n'espacios d'amuesa numerables. Por casu, conteos como'l númberu d'aves nuna bandada solo pueden tener valores naturales {0, 1, 2,...}. Per otra parte, observaciones continues como los pesos d'estes aves pueden representase por aciu númberos reales, y típicamente seríen modelaos por una distribución de probabilidá continua, como por casu, la distribución normal. Distribuciones continues pueden ser utilizaes p'averar discretes y viceversa. Pa situaciones nes cualos los valores posibles son altamente acutaos na so variabilidá, como por casu en dados o cartes, calcular les probabilidaes a cencielles precisa de combinatoria enumerativa.

Teoría de númberos[editar | editar la fonte]

Artículu principal: Teoría de númberos
La espiral de Ulam amuesa equí, en cada pixel negru, un númberu primu. Esta diagrama amuesa una posible pista sobre la distribución de los númberos primos.

La teoría de númberos principalmente tien que ver coles propiedaes de los númberos polo xeneral y, particularmente, de los enteros. Tien aplicaciones na criptografía, criptoanálisis y criptología, particularmente no que refier a númberos primos. Otros aspeutos de la teoría de númberos inclúi la teoría xeométrica de númberos. Na teoría analítica de númberos, tamién s'utilicen técniques de matemática continua.

Álxebra[editar | editar la fonte]

Artículu principal: Álxebra astracta

Les estructures alxebraiques asoceden discreta y de cutio. Como exemplos d'álxebres discretes tán: el álxebra booleana, utilizada en circuitos dixitales y programación, álxebra relacional, utilizada en bases de datos; grupos, finitos y discretos, según aníos y campos son importantes na teoría de códigos.

Cálculu de diferencies finitas[editar | editar la fonte]

Artículu principal: Diferencia finita

Una función definida nun intervalu d'enteros llámase secuencia. Una secuencia puede ser una finita o infinita. Tal función discreta pue ser definida explícitamente por una llista (si'l so dominiu ye finito), o por una fórmula pal so términu n-esimo, o tamién puede ser dada implícitamente por una relación de recurrencia o ecuación de diferencia. Les ecuaciones de diferencia son similares a les ecuaciones diferenciales pero reemplácense les derivaes tomando la diferencia ente términos axacentes y pueden ser utilizaes p'averar ecuaciones diferenciales. Munches interrogantes y métodos de les ecuaciones diferenciales tienen les sos contrapartes pa ecuaciones de diferencies.

Xeometría[editar | editar la fonte]

Artículu principal: Xeometría discreta
La xeometría computacional aplica algoritmos a representaciones d'oxetos xeométricos.

La xeometría discreta y la xeometría combinatoria traten les propiedaes combinatories de colecciones discretes d'oxetos xeométricos. Un antiguu tópicu na xeometría discreta ye'l recubrimientu del planu. La xeometría computacional aplica algoritmos a problemes xeométricos.

Topoloxía[editar | editar la fonte]

Artículu principal: Topoloxía

Magar la topoloxía xeneral ye'l campu de les matemátiques que formaliza y xeneraliza la noción intuitiva de "deformación continua" de los oxetos, o'l procesu de llende, da pasu a munchos tópicos discretos. Esto pue ser atribuyíu en parte a l'atención que se-y da a los invariantes topolóxicos, que tomen, polo xeneral, valores discretos. Ente les sos cañes d'estudiu atopen la topoloxía combinatoria, topoloxía de grafos, topoloxía computacional y topoloxía alxebraica, ente otros.

Investigación d'operaciones[editar | editar la fonte]

Artículu principal: Investigación d'operaciones
Diagrames PERT como esti, aproven técniques d'alministración de negocios basaos en teoría de grafos.

La investigación d'operaciones ye una caña de les matemátiques consistente nel usu de modelos matemáticos, estadística y algoritmos con oxetu de realizar un procesu de toma de decisiones práutiques pa negocios y otres árees. Estos problemes pueden ser, por casu, la repartición de recursos pa maximizar ingresos, o agendar actividaes pa embrivir riesgos. Técniques propies de la investigación d'operaciones inclúin programación llineal y otres árees de optimización, teoría de coles, algoritmo de planificación, analís de redes. La investigación d'operaciones tamién inclúi tópicos continuos como procesos de Markov de tiempu continuu, optimización de procesos, martingales de tiempu continuu, etc.

Teoría de xuegos, teoría de la decisión, teoría d'utilidá[editar | editar la fonte]

Matriz de ganancies del dilema del prisioneru, un exemplu común de xuego. Un xugador escueye una fila y l'otru una columna; el par resultante dicta les sos ganancies.

La teoría de la decisión trata fundamentalmente con identificar los valores, incertidumes y otros factores relevantes nuna decisión, la so racionalidá y la decisión óptima resultante.

La teoría d'utilidaes ye sobre midíes del relativu prestu económicu proveniente del consumu de dalgún bien o serviciu.

La teoría de xuegos trata coles situaciones onde l'ésitu depende de les decisiones d'otros, lo cual fai escoyer el meyor cursu d'acción más complexu. Tópicos inclúin la Teoría de puya y la división xusta.

La teoría de decisión social estudia les elecciones.

Discretización[editar | editar la fonte]

La discretización busca tresformar modelos y ecuaciones continuos nes sos contrapartes discretes,[3] usualmente pa faer cálculos más fácilmente utilizando aproximamientos. L'analís numbéricu ye un importante exemplu.

Ver tamién[editar | editar la fonte]

probabilidá y cadenes de Markov

Referencies[editar | editar la fonte]

  1. Weisstein, Eric W. «Matemátiques discretes» (inglés). MathWorld. Wolfram Research.
  2. Graphs on Surfaces, Bojan Mohar and Carsten Thomassen, Johns Hopkins University press, 2001
  3. http://ccc.inaoep.mx/~emorales/Cursos/KDD/node155.html Discretización de Valores

Enllaces esternos[editar | editar la fonte]


Matemáticas discretas