8.1
In this section, our goal is to show that .
In fact, we will show that the loop space
is equivalent
to .
This is a stronger statement, because by
definition; so if , then by congruence
, and
is a set by definition (being a set-quotient; see \autorefdefn-Z,\autorefZ-quotient-by-canonical-representatives), so .
Moreover, knowing that is a set will imply that is trivial for , so we will actually have calculated all the homotopy groups of .
Title | 8.1 |
\metatable |