Espacio ultramétrico

En matemáticas , un espacio ultramétrico es un espacio métrico en el que la desigualdad triangular se refuerza a para todos , y . A veces, la métrica asociada también se denomina métrica no arquimediana o supermétrica . ${\displaystyle d(x,z)\leq \max \left\{d(x,y),d(y,z)\right\}}$${\displaystyle x}$${\displaystyle y}$${\displaystyle z}$

Una ultramétrica en un conjunto M es una función de valor real

${\displaystyle d\colon M\times M\rightarrow \mathbb {R} }$

(donde ℝ denota los números reales ), tales que para todos x , y , z ∈ M :

1. d ( x , y ) ≥ 0 ;
2. d ( x , y ) = d ( y , x ) ( simetría );
3. d ( x , x ) = 0 ;
4. si d ( x , y ) = 0 entonces x = y ;
5. d ( x , z ) ≤ max { d ( x , y ), d ( y , z ) } ( desigualdad triangular fuerte o desigualdad ultramétrica ).

Un espacio ultramétrico es un par ( M , d ) que consiste en un conjunto M junto con un ultramétrico d en M , que se denomina función de distancia asociada del espacio (también llamada métrica ).

Si d satisface todas las condiciones excepto posiblemente la condición 4, entonces d se llama ultrapseudométrico en M. Un espacio ultrapseudométrico es un par ( M , d ) que consiste en un conjunto M y un ultrapseudométrico d en M. [ ^1]

En el caso en que M es un grupo abeliano (escrito de forma aditiva) y d es generado por una función de longitud (de modo que ), la última propiedad se puede fortalecer utilizando el afilado de Krull para: ${\displaystyle \|\cdot \|}$${\displaystyle d(x,y)=\|x-y\|}$

${\displaystyle \|x+y\|\leq \max \left\{\|x\|,\|y\|\right\}}$con igualdad si .${\displaystyle \|x\|\neq \|y\|}$

Queremos demostrar que si , entonces la igualdad ocurre si . Sin pérdida de generalidad , supongamos que Esto implica que . Pero también podemos calcular . Ahora, el valor de no puede ser , porque si ese es el caso, tenemos contrariamente a la suposición inicial. Por lo tanto, , y . Usando la desigualdad inicial, tenemos y por lo tanto . ${\displaystyle \|x+y\|\leq \max \left\{\|x\|,\|y\|\right\}}$${\displaystyle \|x\|\neq \|y\|}$${\displaystyle \|x\|>\|y\|.}$${\displaystyle \|x+y\|\leq \|x\|}$${\displaystyle \|x\|=\|(x+y)-y\|\leq \max \left\{\|x+y\|,\|y\|\right\}}$${\displaystyle \max \left\{\|x+y\|,\|y\|\right\}}$${\displaystyle \|y\|}$${\displaystyle \|x\|\leq \|y\|}$${\displaystyle \max \left\{\|x+y\|,\|y\|\right\}=\|x+y\|}$${\displaystyle \|x\|\leq \|x+y\|}$${\displaystyle \|x\|\leq \|x+y\|\leq \|x\|}$${\displaystyle \|x+y\|=\|x\|}$

De la definición anterior se pueden deducir varias propiedades típicas de la ultrametría. Por ejemplo, para todo , se cumple al menos una de las tres igualdades o o . Es decir, cada triple de puntos del espacio forma un triángulo isósceles , por lo que todo el espacio es un conjunto isósceles . ${\displaystyle x,y,z\in M}$${\displaystyle d(x,y)=d(y,z)}$${\displaystyle d(x,z)=d(y,z)}$${\displaystyle d(x,y)=d(z,x)}$

Definiendo la bola (abierta) de radio centrado en como , tenemos las siguientes propiedades: ${\displaystyle r>0}$${\displaystyle x\in M}$${\displaystyle B(x;r):=\{y\in M\mid d(x,y)<r\}}$

• Cada punto dentro de una bola es su centro, es decir si entonces .${\displaystyle d(x,y)<r}$${\displaystyle B(x;r)=B(y;r)}$
• Las bolas que se intersecan están contenidas unas en otras, es decir, si no está vacío , entonces o .${\displaystyle B(x;r)\cap B(y;s)}$${\displaystyle B(x;r)\subseteq B(y;s)}$${\displaystyle B(y;s)\subseteq B(x;r)}$
• Todas las bolas de radio estrictamente positivo son conjuntos abiertos y cerrados en la topología inducida . Es decir, las bolas abiertas también son cerradas y las bolas cerradas (reemplazar por ) también son abiertas.${\displaystyle <}$${\displaystyle \leq }$
• El conjunto de todas las bolas abiertas con radio y centro en una bola cerrada de radio forma una partición de esta última, y ​​la distancia mutua de dos bolas abiertas distintas es (mayor o) igual a .${\displaystyle r}$${\displaystyle r>0}$${\displaystyle r}$

