Matemticas discretas

Las matemticas discretas son un rea de las

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