www.academia.

edu (Adolfo Guzmn Arenas)

alum.mit.edu/www/aguzman
Teora de la Computacin
Adolfo Guzmn Arenas
a.guzman@acm.org
(55) 5729 6000 x56569
Skype: aguzman
a-guzman.blogspot.com
Lu, Mie 10-12 saln 5 pb
Cambios propuestos.
Tres sesiones en vez de dos.
Lun Mar Mie Jue Vie
8-10 MinDat MinDat MinDat
10-12 TeoCo TeoCo
12-14 Sem CIC
14-16 TeoCo
16-18
18-20
20-22
Texto, apuntes, exmenes
Introduction to the theory of computation
Second edition
Michael Sipser
Thomson, 2006.
Est en la biblioteca del CIC + yo
Sitio de los apuntes de TeoCo
http://www.divshare.com/folder/620778-f76
Calificar promediando tareas y exmenes.
4 5 tareas vencen a la semana.
Entregar tarde pierde puntos.
2 3 exmenes cuentan lo doble que las tareas.
Son presenciales.
Una semana despus de entregar calificaciones de un
exmen, ya no se aceptan reclamaciones.
a.guzman@acm.org (55) 5729 6000 x56569 Cubo 33 p3
Cuando me enven correos, poner TeoCo en algn lugar en el
ASUNTO.
Calificacin mnima aprobatoria: 8.
La calificacin final > x.5 sube a x+1;
< x.5 baja a x.
Cmo aprender
Estudie. Haga las tareas
Es un curso terico. La teora se aprende con la
prctica.
Estudie. Pregunte. Dude. Vea otros libros.
Haga ejercicios. Resuelva. Demuestre. Deduzca.
Pueden trabajar en grupo
En la vida real, usted est solo.
Su avance depende de usted mismo.
Resuelva sus ejercicios.
Usted solo.
Compare sus soluciones con las de otros.
procastination: Dejar las cosas para
ms tarde. maana.
Si trabaja en grupo, redacte sus
soluciones individualmente.
Plagio: n trabajos iguales reciben
la calificacin c/n.
Ingls: Si no sabe, aprndalo.
Ms til que escribir a mquina.
ALGUNOS LIBROS EN LA BIBLIOTECA DEL CIC
Catlogo en lnea: www.cic.ipn.mx --
Anderson. Automata Theory with modern applications.
BrookShear. Theory of Computation + en espaol.
Cohen. Introduction to Computer Theory.
Hopcroft & Ullman. Introduction to automata theory + en
espaol.
Lewis. Elements of the theory of computation.
Harrison. Introtudction to formal language theory.
Wood. Theory of computation.
Linz. Formal languages & automata.
Sudkamp. Languages & machines.
Elaine Rich. Automata, Computability, Complexity. Trae
aplicaciones y usos del contenido del curso.
T. S. Cover. Elements of Information Theory. El cap. 14
trae Complejidad de Kolmogorov (para nuestro cap. 6).
Teora de la Computacin
Autmatas y lenguajes.
Autmatas finitos lenguajes regulares.
Autmatas de pila lenguajes libres de contexto.
Mquinas de Turing lenguajes sensibles al contexto.
Computabilidad.
Qu se puede computar. Qu cosas nunca podr
resolver. Problemas insolubles.
Complejidad.
De lo que se puede computar, qu tanto tiempo se
toma.
Cunto espacio ocupa.
Para qu sirve
Para hacer analizadores sintcticos.
Para hacer intrpretes.
Para hacer compiladores.
Entender mejor cmo disear un lenguaje
de programacin.
Nos da dominio matemtico de qu
problemas son insolubles, difciles
(exponenciales), fciles (polinmicos).
Undergraduate course.
Graduate course.
M.I.T. courses
Advanced graduate course.
Conjuntos
Conjunto grupo de elementos
representados como una unidad.
Pueden contener cualquier tipo de objetos.
Nmeros, smbolos, an otros conjuntos.
Descripcin: listado: {3, 7, 21}.
El orden no importa.
No se repiten elementos.
e, e
Subconjunto: _, c
Superconjunto , _
Conjunto. No se valen elementos repetidos.
{7 9 8} y {7 7 9 8 8 8} son el mismo conjunto.
El orden no importa. {7 9 8} y {8 9 7} son el mismo
conjunto. Se usan { }.
Bolsa (multisets). Se valen elementos repetidos.
{7 9 8} y {7 7 9 8 8 8} son dos bolsas distintas.
Lista o secuencia. El orden importa. Se valen elementos
repetidos.
Hay un primer elemento, un segundo
7, 9, 8 es una secuencia de tres elementos, el primero es
7, el segundo es 8
Conjuntos
Conjunto infinito.
Los nmeros naturales N = {1, 2, 3}.
Los enteros Z = {, -2, -2, 0, 1, 2, 3}.
Z
m
={0, 1, 2, 3, 4, m-1} Ej: Z
3
= {0, 1, 2}

