A CW complex is built by attaching q-dimensional discs to the -skeleton along maps of their boundary spheres, with the closure-finite and weak-topology conditions. Write for its q-skeleton and . The cellular chain group is
The cellular boundary is the composite of the connecting map and the relative quotient map:
Consecutive maps in the relevant exact sequences compose to zero, so these maps make a cellular chain complex. Equivalently, a boundary coefficient is the degree of the attaching sphere followed by collapse onto the sphere of a selected lower cell. Its cellular homology is . The relative groups of successive skeleta vanish off their cell dimension; their exact sequences identify this homology with singular homology, the cellular homology theorem.
For , the sphere has a zero-cell and a k-cell with zero boundary. The Complex projective space has one cell in each dimension and no odd cells, so all cellular boundaries vanish. Consequently
At , the sphere consists of two points and ; at , projective space is a point.
Put and . Its product CW complex has cells in dimensions . For , these positive dimensions are distinct and never consecutive, so all cellular boundaries vanish. Thus
Its -skeleton is . Collapsing it gives the quotient
It induces an isomorphism on top homology, with degree after choosing the quotient orientation. Let be the Hopf fibration and set , the Hopf projection of a product smash quotient.
On reduced homology, the collapse kills the two lower-dimensional classes, and the remaining top class maps to zero because projective space has no odd-dimensional homology. Therefore in every reduced degree. On homotopy groups, for , with summands induced by the two factor inclusions. Both inclusions are collapsed by , so and hence vanish on both summands. The domain is simply connected and connected, which also handles the lower groups.
It remains to prove that is not null-homotopic. The Hopf fibration has fibre and has the homotopy lifting property for the CW domain : a homotopy downstairs and a lift of its initial map have a lift with that specified initial value. If were homotopic to a constant, lift this homotopy starting at . The ending map would land in the single fibre . Every map is null-homotopic, since the simply connected domain permits its lift to the contractible universal cover . Thus would be null-homotopic in , contradicting its nonzero top homology map. Hence