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?