Timeline for Loopspace of an Eilenberg Maclane space K(G,n)
Current License: CC BY-SA 2.5
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Sep 30, 2010 at 20:53 | vote | accept | Sam | ||
| Sep 30, 2010 at 20:53 | vote | accept | Sam | ||
| S Sep 30, 2010 at 20:53 | |||||
| Sep 30, 2010 at 12:40 | answer | added | Allen Hatcher | timeline score: 7 | |
| Sep 30, 2010 at 8:36 | answer | added | Andrew Stacey | timeline score: 10 | |
| Sep 30, 2010 at 5:47 | vote | accept | Sam | ||
| Sep 30, 2010 at 20:53 | |||||
| Sep 30, 2010 at 2:20 | answer | added | Jeff Strom | timeline score: 2 | |
| Sep 30, 2010 at 1:07 | comment | added | Kevin Walker | Re your last sentence: in this case the loop space is homotopy equivalent to a discrete space with |G| points. | |
| Sep 30, 2010 at 0:18 | answer | added | Allan Edmonds | timeline score: 13 | |
| Sep 30, 2010 at 0:17 | comment | added | Ryan Budney | Take a look at the "compact-open topology" section in the Munkres point-set topology text (or almost any other). Once you understand the result $A^{B^{C}}=A^{B \times C}$ for "reasonable spaces" as Blass mentions, it's a fairly standard exercise to show $\pi_0 \Omega X = \pi_1 X$, similarly $\Omega^i \Omega^j X \simeq \Omega^{i+j} X$, so $\pi_i \Omega X = \pi_{i+1} X$. | |
| Sep 30, 2010 at 0:10 | answer | added | Andreas Blass | timeline score: 2 | |
| Sep 29, 2010 at 23:30 | history | asked | Sam | CC BY-SA 2.5 |