MATEMTICAS DISCRETAS

Marco E. Benalczar, Ph.D.

24 de octubre de 2017
INTRODUCCIN
 Ejercicio

Considere que una base de datos conteniendo la informacin de los

clientes de un banco est protegida mediante una clave numrica
compuesta por 15 dgitos del conjunto {0,1,,9}. sto es, para poder
acceder a la base de datos se debe ingresar un vector
X = (x1,x2,,x15){0,1,,9}15, el mismo que debe coincidir con la clave de
acceso registrada C{0,1,,9}15. Asuma tambin que al programador se
le olvid restringir el nmero de intentos de acceso a dicha base de
datos. Un hacker ha implementado un programa muy simple de fuerza
bruta que genera vectores Z{0,1,,9}15 para sustraer la informacin
del banco. Para este programa, cada prueba de una posible clave toma un
tiempo promedio de 1 microsegundo (1*10-6s). En el peor de los casos,
cunto tiempo tendr que esperar el hacker para poder acceder a la
base de datos? Indique la respuesta en aos.
 Ejercicio

Considere que una base de datos conteniendo la informacin de los

clientes de un banco est protegida mediante una clave numrica
compuesta por 15 dgitos del conjunto {0,1,,9}. sto es, para poder
acceder a la base de datos se debe ingresar un vector
X = (x1,x2,,x15){0,1,,9}15, el mismo que debe coincidir con la clave de
acceso registrada C{0,1,,9}15. Asuma tambin que al programador se
le olvid restringir el nmero de intentos de acceso a dicha base de
datos. Un hacker ha implementado un programa muy simple de fuerza
bruta que genera vectores Z{0,1,,9}15 para sustraer la informacin
del banco. Para este programa, cada prueba de una posible clave toma un
tiempo promedio de 1 microsegundo (1*10-6s). En el peor de los casos,
cunto tiempo tendr que esperar el hacker para poder acceder a la
base de datos? Indique la respuesta en aos.

R: 31.71 aos
MATEMTICAS
DISCRETAS
 Matemticas Discretas

Las matemticas discretas son una parte de la matemtica que

permiten el estudio de sistemas y conjuntos discretos: finitos contables
o infinitos contables.

El computador digital es un sistema discreto

(tiene un nmero contable de estados)

Muchas propiedades de los sistemas de computacin digital pueden

comprenderse e interpretarse en el marco de referencia de los sistemas
matemticos discretos.

Las matemticas discretas incluyen el estudio de teora de conjuntos,

teora de nmeros, lgica, mtodos de conteo, anlisis de complejidad
espacial y temporal de algoritmos, teora de grafos, probabilidad
(distribuciones sobre variables discretas), criptografa, entre otros.
 Introduccin (1/4)

Cuntos estudiantes hay en la clase?

 Introduccin (2/4)

Cuntos estudiantes hay en la clase?

Cun complicado le result encontrar la respuesta?

De cuntas maneras distintas se
Cuntos estados tiene el cubo rubik?
pueden ordenar las 52 cartas de una
baraja?
 Introduccin (3/4)

Cuntos estudiantes hay en la clase?

Cun complicado le result encontrar la respuesta?

De cuntas maneras distintas se
Cuntos estados tiene el cubo rubik?
pueden ordenar las 52 cartas de una
baraja?

Cun complicado le result encontrar la respuesta?

 Introduccin (4/4)

Mquina de Turing
 Temas e Importancia de Matemticas
Discretas

Link: https://ivyleaguecenter.wordpress.com/2015/03/17/why-discrete-math-is-very-important/
EMPECEMOS EL
CURSO
CONJUNTOS
 Teora de Conjuntos (1)
Conjunto: Es una coleccin de distintos elementos u objetos. El orden de
los elementos no se toma en cuenta.

Los elementos de un conjunto tambin se denominan miembros.

Ejemplos:
A = {0,1, 2,3} B = {8,7,2,4} C = {c | c = 2x , x}

D= Propiedad necesaria para ser

parte del conjunto

Este tipo de notacin se usa para conjuntos

finitos grandes o infinitos.
E=

Este tipo de notacin se usa para conjuntos

finitos pequeos
 Teora de Conjuntos: Notacin

A = {0,1, 2,3}
Usualmente, los conjuntos se denotan con letras maysculas A, B, X, Y, . . .;
mientras que sus elementos se denotan con letras minsculas a, b, x, y, . . .

0 pertenece al conjunto A: 0A

10 no pertenece al conjunto A: 10A cardinal

El tamao del conjunto A es 4: |A| = card(A) = 4

NO ES VALOR ABSOLUTO
El valor absoluto de la variable x lo denotaremos mediante abs(x)
 Conjuntos de Nmeros: Diagramas de Venn
