MATEMATICA DISCRETA

Matemticas discretas
Este artculo tiene referencias, pero necesita ms para complementar
su verificabilidad.
Puedes colaborar agregando referencias a fuentes fiables como se indica aqu. El
material sin fuentes fiables podra ser cuestionado y eliminado.
Este aviso fue puesto el 18 de marzo de 2016.

Las matemticas discretas son un rea de las matemticas encargadas del estudio de
los conjuntos discretos: finitos o infinitos numerables.
En oposicin a las matemticas continuas, que se encargan del estudio de conceptos como
la continuidad y el cambio continuo, las matemticas discretas estudian estructuras 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 infinitesimal 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 solo son computables las
funciones de conjuntos numerables.[cita requerida]
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 o 3, pero nunca se aproximar a 3 por la izquierda con
2.9, 2.99, 2.999, etc. Las grficas en matemticas discretas vienen dadas por un conjunto
finito de puntos que se pueden contar por separado; es decir, sus variables son discretas o
digitales, mientras que las grficas en clculo son trazos continuos de rectas o curvas; es
decir, sus variables son continuas o analgicas.

ndice
[ocultar]

1Historia
2Tpicos en la matemtica discreta
o 2.1Informtica terica
o 2.2Teora de la informacin
o 2.3Lgica
o 2.4Teora de conjuntos
o 2.5Combinatoria
o 2.6Teora de grafos
o 2.7Teora de distribuciones de probabilidad discretas
o 2.8Teora de nmeros
o 2.9lgebra
o 2.10Clculo de diferencias finitas
o 2.11Geometra
 o 2.12Topologa
o 2.13Investigacin de operaciones
o 2.14Teora de juegos, teora de la decisin, teora de utilidad
o 2.15Discretizacin
3Vase tambin
4Referencias
5Enlaces externos

Historia[editar]
Las matemticas discretas han visto un gran nmero de problemas difciles de resolver.
En teora de grafos, mucha de la investigacin realizada en sus inicios fue motivada 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 prolfico 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 Gdel de la
incompletitud prob en 1931 que esto no es posible, por lo menos dentro de la aritmtica en
s. El dcimo problema de Hilbert era determinar si un polinomio diofntico con coeficientes
enteros dado tiene una solucin entera. En 1970, Yuri Matiyasevichprob 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 programabledesarrollado en Inglaterra. Al mismo tiempo, requerimientos
militares motivaron avances en la investigacin de operaciones. La Guerra Fra tuvo
significancia en la criptografa, y la mantuvo vigente, con lo que se realizaron 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.

Tpicos en la matemtica discreta[editar]

Informtica terica[editar]
Artculo principal: Ciencia computacional terica

La complejidad estudia el tiempo en el cual un algoritmo se ejecuta.

La teora de la informtica incluye reas de la matemtica discreta relevante a la computacin.

Est altamente relacionada con teora de grafos y lgica. Dentro de la teora de la
informtica se encuentra la teora de algoritmos para problemas matemticos.
La computabilidad estudia lo que puede ser computado y tiene lazos fuertes con la lgica,
mientras que la complejidad estudia el tiempo que se necesita para hacer los clculos.
La teora de autmatas, los lenguajes formales y la Dinmica de sistemas se relacionan de
manera cercana con la computabilidad. Las redes de Petri y lgebra de procesos se usan para
modelar sistemas de clculo, y los mtodos de la matemtica discreta se usan para
analizar circuitos VLSI. La geometra computacional aplica algoritmos a problemas
geomtricos, mientras que el anlisis digital de imgenes los aplica a representaciones de
imgenes. La teora informtica tambin incluye el estudio de tpicos de informtica continua.
Teora de la informacin[editar]
Artculo principal: Teora de la Informacin

Los cdigos mostrados aqu son una manera de representar una palabra en teora de la informacin,
como tambin para algoritmos de proceso de informacin.

La teora de la informacin se ve involucrada en la cuantificacin de la informacin.

Cercanamente relacionado a esto es la teora de codificacin, que es usada para disear
mtodos de transmisin y almacenamiento de datos eficientes y confiables. La teora de la
informacin tambin incluye tpicos continuos tales como seales anlogas, codificacin
anloga y cifrado anlogo.
Lgica[editar]
Artculo principal: Lgica matemtica

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 verificado con una tabla de verdad. El estudio de las demostraciones matemticas
es particularmente importante en lgica y tiene aplicaciones en la demostracin automtica de
teoremas y verificacin formal de software.
Las frmulas lgicas son estructuras discretas, como lo son las demostraciones, las cuales
forman rboles finitos, 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 verdad de frmulas lgicas usualmente forman un conjunto finito, 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
infinitas tambin han sido estudiados, por ejemplo en la lgica proposicional infinitaria.
Teora de conjuntos[editar]
Artculo principal: Teora de conjuntos
La teora de conjuntos es la rama de la matemtica que estudia conjuntos matemticos, los
cuales son colecciones de objetos, tales como {azul, blanco, rojo} o el conjunto infinito 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 (incluyendo conjuntos finitos) son el
principal objeto de estudio. El inicio de la teora de conjuntos generalmente se relaciona con el
trabajo de Georg Cantor, haciendo distincin entre diferentes tipos de conjuntos infinitos,
motivado por el estudio de las series trigonomtricas. El desarrollo ms profundo en la teora
de conjuntos infinitos 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
continua tradicional.
Combinatoria[editar]
Artculo principal: Combinatoria

