Quasi omomorfismo
# Quasi omomorfismo

Un quasi omomorfismo è un'applicazione da $\mathbb {Z}$ in sé che può essere considerata una generalizzazione degli omomorfismi.

## Definizione

Una funzione $f:\mathbb {Z} \longrightarrow \mathbb {Z}$ si dice quasi omomorfismo se $\exists k\in \mathbb {N}$ tale che $\forall n,m\in \mathbb {Z}$:

    $|f(n+m)-f(n)-f(m)|\leq k.$

Naturalmente se k=0 si è in presenza di un omomorfismo.

## Proprietà

Sia $f:\mathbb {Z} \longrightarrow \mathbb {Z}$ un quasi omomorfismo con costante $k\in \mathbb {N}$:

* $\forall n,m\in \mathbb {Z} :|f(m\cdot n)-m\cdot f(n)|\leq (|m|+1)\cdot k$;
* $\forall n,m\in \mathbb {Z} :|n\cdot f(m)-m\cdot f(n)|\leq (|n|+|m|+2)\cdot k$;
* Ad ogni quasi omomorfismo corrisponde una successione di Cauchy e viceversa.

## Classi di equivalenza

Si può definire una relazione tra quasi omomorfismi nel modo seguente:

    Siano $f,g$ quasi omomorfismi, $f\sim g\leftrightarrow \forall n\in \mathbb {Z} ,\exists k\in \mathbb {N}$ tale che $|f(n)-g(n)|\leq k.$

Si dimostra facilmente che $\sim$ è una relazione d'equivalenza. Si dimostra anche che ad ogni classe di equivalenza di quasi omomorfismi $[f]_{\sim }$ corrisponde una classe di successioni di Cauchy $[a_{n}]$. Con questo risultato si scopre che è possibile costruire l'insieme dei numeri reali $\mathbb {R}$ a partire da $\mathbb {Z}$ utilizzando classi di quasi omomorfismi.

