Matemáticas discretas

Las matemáticas discretas son un área de las es imposible de hacer.

matemáticas encargadas del estudio de los conjuntos La necesidad de descifrar códigos alemanes en la
discretos: finitos o infinitos numerables.
Segunda Guerra Mundial dio paso a avances en la
En oposición a las matemáticas continuas, que se encar- criptografía y la ciencia computacional teórica, con el
gan del estudio de conceptos como la continuidad y el primer computador electrónico, digital y programable
cambio continuo, la matemáticas discretas estudian es- desarrollado en Inglaterra. Al mismo tiempo, requeri-
tructuras cuyos elementos pueden contarse uno por uno mientos militares motivaron avances en la investigación
separadamente. Es decir, los procesos en matemáticas de operaciones. La Guerra Fría tuvo significancia en la
discretas son contables, como por ejemplo, los números criptografía, y la mantuvo vigente, con lo que se realiza-
enteros, grafos y sentencias de lógica.[1] ron avances en la criptografía asimétrica.
Mientras que el cálculo infinitesimal está fundado en los
Actualmente, uno de los problemas abiertos más famosos
números reales que no son numerables, la matemática en la teoría de la informática es el problema de las clases
discreta es la base de todo lo relacionado con los números
de complejidad “P = NP”. El Clay Mathematics Institute
naturales o conjuntos numerables. ha ofrecido un premio de un millón de dólares para la
Son fundamentales para la ciencia de la computación, primera demostración correcta, junto con premios para 6
problemas más.
porque sólo son computables las funciones de conjuntos
numerables.
La clave en matemáticas discretas es que no es posible 2 Tópicos en la matemática discre-
manejar las ideas de proximidad o límite y suavidad en
las curvas, como se puede en el cálculo. Por ejemplo, en ta
matemáticas discretas una incógnita puede ser 2 ó 3, pero
nunca se aproximará a 3 por la izquierda con 2.9, 2.99, 2.1 Informática teórica
2.999, etc. Las gráficas en matemáticas discretas vienen
dadas por un conjunto finito de puntos que se pueden con-
tar por separado; es decir, sus variables son discretas o
digitales, mientras que las gráficas en cálculo son trazos
continuos de rectas o curvas; es decir, sus variables son
continuas o analógicas.

1 Historia
Las matemáticas discretas han visto un gran número de
problemas difíciles de resolver. En teoría de grafos, mu-
cha de la investigación realizada en sus inicios fue mo-
tivada por intentos para probar el teorema de los cuatro
colores, el cual fue probado más de cien años después
de su inicial descripción. El problema de los puentes de
La complejidad estudia el tiempo en el cual un algoritmo se eje-
Königsberg, un problema clásico del prolífico Leonhard
cuta.
Euler.
En lógica, el segundo problema de la lista de problemas La teoría de la informática incluye áreas de la matemática
abiertos de David Hilbert, era probar que los axiomas de discreta relevante a la computación. Está altamente rela-
la aritmética son consistentes. El segundo teorema de Gö- cionada con teoría de grafos y lógica. Dentro de la teoría
del de la incompletitud probó en 1931 que esto no es po- de la informática se encuentra la teoría de algoritmos pa-
sible, por lo menos dentro de la aritmética en sí. El déci- ra problemas matemáticos. La computabilidad estudia lo
mo problema de Hilbert era determinar si un polinomio que puede ser computado y tiene lazos fuertes con la ló-
diofántico con coeficientes enteros dado tiene una solu- gica, mientras que la complejidad estudia el tiempo que
ción entera. En 1970, Yuri Matiyasevich probó que esto se necesita para hacer los cálculos. La teoría de autóma-

1
2 2 TÓPICOS EN LA MATEMÁTICA DISCRETA

tas, los lenguajes formales y la Dinámica de sistemas se
relacionan de manera cercana con la computabilidad. Las
redes de Petri y álgebra de procesos se usan para modelar
sistemas de cálculo, y los métodos de la matemática dis-
creta se usan para analizar circuitos VLSI. La geometría
computacional aplica algoritmos a problemas geométri-
cos, mientras que el análisis digital de imágenes los apli-
ca a representaciones de imágenes. La teoría informática
también incluye el estudio de tópicos de informática con-
tinua.
2.2 Teoría de la información
lógica y tiene aplicaciones en la demostración automática
de teoremas y verificación formal de software.
Las fórmulas lógicas son estructuras discretas, como lo
son las demostraciones, las cuales forman árboles finitos,
o más generalmente, estructuras de grafos acíclicos (en
cada paso de inferencia combinando una o más ramas de
premisas para dar una sola conclusión). Las tablas de ver-
dad de fórmulas lógicas usualmente forman un conjunto
finito, generalmente restringido a dos valores: verdadero
y falso, pero la lógica puede tener valores continuos, por
ejemplo en la lógica difusa. Los conceptos como árboles
de demostraciones o derivaciones infinitas también han
sido estudiados, por ejemplo en la lógica proposicional
infinitaria.

