Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicable
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.

Reeb components of a codimension-one foliation

Definition

Assume Countable Choice ACω. Let F be a codimension-one regular foliation of a 3-manifold M, and let X=D‾2×S1 be the closed solid torus with its standard Reeb foliation FReeb (The Reeb foliation of the solid torus has the boundary as a leaf): the boundary ∂X is a compact leaf diffeomorphic to T2 and every interior leaf is a plane accumulating on ∂X. A Reeb component of F is a saturated subset R⊆M, compact as a subset, for which there is a homeomorphism Φ:X→R mapping leaves of FReeb onto leaves of F∣R and ∂X onto a leaf of F; equivalently, R is compact and saturated, homeomorphic to the solid torus, has a single compact leaf as boundary, and its interior foliation is foliated-homeomorphic to the Reeb foliation. In the smooth models of this page the conjugacy may be taken smooth; in the general closed-leaf construction of lem-the-compact-leaf-produced-by-a-vanishing- cycle-bounds-a-reeb-component the source produces a foliated homeomorphism, so the topological form of the definition is the one used. A foliation with no Reeb component is called Reebless.

Depends on

Used by

Dependency tree · two levels

33 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