A topological space that is locally homeomorphic to Euclidean space R^n; often equipped with extra structure (smooth, differentiable, analytic, or topological) specified via atlases of coordinate charts and transition maps of a given regularity class.

Principle

Local Euclidean charts allow calculus and local linearization: each point has a neighborhood mapped homeomorphically (or diffeomorphically) to an open subset of R^n, and compatibility of charts (transition maps) determines the manifold's differentiability class.

Demonstration

The n-sphere S^n is a smooth manifold: locally it looks like R^n via stereographic projections or local coordinate patches; tangent spaces at points are n-dimensional vector spaces that linearize local behavior.

Misapplication

Treating a space with singularities, non-Hausdorff topology, or failing second countability as a manifold misuses the definition; similarly assuming global coordinates or Euclidean global structure from local charts is incorrect.

Consequence

When the manifold structure is present, one can define tangent bundles, differential forms, integration, vector fields, and apply differential topology and geometry; local-to-global techniques (partitions of unity, atlases) become available.

Reversal

The reversal is a singular space (for example with cone points or orbifold singularities) or a space without local Euclidean charts; such spaces lack the standard differential tools and require alternative theories.

Boundary

Manifold here implies a Hausdorff, second-countable space modeled on R^n unless otherwise stated; it excludes spaces with boundary only if the boundaryless condition is specified, and it excludes pathological topologies and non-manifold points.

Semantic Tension

Tension exists between manifold notions (topological, differentiable, smooth, analytic) and related concepts like CW-complexes, algebraic varieties, or orbifolds: they overlap in examples but differ in local models and allowed singularities.

Synthesis

A manifold is the structure that stitches local Euclidean coordinate charts into a global space with controlled compatibility: it provides the arena where local calculus and linearization extend to global geometric and topological reasoning subject to regularity and separation conditions.