(1/2)

nmeros completos

En algunos casos tambin se considera al 0 como nmero natural.

Conjuntos de Nmeros: Diagramas de Venn
(2/2)

0
Teora de Conjuntos: Algunas Definiciones (1)

Conjunto vaco

Conjuntos iguales: Los conjuntos X e Y son iguales si y slo si

Ejemplos:
Teora de Conjuntos: Algunas Definiciones (2)

A est contenido en B B contiene a A

Teora de Conjuntos: Algunas Definiciones (3)
 Teora de Conjuntos: Ejercicios

Ejemplo: diga cules de las siguientes afirmaciones son correctas:

 Teora de Conjuntos: Ejercicios

Ejemplo: diga cules de las siguientes afirmaciones son correctas:

R: a, d y f
 Teora de Conjuntos: Algunas Definiciones (4)

Power set (conjunto potencia): El conjunto potencia de un conjunto A es

otro conjunto formado por todos los subconjuntos de A.

A = {1, 2, 3}
(A) = {, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1, 2, 3}}
Si |A| = n | (A) | = 2n
Teora de Conjuntos: Algunas Definiciones (5)
 Operaciones entre Conjuntos

Unin

Interseccin

Diferencia

Complemento

Unin Interseccin Diferencia: Set 1 Set2 Complemento

Para reforzar los conocimientos se debe leer el captulo I de la siguiente referencia:

S. Lipschutz and M. Lipson, Matemticas Discretas (3ra edicin), McGrawHill, 2009.

RELACIONES Y
FUNCIONES
 Pares Ordenados

Definicin: Dados los elementos a y b, la expresin (a,b) denota un par

ordenado, donde a y b son el primero y segundo elementos del par,
respectivamente.

Dos pares ordenados (a,b) y (c,d) son iguales ssi a = c y b =d.

Ejemplos:
 Producto Cartesiano

Definicin: Dados dos conjuntos A y B, el producto cartesiano de A y B,

denotado mediante AB, es el conjunto de todos los pares ordenados (a,b), con
a A y b B.

AB = {(a,b) | a A y b B}

| AB | = | A |*| B |
Ejemplos:
 Relaciones

Definicin: Dados dos conjuntos A y B, una relacin R de A a B es un

subconjunto de AB. Dado un par ordenado (a,b) de AB, se dice que a est
relacionado a b por R, denotado por aRb, ssi (a,b) est en R. A se denomina
dominio y B es el co-dominio de R.

Ejemplo:
Diagrama de Flechas de las Relaciones
 Funciones

Funcin = mapeo = transformacin = mquina funcional

Definicin: Sean dos conjuntos A y B, si a cada elemento x de A se le
asigna un nico elemento y = f(x) de B, entonces la coleccin de estas
asignaciones se denomina funcin de A en B.

Ejemplos: Dominio

Rango

Funcin No es funcin
Funciones: Function Machines

Machine learning (aprendizaje de mquina)

 Funciones - Ejemplos

Funciones sobre conjuntos infinitos

f: : f(x) = x2 + 2x +1
 Funciones - Ejemplos

Funciones sobre conjuntos infinitos

f: : f(x) = x2 + 2x +1
 Funciones: Inyectividad, Sobreyectividad y
Biyectividad
F. Inyectiva: Una funcin f: A B es inyectiva ssi cada elemento del
conjunto B tiene a lo sumo una anti-imagen en A.
F. Sobreyectiva: Una funcin f: A B es sobreyectiva ssi cada
elemento del conjunto B es la imagen de como mnimo un elemento de A.
F. Biyectiva: Una funcin f: A B es biyectiva si es inyectiva y al mismo
tiempo sobreyectiva.

|P| = |C|
 Funciones: Inyectividad, Sobreyectividad y
Biyectividad
Ejemplo: Pruebe que la funcin f: + + : f (n) = 2n + 1 es una funcin
inyectiva (uno a uno), pero no sobreyectiva.

Si f es inyectiva se debe cumplir que para todos los enteros positivos n1

y n2, si f (n1) = f (n2), entonces n1 = n2.

Partiendo de f (n1) = f (n2) se tiene que 2n1 + 1 = 2n2 + 1. Simplificando se

demuestra que n1= n2. Por lo tanto, la funcin f es inyectiva.

La funcin f no es sobreyectiva puesto que su rango es slo el conjunto

de los nmeros enteros impares positivos y no todo el conjunto de enteros
positivos, + .

En consecuencia, la funcin f no es biyectiva.

Nota: En matemticas se prueba que una proposicin p es verdadera si sta se

cumple para todos los casos; mientras que, se demuestra su falsedad cuando se
encuentra al menos un contra-ejemplo donde sta no se cumple.
 Funciones: Inversa y Compuesta

