Cohomología de Čech
En matemáticas, específicamente la topología algebraica, la Cohomología de Čech es una teoría de cohomología basada en las propiedades de conjuntos abiertos y recubrimientos de espacio topológico. Se llama así por el matemático checo Eduard Čech.

Motivación 
Sea X un espacio topológico, y sea  un recubrimiento de X. Define un complejo simplicial , llamado el nervio del recubrimiento de la siguiente manera que:

 Hay un vértice para cada elemento de .
 Hay un límite para cada par de  de tal manera que .
 En general, existe un k-simplex para cada k+1-subconjuntos del elemento  de  para que .

Geométricamente el nervio  es esencialmente un "complejo dual" (en el sentido de un grafo dual o dualidad de Poincaré) para el recubrimiento de .

La idea de la cohomología de Čech es que, si optamos por un recubrimiento  que es lo suficiente pequeño de conjuntos abiertos conectados, el resultado complejo simplicial de  debe ser un buen modelo de combinatoria para el espacio X. Para tal recubrimiento, la cohomología Čech de X se define como la cromología simplicial del nervio.

Esta idea puede ser formalizada por la noción de un buen recubrimiento, por lo que todo conjunto abierto y cada intersección finita de conjuntos abiertos es contráctil. Sin embargo, un enfoque más general es tomar el límite directo de los grupos de cohomología del nervio sobre el sistema de todos los recubrimientos de X, ordenados por el refinamiento. Este es el enfoque adoptado por debajo.

Construcción 
Sea X un espacio topológico y deja que  sea un prehaz de los grupos abelianos de .  deja de ser una recubrimiento de .

Simplex 
Una q-simplex  de  es una colección ordenada de  de los conjuntos seleccionados de , de tal manera que la intersección de todos estos conjuntos no está vacía. Esta intersección se llama el soporte de  y su denotación es .

Ahora vamos a  que es un q-simplex. El j-ésimo límite parcial de  es decir:

El límite de  se define como la suma alterna de los límites parciales:

Cocadenas 
Una q-cocadena de  con coeficientes en  es un mapa que asocía a cada q-simplex &sigma un elemento de  y denotamos el conjunto de todas las q-cocadenas de  con coeficientes en  por .  es un grupo abeliano por adición puntual.

Véase también 

 Cohomología de haces

Referencias

 
  Para una mayor discusión de los espacios de Moore, véase el Capítulo 2, Ejemplo 2.40.
  ISBN 0-387-90419-0. ISBN 3-540-90419-0. Capítulo 2 Apéndice A

Topología algebraica
Čech, cohomología
En matemáticas , específicamente la topología algebraica , la Cohomología de Čech es una teoría de cohomología basada en las propiedades de conjuntos abiertos y recubrimientos de espacio topológico . Se llama así por el matemático checo Eduard Čech . Motivación Sea X un espacio topológico , y sea un recubrimiento de X . Define un complejo simplicial , llamado el nervio del recubrimiento de la siguiente manera que : Hay un vértice para cada elemento de \ . Hay un límite para cada par de de tal manera que \ . En general , existe un k-simplex para cada k+1-subconjuntos del elemento de para que \ . Geométricamente el nervio es esencialmente un " complejo dual " ( en el sentido de un grafo dual o dualidad de Poincaré ) para el recubrimiento de \ . La idea de la cohomología de Čech es que , si optamos por un recubrimiento que es lo suficiente pequeño de conjuntos abiertos conectados , el resultado complejo simplicial de debe ser un buen modelo de combinatoria para el espacio X . Para tal recubrimiento , la cohomología Čech de X se define como la cromología simplicial del nervio . Esta idea puede ser formalizada por la noción de un buen recubrimiento , por lo que todo conjunto abierto y cada intersección finita de conjuntos abiertos es contráctil . Sin embargo , un enfoque más general es tomar el límite directo de los grupos de cohomología del nervio sobre el sistema de todos los recubrimientos de X , ordenados por el refinamiento . Este es el enfoque adoptado por debajo . Construcción Sea X un espacio topológico y deja que sea un prehaz de los grupos abelianos de \ . deja de ser una recubrimiento de \ . Simplex Una q-simplex de es una colección ordenada de de los conjuntos seleccionados de , de tal manera que la intersección de todos estos conjuntos no está vacía . Esta intersección se llama el soporte de y su denotación es \ . Ahora vamos a que es un q-simplex . El j-ésimo límite parcial de es decir : El límite de se define como la suma alterna de los límites parciales : Cocadenas Una q-cocadena de con coeficientes en es un mapa que asocía a cada q-simplex &sigma un elemento de y denotamos el conjunto de todas las q-cocadenas de con coeficientes en por \ . es un grupo abeliano por adición puntual . Vea se también Cohomología de haces Referencias Para una mayor discusión de los espacios de Moore , vea se el Capítulo Ejemplo40 . ISBN90419-0 . ISBN90419-0 . CapítuloApéndice A Topología algebraica Čech , cohomología