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.
Every integer is realized by a map to the sphere
Statement
Let be a nonempty closed connected oriented smooth -manifold with . For every there is a smooth map with . The construction is explicit. Choose pairwise disjoint closed coordinate balls in , with charts ; on the -th ball the map is the smooth model pinch of step 2.1 below, read in the chart, and it is the base point of outside the balls. The model has a regular value whose only preimage is the centre of the ball, and it is constant with value outside the unit ball, so the centres are the only preimages of under and is a regular value there. Hence , and choosing each chart orientation-preserving or orientation-reversing makes every summand equal to , so that ; for the empty family gives the constant map of degree . The construction uses only finite choice and no other form of the Axiom of Choice.
Facts & Assumptions
The unit sphere is the regular level , with nonzero differential and tangent space . Its standard smooth structure is supplied by the regular-level theorem. The stereographic inverse charts are , with the two omitted poles understood, and their transition is ; all expressions are smooth on their domains. The boundary orientation is defined by requiring to be positive in . (A regular level set is an embedded submanifold, Induced boundary orientation).
Given: A nonempty closed connected oriented smooth -manifold , , and an integer ; the unit sphere with its standard smooth structure and its orientation for which the outward normal of the ball is first (Euclidean spheres and closed balls as subspaces of , For , the sphere is path-connected and connected, Smooth manifolds and their smooth charts).
Smooth bump: for and there is a smooth with on and ; in dimension one, on and outside (A smooth bump between concentric Euclidean balls).
The square-root function is smooth on : the inverse function theorem gives its derivative , and induction in this identity gives derivatives of every order. Composing it with a smooth positive function is smooth by the chain rule (The Euclidean inverse function theorem, The chain rule for differentials of smooth maps).
A chart of an oriented manifold either preserves or reverses the orientation, and the sign of a chart enters local degree computations through the orientation of its coordinate frame; carries the orientation of [given] and the standard stereographic charts (Orientation-preserving parametrizations, Oriented smooth manifolds and oriented charts, the local calculation).
If is proper and smooth and is a regular value, then the fibre is finite and , the compact-support degree of Degree of a proper smooth map by compact-support cohomology (Regular-value formula for degree, Regular and critical points and values).
Finite families of nonempty sets admit choices in ZF (Every natural-number-indexed list of nonempty sets has a choice function on its family of values). Euclidean closed balls are compact, continuous images of compact sets are compact, and compact subsets of Hausdorff spaces are closed (For , every Euclidean closed ball and every Euclidean sphere of positive radius is compact, A continuous image of a compact space is compact; a continuous real-valued map on a nonempty compact space attains a maximum and a minimum; and a continuous bijection from a compact space to a Hausdorff space is a homeomorphism, In a Hausdorff space a point and a disjoint compact set, and two disjoint compact sets, have disjoint open neighbourhoods; hence every compact subset is closed, and in a compact Hausdorff space the compact subsets are exactly the closed ones). Smooth maps agreeing on an open cover paste smoothly (Smooth maps paste over an open cover).
Proof
(The bump profile.) By [F1] in dimension one fix a smooth with on and outside , and define for . Then is smooth, for , for , and with for ; moreover is the square of the smooth function , read as where vanishes.
(The model pinch.) Put for and ; since for , the function is smooth and positive on . Define for and and for ; the radicand is smooth and positive on and equals near , so is smooth and positive there by [F2], and since is flat at and vanishes beyond it, is smooth on . Set for . With one has , hence , so maps into . Each component is smooth, and since is locally constant with value for , its expressions in the two stereographic charts of ([F3]) are smooth; thus is smooth.
(The regular value of the model.) At the origin and , so . If then , that is , which by step 1.1 happens only for ; hence . Near one has , and , so ; the first components of have differential at and the last component has vanishing differential there, so has rank and is an isomorphism of tangent spaces, and is a regular value of .
(Gluing the model into .) For put . Since is nonempty and , choose one chart ball and distinct coordinate points in it. Choose sufficiently small pairwise disjoint open Euclidean balls about these points with closures still inside that chart ball. Translation and positive rescaling give charts with , pairwise disjoint domains , and closed unit coordinate balls . Each is compact as the continuous image of a compact Euclidean ball, and hence closed in the Hausdorff . Define on and on the open complement of . The only overlaps are , on which by step 2.1; thus the definitions agree. Their smooth local expressions paste to a smooth . This selects finitely many chart data and ensures disjoint domains, not merely disjoint closed balls.
(Degree of the glued map.) By steps 3.1 and 3.2 the equation holds exactly for , and is an isomorphism, so is a regular value of with finite fibre , and is proper because is compact ([given]). By [F4], , where if preserves the orientations of and and otherwise; each chart is orientation-preserving or orientation-reversing, and composing a chart with reverses its orientation while fixing its centre and unit ball. At the ambient tuple has sign , so for the outward-normal-first orientation. Choosing all equal to gives ; no infinite selection is used.
(The case and conclusion.) For take the empty family, so is the constant map , whose regular values are the points different from and whose fibre is then empty; hence by [F4]. For every the map constructed in steps 3.2 and 4.1 is therefore smooth with , using finitely many charts and finitely many choices of closed balls and chart orientations only.
Depends on
- For $n\ge2$, the sphere $S^{n-1}$ is path-connected and connected
- Open cover, subcover, and compact topological space; a compact subset is a subspace that is compact in its own right
- Degree of a proper smooth map by compact-support cohomology
- Euclidean spheres and closed balls as subspaces of $\mathbb{R}^n$
- Induced boundary orientation
- Orientation-preserving parametrizations
- Oriented smooth manifolds and oriented charts
- Regular and critical points and values
- Smooth manifolds and their smooth charts
- Euclidean spaces and Euclidean open subsets as smooth manifolds
- Continuity may be checked on any open cover, and on any finite closed cover; composites of continuous maps are continuous
- Every natural-number-indexed list of nonempty sets has a choice function on its family of values
- A smooth bump between concentric Euclidean balls
- A regular level set is an embedded submanifold
- The chain rule for differentials of smooth maps
- The Euclidean inverse function theorem
- Regular-value formula for degree
- For $n\ge1$, every Euclidean closed ball and every Euclidean sphere of positive radius is compact
- A continuous image of a compact space is compact; a continuous real-valued map on a nonempty compact space attains a maximum and a minimum; and a continuous bijection from a compact space to a Hausdorff space is a homeomorphism
- In a Hausdorff space a point and a disjoint compact set, and two disjoint compact sets, have disjoint open neighbourhoods; hence every compact subset is closed, and in a compact Hausdorff space the compact subsets are exactly the closed ones
- Smooth maps paste over an open cover
Used by
Dependency tree · two levels
97 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Victor Guillemin and Alan Pollack, Differential Topology (standard reference, not scraped)
- Daniel S. Freed, Bordism: Old and New (lecture notes, UT Austin, Fall 2012) (standard reference, not scraped)
- John Milnor, Topology from the Differentiable Viewpoint (standard reference, not scraped)