Lecture 2

MATEMÁTICAS DISCRETAS
Marco E. Benalcázar, Ph.D.
09 de abril de 2019
INTRODUCCIÓN
Ejercicio
Considere que una base de datos conteniendo la información de los

clientes de un banco está protegida mediante una clave numérica
compuesta por 15 dígitos 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 también que al programador se
le olvidó restringir el número 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 información
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,
cuánto tiempo tendrá que esperar el hacker para poder acceder a la
base de datos? Indique la respuesta en años.
Ejercicio
Considere que una base de datos conteniendo la información de los

clientes de un banco está protegida mediante una clave numérica
compuesta por 15 dígitos 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 también que al programador se
le olvidó restringir el número 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 información
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,
cuánto tiempo tendrá que esperar el hacker para poder acceder a la
base de datos? Indique la respuesta en años.
R: 31.71 años
MATEMÁTICAS
DISCRETAS
Matemáticas Discretas
➢ Las matemáticas discretas son una parte de la matemática que

permiten el estudio de sistemas y conjuntos discretos: finitos contables
o infinitos contables.
➢ El computador digital es un sistema discreto

(tiene un número contable de estados)
➢ Muchas propiedades de los sistemas de computación digital pueden

comprenderse e interpretarse en el marco de referencia de los sistemas
matemáticos discretos.
➢ Las matemáticas discretas incluyen el estudio de teoría de conjuntos,

teoría de números, lógica, métodos de conteo, análisis de complejidad
espacial y temporal de algoritmos, teoría de grafos, probabilidad
(distribuciones sobre variables discretas), criptografía, entre otros.
Introducción (1/4)
¿Cuántos estudiantes hay en la clase?

Introducción (2/4)
¿Cuán complicado le resultó encontrar la respuesta?

¿De cuántas maneras distintas se
¿Cuántos estados tiene el cubo rubik?
pueden ordenar las 52 cartas de una
baraja?
Introducción (3/4)

¿De cuántas maneras distintas se
¿Cuántos estados tiene el cubo rubik?
pueden ordenar las 52 cartas de una
baraja?

Introducción (4/4)
Máquina de Turing
Temas e Importancia de Matemáticas
Discretas
Link: https://ivyleaguecenter.wordpress.com/2015/03/17/why-discrete-math-is-very-important/
EMPECEMOS EL
CURSO
CONJUNTOS
Teoría de Conjuntos (1)
Conjunto: Es una colección de distintos elementos u objetos. El orden de
los elementos no se toma en cuenta.
Los elementos de un conjunto también 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 notación se usa para conjuntos

finitos grandes o infinitos.
E=
Este tipo de notación se usa para conjuntos

finitos pequeños
Teoría de Conjuntos: Notación
A = {0,1, 2,3}
Usualmente, los conjuntos se denotan con letras mayúsculas A, B, X, Y, . . .;
mientras que sus elementos se denotan con letras minúsculas a, b, x, y, . . .
0 pertenece al conjunto A: 0A
10 no pertenece al conjunto A: 10A cardinal
El tamaño 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 Números: Diagramas de Venn
(1/2)
números completos
En algunos casos también se considera al 0 como número natural.

Conjuntos de Números: Diagramas de Venn
(2/2)
0
Teoría de Conjuntos: Algunas Definiciones (1)
Conjunto vacío
Conjuntos iguales: Los conjuntos X e Y son iguales si y sólo si
Ejemplos:
A está contenido en B B contiene a A

Conjunto Infinito Contable: Un conjunto A es un conjunto infinito
contable si se puede establecer una correspondencia uno a uno
(i.e., biyección) entre los elementos de A y los elementos de +.
Ejemplo: El conjunto + es un conjunto infinito contable porque, por

ejemplo, se puede establecer una correspondencia uno a uno entre cada
elemento x+ y sí mismo a través de la función biyectiva f(x) = x, con f:
+  +.
La biyección se estudiará más adelante.
Los conjuntos contables se pueden listar.
Ejemplo: El conjunto  es un conjunto infinito no contable.
La demostración está en el siguiente slide.

