How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Clutching construction for bundles over a suspension
Definition
Let be a well-pointed based compact CGWH space and let be continuous. Write the suspension from Reduced cone suspension and cofiber sequence as the union of its upper and lower cones and . The clutched bundle is the quotient of
by the equatorial identifications
Using collar neighborhoods of the equator gives two open product charts whose transition is the same on every collar slice. Thus Vector bundles are glued from transition cocycles makes a rank- vector bundle.
This upper-to-lower convention is fixed throughout the page: under the affine coordinates used in the companion calculation, gives the chosen tautological Hopf line over . Interchanging the upper and lower charts reverses the relation and replaces by . For , is a point and the construction gives the unique rank-zero bundle.