Definizione
136
[0X0] Sia \(I\) un insieme non-vuoto, con almeno due elementi. Sia \(X=\{ f:ℕ→ I\} =I^ℕ\) lo spazio delle successioni. Siano \(x,y∈ X\). Se \(x=y\) allora poniamo \(d(x,y)=0\). 1 Se \(x≠ y\), posto
\begin{equation} c(x,y)=\min \{ n≥ 0, x(n)≠ y(n)\} \label{eq:c_ ultrametrica_ succ} \end{equation}
137
il primo indice dove le successioni sono diverse; infine definiamo \(d(x,y)=2^{-c(x,y)}\).