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.
Bridge number one characterizes the unknot
Statement
Assume the Axiom of Countable Choice used by the bridge-number definition. For every smooth oriented knot in the standard , if and only if is ambient isotopic through orientation-preserving diffeomorphisms to the fixed oriented coordinate circle used as the standard unknot.
Statement references
Facts & Assumptions
Given: and a smooth oriented knot in the standard .
The definition of is the least number of local maxima over Morse representatives, and the standard unknot is the fixed coordinate circle. Bridge number and unknotting number of an oriented knot
The set of Morse representatives is nonempty for every smooth knot. Every smooth knot has a Morse representative for the fixed height
A proper arc with one height maximum (or minimum) in a height ball bounds a bridge disk with any prescribed simple boundary arc joining its endpoints on the level sphere. An arc with one height extremum is boundary-parallel
A smooth oriented knot bounds a genus-zero spanning surface exactly when it is ambient isotopic to the standard unknot. A knot has genus zero exactly when it is the unknot
Proof
Given: and the knot .
Suppose . By [A1] and [F1], the nonempty set of maximum counts has least value , so choose a Morse representative with exactly one local maximum. On the circle, nondegenerate critical points alternate between maxima and minima; compactness gives finitely many, and a function on a circle has at least one minimum. Hence has exactly one minimum. Choose a regular value between these two critical values. Its level sphere meets in exactly two points, and the upper and lower balls contain one proper arc each, with respectively one maximum and one minimum.
Fix a simple arc on the level sphere joining the two intersection points. Apply [F2] to the upper arc and the lower arc, using this same . The resulting bridge disks lie in opposite balls and meet only along ; their union, with its corner smoothed, is an embedded disk whose boundary is . Thus has genus zero, and [F3] makes it ambient isotopic to the standard unknot.
Conversely, choose an orientation-preserving rotation in carrying the fixed coordinate 2-plane of the standard unknot to the plane spanned by and . A path of rotations from the identity gives an ambient isotopy, and on the rotated circle the fixed height is a sine or cosine with exactly one maximum. Hence . Every Morse function on a compact circle has at least one maximum, so and . Ambient-isotopic knots have the same set of representative maximum counts, so every unknot has bridge number one.
Sources
Diagram
The dashed line represents a regular level sphere in a two-dimensional cross-section; the two solid arcs are the upper and lower height arcs. The figure is only a cross-sectional schematic. The proof uses the bridge disks from [F2], not the drawing.
Depends on
Used by
Dependency tree · two levels
14 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
- Jennifer Schultens, Additivity of Bridge Numbers of Knots (standard reference, not scraped)
- Burde and Zieschang, Knots, 2nd revised and extended edition (standard reference, not scraped)