F. Inversa: Para calcular la inversa de una funcin, sta tiene que ser biyectiva.

F. Compuesta: La composicin de f con g se denota mediante (fg)(x) = f (g(x))

 Funcin Compuesta: Demostracin

Proposicin: Sean las funciones f: y g: . Si f y g son

funciones biyectivas, entonces la funcin compuesta, fg es biyectiva.

Demostracin:
Inyectividad: Si la funcin compuesta f g es inyectiva, entonces f g(x) = f g(y), o lo que es lo
mismo, f(g(x)) = f(g(y)) debe implicar necesariamente que x = y, para todo x e y nmeros reales.
Debido a que f es inyectiva se cumple que g(x) = g(y). A su vez, debido a que g es inyectiva se
cumple que x = y, que es lo que queramos demostrar. Por lo tanto, f g es inyectiva o uno a
uno.

Sobreyectividad: Si la funcin compuesta f g es sobreyectiva, entonces se debe cumplir que

cada elemento de su co-dominio tiene como contra-imagen a al menos un elemento del domino.
Esto es igual a probar que el conjunto f g() = f (g()) debe ser igual al conjunto . Debido a
que g es sobreyectiva, entonces tenemos que se cumple que los conjuntos g() y son
iguales, g() = . Por lo anterior, y dado que f es sobreyectiva, f() = , tenemos que
f g() = f (g()) = f () = , que corresponde a lo que queramos probar. Por lo tanto, la
funcin f g es sobreyectiva.

En funcin de las dos pruebas anteriores, podemos concluir que si f y g son funciones
biyectivas, entonces la funcin compuesta, f g, es biyectiva.
 Funcin Compuesta: Demostracin

Proposicin: Sif: X Y y g: Y Z son funciones inyectivas, entonces la

funcin compuesta, fg tambin es inyectiva.

Demostracin:
(realizar esta demostracin como ejercicio de repaso)
 Funcin Discreta

Definicin: Una funcin f es discreta cuando su dominio pertenece al

conjunto de los nmeros enteros y el rango es el conjunto de los nmeros
reales:

f:
Ejemplo:

f (n) = 2n permite calcular el nmero de vectores binarios n-dimensionales.

f (n) = n! permite calcular el factorial del nmero n.

f (n) = 1/n

f (n) = (n + 1)1/n
Nota: La variable de entrada de funciones continuas se denota mediante x; mientras que en
funciones discretas se denota mediante n
SECUENCIAS
 Secuencias (1)
Secuencia: Funcin cuyo dominio est formado, ya sea por todos los nmeros
enteros comprendidos entre dos nmeros enteros dados, o por todos los nmeros
enteros mayores o iguales que un nmero entero dado.

Ejemplo: Suponga que una persona decide contar sus ancestros: l tiene 2 padres,
4 abuelos, 8 bisabuelos, etc. Estos nmeros pueden ser escritos en una fila de la
siguiente manera:

2, 4, 8, Indica que sigue la secuencia

Estos nmeros se pueden etiquetar con el nmero entero que indica la posicin
que ocupan en la fila:

En funcin de los datos de la tabla anterior se tiene que el nmero de ancestros

Ak para la posicin k est dado por la regla:
Ak = 2k con k un entero positivo
En las secuencias se toma en cuenta el orden de los elementos.
 Secuencias (2)
Representacin de secuencias: Usualmente las secuencias se representan por
una sucesin de elementos escritos en una fila. Recuerde que en las secuencias
importa el orden en que aparecen los elementos.
Subndice
s1, s2, s3, s4, s5,

Ejemplos: La secuencia eat es distinta de la secuencia ate.

Si el dominio de la secuencia es finito, entonces se tiene una secuencia finita.

Si el dominio de la secuencia es infinito, entonces se tiene una secuencia

infinita.

Ejemplos: La secuencia Sn definida mediante la regla Sn = n2 1 con n 0, y

denotada mediante Sn n = 0 es una secuencia infinita.

La secuencia S = a, a, b, b es una secuencia finita compuesta |S| = 4 elementos.

 Tipos de Secuencias
Secuencia Creciente: Una secuencia S = s1, s2, , si, si+1, es creciente si si si+1
para toda i para la que i e i + 1 estn en el dominio de la secuencia.

Secuencia Decreciente: Una secuencia S = s1, s2, , si, si+1, es decreciente si

si si+1 para toda i para la que i e i + 1 estn en el dominio de la secuencia.

Secuencia No Decreciente: Una secuencia S = s1, s2, , si, si+1, es no decreciente

si si si+1 para toda i para la que i e i + 1 estn en el dominio de la secuencia.

Secuencia No Creciente: Una secuencia S = s1, s2, , si, si+1, es no decreciente si

