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.
N connected space and n connected map
Definition
A (−1)-connected space is a nonempty space. For n≥0, an n-connected space is nonempty and path-connected and has for every and . Nonemptiness is additional to Paths, path-connected spaces and path components, whose path-connectedness condition is vacuous on the empty space.
A (−1)-connected map imposes no condition. A continuous map of CGWH spaces is 0-connected if is surjective. For n≥1 it is n-connected if this component-surjectivity condition holds and is the distinguished singleton for every and . The cylinder factorization is Mapping cylinder factorization, and the relative groups and pointed sets are those of Long exact sequence of relative homotopy groups. In degree one, triviality means a singleton pointed set. The relative condition is imposed at every source basepoint . The separate component-surjectivity condition ensures that no target component outside the image is omitted.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
21 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Hatcher, Algebraic Topology, Chapter 4 (standard reference, not scraped)