Cover the circle by two open arcs whose intersection has two components, and take their products with . Both members of this cover retract onto , while their intersection retracts onto . The Mayer–Vietoris sequence has the mapafter consistent identifications of the two overlap components. Its kernel and cokernel are each . Exactness therefore suppliesThis splits because the last group is free abelian: lift a basis and extend linearly. With , the result isStarting from a point and iterating this decomposition, Pascal's identity yields
Articles by others on the same topic
There are currently no matching articles.