Demostrar estas afirmaciones es un ejercicio instructivo. ^[2] Todas se derivan directamente de la desigualdad triangular ultramétrica. Nótese que, según la segunda afirmación, una pelota puede tener varios puntos centrales que tienen una distancia distinta de cero. La intuición detrás de estos efectos aparentemente extraños es que, debido a la fuerte desigualdad triangular, las distancias en la ultramétrica no suman.

• La métrica discreta es una ultramétrica.
• Los números p -ádicos forman un espacio ultramétrico completo.
• Consideremos el conjunto de palabras de longitud arbitraria (finita o infinita), Σ ^* , sobre un alfabeto Σ. Definamos la distancia entre dos palabras diferentes como 2 ^{− n} , donde n es el primer lugar en el que las palabras difieren. La métrica resultante es una ultramétrica.
• El conjunto de palabras con extremos pegados de longitud n sobre algún alfabeto Σ es un espacio ultramétrico con respecto a la distancia p -cercana. Dos palabras x e y son p -cercanas si cualquier subcadena de p letras consecutivas ( p < n ) aparece la misma cantidad de veces (que también podría ser cero) tanto en x como en y . ^[3]
• Si r = ( r _n ) es una sucesión de números reales que decrece hasta cero, entonces | x | _r  := lim sup _{n →∞} | x _n | ^{r _n} induce una ultramétrica en el espacio de todas las sucesiones complejas para las que es finita. (Nótese que esto no es una seminorma ya que carece de homogeneidad — si se permite que los r _n sean cero, uno debería usar aquí la convención bastante inusual de que 0 ⁰  = 0.)
• Si G es un grafo no dirigido ponderado por aristas , todos los pesos de las aristas son positivos y d ( u , v ) es el peso de la ruta minimax entre u y v (es decir, el mayor peso de una arista, en una ruta elegida para minimizar este mayor peso), entonces los vértices del grafo, con distancia medida por d , forman un espacio ultramétrico, y todos los espacios ultramétricos finitos pueden representarse de esta manera. ^[4]

• Una aplicación de contracción puede entonces considerarse como una forma de aproximar el resultado final de un cálculo (cuya existencia se puede garantizar mediante el teorema de punto fijo de Banach ). Se pueden encontrar ideas similares en la teoría de dominios . El análisis p -ádico hace un uso intensivo de la naturaleza ultramétrica de la métrica p -ádica .
• En la física de la materia condensada , la superposición autopromediada entre espines en el modelo SK de vidrios de espín exhibe una estructura ultramétrica, con la solución dada por el procedimiento de ruptura de simetría de réplica completa delineado por primera vez por Giorgio Parisi y colaboradores. ^[5] La ultrametricidad también aparece en la teoría de sólidos aperiódicos. ^[6]
• En la taxonomía y la construcción de árboles filogenéticos , las distancias ultramétricas también se utilizan mediante los métodos UPGMA y WPGMA . ^[7] Estos algoritmos requieren una suposición de tasa constante y producen árboles en los que las distancias desde la raíz hasta cada punta de rama son iguales. Cuando se analizan datos de ADN , ARN y proteínas , la suposición de ultrametricidad se denomina reloj molecular .
• Los modelos de intermitencia en turbulencia tridimensional de fluidos hacen uso de las llamadas cascadas, y en modelos discretos de cascadas diádicas, que tienen una estructura ultramétrica. ^[8]
• En geografía y ecología del paisaje , se han aplicado distancias ultramétricas para medir la complejidad del paisaje y evaluar en qué medida una función del paisaje es más importante que otra. ^[9]

• Narici, Lawrence; Beckenstein, Edward (2011). Espacios vectoriales topológicos . Matemáticas puras y aplicadas (segunda edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666.OCLC 144216834  .
• Schaefer, Helmut H. ; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . Vol. 8 (Segunda ed.). Nueva York, NY: Springer New York Imprenta Springer. ISBN 978-1-4612-7155-0.OCLC 840278135  .

• Kaplansky, I. (1977), Teoría de conjuntos y espacios métricos , AMS Chelsea Publishing, ISBN 978-0-8218-2694-2.

• Medios relacionados con Geometría no arquimediana en Wikimedia Commons