La combinatoria es la rama de la matemtica que estudia colecciones finitas 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 combinatorias explcitas y funciones
generadoras para describir los resultados, la combinatoria analtica se enfoca en
obtener frmulas asintticas.
La teora de diseo es el estudio de diseos combinatorios, que son clases de subconjuntos
con ciertas propiedades numricas de interseccin.
La teora de particiones estudia varios problemas asintticos y de enumeracin relacionados
con particiones enteras, y est relacionada con series q, funciones especiales y polinomios
ortogonales. Originalmente una parte de teora numrica y anlisis, la teora de particiones es
considerada una parte de combinatoria, o un rea independiente.
La teora del orden es el estudio de conjuntos parcialmente ordenados, finitos e infinitos.
Teora de grafos[editar]
Artculo principal: 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 A4.

La teora de grafos es el estudio de grafos y la teora de redes. Generalmente es considerada

parte de la Combinatoria, pero ha evolucionado por su parte lo suficiente 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.
Teora de distribuciones de probabilidad discretas[editar]
Artculo principal: Distribuciones de variable discreta

La teora de distribuciones discretas trata con eventos que ocurren en espacios de muestra
numerables. Por ejemplo, conteos como el nmero de aves en una bandada solo pueden
tener valores naturales {0, 1, 2,...}. Por otra parte, observaciones continuas como los pesos de
estas aves se pueden representar mediante nmeros reales, y tpicamente seran modelados
por una distribucin de probabilidad continua, como por ejemplo, la distribucin normal.
Distribuciones continuas pueden ser utilizadas para aproximar discretas y viceversa. Para
situaciones en las cuales los valores posibles son altamente restringidos en su variabilidad,
como por ejemplo en dados o cartas, calcular las probabilidades simplemente necesita
de combinatoria enumerativa.
Teora de nmeros[editar]
Artculo principal: Teora de nmeros

La espiral de Ulam muestra aqu, en cada pixel negro, un nmero primo. Este diagrama muestra una
posible pista sobre la distribucin de los nmeros primos.

La teora de nmeros principalmente tiene que ver con las propiedades de los nmeros en
general y, particularmente, de los enteros. Tiene aplicaciones en
la criptografa, criptoanlisis y criptologa, particularmente en lo que refiere a nmeros primos.
Otros aspectos de la teora de nmeros incluye la teora geomtrica de nmeros. En la teora
analtica de nmeros, tambin se utilizan tcnicas de matemtica continua.
lgebra[editar]
Artculo principal: lgebra abstracta

Las estructuras algebraicas ocurren discreta y continuamente. Como ejemplos de lgebras

discretas estn: el lgebra booleana, utilizada en circuitos digitales y programacin, lgebra
relacional, utilizada en bases de datos; grupos, finitos y discretos, as como anillos y campos
son importantes en la teora de cdigos.
Clculo de diferencias finitas[editar]
Artculo principal: Diferencia finita

Una funcin definida en un intervalo de enteros se llama secuencia. Una secuencia puede ser
una finita o infinita. Tal funcin discreta puede ser definida explcitamente por una lista (si su
dominio es finito), o por una frmula para su trmino n-esimo, o tambin puede ser dada
implcitamente por una relacin de recurrencia o ecuacin de diferencia. Las ecuaciones de
diferencia son similares a las ecuaciones diferenciales pero se reemplazan las derivadas
tomando la diferencia entre trminos adyacentes y pueden ser utilizadas para aproximar
ecuaciones diferenciales. Muchas interrogantes y mtodos de las ecuaciones diferenciales
tienen sus contrapartes para ecuaciones de diferencias.
Geometra[editar]
Artculo principal: Geometra discreta

La geometra computacional aplica algoritmos a representaciones 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 geometra discreta es
el recubrimiento del plano. La geometra computacional aplica algoritmos a problemas
geomtricos.
Topologa[editar]
Artculo principal: Topologa

Si bien la topologa general es el campo de las matemticas 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, valores discretos. Entre sus ramas de
estudio se encuentran la topologa combinatoria, topologa de grafos, topologa computacional
y topologa algebraica, entre otros.
Investigacin de operaciones[editar]
Artculo principal: Investigacin de operaciones

Diagramas PERTcomo este, proveen tcnicas de administracin de negocios basados en teora de

grafos.

La investigacin de operaciones es una rama de las matemticas consistente en el uso de

modelos matemticos, estadstica y algoritmos con objeto de realizar un proceso de toma de
decisiones prcticas para negocios y otras reas. Estos problemas pueden ser, por ejemplo, la
reparticin de recursos para maximizar ingresos, o agendar actividades para minimizar
riesgos. Tcnicas propias de la investigacin de operaciones incluyen programacin lineal y
otras reas de optimizacin, teora de colas, algoritmos de planificacin, anlisis de redes. La
investigacin de operaciones tambin incluye tpicos continuos como procesos de Markov de
tiempo continuo, optimizacin de procesos, martingalas de tiempo continuo, etc.
Teora de juegos, teora de la decisin, teora de utilidad [editar]
Matriz de ganancias del dilema del prisionero, un ejemplo comn de juego. Un jugador elige una fila y el
otro una columna; el par resultante dicta sus ganancias.

La teora de la decisin trata fundamentalmente con identificar los valores, incertidumbres y

otros factores relevantes en una decisin, su racionalidad y la decisin ptima resultante.
La teora de utilidades es sobre medidas de la relativa satisfaccin 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.
Discretizacin[editar]
La discretizacin busca transformar modelos y ecuaciones continuos en sus contrapartes
discretas,3 usualmente para hacer clculos ms fcilmente utilizando aproximaciones. El
anlisis numrico es un importante ejemplo.

Vase tambin[editar]
lgebra lineal el estudio de funciones lineales relacionadas.
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 algoritmos
teora de conjuntos estudio de colecciones de objetos
teora de grafos
teora de la informacin
teora de nmeros
topologa algebraica