Un límite inferior para el radio del entorno tubular Lagrangiano de Weinstein

Información Básica

• ID del artículo: 2511.10973
• Título: A lower bound for the radius of Weinstein's Lagrangian tubular neighborhood
• Autor: Hikaru Yamamoto (Universidad de Tsukuba)
• Clasificación: math.DG (Geometría Diferencial), math.SG (Geometría Simpléctica)
• Fecha de publicación: 14 de noviembre de 2025 (preimpresión en arXiv)
• Enlace del artículo: https://arxiv.org/abs/2511.10973

Resumen

Este artículo proporciona estimaciones explícitas de límites inferiores para el radio del entorno tubular Lagrangiano de Weinstein para subvariedades Lagrangianas inmersas $L$ en variedades de Kähler $(M,\omega)$. El límite inferior está determinado explícitamente por el tensor de curvatura de Riemann de la variedad ambiente $M$ y sus primeras dos derivadas, así como por la segunda forma fundamental de $L$ y sus primeras dos derivadas. Para el caso compacto inmerso, el artículo también proporciona límites inferiores mejorados considerando constantes de inmersión globales.

Antecedentes de investigación y motivación

Problema a resolver

En 1971, Alan Weinstein demostró el célebre teorema del entorno tubular Lagrangiano: para una subvariedad Lagrangiana compacta $L$ en una variedad simpléctica $(M,\omega)$, existe un entorno abierto $U$ de $L$ en el fibrado cotangente $T^*L$ y un entorno abierto $V$ de $L$ en $M$, así como un difeomorfismo $\Theta: U \to V$, tal que $\Theta^*\omega = \tilde{\omega}$ (donde $\tilde{\omega}$ es la forma simpléctica canónica en $T^*L$) y $\Theta$ se restringe a la identidad en $L$.

Sin embargo, el teorema de Weinstein solo garantiza la existencia del entorno tubular, sin proporcionar información cuantitativa sobre qué tan "grande" es el entorno. Esto obliga a utilizar calificadores vagos en las aplicaciones, tales como "$L'$ suficientemente $C^1$ cercana a $L$" o "$\eta$ suficientemente pequeño".

Importancia del problema

El entorno tubular de Weinstein tiene aplicaciones importantes en geometría simpléctica:

• Cada 1-forma cerrada $\eta$ en el entorno $U$ corresponde a una subvariedad Lagrangiana en $V$
• Esta correspondencia es crucial en el estudio de la teoría de deformaciones de subvariedades Lagrangianas
• La falta de estimaciones cuantitativas hace que los resultados teóricos sean difíciles de aplicar en problemas concretos

Limitaciones de los métodos existentes

• La prueba original de Weinstein es de existencia, sin proporcionar ninguna estimación de radio
• La literatura carece de expresiones explícitas y computables para límites inferiores del radio del entorno tubular
• Para casos no compactos o meramente inmersos (no embebidos), falta investigación sistemática

Motivación de la investigación

La motivación central de este artículo es eliminar esta insatisfactoria ambigüedad, introduciendo las cantidades $r_W(L)$ y $r_W^{\text{imm}}(L)$, proporcionando límites inferiores de radio claros y computables, permitiendo que los resultados teóricos se enuncien y apliquen sin ambigüedad.

Contribuciones principales

1. Introducción de dos nuevas cantidades geométricas:
   • $r_W^{\text{imm}}(L)$: radio máximo que garantiza la existencia de una inmersión simpléctica
   • $r_W(L)$: radio máximo que garantiza la existencia de un difeomorfismo simpléctico
2. Establecimiento de estimaciones de límites inferiores explícitos (Teorema 1.2): Para subvariedades Lagrangianas inmersas, cuando $B := \max\left\{\sup_M |R_M|^{1/2}, \sup_M |\nabla R_M|^{1/3}, \sup_M |\nabla^2 R_M|^{1/4}, \sup_L |II|, \sup_L |\nabla II|^{1/2}, \sup_L |\nabla^2 II|^{1/3}\right\} < \infty$ se tiene $r_W^{\text{imm}}(L) \geq 10^{-100} \cdot \frac{1}{B}$
3. Tratamiento del caso embebido (Teorema 1.3): Para el caso compacto embebido, introduciendo la constante de inmersión $\text{emb}(L)$ y la constante $B^*$, se obtiene $r_W(L) \geq 10^{-100} \cdot \frac{1}{B^*}$
4. Aplicabilidad al caso no compacto: El Teorema 1.2 también es válido para subvariedades Lagrangianas completas no compactas, lo cual es una ventaja importante
5. Prueba constructiva: El proceso de prueba es completamente constructivo, construyendo explícitamente el difeomorfismo simpléctico requerido

