Spazio ultrametrico

Da Wikipedia, l'enciclopedia libera.

In matematica, e più precisamente in topologia, uno spazio ultrametrico è uno speciale spazio metrico che soddisfa una versione rinforzata della disuguaglianza triangolare.

Definizione[modifica | modifica wikitesto]

Uno spazio ultrametrico è un insieme di punti X con una funzione d:X \times X \to \R che soddisfi le seguenti proprietà per ogni x,y,z in X:

  1. d(x,y)\geq 0
  2. d(x,y)=0 se e solo se x=y
  3. d(x,y)=d(y,x)
  4. d(x,z)\leq \max\{d(x,y),d(y,z)\}

La funzione d è detta ultrametrica (o supermetrica o metrica non archimedea).

Esempi di spazi ultrametrici[modifica | modifica wikitesto]

Proprietà[modifica | modifica wikitesto]

Se x, y e z sono tre punti di uno spazio ultrametrico, non è possibile che le distanze tra due di essi siano tutte diverse. Infatti, se così fosse, tra di esse ci sarebbe un massimo, che evidentemente non potrebbe soddisfare la proprietà 4 della definizione. Per rendere intuitiva questa proprietà si può dire, un po' impropriamente, che in uno spazio ultrametrico tutti i triangoli sono isosceli.

Definendo inoltre la palla esattamente come in uno spazio metrico, cioè B(x,r)=\{z \in X: d(x,z)< r\} allora

  • Ogni punto all'interno di una palla è il suo centro;
  • Se due palle si intersecano, allora una è contenuta nell'altra;
  • Tutte le palle sono sia aperte che chiuse nella topologia indotta;
  • L'insieme delle palle di raggio r centrate nei punti di una palla chiusa avente lo stesso raggio forma una partizione di quest'ultima.

Altri progetti[modifica | modifica wikitesto]

matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica