An important outcome by René Thom, which attained him the Fields Medal in 1958, states that any k-dimensional gap is often determined or «surrounded» by a k-dimensional manifold. A submanifold is really a manifold within the ambient manifold X; for that to happen, its dimension k ought to be decreased compared to dimension n of X.The reader only