Explicación detallada del método

Definición de la tarea

Entrada:

• Variedad de Kähler $(M, \omega, g, J)$ (conexa, completa)
• Inmersión Lagrangiana $i: L \to M$ ($i^*\omega = 0$)
• Cotas de cantidades geométricas: $|R_M|, |\nabla R_M|, |\nabla^2 R_M|$ e $|II|, |\nabla II|, |\nabla^2 II|$

Salida:

• Límite inferior explícito para el radio $r > 0$
• Difeomorfismo simpléctico (o inmersión) $\Theta: U_r(T^\perp L) \to M$

Restricciones:

• $\Theta^* \omega = \tilde{\omega}$ (retroceso de la forma simpléctica)
• $\Theta(p) = p$ para todo $p \in L$ (identidad en la sección cero)

Arquitectura general

La estrategia de prueba se basa en una versión cuantitativa de la técnica de Moser, dividida en cuatro pasos principales:

Paso 1: Inmersividad del mapa exponencial

Se define el mapa $F: T^\perp L \to M$ como $F(v) = \exp_{\pi(v)} v$ Se necesita encontrar un entorno abierto $U_1 \subset T^\perp L$ tal que $F$ sea una inmersión.

Punto innovador: En lugar de estimar directamente el tamaño de $U_1$, se maneja simultáneamente en el Paso 2.

Paso 2: No degeneración de la familia de formas simplécticas

Se construye una familia interpolada de formas simplécticas: $\omega_t := (1-t)\tilde{\omega} + t F^*\omega, \quad t \in [0,1]$

Estimación clave (Proposición 3.5): Para $v \in U_r(T^\perp L)$, $\lambda := |v|$, se tiene $\omega_t(X, \tilde{J}X) \geq (1 - K_0(\lambda))|X|_G^2$ donde $K_0(\lambda) := 2\lambda^2 C_0(1 + \lambda^2 A_0^2)e^{1+\lambda^2 C_0} + \lambda A_0$

Cuando $K_0(r) < 1$, $\omega_t$ es no degenerada en $U_r(T^\perp L)$.

Puntos técnicos:

• Uso de la métrica de Sasaki $G$ en $T^\perp L$
• Control de la diferencia entre $F^*\omega$ y $\tilde{\omega}$ mediante estimaciones de campos de Jacobi
• Utilización de la condición de Kähler $\nabla J = 0$ para simplificar cálculos

Paso 3: Construcción de campos vectoriales dependientes del tiempo

Utilizando la fórmula de homotopía, existe una 1-forma $\mu$ tal que $F^*\omega - \tilde{\omega} = d\mu, \quad \mu|_L = 0$

Se define el campo vectorial dependiente del tiempo $X_t$ mediante $\omega_t(X_t, \cdot) = -\mu$

Estimaciones clave (Proposiciones 6.2 y 6.5): $|X_t(v)|_G \leq 10|v|$$|\nabla^G X_t(v)|_G \leq 294$

Dificultades técnicas: Se requieren estimaciones refinadas de:

• $|\nabla^G \tilde{\omega}|_G$ (Proposición 3.3)
• $|\nabla^G(F^*\omega)|_G$ (Proposición 4.5), involucrando estimaciones de derivadas segundas de $F$
• $|\nabla^G \mu|_G$ (Proposición 6.3)

Paso 4: Existencia y inyectividad del flujo

Se debe demostrar que el campo vectorial $\{X_t\}_{t \in [0,1]}$ genera un flujo $\Phi_t$ que existe en el intervalo de tiempo $[0,1]$.

Técnica central: Uso del lema de Lindelöf (Apéndice B) en lugar del teorema estándar de Picard-Lindelöf.

La teoría estándar proporciona tiempo de existencia: $t^* = \min\left\{1, \frac{\text{dist}(p, \partial U)}{M^*}\right\}$ donde $M^* = \sup |X_t|$. Dado que $M^* \sim Cr$, incluso si $p$ está muy cerca de $L$, es difícil garantizar $t^* = 1$.

