Loading [MathJax]/jax/output/HTML-CSS/jax.js

Sunday, January 18, 2015

Imbedding Theorem on m-Manifolds (8.50.6-7)

James Munkres Topology, chapter 8.50, exercises 6-7:

MathJax TeX Test Page 6. Prove the following theorem: Let X be a locally compact, second-countable Hausdorff space such that every compact subspace of X has topological dimension at most m. Then X can be imbedded as a closed subspace into 2m+1.
(a) Given f:XN, we say f(x) (as x) if for all n there exists a compact subspace CX such that |f(x)|>n whenever xXC. When ρ is the bounded metric on C(X,N), show that if ρ(f,g)<1 and f(x), then g(x).
(b) Show that if f(x), then f extends to a continuous mapping of one-point compactifications. Conclude that if f is injective, then X can be imbedded as a closed subspace into N.
(c) When CX is compact and given ε>0, define Uε(C)={f | Δ(f|C)<ε} Show Uε(C) is compact.
(d) Show that if N=2m+1, then Uε(C) is dense in C(X,N).
(e) Show there exists a continuous map F:XN such that F(x).
(f) Complete the proof.

7. Show that every m-manifold can be imbedded as a closed subspace into 2m+1.

Proof: (a) Given n, let CX be compact such that |f(x)|>n+1 for all xXC. Then |g(x)|>n for all xXC.

(b) If f(x), then define F:X(N) by F(ΩX)=ΩN and F(x)=f(x) otherwise. Since X is first-countable, it suffices to show f(xn)f(x) whenever xnx. This is evident by continuity of f when xΩX, and it follows from the definition of f(x) and of one-point compactifications when x=ΩX. And when f is injective, we see F is a homeomorphism whose image is closed in (N), so that f is a homeomorphism onto a closed subspace of N.

(c) Note that X is metrizable by the Urysohn metrization theorem, so that for each compact CX we see the image of the restriction of Uε(C) (technically, it requires specifying it is relative to C rather than X, though by the Tietze extension theorem the point is moot) is open in C(C,N) by the result proved in Theorem 50.5, which by nature of the bounded metric ρ implies Uε(C) is open in C(X,N).

(d) Let f:XN and δ>0 be given. By the result in Theorem 50.5, let g:CN be such that |f(x)g(x)|<δ for all xC and Δ(g)<ε. Extend gf|C to a continuous map h:X[δ,δ]N by the Tietze extension theorem; then k=h+f is such that ρ(f,k)<δ, and since k|C=gf|C+f|C=g, we have Δ(k)<ε.

(e) Let {Ui} be a countable basis for X. First, define a sequence Dn of compact subsets of X such that Dn=X, such as by letting Dn be the union of those basis elements Ui for i<n with compact closure. Let C0=ø. Given compact Cn, by local compactness of X cover Cn by finitely many sets open in X of compact closure, and let Cn+1 be the union of these closures together with Dn; then CnInt Cn+1 for each n, and Cn=X.

For all n, let Sn=CnInt Cn. Let f0:Cn be void. Given a function fn:Cn such that fn(x)=n for all xSn, let gn+1:Cn+1Int Cn[n,n+1] be such that gn+1(Sn)={n} and gn+1(Sn+1)={n+1}, and define fn+1:Cn+1 by fn+1(x)=fn(x) if xCn and fn+1(x)=gn+1(x) otherwise. Then fn+1 is continuous by the pasting lemma, and is n+1 on Sn+1.

Since we see fn(x)=fm(x) for all xCn whenever nm, define f:X by f(x)=fn(x) when xCn. Since every compact subset of X must be contained in Cn for some n (lest {Int Cn} be a cover with no finite subcover), and since X is compactly generated, we see f is continuous. Further, f(x) because f(x)n whenever xXCn. Finally, define F:XN by πi(F(x))=f(x) for all i. It follows that F is continuous and F(x).

(f) By the Baire property and previous arguments, U1/n(Cn) is dense in C(X,N). Hence, let λ:XN be such that λU1/n(Cn) and ρ(λ,f)<1. It follows that Δ(λ)=0 so that λ is injective, hence by (b) λ is an imbedding of X onto a closed subspace of N.

7. Being regular and locally Euclidean, m-manifolds are locally compact, and being Hausdorff and second countable the other qualities necessary to apply the previous theorem follow together with an application of Theorem 50.1. 

No comments:

Post a Comment