Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedaudited 2026-09-10
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 πi(X,x)=0 for every x∈X and 1≤i≤n. 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 f:X→Y of CGWH spaces is 0-connected if π0(X)→π0(Y) is surjective. For n≥1 it is n-connected if this component-surjectivity condition holds and πi(Mf,j(X),j(x)) is the distinguished singleton for every x∈X and 1≤i≤n. 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 x∈X. The separate component-surjectivity condition ensures that no target component outside the image is omitted.

Depends on

Dependency tree · 2 levels

Sources