El conjunto vaco { } C. Contiene cero elementos.
{n | n obedece a tal cosa} {n | neN y n>3}. Los
naturales mayores que 3.
Otro ejemplo: {n | n=m
2
donde meN} los cuadrados
perfectos.
Interseccin A B
Unin A B
Complemento A
Diagrama de Venn
Una particin de un conjunto S es una
coleccin de varios subconjuntos no
vacos S
1
, S
2
, , S
k
de S tales que los
subconjuntos son mutuamente exclusivos
(S
i
S
j
=C cuando i=j) y colectivamente
exhaustivos (S
i
=S).
i
Cada elemento de S est en exactamente
uno de esos subconjuntos.
Ejemplo. Para S = {a b c d e f g},
una particin de S es {a c} {b e f g} {d}
Otra particin es {a} {b} {c d e f g}
Otra particin es {a b c d e f g}
Pero {a c} {b e f g} {c d} no es.
Secuencias, tuplas
3, 5, 7 secuencia el orden importa
Se valen elementos repetidos
Se escribe (3, 5, 7)
k-tuplas, n-tuplas
Secuencias de k elementos
Tupla o par o do secuencia de dos
elementos (Juan, 28).
Tripleta o tro secuencia de tres elementos
(Juan, 28, $5,000).
Producto cartesiano
A x B = el conjunto de dos donde el
primer elemento es de A y el segundo es
de B.
{1, 2} x {a, b, c} = { (1, a), (1, b), (1, c), (2, a),
(2, b), (2, c) }
A x B x C
A
1
x A
2
x x A
k
= { (a
1
, a
2
, a
k
) | a
i
e A
i
}
A x A x A (n veces) = A
n


