Effective Constructive Algebraic Topology - Institut Fourier
Effective Constructive Algebraic Topology - Institut Fourier
Effective Constructive Algebraic Topology - Institut Fourier
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.
Easy up to homotopy.<br />
Easiest solution = K(Z, 2).<br />
Justification = two principal fibrations:<br />
S 1 ↩→ S ∞ −→ P ∞ C<br />
K(Z, 1) ↩→ E(Z, 1) −→ K(Z, 2)<br />
+ (K(Z, 1) ∼ S 1 )+(S ∞ contractible) +(E(Z, 1) contractible)<br />
⇒ P ∞ C ∼ K(Z, 2)<br />
Remark: K(Z, 2) not of finite type!<br />
Simplicial model of finite type for P 2 C??<br />
9
Change language