Let be a compact manifold of codimension . We show that can be well approximated by a part of an algebraic manifold.
For all , there exists and a polynomial function defined on such that is diffeomorphic to and
This was proved by Seifert in a 1936 german language paper. It was later generalized to the Nash-Tognoli theorem which implies that non-singular real algebraic sets have precisely the same topological invariants as compact manifolds .
Here, however, our motivations are more elementary and practical. Our proof of theorem 1 points towards constructive approximation processes and shows the separability of the space of all compact hypersurfaces, under an appropriate topology. This is relevant in statistics and computer graphics, for smooth hypersurface regression and reconstruction. Growing sequences of finite dimensional search spaces of smooth manifolds are required in these applications.
In preparation for our proof, in section 2, we also discuss the Jordan-Brouwer theorem, the orientability of and that for some function having regular value . We show that these three facts are essentially equivalent, in the sense that any one can be quite easily obtained from another.