El lema de Lindelöf mejora esto a: $t^* = \min\left\{1, \frac{1}{D}\log\left(1 + \frac{D \cdot \text{dist}(p, \partial U)}{M^*(p)}\right)\right\}$ donde $D$ es la constante de Lipschitz. Dado que $M^*(p) \sim C\alpha r$ ($\alpha$ es un parámetro de escala), cuando $\alpha$ es suficientemente pequeño, se puede garantizar $t^* = 1$.

Implementación concreta (Sección 7):

• Análisis en cartas de coordenadas específicas $B_p(r) \times B_p(r/2)$
• Retroceso de $X_t$ a espacio plano mediante el mapa $Q_p(X,Y) = J\tilde{Y}(X)$
• Estimación de normas y derivadas del campo vectorial retraído (Lemas 7.3 y 7.4)
• Aplicación de la Proposición B.1 para obtener existencia global del flujo

Finalmente se obtiene el difeomorfismo: $\Theta := F \circ \Phi_1: U_{\alpha r/2}(T^\perp L) \to M$

Paso 5: Inyectividad en el caso embebido (Sección 9)

Para $L$ embebida, se debe asegurar que $F$ en sí es inyectiva.

Introducción de la constante de inmersión: $\text{emb}(L) := \sup\left\{\frac{d_L(p,q)}{d_M(p,q)} \,\Big|\, p,q \in L, p \neq q\right\}$

Condición de inyectividad (Proposición 9.3): Cuando $r \leq \frac{1}{3\text{emb}(L)} \min\left\{\rho_0, \frac{\pi}{2\sqrt{C_0}}, \frac{1}{\sqrt{C_0}}\arctan\left(\frac{\sqrt{C_0}}{A_0}\right)\right\}$ entonces $F: U_r(T^\perp L) \to M$ es inyectiva.

Idea de la prueba:

• Supóngase que $F(v_0) = F(v_1)$ pero $v_0 \neq v_1$
• Construcción de una geodésica minimizante en $L$ conectando $\pi(v_0)$ y $\pi(v_1)$
• Utilización del teorema de comparación de Rauch y estimaciones de campos de Jacobi para derivar una contradicción

Puntos de innovación técnica

1. Técnica de Moser cuantitativa: Transformación de la prueba clásica de existencia de Moser en una versión completamente cuantitativa
2. Uso sistemático de la métrica de Sasaki: Aplicación de la métrica de Sasaki en el fibrado normal $T^\perp L$, tratamiento unificado de direcciones horizontales y verticales
3. Estimaciones refinadas de campos de Jacobi:
   • Proposición A.1 proporciona estimaciones de campos de Jacobi con términos de fuerza externa
   • Lema 4.1 y Proposición A.2 proporcionan estimaciones de orden superior de derivadas del mapa exponencial
4. Técnica de escalado: Construcción de homotopía mediante el mapa de escalado $\rho_t(v) = tv$, explotando la propiedad $\mu|_L = 0$
5. Aplicación del lema de Lindelöf: Uso crítico de estimaciones de tiempo de existencia de tipo logarítmico, superando la limitación del crecimiento lineal
6. Seguimiento explícito de constantes: Durante todo el proceso de prueba, todas las constantes son explícitas (aunque no óptimas)

Configuración experimental

Este es un artículo de matemática pura teórica, sin experimentos numéricos o computacionales. Todos los resultados se obtienen mediante pruebas matemáticas rigurosas.

Formas de verificación teórica

• Prueba constructiva: Construcción explícita del difeomorfismo simpléctico requerido
• Constantes explícitas: Todas las estimaciones proporcionan constantes numéricas concretas
• Verificación de consistencia: Las estimaciones de cada paso se coordinan mutuamente, obteniendo un resultado autoconsistente

Rango de aplicabilidad

• Variedad ambiente: Variedad de Kähler completa (debe ser Kähler, no simplemente simpléctica)
• Subvariedad: Inmersión o inmersión embebida Lagrangiana completa
• Cantidades geométricas acotadas: Se requiere que la curvatura y la segunda forma fundamental y sus derivadas estén acotadas

Resultados experimentales

Resultados principales

