A decomposition of a manifold-like topological space into a disjoint union of connected injectively immersed submanifolds called leaves, so that locally the space is homeomorphic to a product U × L with leaves corresponding to slices {u} × L.

Principle

Local product structure and integrability: around every point there is a chart in which leaves look like parallel copies of R^k; for smooth foliations this is equivalent to the integrability of a rank-k subbundle of the tangent bundle (Frobenius condition).

Demonstration

Examples include the foliation of the torus by parallel circles, the foliation of Rn by horizontal hyperplanes, and foliations obtained as level sets of a submersion; more intricate examples exhibit nontrivial holonomy such as Reeb components in three dimensions.

Misapplication

Confusing a foliation with a fibration: a foliation need not have a manifold quotient by the leaf relation and leaves can have dense orbits and complicated holonomy; treating any partition into submanifolds as a foliation without local product charts is incorrect.

Consequence

When correctly specified, a foliation provides geometric and dynamical invariants (holonomy groupoids, transverse structures, measures), influences PDE and index theory on the manifold, and constrains possible flows and transverse dynamics.

Reversal

The opposite is a space without a leafwise decomposition or with singular foliations where the local product property fails; invertible behavior appears when singularities or nonintegrable distributions are present.

Boundary

Usually refers to regular (C^r or smooth) foliations on manifolds or manifold-like spaces; excludes singular foliations, generalized laminations, or mere partitions unless regularity and local triviality are stated.

Semantic Tension

Tension occurs between foliation, fibration, lamination, and partition: fibrations have manifold quotients and global product structure, laminations permit totally disconnected transversals, and partitions can lack local triviality that foliations require.

Synthesis

A foliation is a local-product decomposition of a manifold into immersed submanifolds (leaves) governed by integrability conditions: it captures a leafwise geometry and transverse dynamics that generalize fibrations while allowing richer local and global behavior.