Teorema: El conjunto  es un conjunto infinito no contable.
Demostración: La demostración se hará mediante una prueba por contradicción, al igual que en el caso del
problema de la parada.
1. Asumamos que el conjunto  es un conjunto infinito contable.
2. Si  es un conjunto contable, entonces el intervalo continuo [0,1] debe ser también un conjunto contable.
3. Si el conjunto [0,1] es contable, entonces se puede establecer una correspondencia uno a uno entre cada
elemento ri[0,1] y cada elemento de +. Expresemos esta correspondencia mediante la siguiente tabla con
infinitas filas:
1 r1 = 0.d11d12d13d14 …
2 r2 = 0.d21d22d23d24 …
3 r3 = 0.d31d32d33d34 …
4 r4 = 0.d41d42d43d44 …
… …
En la tabla anterior se tiene que dij{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. Ahora consideremos el número a[0,1] definido
como a = 0.a1a2a3a4… con ai  dii para todo i+. A esta forma de construir el número a se llama diagonalización
de Cantor: http://mathworld.wolfram.com/CantorDiagonalMethod.html.
4. Note que el número a es diferente de cualquier número ri de la tabla anterior debido a que, al menos,
difiere en el valor de la diagonal principal. Por lo tanto, el número a no está contenido en la lista anterior, lo
cual contradice lo establecido en la proposición 1. Por lo tanto, se concluye que  es un conjunto infinito no
contable tal que || > |+|. ¿Qué pasa si se añade el número a la tabla anterior?
Teoría de Conjuntos: Ejercicios
Ejemplo: diga cuáles de las siguientes afirmaciones son correctas:

Teoría de Conjuntos: Ejercicios
Ejemplo: diga cuáles de las siguientes afirmaciones son correctas:
R: a, d y f
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
Operaciones entre Conjuntos
➢ Unión
➢ Intersección
➢ Diferencia
➢ Complemento
Unión Intersección Diferencia: Set 1 – Set2 Complemento
Para reforzar los conocimientos se debe leer el capítulo I de la siguiente referencia:
S. Lipschutz and M. Lipson, Matemáticas Discretas (3ra edición), McGrawHill, 2009.

Paradoja de Bertrand Russell
Paradoja: Considere el conjunto S cuyos elementos son todos aquellos
conjuntos (y solo aquellos) que no son miembros de sí mismos:
S = {X: X  X}.
Pregunta: ¿S pertenece a (o es miembro de) S?
a) Si S pertenece a S, entonces S no es un miembro de sí mismo, y

por lo tanto S  S.
b) Por otra parte, si S  S, entonces S pertenece a S.

Bertrand Russell
(1872–1970)
En cualquier caso, tenemos una contradicción.
Por lo tanto, debemos concluir que {X: X  X} no es un conjunto.
El descubrimiento de Russell tuvo un profundo impacto en las matemáticas porque, a

pesar de que su contradicción puede hacerse desaparecer con una teoría axiomática de
conjuntos, su existencia hizo que la gente se preguntara si existía otras
contradicciones.
En 1931, Kurt Gödel demostró que no es posible demostrar, matemáticamente de

