A bijective smooth map between differentiable manifolds whose inverse is also smooth; it provides an equivalence of smooth structures that preserves differentiable charts, derivatives, and smooth tensors.

Principle

Two differentiable manifolds are considered the same in the smooth category if there exists a smooth bijection with smooth inverse between them, ensuring that differentiable structures and calculus-based properties correspond under the map.

Demonstration

A simple example is the exponential map exp: R → (0,∞), which is a smooth bijection with smooth inverse log; thus R and (0,∞) are diffeomorphic as 1-dimensional smooth manifolds.

Misapplication

Assuming that any homeomorphism or continuous bijection between manifolds is a diffeomorphism ignores smoothness: there are homeomorphic manifolds that admit no smooth bijection with smooth inverse (e.g., phenomena of exotic smooth structures in higher dimensions).

Consequence

A diffeomorphism permits transfer of differential-geometric structures: smooth vector fields, differential forms, metric-compatible constructions (when metrics are transported), and local derivative-based arguments translate exactly.

Reversal

A homeomorphism that is not smooth (or whose inverse is not smooth) separates topological equivalence from smooth equivalence and shows that differentiable properties may not be preserved despite topological identity.

Boundary

Diffeomorphism is meaningful only in the smooth (differentiable) category; it excludes purely topological or metric-only equivalences and requires compatible smooth atlases on the manifolds involved.

Semantic Tension

Diffeomorphism competes with analytic or real-analytic isomorphisms and with topological notions: the tension is between preserving infinitely differentiable structure, requiring analytic structure, or merely preserving topology.

Synthesis

A diffeomorphism is a smooth bijection with smooth inverse that equates differentiable manifolds by preserving their calculus-based structures.