101 0111
110 1001 2.4 Teoría de conjuntos

110 1011 La teoría de conjuntos es la rama de la matemática que

estudia conjuntos matemáticos, los cuales son coleccio-

110 1001 nes de objetos, tales como {azul, blanco, rojo} o el con-
junto infinito de todos los números primos. Conjuntos
111 0000 parcialmente ordenados y conjuntos con otras relaciones

110 0101
tienen aplicación en muchas áreas.
En la matemática discreta, los conjuntos numerables (in-

110 0100 cluyendo conjuntos finitos) son el principal objeto de es-

tudio. El inicio de la teoría de conjuntos generalmente
110 1001 se relaciona con el trabajo de Georg Cantor, haciendo

110 0001
distinción entre diferentes tipos de conjuntos infinitos,
motivado por el estudio de las series trigonométricas. El
desarrollo más profundo en la teoría de conjuntos infini-
tos está fuera del alcance de la matemática discreta. De
hecho, el trabajo contemporáneo en teoría descriptiva de
Wikipedia conjuntos hace uso extenso del uso de la matemática con-
tinua tradicional.
Los códigos mostrados aquí son una manera de representar una
palabra en teoría de la información, como también para algorit-
mos de proceso de información.
2.5 Combinatoria

La combinatoria es la rama de la matemática que estudia

La teoría de la información se ve involucrada en la colecciones finitas de objetos que pueden ser combinados
cuantificación de la información. Cercanamente relacio- u ordenados.
nado a esto es la teoría de codificación, que es usada
para diseñar métodos de transmisión y almacenamien- La combinatoria enumerativa se ocupa, en particular, del
to de datos eficientes y confiables. La teoría de la in- “recuento” de los objetos de dichas colecciones.
formación también incluye tópicos continuos tales como La combinatoria analítica se concentra en la enumeración
señales análogas, codificación análoga y cifrado análogo. de estructuras combinatorias utilizando herramientas de
análisis complejo y teoría de probabilidad. En contraste
con la combinatoria enumerativa, que usa fórmulas com-
2.3 Lógica binatorias explícitas y funciones generadoras para descri-
bir los resultados, la combinatoria analítica se enfoca en
La lógica es el estudio de los principios del razonamiento obtener fórmulas asintóticas.
válido y la inferencia, como también de la consistencia,
solidez y completitud. Por ejemplo, en la mayoría de los La teoría de diseño es el estudio de diseños combinato-
sistemas en la lógica, la ley de Peirce, (((P→Q)→P)→P) rios, que son clases de subconjuntos con ciertas propie-
es un teorema. En lógica clásica, puede ser fácilmente ve- dades numéricas de intersección.
rificado con una tabla de verdad. El estudio de las demos- La teoría de particiones estudia varios problemas asintó-
traciones matemáticas es particularmente importante en ticos y de enumeración relacionados con particiones ente-
2.8 Teoría de números 3

ras, y está relacionada con series q, funciones especiales y

polinomios ortogonales. Originalmente una parte de teo-
ría numérica y análisis, la teoría de particiones es conside-
rada una parte de combinatoria, o un área independiente.
La teoría del orden es el estudio de conjuntos parcialmen-
te ordenados, finitos e infinitos.

2.6 Teoría de grafos

La espiral de Ulam muestra aquí, en cada pixel negro, un

numero primo. Este diagrama muestra una posible pista sobre
la distribución de los números primos.

2.8 Teoría de números

La teoría de números principalmente tiene que ver con las

