Compactly supported homology¶

In mathematics, a homology theory in algebraic topology is compactly supported if, in every degree n, the relative homology group H n (X, A) of every pair of spaces.

Version: v1 · 2026-09-28 · History
Domain-specific #: 8583
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Homology Theory, Algebraic Topology → Mathematics

Core Idea¶

Compactly supported homology is treated here as the recurring homology theory identity summarized by this source-grounded definition: In mathematics, a homology theory in algebraic topology is compactly supported if, in every degree n, the relative homology group H n (X, A) of every pair of spaces. In mathematics, a homology theory in algebraic topology is compactly supported if, in every degree n, the relative homology group H n (X, A) of every pair of spaces. is naturally isomorphic to the direct limit of the nth relative homology groups of pairs (Y, B), where.

How would you explain it like I'm…

No faithful explanation at this level. Two of three generators agree: a child-level version must reduce homology to 'counting holes' and the condition to 'look at small pieces', which misstates the defining natural isomorphism with a direct limit over compact subpairs as piecewise hole-spotting.

Built From Compact Pieces

Mathematicians have tools called homology theories that measure features of shapes, like how many holes or loops they have. A homology theory is compactly supported if its answer for any shape, even an endless one, can be built up entirely from its answers for the shape's compact pieces, which are closed-in and limited in size. Every feature it detects shows up in some compact piece, and any two features it counts as the same can be matched up within a compact piece too. The most common homology theory, singular homology, works this way, because it builds everything out of finitely many little triangles.

Homology from Compact Subpairs

In algebraic topology, a homology theory assigns groups to spaces (and to pairs of spaces) that capture features like holes of different dimensions. A homology theory is compactly supported if, in every degree n, the relative homology group H_n(X, A) of any pair of spaces is naturally isomorphic to the direct limit of the groups H_n(Y, B), where Y runs over compact subspaces of X and B over compact subspaces of A. Informally, the homology of the whole space is completely determined by, and assembled from, the homology of its compact pieces. Singular homology is compactly supported, because every singular chain is a finite sum of simplices, each of which has compact image. Conversely, a homology theory defined only on compact pairs can be extended to Hausdorff pairs (X, A) with A closed, by defining the homology of (X, A) to be that direct limit.

In algebraic topology, a homology theory is compactly supported if for every pair of spaces (X, A) and every degree n, the relative homology H_n(X, A) is naturally isomorphic to the direct limit of H_n(Y, B), where Y ranges over compact subspaces of X and B over compact subspaces of A. Intuitively, every homology class is detected on, and every relation among classes is already present in, some compact subpair. Singular homology is the standard example: each singular chain is a finite sum of simplices, and each simplex has compact image, so every chain lives in a compact subspace. The definition also works as a construction: given a homology theory defined only on compact pairs, one can extend it to a compactly supported theory on the category of Hausdorff pairs (X, A) with A closed in X by defining the homology of (X, A) to be that direct limit over compact subpairs. The key conditions are that the isomorphism holds in every degree, is natural, and uses the direct limit over compact subpairs, not just some compact subset.

Scope of Application¶

Documented setting. In mathematics, a homology theory in algebraic topology is compactly supported if, in every degree n, the relative homology group H n (X, A) of every pair of spaces.
Documented setting. is naturally isomorphic to the direct limit of the nth relative homology groups of pairs (Y, B), where Y varies over compact subspaces of X and B varies over compact subspaces.
Documented setting. Singular homology is compactly supported, since each singular chain is a finite sum of simplices, which are compactly supported.
Documented setting. If one has defined a homology theory over compact pairs, it is possible to extend it into a compactly supported homology theory in the wider category of Hausdorff pairs (X, A).
Documented setting. In mathematics, a homology theory in algebraic topology is compactly supported if, in every degree n, the relative homology group H n (X, A) of every pair of spaces.

Clarity¶

A clear use of Compactly supported homology names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In mathematics, a homology theory in algebraic topology is compactly supported if, in every degree n, the relative homology group H n (X, A) of every pair of spaces.

Manages Complexity¶

Compactly supported homology compresses multiple homology theory details into a stable diagnostic relation. The source shows both the central mechanism—in mathematics, a homology theory in algebraic topology is compactly supported if, in every degree n, the relative homology group H n (X, A) of every pair of spaces.—and the practical consequence—in mathematics, a homology theory in algebraic topology is compactly supported if, in every degree n, the.

Abstract Reasoning¶

Type the carrier. Identify the homology theory entities to which the claim applies.
State the relation. Use the source-grounded identity: In mathematics, a homology theory in algebraic topology is compactly supported if, in every degree n, the relative homology group H n (X, A) of every pair of spaces.
Check operation and conditions. is naturally isomorphic to the direct limit of the nth relative homology groups of pairs (Y, B), where Y varies over compact subspaces of X and B varies over compact subspaces of.

Knowledge Transfer¶

Within the home domain. Knowledge about Compactly supported homology transfers literally when a new case preserves the same carrier type, relation, and recognition test. In mathematics, a homology theory in algebraic topology is compactly supported if, in every degree n, the relative homology group H n (X, A) of every pair of spaces. is naturally isomorphic to the direct limit of the nth relative homology.

Relationships to Other Abstractions¶

Current abstraction Compactly supported homology Domain-specific

Parents (1) — more general patterns this builds on

Compactly supported homology is a kind of Theory Prime

Compactly supported homology is a strict kind of Theory: its frozen identity entails the parent's defining structure while adding domain-specific restrictions.

Hierarchy paths (2) — routes to 2 parentless roots

Compactly supported homology → Theory → Formalization → Representation → Abstraction

Show alternative path (1)

Neighborhood in Abstraction Space¶

Compactly supported homology sits in a moderately populated region (41^st percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Category Theory & Homotopical Algebra (18 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08