Teorema 8.4 (Caso de inmersión): Si $B = \max\left\{\sup_M |R_M|^{1/2}, \sup_M |\nabla R_M|^{1/3}, \sup_M |\nabla^2 R_M|^{1/4}, \sup_L |II|, \sup_L |\nabla II|^{1/2}, \sup_L |\nabla^2 II|^{1/3}\right\} < \infty$ entonces $r_W^{\text{imm}}(L) \geq 10^{-100} \cdot \frac{1}{B}$

Teorema 9.4 (Caso embebido): Si $L$ es compacta embebida y $B^* = 3\text{emb}(L) \cdot \max\left\{\frac{1}{\text{inj}(M,g)}, \sup_M |R_M|^{1/2}, \ldots, \sup_L |\nabla^2 II|^{1/3}\right\} < \infty$ entonces $r_W(L) \geq 10^{-100} \cdot \frac{1}{B^*}$

Análisis de constantes

Origen de la constante $10^{-100}$:

En el proceso de prueba, se deben satisfacer dos condiciones principales:

1. $rK_1(r) \leq e$ (garantizar existencia del flujo)
2. $D_0(r) \leq \bar{C}_0$ (garantizar validez de coordenadas locales)

Mediante el seguimiento de todas las estimaciones intermedias, se obtiene la condición suficiente: $r \leq \frac{1}{1396} \min\left\{\frac{1}{\sqrt{C_0}}, \frac{C_0}{C_1}, \frac{\sqrt{C_0}}{\sqrt{C_2}}, \frac{1}{A_0}, \frac{A_0}{A_1}, \frac{\sqrt{A_0}}{\sqrt{A_2}}\right\}$

Simplificando aún más a $r \leq 10^{-100}/B$, donde $10^{-100}$ es un factor de seguridad conservador.

Nota: El autor señala explícitamente que esta constante no es óptima, pero lo importante es que es explícita y computable.

Homogeneidad

Observación 1.4: Las constantes $B$ y $B^*$ son homogéneas de grado $-1/2$ con respecto al escalado de la métrica $g$: $B(\lambda g) = \frac{1}{\sqrt{\lambda}} B(g)$

Esto es consistente con la homogeneidad del radio $r(\lambda g) = \sqrt{\lambda} r(g)$, garantizando la invariancia geométrica del resultado.

Resultados intermedios clave

1. Estimación de no degeneración (Corolario 3.7): Cuando $K_0(r) \leq 1-\varepsilon$, $|\omega_t(X, \tilde{J}X)| \geq \varepsilon |X|_G^2$
2. Estimaciones de campos vectoriales:
   • $|X_t(v)|_G \leq 10|v|$ (crecimiento lineal)
   • $|\nabla^G X_t|_G \leq 294$ (derivada acotada)
3. Derivadas del mapa exponencial (Corolario A.3): Bajo la condición $D_0(|X|) \leq C_0$,
   • $|\tilde{Y}(X)| \leq 2|Y|$
   • $|\nabla_{Y_2}\tilde{Y}_1(X)| \leq 38C_0|X||Y_1||Y_2|$
   • $|\nabla_{Y_3}\nabla_{Y_2}\tilde{Y}_1(X)| \leq 109C_0|Y_1||Y_2||Y_3|$

Trabajos relacionados

Fundamentos de geometría simpléctica

1. Weinstein Wei71: Teorema original del entorno tubular Lagrangiano, aplicable a variedades de Banach
2. Moser Mos65: Técnica de Moser, construcción de difeomorfismos simplécticos mediante campos vectoriales dependientes del tiempo
3. Guillemin-Sternberg GS77 y Weinstein Wei79: Exposición sistemática de geometría simpléctica, incluyendo prueba detallada del teorema del entorno tubular
4. Cannas da Silva Can01: Libro de texto moderno de geometría simpléctica, incluyendo existencia de estructuras complejas compatibles

Técnicas de geometría Riemanniana

5. Eichhorn Eic91: Estimaciones de cotas para derivadas del mapa exponencial, la prueba de la Proposición A.2 del artículo se basa en sus técnicas
6. Jost Jos11: Teorema de comparación de Rauch y teoría de campos de Jacobi, utilizados en la prueba de inyectividad
7. Kowalski Kow71: Cálculos de curvatura de la métrica de Sasaki en fibrados tangentes

