
A manifold is a mathematical space that locally resembles Euclidean space near each point.Imagine an ant crawling on the surface of a huge ball. To it, the ball seems flat, like an endless plain. But in fact, it lives on a curved surface that looks flat up close. So a manifold is a space that in each small region looks like ordinary Euclidean space, but as a whole may be more complex, like the surface of the Earth or a donut.
The concept of a manifold arose from attempts to mathematically describe complex geometric shapes. Bernhard Riemann, in his 1854 lecture 'On the Hypotheses Which Lie at the Foundations of Geometry', introduced a generalized concept of multidimensional space. At the end of the 19th century, works by Felix Klein and Sophus Lie gave rise to the theory of Lie groups — smooth manifolds with a group structure. In the early 20th century, Henri Poincaré laid the foundations of topology, in particular, formulating the conjecture about the homotopy equivalence of the three-dimensional sphere. Later, the development of manifold topology led to the classification of surfaces, the creation of knot theory, and modern differential geometry.
In physics, spacetime is modeled as a four-dimensional pseudo-Riemannian manifold, whose metric is determined by Einstein's field equations: R_{μν} - ½Rg_{μν} = (8πG/c⁴) T_{μν}. Here, the manifold sets the geometric properties of the universe, and curvature describes gravitational interaction. In quantum mechanics, wave functions are defined on infinite-dimensional Hilbert spaces, but their configuration spaces are often finite-dimensional manifolds (e.g., the Bloch sphere for a single qubit). Gauge symmetry groups (U(1), SU(2), SU(3)) are Lie groups naturally acting on corresponding manifolds.
If we lived on the surface of a donut, we could walk in any direction and eventually return to the starting point, unaware that our space has a hole! Manifolds allow us to study such unusual shapes of the universe.
| d | variable | Euclidean distance — distance metre |
| x₁ | variable | x-coordinate of point 1 — coordinate metre |
| x₀ | variable | x-coordinate of point 0 — coordinate metre |
| y₁ | variable | y-coordinate of point 1 — coordinate metre |
| y₀ | variable | y-coordinate of point 0 — coordinate metre |
| √ | operator | takes the square root of the sum — square root |









