Articulo de referencia

Flujo lineal en el toroide

En matemáticas , especialmente en el área del análisis matemático conocida como teoría de sistemas dinámicos , un flujo lineal en el toro es un flujo en el toro n -dimensional ....

En matemáticas , especialmente en el área del análisis matemático conocida como teoría de sistemas dinámicos , un flujo lineal en el toro es un flujo en el toro n -dimensional .Tnorte=S1×S1××S1norte,{\displaystyle \mathbb {T} ^{n}=\underbrace {S^{1}\times S^{1}\times \cdots \times S^{1}} _{n},}que se representa mediante las siguientes ecuaciones diferenciales con respecto a las coordenadas angulares estándar(θ1,θ2,,θnorte):{\displaystyle \left(\theta _{1},\theta _{2},\ldots ,\theta _{n}\right):}dθ1dt=ω1,dθ2dt=ω2,,dθnortedt=ωnorte.{\displaystyle {\frac {d\theta _{1}}{dt}}=\omega _{1},\quad {\frac {d\theta _{2}}{dt}}=\omega _{2},\quad \ldots ,\quad {\frac {d\theta _{n}}{dt}}=\omega _{n}.}La solución de estas ecuaciones se puede expresar explícitamente como Φωt(θ1,θ2,,θnorte)=(θ1+ω1t,θ2+ω2t,,θnorte+ωnortet)mod2π.{\displaystyle \Phi _{\omega }^{t}(\theta _{1},\theta _{2},\dots ,\theta _{n})=(\theta _{1}+\omega _{1}t,\theta _{2}+\omega _{2}t,\dots ,\theta _{n}+\omega _{n}t){\bmod {2}}\pi .}Si representamos el toro comoTnorte=Rnorte/Znorte{\displaystyle \mathbb {T} ^{n}=\mathbb {R} ^{n}/\mathbb {Z} ^{n}}vemos que un punto de partida es movido por el flujo en la direcciónω=(ω1,ω2,,ωnorte){\displaystyle \omega =\left(\omega _{1},\omega _{2},\ldots ,\omega _{n}\right)}a velocidad constante y cuando alcanza el límite de la unidadnorte{\displaystyle n}-cubo salta a la cara opuesta del cubo.

Rotación irracional en un toro bidimensional

Para un flujo lineal en el toro, todas las órbitas son periódicas o densas en un subconjunto delnorte{\displaystyle n}-toro, que es unk{\displaystyle k}-toroide. Cuando los componentes deω{\displaystyle \omega }son racionalmente independientes todas las órbitas son densas en todo el espacio. Esto se puede ver fácilmente en el caso bidimensional: si los dos componentes deω{\displaystyle \omega }son racionalmente independientes, la sección de Poincaré del flujo en un borde del cuadrado unitario es una rotación irracional en un círculo y por lo tanto sus órbitas son densas en el círculo, como consecuencia las órbitas del flujo deben ser densas en el toro.

Enrollamiento irracional de un toro

En topología , un enrollamiento irracional de un toro es una inyección continua de una línea en un toro bidimensional que se utiliza para establecer varios contraejemplos. [ 1 ] Una noción relacionada es la foliación de Kronecker de un toro, una foliación formada por el conjunto de todas las traslaciones de un enrollamiento irracional dado.

Definición

Una forma de construir un toro es como el espacio cocienteT2=R2/Z2{\displaystyle \mathbb {T^{2}} =\mathbb {R} ^{2}/\mathbb {Z} ^{2}}de un espacio vectorial real bidimensional por el subgrupo aditivo de vectores enteros, con la proyección correspondienteπ:R2T2.{\displaystyle \pi :\mathbb {R} ^{2}\to \mathbb {T^{2}} .} Cada punto del toro tiene como preimagen una de las traslaciones de la red cuadrada.Z2{\displaystyle \mathbb {Z} ^{2}}enR2,{\displaystyle \mathbb {R} ^{2},}yπ{\displaystyle \pi }factores a través de un mapa que lleva cualquier punto en el plano a un punto en el cuadrado unitario[0,1)2{\displaystyle [0,1)^{2}}dada por las partes fraccionarias de las coordenadas cartesianas del punto original.

Ahora considere una línea enR2{\displaystyle \mathbb {R} ^{2}}dada por la ecuacióny=kincógnita.{\displaystyle y=kx.}Si la pendientek{\displaystyle k}de la línea es racional , puede representarse mediante una fracción y un punto de la red correspondiente deZ2.{\displaystyle \mathbb {Z} ^{2}.}Se puede demostrar que la proyección de esta línea es una curva cerrada simple sobre un toroide.

Sin embargo, sik{\displaystyle k}es irracional , no cruzará ningún punto de la red excepto 0, lo que significa que su proyección sobre el toro no será una curva cerrada, y la restricción deπ{\displaystyle \pi }En esta línea es inyectiva . Además, se puede demostrar que la imagen de esta proyección restringida como un subespacio, llamado enrollamiento irracional de un toro, es densa en el toro.

Aplicaciones

Los enrollamientos irracionales de un toro pueden utilizarse para establecer contraejemplos relacionados con los monomorfismos . Un enrollamiento irracional es una subvariedad inmersa , pero no una subvariedad regular del toro, lo que demuestra que la imagen de una variedad bajo una inyección continua a otra variedad no es necesariamente una subvariedad (regular). [ 2 ] Los enrollamientos irracionales también son ejemplos del hecho de que la topología de la subvariedad no tiene por qué coincidir con la topología del subespacio de la subvariedad. [ 2 ]

En segundo lugar, el toro puede considerarse como un grupo de Lie.U(1)×U(1){\displaystyle U(1)\times U(1)}y la línea puede considerarse comoR{\displaystyle \mathbb {R} }. Entonces es fácil demostrar que la imagen del homomorfismo de grupo continuo y analíticoincógnita(miiincógnita,miikincógnita){\displaystyle x\mapsto \left(e^{ix},e^{ikx}\right)}no es una subvariedad regular para irracionalk,{\displaystyle k,}[ 2 ] [ 3 ] aunque es una subvariedad inmersa y, por lo tanto, un subgrupo de Lie. También puede usarse para demostrar que si un subgrupoH{\displaystyle H}del grupo LieGRAMO{\displaystyle G}no está cerrado, el cocienteGRAMO/H{\displaystyle G/H}no tiene por qué ser una variedad [ 4 ] y podría incluso no ser un espacio de Hausdorff .

Véase también

Notas

^ a:subespaciotopológicodel toro, el enrollamiento irracional no es unavariedaden absoluto porque no es localmente homeomorfo a  R{\displaystyle \mathbb {R} }.

Referencias

  1. DP Zhelobenko (enero de 1973). Grupos de Lie compactos y sus representaciones . American Mathematical Soc. ISBN 9780821886649.
  2. 1 2 3 Loring W. Tu (2010). Introducción a las variedades . Springer. pp . 168. ISBN  978-1-4419-7399-3.
  3. Čap, Andreas ; Slovák, Jan (2009), Geometrías parabólicas: antecedentes y teoría general , AMS, p. 24, ISBN  978-0-8218-2681-2
  4. ^ Sharpe, RW (1997), Geometría diferencial: generalización de Cartan del programa Erlangen de Klein , Springer-Verlag, Nueva York, p. 146, ISBN  0-387-94732-9

Bibliografía

  • Katok, Anatole; Hasselblatt, Boris (1996). Introducción a la teoría moderna de los sistemas dinámicos . Cambridge. ISBN 0-521-57557-5.