Alphabeta Math
Pipeline-generated
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.

9 results · all verified · 8 also independently AI-judged
Every result on this page is machine-checked by a proof checker and read in full and owner-audited; the judge is an additional, independent cross-model AI review of the proofs. The 1 not AI-judged were verified by owner audit (typically over a confirmed judge false positive), not failures.

Cw Complexes and Cellular Homology — Examples

1 · Prerequisites

2 · Summary

These computations keep the cellular attachment data and the finite-support qualification explicit. In the Hawaiian-earring counterexample the proposed open 1-cells are the punctured circles, not the entire circles.

3 · Logical flowchart

4 · Definitions, theorems and proofs

None yet.

5 · Examples, counterexamples and false statements

ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-07 rests on unproved material (inherited)Open item page →
Rests on 3 statements not proved in this library, by way of the results it cites. This item cites no such statement directly; it depends on results that do. The unproved premises it inherits are Cohen's first model: an infinite Dedekind-finite set of reals, Sierpiński 1947: the generalised continuum hypothesis implies the Axiom of Choice and The continuum hypothesis and its generalisation are independent of ZFC. Each is recorded with a citation to the literature and is not established here, because the track that would prove it has not yet been developed in this library. Everything else in this proof is proved here.

Cellular homology of real projective space

Example

RPm has one cell in every dimension 0nm, with dn=0 for odd n and dn=2 for positive even n. Thus H0Z, HnZ/2 for odd 0<n<m, and the top group is Z if m is odd and 0 if m is positive even.

Facts & Assumptions

Given: The standard quotient CW structure of RPm.

Verification

technique · direct
1.1

The attaching map of the n-cell has incidence degree 1+(1)n, so Cellular boundary is the incidence degree matrix gives the stated alternating 0,2 differentials.

given
2.1

Taking kernels modulo images gives the listed groups, including RP0 where only C0=Z occurs; Cellular homology computes singular homology identifies them with singular homology.

step 1.1
ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-07 rests on unproved material (inherited)Open item page →
Rests on 3 statements not proved in this library, by way of the results it cites. This item cites no such statement directly; it depends on results that do. The unproved premises it inherits are Cohen's first model: an infinite Dedekind-finite set of reals, Sierpiński 1947: the generalised continuum hypothesis implies the Axiom of Choice and The continuum hypothesis and its generalisation are independent of ZFC. Each is recorded with a citation to the literature and is not established here, because the track that would prove it has not yet been developed in this library. Everything else in this proof is proved here.

Cellular homology and ring-independent groups of complex projective space

Example

CPm has one cell in each even dimension 0,2,,2m. Hence for any abelian group G, H2i(CPm;G)G for 0im and all odd-degree groups vanish.

Facts & Assumptions

Given: The standard one-even-cell-per-dimension CW structure.

Verification

technique · direct
1.1

There are no adjacent-dimensional cells, so all cellular boundaries vanish by A CW complex with no cells in adjacent dimensions has zero cellular boundary.

given
2.1

The cellular groups are one copy of G in the listed even dimensions and zero otherwise, and the comparison theorem gives the asserted singular groups.

step 1.1
ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-07 rests on unproved material (inherited)Open item page →
Rests on 3 statements not proved in this library, by way of the results it cites. This item cites no such statement directly; it depends on results that do. The unproved premises it inherits are Cohen's first model: an infinite Dedekind-finite set of reals, Sierpiński 1947: the generalised continuum hypothesis implies the Axiom of Choice and The continuum hypothesis and its generalisation are independent of ZFC. Each is recorded with a citation to the literature and is not established here, because the track that would prove it has not yet been developed in this library. Everything else in this proof is proved here.

Cellular boundary matrix of a closed orientable surface

Example

For the genus-g closed orientable surface, the one-vertex, 2g-edge, one-face CW structure has zero cellular differentials. Thus H0Z, H1Z2g, and H2Z.

Facts & Assumptions

Given: The polygon word [a1,b1][ag,bg].

Verification

technique · direct
1.1

Each oriented edge occurs once positively and once negatively in the abelianization of the word, so every incidence coefficient of the face is zero; the edge-to-vertex boundary is also zero.

given
2.1

The cellular complex is 0ZZ2gZ0 with zero maps, and Cellular homology computes singular homology proves the calculation.

step 1.1
ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-07 rests on unproved material (inherited)Open item page →
Rests on 3 statements not proved in this library, by way of the results it cites. This item cites no such statement directly; it depends on results that do. The unproved premises it inherits are Cohen's first model: an infinite Dedekind-finite set of reals, Sierpiński 1947: the generalised continuum hypothesis implies the Axiom of Choice and The continuum hypothesis and its generalisation are independent of ZFC. Each is recorded with a citation to the literature and is not established here, because the track that would prove it has not yet been developed in this library. Everything else in this proof is proved here.