propiedades de los números en general y, particularmen-
La teoría de grafos se relaciona estrechamente con la Teoría de te, de los enteros. Tiene aplicaciones en la criptografía,
grupos. Este grafo de un tetraedro truncado está relacionado con
criptoanálisis y criptología, particularmente en lo que re-
el grupo alternado A4 .
fiere a números primos. Otros aspectos de la teoría de
números incluye la teoría geométrica de números. En la
La teoría de grafos es el estudio de grafos y la teoría de teoría analítica de números, también se utilizan técnicas
redes. Generalmente es considerada parte de la Combi- de matemática continua.
natoria, pero ha evolucionado por su parte lo suficiente
como para ser considerada una materia por si misma.[2]
La teoría de grafos tiene extensas aplicaciones en todas 2.9 Álgebra
las áreas de la matemática y la ciencia. Existen, incluso,
grafos continuos. Las estructuras algebraicas ocurren discreta y continua-
mente. Como ejemplos de álgebras discretas están: el
álgebra booleana, utilizada en circuitos digitales y pro-
gramación, álgebra relacional, utilizada en bases de da-
2.7 Teoría de distribuciones de probabili- tos; grupos, finitos y discretos, así como anillos y campos
dad discretas son importantes en la teoría de códigos.

La teoría de distribuciones discretas trata con eventos que

ocurren en espacios de muestra numerables. Por ejem-
plo, conteos como el número 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 números reales, y típica-
mente serian modelados por una distribución de probabi-
lidad continua, como por ejemplo, la distribución 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.10 Cálculo de diferencias finitas
Una función definida en un intervalo de enteros se llama
secuencia. Una secuencia puede ser una finita o infini-
ta. Tal función discreta puede ser definida explícitamente
por una lista (si su dominio es finito), o por una fórmula
para su término n-esimo, o también puede ser dada implí-
citamente por una relación de recurrencia o ecuación de
diferencia. Las ecuaciones de diferencia son similares a
las ecuaciones diferenciales pero se reemplazan las deri-
vadas tomando la diferencia entre términos adyacentes y
pueden ser utilizadas para aproximar ecuaciones diferen-
ciales. Muchas interrogantes y métodos de las ecuaciones
4 2 TÓPICOS EN LA MATEMÁTICA DISCRETA

diferenciales tienen sus contrapartes para ecuaciones de

diferencias.

2.11 Geometría

Diagramas PERT como este, proveen técnicas de administración

de negocios basados en teoría de grafos.

nicas propias de la investigación de operaciones incluyen

programación lineal y otras áreas de optimización, teoría
de colas, algoritmos de planificación, análisis de redes.
La investigación de operaciones también incluye tópicos
continuos como procesos de Markov de tiempo continuo,
optimización de procesos, martingalas de tiempo conti-
nuo, etc.

La geometría computacional aplica algoritmos a representacio-

nes de objetos geométricos. 2.14 Teoría de juegos, teoría de la deci-
sión, teoría de utilidad
La geometría discreta y la geometría combinatoria tratan
las propiedades combinatorias de colecciones discretas
de objetos geométricos. Un antiguo tópico en la geome-
tría discreta es el recubrimiento del plano. La geometría
computacional aplica algoritmos a problemas geométri-
cos.

2.12 Topología
Si bien la topología general es el campo de las matemá-
ticas que formaliza y generaliza la noción intuitiva de
“deformación continua” de los objetos, o el proceso de Matriz de ganancias del dilema del prisionero, un ejemplo común
límite, da paso a muchos tópicos discretos. Esto puede de juego. Un jugador elige una fila y el otro una columna; el par
ser atribuido en parte a la atención que se le da a los resultante dicta sus ganancias.
invariantes topológicos, que toman, por lo general, va-
lores discretos. Entre sus ramas de estudio se encuentran
La teoría de la decisión trata fundamentalmente con iden-
la topología combinatoria, topología de grafos, topología
tificar los valores, incertidumbres y otros factores rele-
computacional y topología algebraica, entre otros.
vantes en una decisión, su racionalidad y la decisión óp-
tima resultante.
2.13 Investigación de operaciones La teoría de utilidades es sobre medidas de la relativa sa-
tisfacción económica proveniente del consumo de algún
La investigación de operaciones es una rama de las ma- bien o servicio.
temáticas consistente en el uso de modelos matemáti-
cos, estadística y algoritmos con objeto de realizar un La teoría de juegos trata con las situaciones donde el éxito
proceso de toma de decisiones prácticas para negocios depende de las decisiones de otros, lo cual hace elegir el
y otras áreas. Estos problemas pueden ser, por ejem- mejor curso de acción más complejo. Tópicos incluyen la
plo, la repartición de recursos para maximizar ingre- Teoría de subasta y la división justa.
sos, o agendar actividades para minimizar riesgos. Téc- La teoría de decisión social estudia las elecciones.
 5

