Variedad subriemanniana
Una variedad subriemanniana es un concepto matemático que generaliza una variedad riemanniana . La esencia de la generalización es que el producto escalar se define no en todos los espacios tangentes , sino solo en algunos de sus subespacios (generalmente de una dimensión fija).
Así, en una variedad subriemanniana, el concepto de longitud no está definido para todas las curvas , sino sólo para las llamadas curvas horizontales (aquellas que tocan el subespacio correspondiente en cada punto). La métrica intrínseca de una variedad subriemanniana que surge de este modo se denomina métrica de Carnot-Carathéodory .
Definición
- Sea una variedad uniforme de dimensión , en la que se da una distribución uniforme de dimensión , es decir, en cada punto, se da un subespacio lineal del espacio tangente , que depende suavemente del punto . Los subespacios se llaman horizontales . Un campo vectorial y una curva se llaman horizontales si tocan la distribución en todos los puntos (en el caso de una curva, nos referimos a todos los puntos en los que la curva tiene una tangente ).
![METRO](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![\Delta](https://wikimedia.org/api/rest_v1/media/math/render/svg/32769037c408874e1890f77554c65f39c523ebe2)
![n<m](https://wikimedia.org/api/rest_v1/media/math/render/svg/5cff096773597d7223f9d90162eb2d780dfc18dc)
![T_{x}M](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e9a02a3b6f9a6808be3b99d0b27d1b97b4bb025)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![\Delta _{x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2bbf9f91a144687ca2a31307ad731850f8ee44aa)
![METRO](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![\Delta](https://wikimedia.org/api/rest_v1/media/math/render/svg/32769037c408874e1890f77554c65f39c523ebe2)
- Una distribución se llama completamente no integrable o completamente no holonómica si en cada punto cualquier vector del espacio tangente se puede representar como una combinación lineal de vectores de la forma
![\Delta](https://wikimedia.org/api/rest_v1/media/math/render/svg/32769037c408874e1890f77554c65f39c523ebe2)
![x \en M](https://wikimedia.org/api/rest_v1/media/math/render/svg/9df57d73e9532bb93a1439890bcddbc2806f5859)
![T_{x}M](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e9a02a3b6f9a6808be3b99d0b27d1b97b4bb025)
![A,\ [A,B],\ [A,[B,C]],\ [A,[B,[C,D]]],\ \puntos](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d12c51aeb13c9fe44d5024fee84f3ff684f22cb)
con algunos Aquí significa
el corchete de mentira de los campos vectoriales.
![A,B,C,D,\puntos\en \Delta _{x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cce8ad5762a29c923188f11e88475e0066a91fd0)
- Una variedad con una distribución completamente no integrable definida en ella se llama subriemanniana si cada subespacio horizontal está equipado con un producto interno g , un tensor métrico que cambia suavemente de un punto a otro. En otras palabras, una triple se llama variedad subriemanniana .
![METRO](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![\Delta](https://wikimedia.org/api/rest_v1/media/math/render/svg/32769037c408874e1890f77554c65f39c523ebe2)
![(M,\Delta,g)](https://wikimedia.org/api/rest_v1/media/math/render/svg/9590a5c2abf304e157503715be132dc3bd3c7e76)
Conceptos relacionados
Teorema de Rashevsky-Chow
El teorema de Rashevsky-Chow establece que para dos puntos cualesquiera de una variedad subriemanniana conectada por trayectorias , existe una curva horizontal suave por tramos que conecta estos puntos. Este teorema fue demostrado de forma independiente por el matemático soviético P. K. Rashevsky (1938) [1] y el matemático chino Chow ( Wei-Liang Chow , 1939) [2] .
En este teorema, la condición de suavidad para una distribución completamente no holonómica puede debilitarse y reemplazarse por la condición de Lippitz [3] .
Métrica Carnot-Carathéodory
Cada variedad subriemanniana tiene una métrica definida por analogía con una variedad riemanniana mediante la fórmula
donde el mínimo se toma a lo largo de todas las posibles curvas horizontales suaves por tramos que conectan los puntos xey , es decir , , , . La métrica así definida se denomina métrica de Carnot-Carathéodory .
![\gamma :[0,1]\a M](https://wikimedia.org/api/rest_v1/media/math/render/svg/0066953642fb00abb394327531cea098815cd1c8)
![\gamma(0)=x](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dab41ed8ce16471a6105c5e80458c28680f1b67)
![\gamma (1)=y](https://wikimedia.org/api/rest_v1/media/math/render/svg/0832b9af81ad6f1ad796ff5944ff2280124d7a12)
![d(x,y)](https://wikimedia.org/api/rest_v1/media/math/render/svg/3772957879a8bbf7946bddf5743c508a1d5072c0)
Notas
- ↑ Rashevsky P. K. Sobre la conectividad de dos puntos cualesquiera de un espacio completamente no holonómico por una línea admisible. Uf. aplicación Moscú estado ped. en-ta im. K. Liebknecht. Ser. Fiz.-Mat., 3:2 (1938), 83-94
- ↑ Chow WL Uber Systeme von linearen parciallen Differentialgleichungen erster Ordnung. Matemáticas. Ann.117 (1939), 98-105
- ↑ K. V. Storozhuk . El teorema de Carathéodory-Rashevsky-Chow para distribuciones no holonómicas de Lipschitz. Hermano. Matemáticas. zhurn., 54:6 (2013), 1380-1387
Literatura
- Gromov, Mikhael (1996), Espacios de Carnot-Carathéodory vistos desde dentro , en Bellaïche, André & Risler., Jean-Jacques, Geometría sub-riemanniana , vol. 144, progr. Math., Basilea, Boston, Berlín: Birkhäuser, p. 79–323, ISBN 3-7643-5476-3 , < http://www.ihes.fr/~gromov/PDF/carnot_caratheodory.pdf > Archivado el 27 de septiembre de 2011 en Wayback Machine .
- Richard Montgomery , Un recorrido por las geometrías subriemannianas, sus geodésicas y aplicaciones (Estudios matemáticos y monografías, Volumen 91) , (2002) Sociedad matemática estadounidense, ISBN 0-8218-1391-9 .