Hello.

I am trying to do a problem from Munkres "Analysis on Manifolds", pg. 209 problem 4.

The problem asks to show that E^(n-1) = S^(n-1)(a) n H^n is an n-1 manifold. It that asks you to find the boundary of E^(n-1).

Notation:

S^(n-1)(a) = the n-1 sphere of radius a = { x in R^n :|x| = a }

H^n = the upper half-space in R^n = { x in R^n : x_k > 0 }

Now I figure that I am suposed to use the following theorem:

Let O be open in R^n; let f: O -> R be of class C^r. Let M be the set op points x for which f(x) = 0; let N be the set of points for which f(x) >= 0. Supposed M in non-empty and Df(x) has rank 1 at each point of M. Then N is an n-manifold in R^n and the boundary of N = M.

However my problem is finding such a function. Am I approaching this problem the wrong way? I have been racking my brain on this for a while. Any help would be appreciated.

Thanks.