Funcin
Funcin. Objeto que establece una relacin
entre una entrada y una salida.
La misma entrada siempre produce la misma
salida.
Se escribe f(a) = b
La funcin es f su entrada es a su salida es b
Tambin se llama mapeo
Se dice que f mapea a en b
Ejemplo: el valor absoluto.
Funcin
Dominio: el conjunto de entradas posibles
de una funcin.
Rango: el conjunto de valores posibles de
una funcin.
f : D R
Ejemplo, Para abs, si trabajo con
enteros, abs : Z Z
Para + si trabajo con enteros
+ : Z x Z Z
Funcin
Una funcin no necesita usar todos los
elementos de su rango.
Ejemplo: abs : Z Z
el valor -1 del rango de abs no es usado
abs nunca regresa -1 como valor
Ejemplo: cuadrado(x) = x * x
cuadrado : Z Z
No todos los enteros del rango se usan: -14 no se usa
Funcin onto. Una funcin es onto si usa
(cubre a) todos los elementos de su rango.
Ejemplo: f(x) = x+1
Funcin uno a uno. F es uno a uno si
elementos distintos de su dominio mapean
a elementos distintos del rango.
Correspondencia. Una funcin que es uno
a uno y onto se llama correspondencia.
Funcin
Cmo se especifica una funcin
Con una tabla de valores
x f(x)
1 1
2 4
3 9
4 16
Como un conjunto de pares: { (1 1) (2 4) (3 9)
(4 16) }
Ojo: no se vale { (1 1) (2 4) (3 9) (4 16) (1 3)}.
No es funcin.
Funcin
Cmo se especifica una funcin
Con una frmula que indique cmo se calcula la
salida a partir de la entrada
f(x) = x
2
+ 4
h(x, y) = x - xy
Ejemplo: g : Z
4
x Z
4
Z
4
Funcin
f : A
1
x A
2
xA
n
R
Los a
i
son los argumentos de la funcin f
Una funcin con k argumentos es una
funcin de aridad k
o relacin k-aria (k-ary function en ingls)
funcin binaria k=2
funcin unaria k=1
Notacin infijo a + b
Notacin prefijo suma(a, b).
Predicado
Predicado o propiedad. Es una funcin
cuyo rango es {cierto, falso} {T, F} {V,
F}
Ejemplo: par(x)
par(4) = T; par (5) = F
Relacin
Un predicado cuyo dominio es el conjunto
de tuplas A x A x x A es una relacin
o relacin k-aria
o relacin k-aria en A.
Ejemplo: Una relacin binaria es r(a 4)=T, r(b 6)=T,
r(c 8)=T.
Tambin se escribe como un conjunto de las tuplas
que provocan el valor T: r={(a 4), (b 6), (c, 8)}
Ejemplo: { ( 2, 3, 4), (3, 10, 11), (2, 3, 5), (1, 2, 3), (3,
4, 11), (3, 4, 12)} es una relacin.
Significa que rel(2, 3, 4) = T; rel(3,10,11) =T;
rel(3, 4, 12) = T Es la relacin entrem
O sea: una relacin es un subconjunto
de su dominio. Son los elementos del
dominio que s pertenecen a la relacin.
Ejemplo: si A = {1 2 3}
Defino R:AA {T, F} como R = {{1 2} {1 3} {2 3}}
R es la relacin menor que definida en {1 2 3} {1 2 3}
Es una relacin binaria.
Ejemplo: si A = {1 2 3}
Otra relacin sobre AA es G = {{2 2} {2 3} {3 1} {3 2}}.
Los elementos del conjunto son los
dos que hacen cierta a la relacin.
Relacin
Una relacin binaria a menudo es infija
Ejemplo: menor que se escribe con < as:
3 < 4 3 < 5 2 < 6
a R b significa que a R b es T (cierta)
R(a, b) significa que R(a, b) es T
R(a
1
, a
2
, a
n
) significa que R(a
1
, a
2
, a
n
)
es T
A veces se escribe (en Lisp, por ejemplo)
(R a
1
, a
2
, a
n
)

