## [Construcción del Espacio Etalé](/es/node/63244) Definición El procedimiento que asocia a una haces (sheaf) de conjuntos (u otros objetos algebraicos) sobre un espacio topológico X un espacio topológico E junto con una homeomorfía local p:E→X — el espacio etalé — tal que la haces es isomorfa a la haces de secciones locales de p. ## Principio Principio Una haces equivale a la asignación de gérmenes (stalks) y a la regla de pegado; la construcción etalé ensambla todos los stalks en un espacio total con la topología final que hace que la proyección a X sea una homeomorfía local, realizando geométricamente las condiciones de la haces como existencia y unicidad de secciones locales. ## Demostración Demostración Para la haces de funciones continuas reales sobre X, el espacio etalé es la unión disjunta de todos los gérmenes de funciones en los puntos de X con la topología generada por conjuntos de gérmenes que provienen de una única función continua en un abierto; localmente esta proyección se parece a un producto y las secciones locales recuperan las funciones originales. ## Aplicación incorrecta Aplicación incorrecta Confundir la construcción etalé topológica con la noción distinta de morfismo étale en geometría algebraica sin comprobar el contexto, o aplicar la construcción a prefaisces que no satisfacen los axiomas de haces (de modo que el espacio de gérmenes no reproduce el comportamiento de pegado del prefaisces). ## Consecuencia Consecuencia La construcción del espacio etalé produce una equivalencia entre haces de conjuntos sobre X y espacios etalé sobre X, aportando un modelo geométrico concreto para las haces, facilitando argumentos por stalks y haciendo que las operaciones sobre haces (pullback, pushforward de secciones) se manifiesten como mapas continuos entre espacios. ## Inversión Inversión El procedimiento inverso recupera una haces a partir de una homeomorfía local tomando, para cada abierto U⊂X, el conjunto de secciones continuas U→E; invertir destaca que no toda aplicación continua es una homeomorfía local y que los prefaisces sin pegado no están representados por espacios etalé. ## Límite Límite Se aplica principalmente a haces de conjuntos (y con adaptaciones a haces con estructura como grupos o anillos) en espacios topológicos; el uso de ‘étale’ en geometría algebraica como morfismo suave no ramificado está emparentado en espíritu pero es distinto en condiciones técnicas y contexto. ## Tensión semántica Tensión semántica Hay tensión entre la perspectiva de haces‑como‑funtores y la de haces‑como‑espacios etalé: una es algebraica/functorial y la otra geométrica; confundir la construcción etalé topológica con aplicaciones étale en esquemas puede ocultar hipótesis necesarias. ## Síntesis Síntesis La construcción del espacio etalé reúne gérmenes en un espacio total y una proyección localmente homeomorfa a la base para que la haces original sea exactamente la haces de secciones locales de esa proyección, proporcionando una encarnación geométrica de los axiomas de haces y un puente entre perspectivas functoriales y espaciales.