§ 5.

9
Definiciones
generales
recursivas e
inducción
estructural

Preliminares
CM0246 Estructuras Discretas
Introducción § 5.9 Definiciones generales recursivas e inducción estructural
Conjuntos
definidos re-
cursivamente

Inducción Andrés Sicard Ramírez

estructural

Funciones
definidas re-
Universidad EAFIT
cursivamente

Referencias Semestre 2022-1

 § 5.9
Definiciones Preliminares
generales
recursivas e
inducción Convención
estructural
Los números asignados a los teoremas, ejemplos, ejercicios, figuras, y páginas en
Preliminares
estas diapositivas corresponden a los números asignados en el texto guía [Epp 2011].
Introducción

Conjuntos
definidos re-
cursivamente

Inducción
estructural

Funciones
definidas re-
cursivamente

Referencias
 § 5.9
Definiciones Introducción
generales
recursivas e
inducción Descripción
estructural
• La relación entre la inducción matemática (ordinaria o fuerte) y las definiciones
Preliminares recursivas se observó en un ejemplo anterior: Definimos una sucesión por recur-
Introducción sión y probamos una propiedad de esta sucesión por inducción matemática.
Conjuntos
definidos re-
cursivamente

Inducción
estructural

Funciones
definidas re-
cursivamente

Referencias
 § 5.9
Definiciones Introducción
generales
recursivas e
inducción Descripción
estructural
• La relación entre la inducción matemática (ordinaria o fuerte) y las definiciones
Preliminares recursivas se observó en un ejemplo anterior: Definimos una sucesión por recur-
Introducción sión y probamos una propiedad de esta sucesión por inducción matemática.
Conjuntos
definidos re- • En esta sección vamos a generalizar el ejemplo anterior empleando:
cursivamente

Inducción • Definiciones recursivas de conjuntos y funciones.

estructural

Funciones • Definiciones recursivas de funciones sobre conjuntos numéricos.

definidas re-
cursivamente
• Demostraciones de propiedades de conjuntos definidos recursivamente por
Referencias
inducción estructural.
 § 5.9
Definiciones Introducción
generales
recursivas e
inducción Observación
estructural
En algunas áreas de las matemáticas y las ciencias de la computación, los conjuntos
Preliminares
definidos recursivamente también son llamados conjuntos definidos inductivamente.
Introducción

Conjuntos
definidos re-
cursivamente

Inducción
estructural

Funciones
definidas re-
cursivamente

Referencias
 § 5.9
Definiciones Conjuntos definidos recursivamente
generales
recursivas e
inducción Definición recursiva de un conjunto
estructural
La definición recursiva de un conjunto tiene los siguientes pasos:
Preliminares
(i) Base: Un enunciado de que ciertos elementos pertenecen al conjunto.
Introducción

Conjuntos
definidos re-
cursivamente

Inducción
estructural

Funciones
definidas re-
cursivamente

Referencias
 § 5.9
Definiciones Conjuntos definidos recursivamente
generales
recursivas e
inducción Definición recursiva de un conjunto
estructural
La definición recursiva de un conjunto tiene los siguientes pasos:
Preliminares
(i) Base: Un enunciado de que ciertos elementos pertenecen al conjunto.
Introducción

Conjuntos (ii) Recursión: Un conjunto de reglas que indican cómo formar nuevos conjuntos
definidos re-
cursivamente de elementos de un conjunto a partir de los que ya se sabe que están en el
Inducción conjunto.
estructural

Funciones
definidas re-
cursivamente

Referencias
 § 5.9
Definiciones Conjuntos definidos recursivamente
generales
recursivas e
inducción Definición recursiva de un conjunto
estructural
La definición recursiva de un conjunto tiene los siguientes pasos:
Preliminares
(i) Base: Un enunciado de que ciertos elementos pertenecen al conjunto.
Introducción