si si+1 para toda i para la que i e i + 1 estn en el dominio de la secuencia.

Ejemplos: La secuencia 2, 5, 13, 104, 300 es creciente y no decreciente.

La secuencia Si = 1/i con i 1 es decreciente y no creciente.

La secuencia 100, 90, 90, 74, 74, 74, 30 es no creciente, pero no es decreciente.
 Frmulas Explcitas para Secuencias
La frmula explcita para la secuencia sk, sk+1, sk+2, sk+3, es una frmula que indica
cmo calcular el trmino sk en funcin del valor de k.

Ejemplos:

Encontrar una frmula explcita para la siguiente secuencia:

R:
 Notacin de Sumatoria o Notacin Sigma
Si m y n son enteros tales que m n, entonces la notacin
Lmite superior de la sumatoria

ndice de la sumatoria Lmite inferior de la sumatoria

denota la suma de los trminos de la secuencia Sn = a1,, am,, an, ... comprendidos
entre la posicin m y n.
2
Ejemplos:

1
 Notacin de Producto
Si m y n son enteros tales que m n, entonces la notacin
Lmite superior del producto

ndice del producto Lmite inferior del producto

denota el producto de los trminos de la secuencia Sn = a1,, am,, an, ...

comprendidos entre la posicin m y n.

Ejemplos:
APLICACIN
CURIOSA
 Sumatoria Curiosa: Suma de la Secuencia de
Nmeros Naturales (1)
Cul es el resultado de sumar todos los nmeros naturales?
S=1+2+3+
 Sumatoria Curiosa: Suma de la Secuencia de
Nmeros Naturales (2)

Serie de Grandi
(demuestra que no existen las
sper tareas = infinito nmero de
acciones en un lapso de tiempo
finito)
Para resolver esta serie use: 1 - S1

S1
 Sumatoria Curiosa: Suma de la Secuencia de
Nmeros Naturales (3)
Cul es el resultado de sumar todos los nmeros naturales?
La respuesta a esta pregunta, para sorpresa de muchos, es -1/12.
Este resultado no es de ninguna manera obvio, pero ste es el nico valor
razonable se puede asignar a esta suma divergente. Infinito no es un valor
razonable. En mi opinin, como fsico, el infinito no tiene lugar en los
observables fsicos, y por lo tanto no hay lugar en la Naturaleza. David
Hilbert, uno de los padres fundadores de la mecnica cuntica, describe el
infinito como "una abstraccin matemtica que no tiene un contenido fsico.
Dr. Tony Padilla
1862 - 1943
Teora de invariantes
Axiomatizacin de la geometra
Nocin de espacio de Hilbert
Distincin entre matemticas y metamticas (estudio matemtico
de los fundamentos de las matemticas)

Profesor asociado del centro de astronoma y fsica de partculas

de la universidad de Nottingham
Sumatoria Curiosa: Suma de la Secuencia de
Nmeros Naturales (4)
 Sumatoria Curiosa: Referencias

http://www.nottingham.ac.uk/~ppzap4/response.html

http://www.bradyharanblog.com/blog/2015/1/11/this-blog-probably-wont-help

http://www.nytimes.com/2014/02/04/science/in-the-end-it-all-adds-up-to.html?_r=0

http://www-history.mcs.st-and.ac.uk/Biographies/Hilbert.html

https://www.nottingham.ac.uk/physics/people/antonio.padilla

https://www.youtube.com/watch?v=w-I6XTVZXww

http://stringworld.ru/files/Polchinski_J._String_theory._Vol._1._An_introduction_to_th
e_bosonic_string.pdf

http://plato.stanford.edu/entries/spacetime-supertasks/
EJERCICIOS DE
DEBER
Resolver en casa los siguientes ejercicios
Resolver en casa los siguientes ejercicios
Resolver en casa los siguientes ejercicios
Resolver en casa los siguientes ejercicios
 Resolver en casa los siguientes ejercicios

Sean f y g funciones de los enteros positivos a los

enteros positivos definidos por las ecuaciones:

f (n) = 2n + 1, g(n) = 3n 1.

Encuentre las composiciones f o f, g o g, f o g y g o f.

 Resolver en casa los siguientes ejercicios

Sea g una funcin de X a Y y f una funcin de Y a Z. Para

cada afirmacin en los ejercicios, si es verdadera,
demustrela; de otra manera, proporcione un
contraejemplo.

Si g es inyectiva, entonces f o g es inyectiva.

Si f es sobreyectiva, entonces f o g es sobreyectiva.
Si g es sobreyectiva, entonces f o g es sobreyectiva.
Si f y g son sobreyectivas, entonces f o g es
sobreyectiva.
Si f y g son biyectivas, entonces f o g es biyectiva.
HASTA LA
PRXIMA
CLASE