Pagina 1 di 1

omotopia o omologia?

Inviato: 19 apr 2011, 01:49
da ma_go
c'è un teorema carino e simpatico che dice:
whitehead ha scritto:se $f:X\to Y$ è una mappa continua tra CW complessi che induce isomorfismi $f_*: \pi_n(X)\to \pi_n(Y)$, allora $f$ è un'equivalenza omotopica.
e se uno volesse indebolire le ipotesi?
whitehead con un calo di zuccheri ha scritto:se $f:X\to Y$ è una mappa continua tra CW complessi che induce isomorfismi $f_*: H_n(X)\to H_n(Y)$, allora $f$ è un'equivalenza omotopica.
(può benissimo essere che ci siano dimostrazioni molto eleganti, o controesempi molto stupidi)

Re: omotopia o omologia?

Inviato: 19 apr 2011, 13:36
da Nonno Bassotto
In un certo ci sono sia la dimostrazione (con una piccola ipotesi in più) che il controesempio.
Whitehead dopo un attimo di riflessione ha scritto: se $ f \colon X \to Y $ è una mappa continua tra CW complessi che induce isomorfismi $ f_{*} \colon H_n(X) \to H_n(Y) $ e $ f_{*} \colon \pi_1(X) \to \pi_1(Y) $, allora $ f $ è un'equivalenza omotopica.
Ti lascio dimostrare questa versione, e trovare il controesempio alla tua con un calo di zuccheri.