Correttezza - funzionale

Question 1

Cos’è ρ?

Answer 1

Dati un insieme A, un elemento a ∈ A ed una funzione h : A → A, Indichiamo con ρ la funzione che ci restituisce l’omomorfismo f; dunque: f = ρ a h.
La proprietà di omomorfismo è allora espressa in termini di ρ dalle seguenti equazioni:
ρ a h 0 = a
ρ a h (succ n) = h( ρ a h n).
Applicando ricorsivamente queste equazioni, abbiamo:
ρ a h n = ρ a h(succ (. . .(succ 0). . .) = h(. . .(h a). . .)
ovvero, ρ a h n itera n volte h a partire da a; ciò che vale a ρ il nome di iteratore