Conjuntos (ii) Recursión: Un conjunto de reglas que indican cómo formar nuevos conjuntos
definidos re-
cursivamente de elementos de un conjunto a partir de los que ya se sabe que están en el
Inducción conjunto.
estructural

Funciones (iii) Restricción: Un enunciado de que no haya elementos que pertenezcan al con-
definidas re-
cursivamente junto distintos de los que provienen de (i) y (ii).
Referencias
 § 5.9
Definiciones Conjuntos definidos recursivamente
generales
recursivas e
inducción Ejemplo (números naturales)
estructural
El conjunto de los números naturales Nat es el conjunto definido recursivamente
Preliminares canónico.
Introducción

Conjuntos
(i) Base: 0 ∈ Nat.
definidos re-
cursivamente (ii) Recursión: Si n ∈ Nat entonces n′ ∈ Nat.
Inducción
estructural (iii) Restricción: No hay elementos en el conjunto Nat distintos a los obtenidos de (i)
Funciones y (ii).
definidas re-
cursivamente

Referencias
 § 5.9
Definiciones Conjuntos definidos recursivamente
generales
recursivas e
inducción Ejemplo (números naturales)
estructural
El conjunto de los números naturales Nat es el conjunto definido recursivamente
Preliminares canónico.
Introducción

Conjuntos
(i) Base: 0 ∈ Nat.
definidos re-
cursivamente (ii) Recursión: Si n ∈ Nat entonces n′ ∈ Nat.
Inducción
estructural (iii) Restricción: No hay elementos en el conjunto Nat distintos a los obtenidos de (i)
Funciones y (ii).
definidas re-
cursivamente

Referencias
De acuerdo a la definición anterior, el conjunto Nat está formado por:

Nat = {0, 0′ , 0′′ , 0′′′ , . . . }.

 § 5.9
Definiciones Conjuntos definidos recursivamente
generales
recursivas e
inducción Ejercicio
estructural
¿Es posible definir recursivamente el conjunto de los números enteros? En caso
Preliminares afirmativo, presentar la definición. En caso negativo, justificar su respuesta.
Introducción

Conjuntos
definidos re-
cursivamente

Inducción
estructural

Funciones
definidas re-
cursivamente

Referencias
 § 5.9
Definiciones Conjuntos definidos recursivamente
generales
recursivas e
inducción Ejemplo (paréntesis balanceados)
estructural
En las expresiones matemáticas los paréntesis balanceados [p. ej. (())() y ()()()] son
Preliminares válidos y los paréntesis no balanceados [p. ej. )())) y ()))(((] son inválidos.
Introducción

Conjuntos
definidos re-
cursivamente

Inducción
estructural

Funciones
definidas re-
cursivamente

Referencias
 § 5.9
Definiciones Conjuntos definidos recursivamente
generales
recursivas e
inducción Ejemplo (paréntesis balanceados)
estructural
En las expresiones matemáticas los paréntesis balanceados [p. ej. (())() y ()()()] son
Preliminares válidos y los paréntesis no balanceados [p. ej. )())) y ()))(((] son inválidos.
Introducción
El conjunto PB de los paréntesis balanceados es definido recursivamente por:
Conjuntos
definidos re-
cursivamente (i) Base: () ∈ PB.
Inducción
estructural (ii) Recursión:
Funciones
definidas re-
a) Si E ∈ PB entonces (E ) ∈ PB.
cursivamente
b) Si E , F ∈ PB entonces EF ∈ PB.
Referencias
(iii) Restricción: No hay elementos en PB distintos a los obtenidos de (i) y (ii).
 § 5.9
Definiciones Conjuntos definidos recursivamente
generales
recursivas e
inducción Ejemplo
estructural
Demostrar que (())() ∈ PB.
Preliminares
Demostración
Introducción

Conjuntos
En el tablero.
definidos re-
cursivamente

Inducción
estructural

Funciones
definidas re-
cursivamente

Referencias
 § 5.9