Posición de este artículo

• Primer resultado cuantitativo: Aunque el teorema de Weinstein tiene más de 50 años, este es el primer trabajo que proporciona un límite inferior explícito para el radio del entorno tubular
• Completamente constructivo: A diferencia de los teoremas de existencia, la prueba de este artículo es completamente constructiva
• Síntesis técnica: Combina múltiples técnicas de geometría simpléctica, geometría Riemanniana y teoría de EDO

Conclusiones y discusión

Conclusiones principales

1. Teorema de Weinstein cuantitativo: Para subvariedades Lagrangianas que satisfacen condiciones de cantidades geométricas acotadas, el radio del entorno tubular tiene un límite inferior explícito $10^{-100}/B$
2. Caso no compacto: El resultado también es válido para subvariedades Lagrangianas completas no compactas
3. Caso embebido: Mediante la introducción de la constante de inmersión, se puede garantizar que el mapa construido es un difeomorfismo en lugar de meramente un difeomorfismo local
4. Método constructivo: Todo el proceso de prueba es constructivo, en principio implementable numéricamente

Limitaciones

1. Constante no óptima: $10^{-100}$ es una estimación muy conservadora, la constante óptima real debería ser mucho mayor
2. Hipótesis de Kähler: Se requiere que la variedad ambiente sea Kähler en lugar de simplemente simpléctica, esto se hace para simplificar cálculos (utilizando $\nabla J = 0$)
3. Dependencia de derivadas de orden superior: El límite inferior depende de derivadas de segundo orden de la curvatura y la segunda forma fundamental, cantidades que pueden ser difíciles de calcular en la práctica
4. Cantidades geométricas globalmente acotadas: Se requiere que cantidades geométricas como la curvatura estén acotadas en toda la variedad, esto excluye algunos ejemplos importantes

Direcciones futuras

El artículo no propone explícitamente direcciones futuras, pero se pueden considerar:

1. Mejora de constantes: Mejora de la constante $10^{-100}$ mediante estimaciones más refinadas
2. Relajación de la hipótesis de Kähler: Generalización a variedades simplécticas generales o variedades casi Kähler
3. Reducción del orden de derivadas: Investigación de si es posible dar estimaciones usando solo derivadas de primer orden
4. Implementación numérica: Transformación de la prueba constructiva en algoritmos prácticos
5. Investigación de aplicaciones: Aplicación de resultados cuantitativos a la teoría de deformaciones de subvariedades Lagrangianas, homología de Floer y otros campos

Evaluación profunda

Fortalezas

1. Originalidad fuerte:
   • Primera versión cuantitativa del teorema de Weinstein
   • Resolución de un problema natural pero no resuelto durante 50 años
   • Método innovador, combinación ingeniosa de técnicas de múltiples campos
2. Profundidad técnica:
   • La prueba involucra resultados profundos de geometría simpléctica, geometría Riemanniana y teoría de EDO
   • El uso de estimaciones de campos de Jacobi, métrica de Sasaki y lema de Lindelöf es muy ingenioso
   • Todas las estimaciones son explícitas, con muy alta dificultad técnica
3. Completitud:
   • El artículo es autónomo, los apéndices proporcionan todos los lemas técnicos necesarios
   • Seguimiento completo de constantes, sin suposiciones ocultas de "suficientemente grande/pequeño"
   • Tratamiento de casos de inmersión y embebido
4. Calidad de escritura:
   • Estructura clara, motivación bien explicada
   • La descripción de estrategia en la Sección 2 es muy útil
   • Detalles técnicos exhaustivos pero no redundantes

Insuficiencias

1. Constante excesivamente conservadora:
   • $10^{-100}$ claramente no es óptimo, valor práctico limitado
   • El autor lo reconoce, pero no proporciona caminos de mejora
   • Algunas estimaciones intermedias podrían optimizarse significativamente
2. Limitaciones de hipótesis:
   • La hipótesis de Kähler excluye muchas variedades simplécticas importantes
   • La hipótesis de cantidades geométricas globalmente acotadas es muy fuerte
   • Para casos no compactos, la hipótesis de completitud también es necesaria
3. Falta de ejemplos concretos:
   • El artículo no proporciona ningún ejemplo geométrico concreto
   • No discute valores específicos de constantes en ejemplos estándar (como subvariedades Lagrangianas en $\mathbb{C}^n$)
   • Falta comparación numérica con resultados conocidos
