Para -colector con límite no vacío , un barrio de cuello de en es un barrio abierto de homeomorfo a por un homeomorfismo tomando a .
Se prueba en la Proposición 3.42 de la Topología Algebraica de Hatcher , que para una variedad compacta con límite, hay una vecindad de collar de .
Ahora, supongamos es un compacto -variedad cuyo límite se descompone como la unión de dos compactos -colectores y con un límite común . Hatcher dice que la existencia de barrios de collar de en y y en implica que y son retracciones de deformación de vecindades abiertas y en tal que la deformación se retrae y la deformación se retrae .
¿Cómo se sostiene esto? no veo como tengo que elegir y .
gracias de antemano
Dejar ser un barrio de cuello de en y deja y ser collar barrios de en y , respectivamente. Tenga en cuenta que luego la deformación se retrae a , por deformación retráctil Abajo a , y de manera similar la deformación se retrae a , y la deformación se retrae a .
identificando con , dejar y . Entonces la deformación se retrae y la deformación se retrae a . Además la deformación retrocede a y la deformación se retrae a . Entonces, y tener todas las propiedades deseadas.