You can certainly have a set diffeomorphic to R^n but not star-shaped. For example, for n=2, the Riemann mapping theorem implies that any simply connected open set is diffeomorphic to the plane. More concretely, you can take a ball and just deform it a little bit so it's very badly not convex (in particular, not star-convex) but still diffeormorphic to the ball. For example, you a thickened letter M in two dimensions.
Eric Wofsey
- 31.2k
- 2
- 115
- 151