manera rigurosa, que las matemáticas están libres de contradicciones.
RELACIONES Y
FUNCIONES
Pares Ordenados
Definición: Dados los elementos a y b, la expresión (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
Definición: Dados dos conjuntos A y B, el producto cartesiano de A y B,

denotado mediante AB, es el conjunto de todos los pares ordenados (a,b), con
a A y b B.
AB = {(a,b) | a A y b B}
| AB | = | A |*| B |
Ejemplos:
Relaciones
Definición: Dados dos conjuntos A y B, una relación R de A a B es un

subconjunto de AB. Dado un par ordenado (a,b) de AB, 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
Función = “mapeo” = “transformación” = “máquina funcional”

Definición: 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 colección de estas
asignaciones se denomina función de A en B.
Ejemplos: Dominio
Rango
Función No es función
Funciones: Function Machines
Machine learning (aprendizaje de máquina)

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 función f: A  B es inyectiva ssi cada elemento del
conjunto B tiene a lo sumo una anti-imagen en A.
F. Sobreyectiva: Una función f: A  B es sobreyectiva ssi cada
elemento del conjunto B es la imagen de como mínimo un elemento de A.
F. Biyectiva: Una función f: A  B es biyectiva si es inyectiva y al mismo
tiempo sobreyectiva.
|P| = |C|
Funciones: Inyectividad, Sobreyectividad y
Biyectividad
Ejemplo: Pruebe que la función f: +  + : f (n) = 2n + 1 es una función inyectiva (uno a
uno), pero no sobreyectiva.
➢ Si f es inyectiva se debe cumplir que para todos los enteros positivos (dominio) 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 función f es inyectiva.
➢ Si f es sobreyectiva se debe cumplir que para cada elemento del rango de f (+ en
este caso) existe un elemento del dominio de f (+ en este caso) tal que f(a) = b.
➢ La función f no es sobreyectiva puesto que su rango es sólo el conjunto de los

números enteros impares positivos y no todo el conjunto de enteros positivos, + .
➢ En consecuencia, la función f no es biyectiva.
Nota: En matemáticas se prueba que una proposición 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 función, ésta tiene que ser biyectiva.
F. Compuesta: La composición de f con g se denota mediante (f◦g)(x) = f (g(x))

Función Compuesta: Demostración
Proposición: Sean las funciones f:    y g:   . Si f y g son

funciones biyectivas, entonces la función compuesta, f◦g es biyectiva.
Demostración:
Inyectividad: Si la función 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 números 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 queríamos demostrar. Por lo tanto, f ◦ g es inyectiva o uno a
uno.
Sobreyectividad: Si la función 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 queríamos probar. Por lo tanto, la
función f ◦ g es sobreyectiva.
En función de las dos pruebas anteriores, podemos concluir que si f y g son funciones
biyectivas, entonces la función compuesta, f ◦ g, es biyectiva.
Función Compuesta: Demostración
Proposición: Sif: X  Y y g: Y  Z son funciones inyectivas, entonces la

función compuesta, f◦g también es inyectiva.
Demostración:
(realizar esta demostración como ejercicio de repaso)
Función Discreta
Definición: Una función f es discreta cuando su dominio pertenece al

conjunto de los números enteros y el rango es el conjunto de los números
reales:
f:   
Ejemplo:
f (n) = 2n permite calcular el número de vectores binarios n-dimensionales.

f (n) = n! permite calcular el factorial del número 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: Función cuyo dominio está formado, ya sea por todos los números
enteros comprendidos entre dos números enteros dados, o por todos los números
enteros mayores o iguales que un número entero dado.
Ejemplo: Suponga que una persona decide contar sus ancestros: él tiene 2 padres,
4 abuelos, 8 bisabuelos, etc. Estos números pueden ser escritos en una fila de la
siguiente manera:
2, 4, 8, … Indica que sigue la secuencia
Estos números se pueden etiquetar con el número entero que indica la posición
que ocupan en la fila:
En función de los datos de la tabla anterior se tiene que el número de ancestros

Ak para la posición 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)
Representación de secuencias: Usualmente las secuencias se representan por
una sucesión de elementos escritos en una fila. Recuerde que en las secuencias
importa el orden en que aparecen los elementos.
Subíndice
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 están 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 están 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 están 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 están 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.
Fórmulas Explícitas para Secuencias
La fórmula explícita para la secuencia sk, sk+1, sk+2, sk+3,… es una fórmula que indica
cómo calcular el término sk en función del valor de k.
Ejemplos:
Encontrar una fórmula explícita para la siguiente secuencia:
R:
Notación de Sumatoria o Notación Sigma
Si m y n son enteros tales que m  n, entonces la notación
Límite superior de la sumatoria
Índice de la sumatoria Límite inferior de la sumatoria
denota la suma de los términos de la secuencia Sn = a1,…, am,…, an, ... comprendidos
entre la posición m y n.
2
Ejemplos:
1
Notación de Producto
Si m y n son enteros tales que m  n, entonces la notación
Límite superior del producto
Índice del producto Límite inferior del producto
denota el producto de los términos de la secuencia Sn = a1,…, am,…, an, ...

comprendidos entre la posición m y n.
Ejemplos:
APLICACIÓN
CURIOSA
Sumatoria Curiosa: Suma de la Secuencia de
Números Naturales (1)
¿Cuál es el resultado de sumar todos los números naturales?
S=1+2+3+…
Serie de Grandi
(demuestra que no existen las
súper tareas = infinito número de
acciones en un lapso de tiempo
finito)
Para resolver esta serie use: 1 - S1
S1
¿Cuál es el resultado de sumar todos los números 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 opinión, como físico, el infinito no tiene lugar en los
observables físicos, y por lo tanto no hay lugar en la Naturaleza. David
Hilbert, uno de los padres fundadores de la mecánica cuántica, describe el
infinito como "una abstracción matemática que no tiene un contenido físico””.
Dr. Tony Padilla
▪ 1862 - 1943
▪Teoría de invariantes
▪ Axiomatización de la geometría
▪ Noción de espacio de Hilbert
▪ Distinción entre matemáticas y metamáticas (estudio matemático
de los fundamentos de las matemáticas)
▪ Profesor asociado del centro de astronomía y física de partículas