Es como si dijera (ama Luis Ana)
que significa (ama Luis Ana) = T
o sea, es cierto que Luis ama a Ana.
Relacin
Ejemplo: el juego piedra, papel tijeras.
Cada jugador escoge un objeto y lo
representa con seas.
Si el objeto escogido es el mismo, se repite
Si son distintos, gana alguien segn las
reglas.
le gana tijeras papel piedra
tijeras F T F
papel F F T
piedra T F F
Aqu veo que gana(tijera, papel) = T
gana (piedra, papel) = F
Relacin
Ejemplo: el juego piedra, papel tijeras.
Cada jugador escoge un objeto y lo
representa con seas
Si el objeto escogido es el mismo, se repite
Si son distintos, gana alguien segn las
reglas
gana tijeras papel piedra
tijeras F T F
papel F F T
piedra T F F
A veces es ms fcil describir un predicado como
conjunto en vez de como funcin
El predicado P : D {T, F} puede escribirse como
{D, S} donde S = { a e D | P(a) = T}
Ejemplo: { {tijeras, papel, piedra}
{ (tijeras, papel), (papel, piedra),
(piedra, tijeras) } }
Relacin
Ejemplo: el juego piedra, papel tijeras.
Cada jugador escoge un objeto y lo
representa con seas
Si el objeto escogido es el mismo, se repite
Si son distintos, gana alguien segn las
reglas
gana tijeras papel piedra
tijeras F T F
papel F F T
piedra T F F
A veces es ms fcil describir un predicado como
conjunto en vez de como funcin
El predicado P : D {T, F} puede escribirse como
{D, S} donde S = { a e D | P(a) = T}
Ejemplo: { {tijeras, papel, piedra}
{ (tijeras, papel), (papel, piedra),
(piedra, tijeras) } }
O simplemente como S si el dominio D es obvio
por contexto:
{ (tijeras, papel), (papel, piedra),
(piedra, tijeras) }
Una relacin es reflexiva si R(a,a) es cierta.
Ejemplo. =. Ejemplo. >. Ejemplo: > no es.
Una relacin es simtrica si R(a,b) implica
R(b, a).
Ejemplo. pariente. Ejemplo. conectado.
Ejemplo. arriba_de no es.
Una relacin es transitiva si R(a,b) y R(b,c)
implica R(a,c).
Ejemplo. >. Ejemplo. =. Ejemplo. arriba_de.
Ejemplo. conoce_a no es.
Relacin de equivalencia
Una relacin de equivalencia es aqulla que
es reflexiva, simtrica y transitiva.
Ejemplo. =
Ejemplo.
MOD 3
. a
MOD 3
b si a mod 3 = b mod 3.
Ejemplo. misma_longitud.
Ejemplo. estudia_en_la_misma_escuela.
Ejemplo. a_100_metros no es.
Una relacin de equivalencia particiona un
conjunto en clases disjuntas.
Ejemplo. La relacin
MOD 3
particiona el
conjunto Z
+
de enteros positivos en tres
clases
Se llaman clases de equivalencia.
Z
+
= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 }
cl
0
= {0, 3, 6, 9, 12, }
cl
1
= { 1, 4, 7, 10, 13, }
cl
2
= { 2, 5, 8, 11, }
Grficas
Grfica no dirigida. O grfica o grafo
simplemente. Conjunto de puntos con lneas
conectando algunos puntos.
Vrtices (nodos). Lados (aristas). Grado
de un nodo.
G = (V, E)

