En matemáticas, específicamente en topología de variedades, una subvariedad compacta de codimensión -unode un colectorSe dice que es de dos caras encuando hay una incrustación
conpara caday
- .
En otras palabras, si su fibrado normal es trivial. [ 1 ]
Esto significa, por ejemplo, que una curva en una superficie es de dos lados si tiene un entorno tubular que es un producto cartesiano de la curva por un intervalo.
Una subvariedad que no es bilateral se denomina unilateral.
Ejemplos
Superficies
Para curvas en superficies, una curva es bilateral si y solo si conserva su orientación, y unilateral si y solo si invierte su orientación: un entorno tubular es entonces una cinta de Möbius . Esto se puede determinar a partir de la clase de la curva en el grupo fundamental de la superficie y el carácter de orientación en dicho grupo, que identifica qué curvas invierten su orientación.
- Un círculo incrustado en el plano tiene dos lados.
- Un círculo incrustado que genera el grupo fundamental del plano proyectivo real (como un "ecuador" del plano proyectivo, la imagen de un ecuador para la esfera) es unilateral, ya que invierte su orientación.
Propiedades
Cortar a lo largo de una variedad de dos lados puede separar una variedad en dos partes, como cortar a lo largo del ecuador de una esfera o alrededor de la esfera sobre la que se ha realizado una suma conectada , pero no necesariamente, como cortar a lo largo de una curva en el toro .
Cortar a lo largo de una variedad unilateral (conectada) no separa una variedad, ya que un punto que está localmente en un lado de la variedad puede conectarse con un punto que está localmente en el otro lado (es decir, justo al otro lado de la subvariedad) pasando a lo largo de una trayectoria que invierte la orientación.
Cortar a lo largo de una variedad unilateral puede hacer que una variedad no orientable se vuelva orientable, como cortar a lo largo del ecuador del plano proyectivo real, pero puede que no, como cortar a lo largo de una curva unilateral en una superficie no orientable de género superior; tal vez el ejemplo más simple de esto se ve cuando se corta una banda de Möbius a lo largo de su curva central .
Referencias
- ↑ Hatcher, Allen (2000). Notas sobre topología básica de 3-variedades (PDF) . pág. 10.
- Topología geométrica