Definition
The process or result of replacing a subspace A ⊂ M by a neighborhood N ⊂ M that is homeomorphic to a manifold-with-boundary and contains A as a deformation retract; often called a regular neighborhood in manifold and PL settings.

Principle

Principle
Realize a subspace as a retract of a manifold‑like neighborhood so that local manifold structure can be extended around the subspace, enabling manifold techniques and transversality arguments to apply.

Demonstration

Demonstration
A smooth embedded complex or a finite CW subcomplex of a smooth manifold admits a tubular neighborhood diffeomorphic to a disk bundle; this disk bundle is a thickening of the subcomplex and deformation retracts onto it.

Misapplication

Misapplication
Assuming every topological embedding admits a manifold thickening without checking dimension or tameness hypotheses, or conflating arbitrary neighborhoods with regular neighborhoods that have product or bundle structures.

Consequence

Consequence
A valid thickening furnishes local coordinates, normal bundles or disk bundles, and allows the use of manifold invariants and surgery techniques; it also enables comparisons of embeddings via ambient isotopy when neighborhoods are controlled.

Reversal

Reversal
Collapsing a thickening back to the subspace recovers the original A up to deformation retraction, but information about the ambient embedding or normal data is lost by this collapse.

Boundary

Boundary
Applies when the ambient space has manifold or PL structure and the subspace is tame enough (e.g., locally flat, finite CW, or smoothly embedded); excludes wild embeddings or general metric neighborhoods that lack manifold boundary structure.

Semantic Tension

Semantic Tension
Close to the notion of regular neighbourhood, tubular neighbourhood, and collaring; tensions arise between PL, smooth, and topological categories where existence and uniqueness of thickenings differ and wild phenomena can invalidate straightforward thickening.

Synthesis

Synthesis
Thickening is the procedure of surrounding a tame subspace with a manifold‑with‑boundary neighborhood that deformation retracts to it, providing normal data and manifold structure needed to apply geometric and surgical tools while excluding wild or dimensionally impossible cases.