2.15 Discretización
La discretización busca transformar modelos y ecuacio-
nes continuos en sus contrapartes discretas,[3] usualmente
para hacer cálculos mas fácilmente utilizando aproxima-
ciones. El análisis numérico es un importante ejemplo.

3 Véase también
• álgebra lineal – el estudio de funciones lineales rela-
cionadas.

• algoritmia – el estudio de métodos de cálculos.

• combinatoria

• investigación de operaciones
• lógica – el estudio del razonamiento

• probabilidad y cadenas de Markov

• teorías de la computabilidad y de la complejidad -
que tratan sobre la viabilidad y límites de los algo-
ritmos

• teoría de conjuntos – estudio de colecciones de ob-

jetos

• teoría de grafos
• teoría de la información

• teoría de números
• topología algebraica

4 Referencias
[1] Weisstein, Eric W. «Matemáticas discretas». En Weiss-
tein, Eric W. MathWorld (en inglés). 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 Discretización de Valores

5 Enlaces externos
• matemáticas discretas (en inglés)
6 6 TEXTO E IMÁGENES DE ORIGEN, COLABORADORES Y LICENCIAS

6 Texto e imágenes de origen, colaboradores y licencias

6.1 Texto
• Matemáticas discretas Fuente: https://es.wikipedia.org/wiki/Matem%C3%A1ticas_discretas?oldid=84973672 Colaboradores: Mave-
ric149, General Wesc, Sabbut, Moriel, Zwobot, Sms, Elwikipedista, Renabot, Xuankar, Rembiapo pohyiete (bot), Magister Mathema-
ticae, RobotQuistnix, Chobot, Yrbot, YurikBot, KnightRider, Eskimbot, Banfield, Götz, Jstitch, CEM-bot, JMCC1, Mcetina, Ingenioso
Hidalgo, Thijs!bot, Zifra, Egaida, JAnDbot, TXiKiBoT, Humberto, AlnoktaBOT, Technopat, BotMultichill, Drinibot, BOTarate, Mel 23,
Correogsk, DragonBot, 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 matemáticas, JackieBot, Waka Waka, Post14, Naraht, ILoveSugar, Xerox 5B,
MerlIwBot, KLBot2, Julio grillo, Vagobot, Johnbot, Arquigoras, Gilmjc, Addbot, Jarould, BenjaBot y Anónimos: 45

6.2 Imágenes
• Archivo:Dilemadelprisionero.PNG Fuente: https://upload.wikimedia.org/wikipedia/commons/d/dd/Dilemadelprisionero.PNG Licen-
cia: GFDL Colaboradores: Trabajo propio Artista original: Classerre
• Archivo:Pert_chart_colored.gif Fuente: https://upload.wikimedia.org/wikipedia/commons/b/b9/Pert_chart_colored.gif Licencia: Public
domain Colaboradores: Transferido desde en.wikipedia a Commons. Artista original: Jeremykemp de Wikipedia en inglés
• Archivo:SimplexRangeSearching.png Fuente: https://upload.wikimedia.org/wikipedia/commons/4/48/SimplexRangeSearching.png
Licencia: Public domain Colaboradores: Transferido desde en.wikipedia a Commons. Artista original: Gfonsecabr de Wikipedia en inglés
• Archivo:Sorting_quicksort_anim.gif Fuente: https://upload.wikimedia.org/wikipedia/commons/6/6a/Sorting_quicksort_anim.gif Li-
cencia: CC-BY-SA-3.0 Colaboradores: originally upload on the English Wikipedia Artista original: Wikipedia:en:User:RolandH
• Archivo:TruncatedTetrahedron.gif Fuente: https://upload.wikimedia.org/wikipedia/commons/0/0f/TruncatedTetrahedron.gif Licen-
cia: Public domain Colaboradores: Trabajo propio Artista original: Radagast3
• Archivo:Ulam_1.png Fuente: https://upload.wikimedia.org/wikipedia/commons/6/69/Ulam_1.png Licencia: CC-BY-SA-3.0 Colabora-
dores: Transferido desde en.wikipedia a Commons. Artista original: Grontesca de Wikipedia en inglés

• Archivo:WikipediaBinary.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/b/bb/WikipediaBinary.svg Licencia: CC BY

2.5 Colaboradores: User:Spinningspark made this file Artista original: qiwuwjywyhhwhwhhw User:Spinningspark

6.3 Licencia de contenido

• Creative Commons Attribution-Share Alike 3.0