Collar de vecindarios de una variedad topológica con límite

Para norte -colector METRO con límite no vacío METRO , un barrio de cuello de METRO en METRO es un barrio abierto de METRO homeomorfo a METRO × [ 0 , 1 ) por un homeomorfismo tomando METRO a METRO × 0 .

Se prueba en la Proposición 3.42 de la Topología Algebraica de Hatcher , que para una variedad compacta METRO con límite, hay una vecindad de collar de METRO .

Ahora, supongamos METRO es un compacto norte -variedad cuyo límite METRO se descompone como la unión de dos compactos ( norte 1 ) -colectores A y B con un límite común A = B = A B . Hatcher dice que la existencia de barrios de collar de A B en A y B y METRO en METRO implica que A y B son retracciones de deformación de vecindades abiertas tu y V en METRO tal que tu V la deformación se retrae A B = METRO y tu V la deformación se retrae A B .

¿Cómo se sostiene esto? no veo como tengo que elegir tu y V .

gracias de antemano

Respuestas (1)

Dejar C ser un barrio de cuello de METRO en METRO y deja D y mi ser collar barrios de A B en A y B , respectivamente. Tenga en cuenta que A mi luego la deformación se retrae a A , por deformación retráctil mi Abajo a A B , y de manera similar B D la deformación se retrae a B , y D mi la deformación se retrae a A B .

identificando C con METRO × [ 0 , 1 ) , dejar tu = ( A mi ) × [ 0 , 1 ) y V = ( B D ) × [ 0 , 1 ) . Entonces tu la deformación se retrae A × { 0 } y V la deformación se retrae a B × { 0 } . Además tu V = C la deformación retrocede a METRO y tu V = ( D mi ) × [ 0 , 1 ) la deformación se retrae a ( A B ) × { 0 } . Entonces, tu y V tener todas las propiedades deseadas.