## [Cohomología Alexander–Spanier](/es/node/63182) Definición Una teoría de cohomología definida por cociclos que asignan valores a tuplas de puntos con soporte restringido a vecindarios suficientemente pequeños, construida como límite directo sobre refinamientos; coincide con la cohomología singular en espacios razonables y enfatiza construcciones local-a-global. ## Principio Principio Los cociclos se definen punto a punto sobre tuplas finitas y las restricciones locales se toman sobre vecindarios, de modo que la cohomología global surge como límite directo de cociclos definidos localmente; la idea organizadora es captar la información cohomológica mediante datos de vecindarios arbitrariamente pequeños en lugar de cadenas simpliciales o singulares. ## Demostración Demostración En un espacio paracompacto de Hausdorff o en una variedad, la cohomología Alexander–Spanier coincide con la cohomología singular: se construyen cociclos a partir de funciones localmente constantes sobre las tuplas y se usan particiones de la unidad o argumentos de refinamiento para mostrar que los grupos del límite directo concuerdan con los grupos de cohomología habituales. ## Aplicación incorrecta Aplicación incorrecta Tratar los cociclos Alexander–Spanier como intercambiables con funciones puntuales arbitrarias sin controlar el soporte o ignorar la topología del límite directo puede conducir a cálculos erróneos en espacios no paracompactos o patológicos donde falla la equivalencia con la cohomología singular. ## Consecuencia Consecuencia Proporciona una caja de herramientas flexible local-a-global: simplifica construcciones de productos cup y sostiene argumentos de excisión e interpretaciones faisalistas, haciendo más transparentes ciertas construcciones locales y enunciados de dualidad. ## Inversión Inversión La cohomología de Čech enfatiza recubrimientos y nervios, mientras que la cohomología singular usa símplex; revertir la perspectiva equivale a pasar de cociclos basados en vecindarios y puntos a modelos combinatorios o simpliciales, destacando diferentes fortalezas y debilidades computacionales. ## Límite Límite La coincidencia con la cohomología singular requiere hipótesis moderadas (paracompacticidad, axiomas de separación razonables); en espacios arbitrarios no paracompactos, muy no Hausdorff o de gran escala, los grupos Alexander–Spanier pueden diferir y algunas identificaciones local-a-global fracasan. ## Tensión semántica Tensión semántica Hay tensión con la cohomología de Čech y con la cohomología de haces: Alexander–Spanier ofrece un enfoque puntual en límite directo que puede ser más fino o más burdo según la regularidad del espacio, por lo que hay que elegir con cuidado qué teoría se ajusta al contexto geométrico o analítico pretendido. ## Síntesis Síntesis La cohomología Alexander–Spanier organiza los datos cohomológicos como límites directos de cociclos definidos por vecindarios puntuales, produciendo una teoría local-a-global que coincide con la cohomología singular en espacios familiares, facilita productos cup y excisión y sirve como puente hacia construcciones faisalistas y de dualidad cuando se cumplen las hipótesis topológicas necesarias.