04.06.2013 Views

Carlos Ivorra Castillo AN´ALISIS MATEM´ATICO - Tecnologia-Tecnica

Carlos Ivorra Castillo AN´ALISIS MATEM´ATICO - Tecnologia-Tecnica

Carlos Ivorra Castillo AN´ALISIS MATEM´ATICO - Tecnologia-Tecnica

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

11.3. Sucesiones exactas 411<br />

A partir de la primera sucesión, un simple cálculo de dimensiones nos da la<br />

relación dim H 1 (S n ) = dim H 0 (S n−1 ) − 1, con lo que<br />

La segunda sucesión nos da<br />

dim H 1 (S n )=<br />

1 si n =1<br />

0 si n>1<br />

dim H k+1 (S n ) = dim H k (S n−1 ), para k>1.<br />

A partir de aquí, una simple inducción prueba que<br />

dim H k (S n <br />

1 si k =0ok = n<br />

)=<br />

0 si 1 ≤ k ≤ n − 1<br />

Éste es el mejor resultado que podíamos obtener, teniendo en cuenta que ya<br />

sabíamos que H n (S n ) = 0.<br />

Ejercicio: Calcular la cohomología de un toro.<br />

Ejercicio: Calcular la cohomología de un círculo abierto con n agujeros. Probar que<br />

el grupo H 1 de R 2 con infinitos agujeros tiene dimensión infinita.<br />

Veamos un último ejemplo más sofisticado. Sea J : S −→ S una involución<br />

en una variedad, es decir, un difeomorfismo tal que J ◦ J sea la identidad. El<br />

caso típico es J : S n −→ S n dado por J(p) =−p.<br />

Entonces J ♯ :Λ(S) −→ Λ(S) es un automorfismo con la misma propiedad:<br />

J ♯ ◦ J ♯ = I. Podemos descomponer Λ(S) =Λ+(S) ⊕ Λ−(S), donde<br />

Λ+(S) ={ω ∈ Λ(S) | J ♯ (ω) =ω}, Λ−(S) ={ω ∈ Λ(S) | J ♯ (ω) =−ω}.<br />

En efecto, basta tener en cuenta que<br />

ω = ω + J ♯ (ω)<br />

2<br />

+ ω − J ♯ (ω)<br />

.<br />

2<br />

Estos dos subespacios son estables para la diferencial, luego podemos verlos<br />

como complejos inversos, y es claro entonces que H(S) = H+(S) ⊕ H−(S),<br />

donde<br />

H+(S) ={α ∈ H(S) | J(α) =α}, H−(S) ={α ∈ H(S) | J(α) =−α}.<br />

Ejemplo Vamos a calcular H k +(S n )yH k −(S n ). Obviamente son todos nulos<br />

excepto los correspondientes a k =0,n. En cada caso, uno de los dos será nulo<br />

y el otro tendrá dimensión 1. Sólo hemos de decidir cuál es cuál. Para k =0<br />

es obvio: la aplicación antípoda J deja invariantes a las funciones constantes,<br />

luego H 0 +(S n )=R y H 0 −(S n )=0.<br />

Para k = n sabemos que el elemento de medida dm es un n-cociclo con<br />

integral no nula y por lo tanto no es una cofrontera. Por consiguiente la clase

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!