de la universidad de Nottingham
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
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.

Sea g una función de X a Y y f una función de Y a Z. Para

cada afirmación en los ejercicios, si es verdadera,
demuéstrela; 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
PRÓXIMA
CLASE

Lecture 2

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Lecture 2

Cargado por

Copyright:

Formatos disponibles

MATEMÁTICAS DISCRETAS

Marco E. Benalcázar, Ph.D.

Considere que una base de datos conteniendo la información de los

Considere que una base de datos conteniendo la información de los

➢ Las matemáticas discretas son una parte de la matemática que

➢ El computador digital es un sistema discreto

➢ Muchas propiedades de los sistemas de computación digital pueden

➢ Las matemáticas discretas incluyen el estudio de teoría de conjuntos,

¿Cuántos estudiantes hay en la clase?

¿Cuántos estudiantes hay en la clase?

¿Cuán complicado le resultó encontrar la respuesta?

¿Cuántos estudiantes hay en la clase?

¿Cuán complicado le resultó encontrar la respuesta?

¿Cuán complicado le resultó encontrar la respuesta?

Los elementos de un conjunto también se denominan miembros.

D= Propiedad necesaria para ser

Este tipo de notación se usa para conjuntos

Este tipo de notación se usa para conjuntos

0 pertenece al conjunto A: 0A

10 no pertenece al conjunto A: 10A cardinal

El tamaño del conjunto A es 4: |A| = card(A) = 4

En algunos casos también se considera al 0 como número natural.

Conjuntos iguales: Los conjuntos X e Y son iguales si y sólo si

A está contenido en B B contiene a A

Ejemplo: El conjunto + es un conjunto infinito contable porque, por

La biyección se estudiará más adelante.

Los conjuntos contables se pueden listar.

Ejemplo: El conjunto  es un conjunto infinito no contable.

La demostración está en el siguiente slide.

1. Asumamos que el conjunto  es un conjunto infinito contable.

Ejemplo: diga cuáles de las siguientes afirmaciones son correctas:

Ejemplo: diga cuáles de las siguientes afirmaciones son correctas:

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

Unión Intersección Diferencia: Set 1 – Set2 Complemento

Para reforzar los conocimientos se debe leer el capítulo I de la siguiente referencia:

S. Lipschutz and M. Lipson, Matemáticas Discretas (3ra edición), McGrawHill, 2009.

Pregunta: ¿S pertenece a (o es miembro de) S?

a) Si S pertenece a S, entonces S no es un miembro de sí mismo, y

b) Por otra parte, si S  S, entonces S pertenece a S.

Por lo tanto, debemos concluir que {X: X  X} no es un conjunto.

El descubrimiento de Russell tuvo un profundo impacto en las matemáticas porque, a

En 1931, Kurt Gödel demostró que no es posible demostrar, matemáticamente de

Definición: Dados los elementos a y b, la expresión (a,b) denota un par

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

Definición: Dados dos conjuntos A y B, el producto cartesiano de A y B,

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

Definición: Dados dos conjuntos A y B, una relación R de A a B es un

Función = “mapeo” = “transformación” = “máquina funcional”

Machine learning (aprendizaje de máquina)

Funciones sobre conjuntos infinitos

Funciones sobre conjuntos infinitos

➢ La función f no es sobreyectiva puesto que su rango es sólo el conjunto de los

➢ En consecuencia, la función f no es biyectiva.

F. Compuesta: La composición de f con g se denota mediante (f◦g)(x) = f (g(x))

Proposición: Sean las funciones f:    y g:   . Si f y g son

Sobreyectividad: Si la función compuesta f ◦ g es sobreyectiva, entonces se debe cumplir que

Proposición: Sif: X  Y y g: Y  Z son funciones inyectivas, entonces la

Definición: Una función f es discreta cuando su dominio pertenece al

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

2, 4, 8, … Indica que sigue la secuencia

En función de los datos de la tabla anterior se tiene que el número de ancestros

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