Matemticas discretas

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, la 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.
on fundamentales para la ciencia de la computacin, porque slo son computables las
funciones de conjuntos numerables.
La cla!e en matemticas discretas es que no es posible manejar las ideas de pro"imidad o
l#mite y sua!idad en las cur!as, como se puede en el clculo. $or ejemplo, en matemticas
discretas una incgnita puede ser % &, pero nunca se apro"imar a & por la i'quierda con %.(,
%.((, %.(((, etc. Las grficas en matemticas discretas !ienen dadas por un conjunto finito de
puntos que se pueden contar por separado) es decir, sus !ariables son discretas o digitales,
mientras que las grficas en clculo son tra'os continuos de rectas o cur!as) es decir, sus
!ariables son continuas o analgicas.
Historia
Las matemticas discretas *an !isto un gran nmero de problemas dif#ciles de resol!er. En
teor#a de grafos, muc*a de la in!estigacin reali'ada en sus inicios fue moti!ada por intentos
para probar el teorema de los cuatro colores, el cual fue probado ms de cien a+os despu,s de
su inicial descripcin. El problema de los puentes de -.nigsberg, un problema clsico del
prol#fico Leon*ard Euler.
En lgica, el segundo problema de la lista de problemas abiertos de /a!id 0ilbert, era probar
que los a"iomas de la aritm,tica son consistentes. El segundo teorema de 1.del de la
incompletitud prob en 1(&1 que esto no es posible, por lo menos dentro de la aritm,tica en s#.
El d,cimo problema de 0ilbert era determinar si un polinomio diofntico con coeficientes
enteros dado tiene una solucin entera. En 1(23, 4uri Matiyase!ic* prob que esto es imposible
de *acer.
La necesidad de descifrar cdigos alemanes en la egunda 1uerra Mundial dio paso a a!ances
en la criptograf#a y la ciencia computacional terica, con el primer computador electrnico,
digital y programable desarrollado en 5nglaterra. 6l mismo tiempo, requerimientos militares
moti!aron a!ances en la in!estigacin de operaciones. La 1uerra 7r#a tu!o significancia en la
criptograf#a, y la mantu!o !igente, con lo que se reali'aron a!ances en la criptograf#a
asim,trica.
6ctualmente, uno de los problemas abiertos ms famosos en la teor#a de la informtica es el
problema de las clases de complejidad 8$ 9 :$8. El ;lay Mat*ematics 5nstitute *a ofrecido un
premio de un milln de dlares para la primera demostracin correcta, junto con premios para <
problemas ms.
Tpicos en la matemtica discreta
Informtica terica
La complejidad estudia el tiempo en el cual un algoritmo se ejecuta.
La teor#a de la informtica incluye reas de la matemtica discreta rele!ante a la computacin.
Est altamente relacionada con teor#a de grafos y lgica. /entro de la teor#a de la informtica
se encuentra la teor#a de algoritmos para problemas matemticos. La computabilidad estudia lo
que puede ser computado y tiene la'os fuertes con la lgica, mientras que la complejidad
estudia el tiempo que se demora en *acer computaciones. La teor#a de autmatas y los
lenguajes formales se relacionan de manera cercana con la computabilidad. Las redes de $etri
y lgebra de procesos se usan para modelar sistemas computacionales, y m,todos de la
matemtica discreta se usan para anali'ar circuitos =L5. La geometr#a computacional aplica
algoritmos a problemas geom,tricos, mientras que el anlisis digital de imgenes los aplica a
representaciones de imgenes. La teor#a informtica tambi,n incluye el estudio de tpicos de
informtica continua.
Teora de la informacin
Los cdigos mostrados aqu# son una manera de representar una palabra en teor#a de la
informacin, como tambi,n para algoritmos de proceso de informacin.
La teor#a de la informacin se !e in!olucrada en la cuantificacin de la informacin.
;ercanamente relacionado a esto es la teor#a de codificacin, que es usada para dise+ar
m,todos de transmisin y almacenamiento de datos eficientes y confiables. La teor#a de la
informacin tambi,n incluye tpicos continuos tales como se+ales anlogas, codificacin
anloga y cifrado anlogo.
Lgica
La lgica es el estudio de los principios del ra'onamiento !lido y la inferencia, como tambi,n
de la consistencia, solide' y completitud. $or ejemplo, en la mayor#a de los sistemas en la
lgica, la ley de $eirce, >>>$?@A?$A?$A es un teorema. En lgica clsica, puede ser
fcilmente !erificado con una tabla de !erdad. El estudio de las demostraciones matemticas es
particularmente importante en lgica y tiene aplicaciones en la demostracin automtica de
teoremas y !erificacin formal de softBare.
Las frmulas lgicas son estructuras discretas, como lo son las demostraciones, las cuales
forman rboles finitos, o ms generalmente, estructuras de grafos ac#clicos >en cada paso de
inferencia combinando una o ms ramas de premisas para dar una sola conclusinA. Las tablas
de !erdad de frmulas lgicas usualmente forman un conjunto finito, generalmente restringido a
dos !alores: !erdadero y falso, pero la lgica puede tener !alores continuos, por ejemplo en la
lgica difusa. Los conceptos como rboles de demostraciones o deri!aciones infinitas tambi,n
*an sido estudiados, por ejemplo en la lgica proposicional infinitaria.
Teora de conjuntos
La teor#a de conjuntos es la rama de la matemtica que estudia conjuntos matemticos, los
cuales son colecciones de objetos, tales como Ca'ul, blanco, rojoD o el conjunto infinito de todos
los nmeros primos. ;onjuntos parcialmente ordenados y conjuntos con otras relaciones tienen
aplicacin en muc*as reas.
En la matemtica discreta, los conjuntos numerables >incluyendo conjuntos finitosA son el
principal objeto de estudio. El inicio de la teor#a de conjuntos generalmente se relaciona con el
trabajo de 1eorg ;antor, *aciendo distincin entre diferentes tipos de conjuntos infinitos,
moti!ado por el estudio de las series trigonom,tricas. El desarrollo ms profundo en la teor#a de
conjuntos infinitos est fuera del alcance de la matemtica discreta. /e *ec*o, el trabajo
contemporneo en teor#a descripti!a de conjuntos *ace uso e"tenso del uso de la matemtica
continua tradicional.
Combinatoria
La combinatoria es la rama de la matemtica que estudia colecciones finitas de objetos que
pueden ser combinados u ordenados.
La combinatoria enumerati!a se ocupa, en particular, del 8recuento8 de los objetos de dic*as
colecciones.
La combinatoria anal#tica se concentra en la enumeracin de estructuras combinatorias
utili'ando *erramientas de anlisis complejo y teor#a de probabilidad. En contraste con la
combinatoria enumerati!a, que usa frmulas combinatorias e"pl#citas y funciones generadoras
para describir los resultados, la combinatoria anal#tica se enfoca en obtener frmulas
asintticas.
La teor#a de dise+o es el estudio de dise+os combinatorios, que son clases de subconjuntos
con ciertas propiedades num,ricas de interseccin.
La teor#a de particiones estudia !arios problemas asintticos y de enumeracin relacionados
con particiones enteras, y est relacionada con series q, funciones especiales y polinomios
ortogonales. Eriginalmente una parte de teor#a num,rica y anlisis, la teor#a de particiones es
considerada una parte de combinatoria, o un rea independiente.
La teor#a del orden es el estudio de conjuntos parcialmente ordenados, finitos e infinitos.
Teora de grafos
La teor#a de grafos se relaciona estrec*amente con la Feor#a de grupos. Este grafo de un
tetraedro truncado est relacionado con el grupo alternado AG.
La teor#a de grafos es el estudio de grafos y la teor#a de redes. 1eneralmente es considerada
parte de la ;ombinatoria, pero *a e!olucionado por su parte lo suficiente como para ser
considerada una materia por si misma.
%
La teor#a de grafos tiene e"tensas aplicaciones en
todas las reas de la matemtica y la ciencia. E"isten, incluso, grafos continuos.
Teora de distribuciones de probabilidad discretas
La teor#a de distribuciones discretas trata con e!entos que ocurren en espacios de muestra
numerables. $or ejemplo, conteos como el nmero de a!es en una bandada solo pueden tener
!alores naturales C3, 1, %,...D. $or otra parte, obser!aciones continuas como los pesos de estas
a!es se pueden representar mediante nmeros reales, y t#picamente serian modelados por una
distribucin de probabilidad continua, como por ejemplo, la distribucin normal. /istribuciones
continuas pueden ser utili'adas para apro"imar discretas y !ice!ersa. $ara situaciones en las
cuales los !alores posibles son altamente restringidos en su !ariabilidad, como por ejemplo en
dados o cartas, calcular las probabilidades simplemente necesita de combinatoria enumerati!a.
Teora de nmeros
La espiral de Hlam muestra aqu#, en cada pi"el negro, un nmero primo. Este diagrama
muestra una posible pista sobre la distribucin de los nmeros primos.
La teor#a de nmeros principalmente tiene que !er con las propiedades de los nmeros en
general y, particularmente, de los enteros. Fiene aplicaciones en la criptograf#a, criptoanlisis y
criptolog#a, particularmente en lo que refiere a nmeros primos. Etros aspectos de la teor#a de
nmeros incluye la teor#a geom,trica de nmeros. En la teor#a anal#tica de nmeros, t,cnicas
de matemtica continua tambi,n son utili'adas.
lgebra
Las estructuras algebraicas ocurren discreta y continuamente. ;omo ejemplos de lgebras
discretas estn: el lgebra booleana, utili'ada en circuitos digitales y programacin, lgebra
relacional, utili'ada en bases de datos) grupos, finitos y discretos, as# como anillos y campos
son importantes en la teor#a de cdigos.
Clculo de diferencias finitas
Hna funcin definida en un inter!alo de enteros se llama secuencia. Hna secuencia puede ser
una finita o infinita. Fal funcin discreta puede ser definida e"pl#citamente por una lista >si su
dominio es finitoA, o por una frmula para su t,rmino nIesimo, o tambi,n 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 reempla'an las deri!adas
tomando la diferencia entre t,rminos adyacentes y pueden ser utili'adas para apro"imar
ecuaciones diferenciales. Muc*as interrogantes y m,todos de las ecuaciones diferenciales
tienen sus contrapartes para ecuaciones de diferencias.
Geometra
La geometr#a computacional aplica algoritmos a representaciones de objetos geom,tricos.
La geometr#a discreta y la geometr#a combinatoria tratan las propiedades combinatorias de
colecciones discretas de objetos geom,tricos. Hn antiguo tpico en la geometr#a discreta es el
recubrimiento del plano. La geometr#a computacional aplica algoritmos a problemas
geom,tricos.
Topologa
i bien la topolog#a general es el campo de las matemticas que formali'a y generali'a la
nocin intuiti!a de 8deformacin continua8 de los objetos, o el proceso de l#mite, da paso a
muc*os tpicos discretos. Esto puede ser atribuido en parte a la atencin que se le da a los
in!ariantes topolgicos, que toman, por lo general, !alores discretos. Entre sus ramas de
estudio se encuentran la topolog#a combinatoria, topolog#a de grafos, topolog#a computacional y
topolog#a algebraica, entre otros.
Inestigacin de operaciones
/iagramas $EJF como este, pro!een t,cnicas de administracin de negocios basados en
teor#a de grafos.
La in!estigacin de operaciones es una rama de las matemticas consistente en el uso de
modelos matemticos, estad#stica y algoritmos con objeto de reali'ar un proceso de toma de
decisiones prcticas para negocios y otras reas. Estos problemas pueden ser, por ejemplo, la
reparticin de recursos para ma"imi'ar ingresos, o agendar acti!idades para minimi'ar riesgos.
F,cnicas propias de la in!estigacin de operaciones incluyen programacin lineal y otras reas
de optimi'acin, teor#a de colas, algoritmos de planificacin, anlisis de redes. La in!estigacin
de operaciones tambi,n incluye tpicos continuos como procesos de MarKo! de tiempo
continuo, optimi'acin de procesos, martingalas de tiempo continuo, etc.
Teora de juegos! teora de la decisin! teora de utilidad
Matri' de ganancias del dilema del prisionero, un ejemplo comn de juego. Hn jugador elige una
fila y el otro una columna) el par resultante dicta sus ganancias.
La teor#a de la decisin trata fundamentalmente con identificar los !alores, incertidumbres y
otros factores rele!antes en una decisin, su racionalidad y la decisin ptima resultante.
La teor#a de utilidades es sobre medidas de la relati!a satisfaccin econmica pro!eniente del
consumo de algn bien o ser!icio.
La teor#a de juegos trata con las situaciones donde el ,"ito depende de las decisiones de otros,
lo cual *ace elegir el mejor curso de accin ms complejo. Fpicos incluyen la Feor#a de
subasta y la divisin justa.
La teor#a de decisin social estudia las elecciones.