Smooth Manifold

Another word for a (infinitely differentiable) manifold, also called a differentiable manifold. A smooth manifold is a topological manifold together with its "functional structure" (Bredon 1995) and so differs from a topological manifold because the notion of differentiability exists on it. Every smooth manifold is a topological manifold, but not necessarily vice versa. (The first nonsmooth topological manifold occurs in four dimensions.) Milnor (1956) showed that a seven-dimensional hypersphere can be made into a smooth manifold in 28 ways.