Exercise 2, § 9
Tag 01HY, permanent. Cite it as [Bourbaki, Tag 01HY].
Lie Groups and Lie Algebras, IX, 419
Let X be a separated manifold of class , countable at infinity, and pure of dimension .
a) Assume that there exists an embedding of X into a finite dimensional vector space V. Show that there exists an embedding of X in (if dim , prove that there exists a point of V such that, for all , the straight line joining to meets only in the point , and meets it transversally at this point; deduce that there is an embedding of X in a space of dimension equal to dim ).
b) Show that there exists an embedding of X in . (Let be the set of open subsets of the subset of consisting of the open sets U such that there exists a morphism whose restriction to U is an embedding; by using ), show that is a quasi-full subset (General Topology, Chap. IX, §4, Exerc. 27) of , and hence is equal to
c) Show that there exists a proper embedding of X in . (Construct a proper embedding of X in by means of a proper function on X.)
Solution
No solution has been written yet.