My question is as follows:

a) Let M be a C^r manifold in R^m of dimension k (assume say k < m)

b) Let us consider the set R_+M = { rz : r >= 0, z in M } equally as a subset of R^m ; 

c) Can we conclude that R_+M is a C^r manifold too, and if so how is the dimension impacted. (I am guessing it is not larger than k + 1). If true how would one show this, or what reference to a (positive or negative) result could you provide?

More Wim van Ackooij's questions See All
Similar questions and discussions