# Espacio ultramétrico

En matemáticas, un espacio ultramétrico es un espacio métrico en cual la desigualdad triangular es fortalecida a $d(x,z)\leq \max \left\{d(x,y),d(y,z)\right\}$. Algunas veces, la métrica asociada es también llamada métrica no arquimedeana o supermétrica. Aunque algunos de los teoremas para espacios ultramétricos puedan parecer extraños a la primera vista, aparecen naturalmente en varias aplicaciones.

## Definición

Formalmente, un espacio ultramétrico es un conjunto de puntos $M$ con una función distancia asociada (también llamada métrica)
    $d\colon M\times M\rightarrow \mathbb {R}$
(donde $\mathbb {R}$ es el conjunto de números reales), de forma que para todo $x,y,z\in M$, uno tiene:
* $d(x,y)\geq 0$
* $d(x,y)=0$ ssi $x=y$
* $d(x,y)=d(y,x)$ (simetría)
* $d(x,z)\leq \max \left\{d(x,y),d(y,z)\right\}$ (triángulo fuerte o desigualdad ultramétrica).
En el caso cuando $M$ es un grupo y $d$ es generado por una función de longitud $\|\cdot \|$ (de forma que $d(x,y)=\|x-y\|$), la última propiedad puede ser fortalecida utilizando el afilado de Krull a:
    $\|x+y\|\leq \max \left\{\|x\|,\|y\|\right\}$ con igualdad si $\|x\|\neq \|y\|$.
Tenemos que probar que si $\|x+y\|\leq \max \left\{\|x\|,\|y\|\right\}$, entonces la igualdad ocurre si $\|x\|\neq \|y\|$. Sin pérdida de generalidad, asumiremos que $\|x\|>\|y\|$. Esto implica que $\|x+y\|\leq \|x\|$. Pero también podemos computar $\|x\|=\|(x+y)-y\|\leq \max \left\{\|x+y\|,\|y\|\right\}$. Ahora, el valor de $\max \left\{\|x+y\|,\|y\|\right\}$ no puede ser $\|y\|$, porque si ese es el caso, tenemos $\|x\|\leq \|y\|$, contrariamente a la suposición inicial. En consecuencia, $\max \left\{\|x+y\|,\|y\|\right\}=\|x+y\|$, y $\|x\|\leq \|x+y\|$. Utilizando la desigualdad inicial, tenemos que $\|x\|\leq \|x+y\|\leq \|x\|$ y, por ende, $\|x+y\|=\|x\|$.

## Propiedades

A partir de la definición de arriba, uno puede concluir severas propiedades típicas de los ultramétricos. Por ejemplo, en un espacio ultramétrico, para cada $x,y,z\in M$ y $r,s\in \mathbb {R}$, por lo menos una de las tres igualdades $d(x,y)=d(y,z)$, $d(x,z)=d(y,z)$ o $d(x,y)=d(z,x)$ se mantiene. Eso dice que cada triple de puntos en el espacio forma un triángulo isósceles, por ende, el espacio entero es un conjunto isósceles.
En lo siguiente, el concepto y notación de una bola abierta es el mismo que en el artículo sobre espacio métrico, esta es:
    $B(x;r)=\{y\in M|d(x,y)<r\}$.
* Cada punto dentro de una bola es su centro, esto es si $d(x,y)<r$, entonces $B(x;r)=B(y;r)$.
* Las bolas que se intersectan están contenidas unas en otras, esto es si $B(x;r)\cap B(y;s)$ no es vacía y también si $B(x;r)\subseteq B(y;s)$ o $B(y;s)\subseteq B(x;r)$.
* Todas las bolas de radio estrictamente positivo son a la vez conjuntos cerrados y abiertos en la topología inducida. Esto es, que todas las bolas abiertas son también bolas cerradas, y las bolas cerradas (remplazando $<$ con $\leq$) son también bolas abiertas.
* El conjunto de todas las bolas abiertas de radio $r$ y centro en una bola cerrada de radio $r>0$ forman una partición del último, y la distancia mutua de dos bolas abiertas distintas es nuevamente igual a $r$.
La demostración de estos enunciados es un ejercicio instructivo. Toda derivan directamente de la desigualdad triangular ultramétrica. Nótese que, por el segundo enunciado, una bola puede tener varios centros que poseen una distancia diferente de cero. La intuición detrás de lo que parecen efectos muy extraños es que, debido a la fuerte desigualdad triangular, las distancias en ultramétricas no se suman.
* Datos: Q1897429
* Multimedia: Non-Archimedean geometry / Q1897429