Definiciones Conjuntos definidos recursivamente
generales
recursivas e
inducción Definición
estructural
Sea S ̸= ∅ un conjunto finito. Una cadena sobre S es una sucesión finita de
Preliminares
elementos de S.
Introducción Los elementos de S son los caracteres de la cadena.
Conjuntos
definidos re-
cursivamente
La cadena nula sobre S es la cadena sin caracteres y se denota por ϵ.
Inducción
estructural

Funciones
definidas re-
cursivamente

Referencias
 § 5.9
Definiciones Conjuntos definidos recursivamente
generales
recursivas e
inducción Definición
estructural
Sea S ̸= ∅ un conjunto finito. Una cadena sobre S es una sucesión finita de
Preliminares
elementos de S.
Introducción Los elementos de S son los caracteres de la cadena.
Conjuntos
definidos re-
cursivamente
La cadena nula sobre S es la cadena sin caracteres y se denota por ϵ.
Inducción
estructural Ejemplo
Funciones Las cadenas binarias son las cadenas sobre S = {0, 1}.
definidas re-
cursivamente

Referencias {ϵ, 0, 1, 00, 01, 10, 11, 000, 001, 010, 011, 100, 101, 110, 111, . . . }.
 § 5.9
Definiciones Conjuntos definidos recursivamente
generales
recursivas e
inducción Ejemplo (cadenas binarias)
estructural
Sea S = {0, 1}. El conjunto de las cadenas sobre S, denotado S ∗ , es un conjunto
Preliminares definido recursivamente.
Introducción

Conjuntos
(i) Base: ϵ ∈ S ∗ .
definidos re-
cursivamente (ii) Recursión: Si s ∈ S ∗ entonces
Inducción
estructural
a) s0 ∈ S ∗ ,
Funciones b) s1 ∈ S ∗ ,
definidas re-
cursivamente donde s0 y s1 son las concatenaciones de s con 0 y 1, respectivamente.
Referencias
(iii) Restricción: No hay elementos en S ∗ distintos a los obtenidos de (i) y (ii).
 § 5.9
Definiciones Inducción estructural
generales
recursivas e
inducción Descripción
estructural
La inducción estructural es un método para demostrar que todos los elementos de
Preliminares un conjunto definido recursivamente satisfacen una cierta propiedad.
Introducción

Conjuntos
definidos re-
cursivamente

Inducción
estructural

Funciones
definidas re-
cursivamente

Referencias
 § 5.9
Definiciones Inducción estructural
generales
recursivas e
inducción Inducción estructural para los conjuntos definidos recursivamente
estructural
Sea S un conjunto definido recursivamente y sea P una propiedad sobre S. Para
Preliminares demostrar que todos los elementos en S satisfacen la propiedad P:
Introducción

Conjuntos
(i) Demostrar que cada elemento en la base para S satisface la propiedad P.
definidos re-
cursivamente (ii) Demostrar que para cada regla en la recursión para S, si la regla se aplica a
Inducción elementos en S que satisfacen la propiedad P, entonces, los elementos definidos
estructural

Funciones
por la regla también satisfacen la propiedad P.
definidas re-
cursivamente

Referencias
 § 5.9
Definiciones Inducción estructural
generales
recursivas e
inducción Ejemplo
estructural
Sea PB el conjunto de los paréntesis bien balanceados. Demostrar que todos los
Preliminares elementos de PB contienen un número igual de paréntesis izquierdo y derecho.
Introducción

Conjuntos
Demostración por inducción estructural
definidos re-
cursivamente
En el tablero.
Inducción
estructural

Funciones
definidas re-
cursivamente

Referencias
 § 5.9
Definiciones Funciones definidas recursivamente
generales
recursivas e
inducción Definición
estructural
«Se dice que una función está definida recursivamente o es una función recursiva
Preliminares
si su regla de definición se refiere a sí misma.» [pág. 332]
Introducción

Conjuntos
definidos re-
cursivamente

Inducción
estructural

Funciones
definidas re-
cursivamente

Referencias
 § 5.9
Definiciones Funciones definidas recursivamente
generales
recursivas e
inducción Definición
estructural
«Se dice que una función está definida recursivamente o es una función recursiva
Preliminares
si su regla de definición se refiere a sí misma.» [pág. 332]
Introducción
Observación
Conjuntos
definidos re- Determinar que una función recursiva particular está bien definida puede ser muy
cursivamente
difícil. De hecho, el problema general es un problema indecidible.
Inducción
estructural

Funciones
definidas re-
cursivamente

Referencias
 § 5.9
Definiciones Funciones definidas recursivamente
generales
recursivas e
inducción Ejemplo (función de Ackermann)
estructural
La función de Ackermann está definida por tres ecuaciones excluyentes:
Preliminares

Introducción
A:N×N→N

n + 1, si m = 0;
Conjuntos 
definidos re- 
cursivamente 
Inducción
A(m, n) = A(m − 1, 1), si m̸=0 y n = 0;
estructural



A(m − 1, A(m, n − 1)), si m ̸= 0 y n ̸= 0.

Funciones
definidas re-
cursivamente

Referencias
 § 5.9
Definiciones Funciones definidas recursivamente
generales
recursivas e
inducción Ejemplo (continuación)
estructural
Calcular A(1, 2).
Preliminares

Introducción
A(1, 2) = A(0, A(1, 1))
Conjuntos = A(0, A(0, A(1, 0)))
definidos re-
cursivamente
= A(0, A(0, A(0, 1)))
Inducción
estructural = A(0, A(0, 2))
Funciones
definidas re-
= A(0, 3)
cursivamente
= 4.
Referencias
 § 5.9
Definiciones Funciones definidas recursivamente
generales
recursivas e
inducción Ejemplo (continuación)
estructural
Calcular A(1, 2).
Preliminares

Introducción
A(1, 2) = A(0, A(1, 1))
Conjuntos = A(0, A(0, A(1, 0)))
definidos re-
cursivamente
= A(0, A(0, A(0, 1)))
Inducción
estructural = A(0, A(0, 2))
Funciones
definidas re-
= A(0, 3)
cursivamente
= 4.
Referencias

Observación
Se puede demostrar que la función de Ackermann está bien definida.
 § 5.9
Definiciones Funciones definidas recursivamente
generales
recursivas e
inducción Ejemplo («función» recursiva mal definida)
estructural
La «función»
Preliminares
G : Z+ → N
Introducción 
Conjuntos 1,
 si n es 1;
definidos re- 
cursivamente G(n) = 1 + G(n/2), si n es par;
Inducción

G(3n − 1),

si n es impar y n > 1;
estructural

Funciones
definidas re-
cursivamente está mal definida porque el valor de G(5) no está definido:
Referencias
 § 5.9
Definiciones Funciones definidas recursivamente
generales
recursivas e
inducción Ejemplo (continuación)
estructural

Preliminares
G(5) = G(14)
Introducción

Conjuntos = 1 + G(7)
definidos re-
cursivamente = 1 + G(20)
Inducción
estructural
= 1 + (1 + G(10))
Funciones = 1 + (1 + (1 + G(5)))
definidas re-
cursivamente
= 3 + G(5).
Referencias

Es decir, no se puede calcular el valor G(5) porque para calcular este valor se requiere
conocer el valor de G(5) que es el valor que se está calculando.
 § 5.9
Definiciones Referencias
generales
recursivas e
inducción Epp, Susanna S. (2011). Matemáticas Discretas con Aplicaciones. 4.a ed. Traducido
estructural
por Ana Elizabeth García Hernández. Cengage Learning (vid. pág. 2).

Preliminares

Introducción

Conjuntos
definidos re-
cursivamente

Inducción
estructural

Funciones
definidas re-
cursivamente

Referencias