Cellular homology of a lens space

Example

For L(p,q), the standard cellular complex is 0Z0ZpZ0Z0. Hence H0,H3Z, H1Z/p, and H2=0.

Facts & Assumptions

Given: The standard one-cell-in-each-dimension CW structure of L(p,q), p1.

Verification

technique · direct
1.1

Its incidence degrees are 0,p,0 in dimensions 3,2,1, respectively, so the displayed complex follows from Cellular boundary is the incidence degree matrix.

given
2.1

Its kernels and images are the stated groups (also for p=1, when Z/p=0), and the cellular comparison transfers them to singular homology.

step 1.1
ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-07 rests on unproved material (inherited)Open item page →
Rests on 3 statements not proved in this library, by way of the results it cites. This item cites no such statement directly; it depends on results that do. The unproved premises it inherits are Cohen's first model: an infinite Dedekind-finite set of reals, Sierpiński 1947: the generalised continuum hypothesis implies the Axiom of Choice and The continuum hypothesis and its generalisation are independent of ZFC. Each is recorded with a citation to the literature and is not established here, because the track that would prove it has not yet been developed in this library. Everything else in this proof is proved here.

Cellular homology of an infinite-dimensional projective space

Example

RP has H0Z, HnZ/2 for positive odd n, and Hn=0 for positive even n.

Facts & Assumptions

Given: The filtration by finite projective skeleta.

Verification

technique · direct
1.1

The finite skeleton RPm has the alternating 0,2 cellular complex and the resulting singular homology computed in Cellular homology of real projective space. In each fixed degree these groups and the inclusion maps stabilize once m is larger than that degree.

given
2.1

Taking the stabilized groups and applying Homology of an infinite CW complex is the colimit of skeletal homology yields the stated infinite-dimensional calculation.

step 1.1
ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passaudited 2026-09-07 rests on unproved material (inherited)Open item page →
Rests on 3 statements not proved in this library, by way of the results it cites. This item cites no such statement directly; it depends on results that do. The unproved premises it inherits are Cohen's first model: an infinite Dedekind-finite set of reals, Sierpiński 1947: the generalised continuum hypothesis implies the Axiom of Choice and The continuum hypothesis and its generalisation are independent of ZFC. Each is recorded with a citation to the literature and is not established here, because the track that would prove it has not yet been developed in this library. Everything else in this proof is proved here.

Two CW structures on the circle have the same Euler characteristic

Example

The one-vertex/one-edge and the two-vertex/two-edge CW structures on S1 both have Euler characteristic 0.

Facts & Assumptions

Given: These two finite CW structures on the circle.

Verification

technique · direct
1.1

Their alternating cell counts are 11=0 and 22=0, using Euler characteristic of a finite CW complex.

given
2.1

Both agree with rankH0(S1)rankH1(S1)=11 by Euler–Poincare formula for finite CW complexes.

step 1.1
CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-07Open item page →

The closure of a CW cell need not be a closed ball

Statement refuted

Every closed cell in a CW complex is homeomorphic to a closed ball.

Counterexample

Given: Attach one 1-cell to one 0-cell by sending both points of S0 to that vertex.

Proof technique: direct.

1.1

By Cell attachment by a characteristic map, the closed-cell image is D1/D1S1.

given
2.1

Its open cell is still the embedded open interval by The interior of an attached cell embeds openly in its closure, but S1 is not homeomorphic to D1; this refutes the statement.

step 1.1
CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-07Open item page →

A cell decomposition without the weak topology need not be a CW complex

Statement refuted

A closure-finite decomposition into characteristic cells is automatically a CW complex.

Counterexample

Given: The Hawaiian earring in its subspace topology, decomposed into its common vertex and the punctured constituent circles.

Proof technique: direct.

1.1

Each punctured circle is the image of the interior of a characteristic interval, and its closed circle meets only itself and the common vertex. Thus this is a closure-finite characteristic-cell decomposition.

given
2.1

Put the radius-1/n circle tangent at the origin with centre (1/n,0), and choose its far point xn=(2/n,0). The set {xn:n1} meets every closed cell in a closed set, but it is not closed in the Hawaiian earring since xn0. Hence the topology is not the weak topology on these closed cells, so this decomposition is not a CW complex.

step 1.1
CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-07Open item page →

The Hawaiian earring is not a CW complex with its punctured circles as cells

Statement refuted

The Hawaiian earring is a CW complex with the common tangency point as its 0-cell and each circle minus that point as an open 1-cell.

Counterexample

Given: The union in R2 of circles of radius 1/n tangent at the origin.

Proof technique: direct.

1.1

The Hawaiian earring is compact as a closed bounded subset of R2, and it meets every proposed open 1-cell (each punctured circle).

given
2.1

This violates A compact subspace of a CW complex meets only finitely many cells, so the proposed cell structure is not a CW complex.

step 1.1

Sources