Un espacio métrico es un árbol real si es un espacio geodésico donde cada triángulo es un trípode. Es decir, por cada tres puntos existe un punto tal que los segmentos geodésicos se intersecan en el segmento y además . Esta definición es equivalente a ser un "espacio cero-hiperbólico" en el sentido de Gromov (todos los triángulos son "cero-delgados"). Los árboles reales también pueden caracterizarse por una propiedad topológica . Un espacio métrico es un árbol real si para cualquier par de puntos todas las incrustaciones topológicas del segmento en tales que tienen la misma imagen (que entonces es un segmento geodésico de a ).
Ejemplos sencillos
Si es un grafo conexo con métrica combinatoria entonces es un árbol real si y solo si es un árbol (es decir, no tiene ciclos ). Este tipo de árbol se suele denominar árbol simplicial. Se caracterizan por la siguiente propiedad topológica: un árbol real es simplicial si y solo si el conjunto de puntos singulares de (puntos cuyo complemento en tiene tres o más componentes conexos) es cerrado y discreto en .
El árbol obtenido de la siguiente manera no es simplista. Se comienza con el intervalo [0, 2] y se pega, para cada entero positivo n , un intervalo de longitud 1/ n al punto 1 − 1/ n en el intervalo original. El conjunto de puntos singulares es discreto, pero no se puede cerrar ya que 1 es un punto ordinario en este árbol. Pegar un intervalo a 1 daría como resultado un conjunto cerrado de puntos singulares a expensas de la discreción.
La métrica de París convierte el plano en un árbol real. Se define de la siguiente manera: se fija un origen , y si dos puntos están en el mismo rayo desde , su distancia se define como la distancia euclidiana. En caso contrario, su distancia se define como la suma de las distancias euclidianas de estos dos puntos al origen .
El plano bajo la métrica de París es un ejemplo de espacio erizo , una colección de segmentos de línea unidos en un punto final común. Cualquier espacio de este tipo es un árbol real.
Caracterizaciones
A continuación se presentan caracterizaciones equivalentes de árboles reales que pueden usarse como definiciones:
4) (similar a la caracterización de los plátanos por su proceso de contorno). Consideremos una excursión positiva de una función. En otras palabras, sea una función continua de valor real y un intervalo tal que y para .
Entonces, el espacio cociente es un árbol real. [3] Intuitivamente, los mínimos locales de la excursión e son los padres de los máximos locales . Otra forma visual de construir el árbol real a partir de una excursión es "poner pegamento" debajo de la curva de e , y "doblar" esta curva, identificando los puntos pegados (ver animación).
Ejemplos
Los árboles reales aparecen a menudo, en diversas situaciones, como límites de espacios métricos más clásicos.
Árboles brownianos
Un árbol browniano [4] es un proceso estocástico cuyo valor es casi con toda seguridad un árbol real (no simple). Los árboles brownianos surgen como límites de varios procesos aleatorios en árboles finitos. [5]
Ultralímites de espacios métricos
Cualquier ultralímite de una sucesión de espacios hiperbólicos con es un árbol real. En particular, el cono asintótico de cualquier espacio hiperbólico es un árbol real .
Límite de acciones grupales
Sea un grupo . Para una secuencia de espacios base existe una noción de convergencia a un espacio base debido a M. Bestvina y F. Paulin. Cuando los espacios son hiperbólicos y las acciones no están acotadas, el límite (si existe) es un árbol real. [6]
Un ejemplo simple se obtiene tomando donde es una superficie compacta y la cubierta universal de con la métrica (donde es una métrica hiperbólica fija en ).
Esto es útil para producir acciones de grupos hiperbólicos en árboles reales. Dichas acciones se analizan utilizando la llamada máquina de Rips . Un caso de particular interés es el estudio de la degeneración de grupos que actúan de forma propiamente discontinua en un espacio hiperbólico real (esto es anterior al trabajo de Rips, Bestvina y Paulin y se debe a J. Morgan y P. Shalen [7] ).
Si es un grupo abeliano totalmente ordenado existe una noción natural de una distancia con valores en (los espacios métricos clásicos corresponden a ). Existe una noción de -árbol [8] que recupera árboles simpliciales cuando y árboles reales cuando . Se describió la estructura de grupos finitamente presentados que actúan libremente sobre -árboles. [9] En particular, un grupo de este tipo actúa libremente sobre algún -árbol.
Edificios reales
Los axiomas de un edificio se pueden generalizar para dar una definición de un edificio real. Estos surgen, por ejemplo, como conos asintóticos de espacios simétricos de rango superior o como edificios de Bruhat-Tits de grupos de rango superior sobre cuerpos valorados.
^ Bestvina, Mladen (2002), " -árboles en topología, geometría y teoría de grupos", Handbook of Geometric Topology, Elsevier, págs. 55-91, ISBN9780080532851
^ Shalen, Peter B. (1987), "Dendrología de grupos: una introducción", en Gersten, SM (ed.), Ensayos sobre teoría de grupos , Math. Sci. Res. Inst. Publ., vol. 8, Springer-Verlag , págs. 265–319, ISBN978-0-387-96618-2, Sr. 0919830
^ Chiswell, Ian (2001), Introducción a los árboles Λ , River Edge, Nueva Jersey: World Scientific Publishing Co. Inc., ISBN981-02-4386-3, Sr. 1851337
^ O. Kharlampovich, A. Myasnikov, D. Serbin, Acciones, funciones de longitud y palabras no arquímedes IJAC 23, No. 2, 2013.{{citation}}: CS1 maint: multiple names: authors list (link)