4. Discusión de aplicaciones insuficiente:
   • No discute aplicaciones potenciales en teoría de intersecciones Lagrangianas, homología de Floer y otros campos
   • No establece conexión con aplicaciones en física (como simetría espejo)
5. Legibilidad de detalles técnicos:
   • Los cálculos de coordenadas en la Sección 7 son bastante técnicos, posiblemente difíciles de seguir
   • Algunas notaciones (como el símbolo $\circ$) no se aclaran suficientemente en su primera aparición

Impacto

1. Contribución teórica:
   • Proporciona versión cuantitativa del teorema de Weinstein, llenando vacío teórico
   • Las técnicas de prueba pueden inspirar investigación sobre cuantificación de otros teoremas geométricos
   • Promueve investigación interdisciplinaria entre geometría simpléctica y Riemanniana
2. Valor práctico:
   • Valor práctico directo limitado debido a constante muy pequeña
   • Pero en principio permite precisar afirmaciones como "suficientemente cercano"
   • Proporciona fundamento teórico para geometría simpléctica numérica
3. Reproducibilidad:
   • Prueba completamente explícita, en principio reproducible
   • Sin experimentos numéricos, sin implementación de código
   • Requiere sólido trasfondo en geometría para comprensión completa
4. Investigación posterior:
   • Puede inspirar investigación sobre optimización de constantes
   • Puede promover cuantificación de otros teoremas geométricos
   • Proporciona nuevas herramientas para teoría de subvariedades Lagrangianas

Escenarios de aplicabilidad

1. Investigación teórica:
   • Trabajo teórico que requiere enunciado preciso del rango de aplicabilidad del teorema de Weinstein
   • Rigurificación de teoría de deformaciones de subvariedades Lagrangianas
   • Problemas en topología simpléctica que requieren control cuantitativo
2. Análisis geométrico:
   • Estudio de subvariedades Lagrangianas con geometría acotada
   • Aplicaciones en ecuaciones de evolución como flujos de curvatura
3. Escenarios menos aplicables:
   • Cálculo numérico práctico (constante demasiado pequeña)
   • Casos de geometría no acotada
   • Variedades simplécticas no Kähler

Referencias

El artículo cita las siguientes referencias clave:

1. Wei71 A. Weinstein, "Symplectic manifolds and their Lagrangian submanifolds" - Teorema original de Weinstein
2. Mos65 J. Moser, "On the volume elements on a manifold" - Literatura original de la técnica de Moser
3. Eic91 J. Eichhorn, "The boundedness of connection coefficients and their derivatives" - Estimaciones de derivadas del mapa exponencial
4. Jos11 J. Jost, "Riemannian geometry and geometric analysis" - Teorema de comparación de Rauch
5. Can01 A. Cannas da Silva, "Lectures on symplectic geometry" - Libro de texto de geometría simpléctica
6. Lee13 J. M. Lee, "Introduction to smooth manifolds" - Teoría de flujos

Evaluación general

Este es un artículo de matemática pura técnicamente muy fuerte y altamente original. Resuelve un problema natural pero largo tiempo sin resolver del teorema del entorno tubular Lagrangiano de Weinstein: proporcionar un límite inferior explícito para el radio. Aunque la constante obtenida $10^{-100}$ es muy conservadora, lo importante es demostrar que tal límite explícito efectivamente existe y es computable.

El valor principal del artículo radica en:

• Completitud teórica: Transformación del teorema de Weinstein de resultado de existencia a resultado cuantitativo
• Innovación metodológica: Demostración de cómo transformar sistemáticamente pruebas de existencia en estimaciones cuantitativas
• Profundidad técnica: Síntesis ingeniosa de técnicas profundas de múltiples campos

Las limitaciones principales son:

• Constante no suficientemente optimizada, valor práctico limitado
• Condiciones de hipótesis relativamente fuertes (Kähler, geometría acotada)
• Falta de ejemplos concretos y discusión de aplicaciones

Para investigadores en geometría simpléctica y análisis geométrico, este es un artículo que merece lectura cuidadosa, particularmente por sus técnicas de prueba y métodos de seguimiento de constantes. Para lectores orientados a aplicaciones, el valor teórico supera al valor práctico.