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.
Cw Complexes and Cellular Homology — Examples
1 · Prerequisites
- Abelian Categories
- Binary Operations, Monoids, Groups and Subgroups
- Cardinal Arithmetic, Cofinality and the Alephs
- Categories, Functors and Natural Transformations
- Chain Complexes and Homology
- Chain Homotopy and the Homotopy Category
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Cw Complexes and Cellular Homology
- Exactness and the Member Calculus
- Finite Counting, Factorials and Binomial Coefficients
- Foundations of the Real Numbers for Analysis
- Free Modules, Exact Sequences, Projective and Injective Modules
- Limits and Colimits
- Long Exact Sequences in Homology
- Metric Spaces
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Ordinal Arithmetic and the First Uncountable Ordinal
- Ordinals, Cardinals, and Transfinite Recursion
- Preadditive and Additive Categories and Biproducts
- Reflective Subcategories and the Adjoint Functor Theorems
- Relations, Functions, and Quotients
- Relative Homology Excision and Mayer Vietoris
- Rings, Subrings, Integral Domains and Fields
- Roots, Rational Powers, and Classical Inequalities
- Sequences and Limits
- Set Theory Beyond Choice: Recorded, Not Proved Here
- Simplicial Complexes and Simplicial Homology
- Singular Chains and Singular Homology
- Subspaces, Products, and Quotients
- Suprema and Infima
- Tensor Products of Modules
- The Diagram Lemmas in an Abelian Category
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Universal Properties, Representables and the Yoneda Lemma
2 · Summary
These computations keep the cellular attachment data and the finite-support qualification explicit. In the Hawaiian-earring counterexample the proposed open -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
Cellular homology of real projective space
Example
has one cell in every dimension , with for odd and for positive even . Thus , for odd , and the top group is if is odd and if is positive even.
Facts & Assumptions
Given: The standard quotient CW structure of .
Verification
The attaching map of the -cell has incidence degree , so Cellular boundary is the incidence degree matrix gives the stated alternating differentials.
Taking kernels modulo images gives the listed groups, including where only occurs; Cellular homology computes singular homology identifies them with singular homology.
Cellular homology and ring-independent groups of complex projective space
Example
has one cell in each even dimension . Hence for any abelian group , for and all odd-degree groups vanish.
Facts & Assumptions
Given: The standard one-even-cell-per-dimension CW structure.
Verification
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.
The cellular groups are one copy of in the listed even dimensions and zero otherwise, and the comparison theorem gives the asserted singular groups.
Cellular boundary matrix of a closed orientable surface
Example
For the genus- closed orientable surface, the one-vertex, -edge, one-face CW structure has zero cellular differentials. Thus , , and .
Facts & Assumptions
Given: The polygon word .
Verification
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.
The cellular complex is with zero maps, and Cellular homology computes singular homology proves the calculation.
Cellular homology of a lens space
Example
For , the standard cellular complex is . Hence , , and .
Facts & Assumptions
Given: The standard one-cell-in-each-dimension CW structure of , .
Verification
Its incidence degrees are in dimensions , respectively, so the displayed complex follows from Cellular boundary is the incidence degree matrix.
Its kernels and images are the stated groups (also for , when ), and the cellular comparison transfers them to singular homology.
Cellular homology of an infinite-dimensional projective space
Example
has , for positive odd , and for positive even .
Facts & Assumptions
Given: The filtration by finite projective skeleta.
Verification
The finite skeleton has the alternating 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 is larger than that degree.
Taking the stabilized groups and applying Homology of an infinite CW complex is the colimit of skeletal homology yields the stated infinite-dimensional calculation.
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 both have Euler characteristic .
Facts & Assumptions
Given: These two finite CW structures on the circle.
Verification
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 -cell to one -cell by sending both points of to that vertex.
Proof technique: direct.
Its open cell is still the embedded open interval by The interior of an attached cell embeds openly in its closure, but is not homeomorphic to ; this refutes the statement.
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.
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.
Put the radius- circle tangent at the origin with centre , and choose its far point . The set meets every closed cell in a closed set, but it is not closed in the Hawaiian earring since . Hence the topology is not the weak topology on these closed cells, so this decomposition is not a CW complex.
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 -cell and each circle minus that point as an open -cell.
Counterexample
Given: The union in of circles of radius tangent at the origin.
Proof technique: direct.
The Hawaiian earring is compact as a closed bounded subset of , and it meets every proposed open -cell (each punctured circle).
This violates A compact subspace of a CW complex meets only finitely many cells, so the proposed cell structure is not a CW complex.
Sources
- Allen Hatcher, Algebraic Topology, Example 2.42
- Allen Hatcher, Algebraic Topology, Section 2.2
- Allen Hatcher, Algebraic Topology, Example 2.36
- Allen Hatcher, Algebraic Topology, Example 2.43
- Allen Hatcher, Algebraic Topology, Theorem 2.44
- Allen Hatcher, Algebraic Topology, Chapter 0
- Allen Hatcher, Algebraic Topology, Appendix A