(a) ( {1, 2, 3, 4, 5}, {(1, 2), (2, 3), (3, 4), (4, 5), (5, 1)} )
(b) ( {1, 2, 3, 4}, {(1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4)} )
Grficas
Grfica dirigida.
Hipergrafos.
Grfica etiquetada.
Grficas
Grfica dirigida
Hipergrafos
Grfica etiquetada
Subgrfica. G es una subgrfica de H
cuando los nodos de G son un
subconjunto de los nodos de H
Y los lados de G son los lados de H en los
nodos correspondientes.
Grficas
Trayectoria. Secuencia de nodos
conectados por lados.
Grfica conexa. Cuando hay una
trayectoria entre cada dos nodos.
Grficas
Trayectoria. Secuencia de nodos
conectados por lados.
Grfica conexa. Cuando hay una
trayectoria entre cada dos nodos.
Ciclo. Trayectoria que empieza y termina
en el mismo nodo.
Ciclo simple. Ciclo con 3 nodos al menos,
y solo el primero y el ltimo repiten.
rbol
rbol. Grfica conexa sin ciclos simples.
Raz. Hoja. Altura.
Grfica dirigida
Grfica dirigida. Cuando entre dos nodos
hay flechas en vez de lneas. Grado de
salida (outdegree). Grado de entrada
(indegree).
G = (V, E)
Grfica dirigida
La grfica de la relacin le gana.
Grfica dirigida
Trayectoria dirigida. Una trayectoria
donde las flechas apuntan en la misma
direccin.
Grfica fuertemente conexa. Cuando
una trayectoria dirigida conecta
cualesquiera dos puntos.
Cadenas y lenguajes
Alfabeto. Conjunto finito no vaco.
Smbolo o letra. Los miembros del
alfabeto.
Ejemplo: E
2
= {a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p,
q, r, s, t, u, v, w, x, y, z}
Ejemplo: E
1
= {0, 1}
Ejemplo: E
3
= {1}
Ejemplo: E
4
= { (, ) }
Cadenas y lenguajes
Alfabeto. Conjunto finito no vaco.
Smbolo o letra. Los miembros del
alfabeto
Cadena sobre un alfabeto. Secuencia
finita de smbolos de ese alfabeto.
Ejemplo: para E
1
= {0, 1} una cadena es 0 1 1 1 0 1 0 0
Ejemplo: para E
2
= {a, b, c, , z} una cadena es
k i k i r i m i a u
Ejemplo: para E
3
= {1} una cadena es 1 1 1 1 1
Ejemplo: para E
4
= { (, ) } una cadena es ( ) ( ( ( )
Cadenas y lenguajes
Alfabeto. Conjunto finito no vaco.
Smbolo o letra. Los miembros del
alfabeto
Cadena sobre un alfabeto. Secuencia
finita de smbolos de ese alfabeto.
Longitud de una cadena. Cuntos
caracteres.
Cadena vaca. La de longitud cero.
La represento por c
En algunos textos se representa por .
No es lo mismo { } el conjunto vaco que {c}, el conjunto
que contiene una cadena, la cadena vaca.
El primero tiene 0 miembros, el segundo conjunto tiene un
miembro o elemento.
El espacio en blanco. Como caracter, lo represento por .
Cadenas y lenguajes
Si una cadena w tiene longitud n, la
represento por
w = w
1
w
2
w
n
Inversa de una cadena. Se obtiene
escribiendo los caracteres de la cadena
en el orden inverso.
w
r
= w
n
w
n-1
w
2
w
1
Subcadena. Concatenacin. w
k

Orden lexicogrfico.
Es el orden del alfabeto, excepto que las
cadenas ms cortas preceden a las ms largas.
Ejemplo. Sobre el alfabeto {0, 1} el orden de las
cadenas es c, 0, 1, 00, 01, 10, 11, 000, 001,
Given two partially ordered sets A and B, the
lexicographical order on the Cartesian product A B is
defined as
(a,b) (a,b) if and only if a < a or (a = a and b b).
The result is a partial order. If A and B are totally ordered,
then the result is a total order as well.
Subcadena. s es subcadena de w si y
solo si ocurre contiguamente como parte
de w.
Ejemplo. aaa es subcadena de aaabbbaaa
aaaa no es una subcadena de aaabbbaaa.
Prefijo. Una cadena s es prefijo de w si y
solo si existe una x tal que sx=w.
Prefijo propio. Si adems s = w.
Sufijo. Una cadena s es sufijo de w si y
solo si existe una x tal que w = xs.
Sufijo propio. Si adems s = w.
Lenguaje
Un lenguaje sobre un alfabeto es un
conjunto de cadenas sobre ese alfabeto.
Tambin se define un lenguaje (un conjunto,
en general) por la propiedad que debe
cumplir.
{w | w tenga la propiedad P}.
Sea E = {a, b}. Ejemplo: S = {w | w termine con
a}.
Entonces S = {a, aa, ba, aaa, aba, baa, bba, ..}
Mal ejemplo: S = {a, aa, ba, ca, aaa, aba, ..}
-Ejemplo. Para E = {a, b} un lenguaje es {a, aa, aaa,
aaaa}. Otro lenguaje: T = {a, aaa, aba, aaaa, aaba, abaa,
abba, aaaaa, aaaba, }.
-Ejemplo: {c}. Ejemplo. {b}. Ejemplo. { }.
-Ejemplo: {a bb c} no es.
Los lenguajes pueden ser finitos o infinitos.
Concatenando lenguajes
Definicin. Sean L
1
y L
2
dos lenguajes.
Una cadena w est en el lenguaje L
1
L
2
si y
solo si est formada por dos subcadenas
w=w
1
w
2
tales que w
1
eL
1
y w
2
eL
2
.
Ejemplo. L
1
={a, bb, baa} L
2
= {aa, b}
L
1
L
2
= {aaa, ab, bbaa, bbb, baaaa, baab}.
No estn en L
1
L
2
: a, bb, baa, aa, b, baabaa y
muchas otras.
Tambin se escribe L1 - L2 con un punto en medio.
L*. L
+
Lgica booleana
Lgica booleana. Sistema con
valores booleanos T y F 1 y 0
Operaciones booleanas
Negacin NOT

T = F F = T
Lgica booleana
Lgica booleana. Sistema con
valores booleanos T y F 1 y 0
Operaciones booleanas
Negacin NOT
Conjuncin AND .
0 . 0 = 0 1 . 1 = 1
1 . 0 = 0 0 . 1 = 0
Lgica booleana
Lgica booleana. Sistema con
valores booleanos T y F 1 y 0
Operaciones booleanas
Negacin NOT
Conjuncin AND .
Disyuncin OR v
0 v 0 = 0 1 v 1 = 1
1 v 0 = 1 0 v 1 = 1
Lgica booleana
Lgica booleana. Sistema con
valores booleanos T y F 1 y 0
Operaciones booleanas
Negacin NOT
Conjuncin AND .
Disyuncin OR v
Otras operaciones booleanas
OR exclusivo XOR
0 0 = 0 1 1 = 0
1 0 = 1 0 1 = 1
Lgica booleana
Lgica booleana. Sistema con
valores booleanos T y F 1 y 0
Operaciones booleanas
Negacin NOT
Conjuncin AND .
Disyuncin OR v
Otras operaciones booleanas
OR exclusivo XOR
Igualdad
0 0 = 1 1 1 = 1
1 0 = 0 0 1 = 0
Lgica booleana
Lgica booleana. Sistema con
valores booleanos T y F 1 y 0
Operaciones booleanas
Negacin NOT
Conjuncin AND .
Disyuncin OR v
Otras operaciones booleanas
OR exclusivo XOR
Igualdad
Implicacin
0 0 = 1 1 1 = 1
1 0 = 0 0 1 = 1
La implicacin es 0 si el primer operando es 1 y el
segundo es 0.
De lo contrario es 1.
Lgica booleana
Relaciones entre las operaciones.
En cada rengln las expresiones son
equivalentes.
P v Q ( P . Q)
P Q P v Q
P Q (P Q) . (Q P)
P Q (P Q)
Lgica booleana
Ley distributiva del producto sobre la
suma aritmtica.
a (b + c) = (a b) + (a c)
OJO El dual no es cierto. La suma no se distribuye
sobre la multiplicacin.
a + (b c) = (a + b) (a + c) no es cierta.
Lgica booleana
Ley distributiva del producto sobre la
suma a (b + c) = (a b) + (a c)
En Lgica booleana viene en dos
versiones:
P . (Q v R) es igual a (P . Q) v (P . R)
y su dual
P v (Q . R) es igual a (P v Q) . (P v R)
Ejemplo: Yo soy feliz si soy sano y (guapo rico).
F = S . (G v R) es lo mismo que
F = (S . G) v (S . R)
Ejemplo: Juan se muere si es degollado (tiene hepatitis y toma vino).
M = D v (H . V) es lo mismo que
M = (D v H) . (D v V)
lgebra booleana
(Es ms o menos lo mismo que Lgica
Booleana)
Es el lgebra de la Lgica Booleana.
Variante del lgebra ordinaria
Los valores de las variables son 0 y 1.
Los operadores son . v y algunos otros.
Lgica proposicional = Clculo proposicional = Clculo de
sentencias = Lgica de sentencias.
Sistema formal
Sus frmulas se interpretan como representando proposiciones.
Hay axiomas. Hay reglas de derivacin. (Ms en el Cap. 6).
Las frmulas que se derivan se llaman teoremas, y pueden
considerarse como ciertas. Derivacin . Demostracin .
Lgica proposicional con valores T y F. La interpretacin se
limita a variables con valores T y F ( 0 y 1). = Lgica Booleana.
Es una Lgica de Orden cero.
Lgica de primer orden
Lgica de primer orden = Lgica de Orden 0 ms
cuantificadores (, -) cuyas variables toman valor en
las constantes del Universo en cuestin.
Lgica proposicional con valores T y F. La interpretacin se
limita a variables con valores T y F ( 0 y 1). Es una Lgica de
Orden cero.
Lgica de segundo orden = Lgica de primer orden
donde los cuantificadores (, -) cuyas variables
toman valor en las constantes o en subconjuntos de
las constantes del Universo de Discurso.
Defininiciones, teoremas,
demostraciones
Definicin. Describe el objeto y nociones a
usar.
Es esencial la precisin.
Debe quedar claro qu es y qu no es.
Qu constituye un objeto y qu no constituye un
objeto.
Afirmacin matemtica. Expresa que cierto
objeto tiene cierta propiedad.
Puede ser cierta o no.
Debe ser precisa. Sin ambigedad en lo que dice.
No tiene sentido decir que una definicin es cierta o es falsa.
S tiene sentido: esta definicin es vaca (ningn objeto la
cumple).
Defininiciones, teoremas,
demostraciones
Demostracin. Argumento convincente
de que una afirmacin es cierta.
Debe ser a prueba de fuego.
Convencer en el sentido absoluto.
En la vida real las afirmaciones no son tan severas.
Puede haber una pequea duda sobre X, pero yo acepto X.
Ejemplo: evidencia para condenar o absolver a un sujeto.
En Matemticas, la evidencia no cuenta.
Un matemtico exige demostracin ms all de cualquier
duda.
Defininiciones, teoremas,
demostraciones
Teorema. Una afirmacin matemtica que
se ha demostrado que es cierta.
Lema. Corolario.
Haciendo demostraciones.
Tipos de demostraciones
Por construccin.
Por contradiccin.
Por induccin.
Por construccin. Si el teorema dice que un objeto debe
cumplir con ciertas propiedades, doy un mtodo de
construir el objeto tal que se cumplen esas propiedades.
Por contradiccin. Supongo que el objeto no cumple las
propiedades del teorema, y llego a un absurdo (a una
contradiccin).
Por induccin. Para demostrar que un conjunto infinito
de objetos cumple cierta propiedad,
(1)Demuestro cmo un subconjunto finito (pequeo) la
cumple.
(2) Supongo que un subconjunto de tamao i la cumple,
y demuestro que cualquier subconjunto de tamao i+1
tambin la cumple.
Base de la demostracin
Paso inductivo
Hiptesis de induccin
Ejemplo. Supongo que quiero demostrar
que los nmeros naturales N cumplen
con cierta propiedad P.
Es decir, que P(1) es cierta, tambin P(2),
P(3), etc.
Para demostrar que P es cierta para
cualquier nmero natural n,
1. Debo demostrar que P se cumple para un
nmero n pequeo, por ejemplo n =1.
2. Suponiendo que P es cierta para i, o sea,
P(i) es cierta,
Debo demostrar que P(i+1) es cierta.
Teorema. Para toda grfica G, la suma de
los grados de todos los nodos de G es un
nmero par.
Demostracin.

Teorema (una de las leyes de DeMorgan)
Para cualesquiera conjuntos A y B,
(A B) = A B
Demostracin.

Sugerencias para demostrar un
teorema
Sea paciente.
Demostrar un teorema toma tiempo.
Si no ve cmo, no se desespere. Toma
tiempo, a veces semanas o aos.
Vuelva a tomar el problema.
Vea la afirmacin que trata de demostrar.
Piense cmo. Qu quiere decir?
Haga unos ejemplos.
Regrese al problema unos minutos o unas
horas despus.
Sea limpio, cuidadoso.
Use figuras claras, textos claros.
Usted trata de entender el teorema. De ser
penetrante.
Ser descuidado lo hace ms difcil.
Otras personas deben entender su
demostracin. Debe quedar clara a todos.
Sea conciso.
La brevedad expone las ideas de alto nivel.
Sin perderse en detalles.
Use buena notacin matemtica.
Incluya lo suficiente de su razonamiento para que
el lector le entienda.
Apyese en teoremas ya conocidos.
Demostracin por construccin
Definicin. Una grfica es k-regular si
todos sus nodos son de grado k.
Teorema. Para cada nmero par n>2,
existe una grfica 3-regular de n nodos.
Demostracin.

Voy a construir una grfica 3-regular G=(V, E) con n>2
nodos. Sea + la adicin mdulo n.
V = {1, 2, n}
E = { {i, i+1} para i =1, n} { {i, i + (n/2)}
Qu dice? Que debe haber una grfica de n nodos,
todos los cuales tienen grado 3. (Para n par mayor a 2).
Demostracin por contradiccin
Juan observa que Ana entra desde el
jardn y no est mojada.
Juan concluye que no est lloviendo.
Porque si estuviera lloviendo Ana estara
mojada.
Pero la consecuencia es falsa.
Entonces no debe estar lloviendo.
Demostracin por contradiccin
Un nmero es racional cuando puede
expresarse como el cociente de dos
enteros
De lo contrario, es irracional.
Teorema. \2 es irracional.
Demostracin.
Supongo que \2 es racional. Entonces deben existir
enteros m y n tales que \ 2 = m/n, donde uno de ellos es
impar.
Elevando al cuadrado, 2 = m
2
/n
2
. O sea, 2n
2
= m
2
.
Aqu observo que m
2
es par, por lo que m debe ser par.
Entonces m=2k, por lo que 2n
2
= 4k
2
, o sea n
2
=2k
2
.
Es decir, n
2
es par, por lo que n tambin es par.
Pero m y n no pueden ser ambos pares.
He llegado a una contradiccin.
Entonces, nuestra suposicin es falsa, y \2 es irracional.
Demostracin por induccin
Teorema. El nmero de subconjuntos
posibles de un conjunto A de tamao n es
2
n
.
Demostracin.

Definicin. Una grfica es totalmente
conexa si existe un lado entre cada par de
nodos.
O sea, si un nodo tiene un lado a todos los
dems nodos.
Teorema. Una grfica totalmente conexa
de n nodos tiene n(n-1)/2 lados.
Demostracin.

Tarea 0. Vence la prxima clase
0.1. Todos los caballos son del mismo color.
Encuentre el error en la demostracin.
0.2. Demuestre que toda grfica con dos o ms
nodos tiene dos nodos con el mismo grado.
0.3. Encuentre la longitud mxima de un tubo
recto rgido delgado que puede pasar por una
zanja en esquina de 2m de ancho.
Me envan su solucin por e-correo (a.guzman@acm.org) ,
o me la entregan, o la meten por la puerta de mi cubo
(p3, ala N, cubo 75).










2m
2m
0.4. Demuestre: todos los tringulos ABC donde A
y B estn sobre un dimetro, y C est en la
circunferencia, son tringulos rectngulos.

A
B
C
C
C