We have a continuously differentiable function $f$ from $\mathbb{R}^{n+m}$ to $\mathbb{R}^n$, and we find a continuously differentiable function $g$ which maps points from $\mathbb{R}^m$ into $\mathbb{R}^n$ (this function defines $x \in \mathbb{R}^n$ "implicitly" in terms of $y \in \mathbb{R}^m $).
What regularity properties must the image of $g$ have as a direct result of the proof of the implicit function theorem (if any) in order to allow meaningful differentiable geometry (e.g. manifolds) to "happen"?
In the proof of the Inverse (not implicit) function theorem, we need to care about the properties of the image of $f$. Yet for some reason the properties of the image of $g$ in the Implicit (not inverse) function theorem don't matter? Why is that?
What properties, if any, of $g$ in the implicit function theorem, then, are important for the definitions of manifolds and tangent spaces and bundles?
This question seems to address a related issue, but the discussion seems to assume that the image of g is open. However, Rudin does not mention this in his proof, nor does it seem to necessarily follow from his proof (we only show the existence of two open sets in $\mathbb{R}^{n+m}$ and one in $\mathbb{R}^m$, but I'm asking about the image of the latter as a set in $\mathbb{R}^n$).
EDIT: "Isn't this unsatisfactory? How can we use the conclusions of the implicit function theorem if the implicit function is neither a homeomorphism nor a diffeomorphism?" --- I realize now that it can't be a diffeomorphism except for the case where $n=m$, because otherwise we would have a contradiction.
Context:
This is in some sense the sequel to a question I asked here.
In that question I asked why we wanted the image of the continuously differentiable function $f$ to be open.
The answer seemed to come down to having a sufficiently meaningful/useful definition of derivative apply to the inverse function so that we had in particular continuity of the inverse function and a homeomorphism. That having the image be open is necessary for this seems somewhat unclear, but appears to be justifiable using Brouwer's invariance of domain theorem.
However, in Rudin's proof of the implicit function theorem, it does not seem like it is necessary that the image of the "implicit function" $g$ be open.
Why don't we have the same problem for the implicit function theorem?
Wouldn't we need the image to be open for the inverse image of some set under $g$ to be a manifold? (Assuming it is supposed to somehow be a manifold?)
The function $g$ is much less important than you seem to think it is. You don't actually care about $g$; the function you care about is $f$, and you are just using $g$ to get a simple description of what $f$ looks like.
In particular, you never ask for the inverse image of a set under $g$ to be a manifold; you ask for the inverse image of a set under $f$ to be a manifold. For instance, when you take the inverse image of a single point $p$ under $f$, the implicit function theorem tells you that you get the graph of a differentiable function $g$, and the graph of any differentiable function is always a differentiable submanifold. Indeed, we know the graph is a differentiable submanifold because we can parametrize it by the function $\mathbb{R}^n\to\mathbb{R}^{n+m}$ sending $x$ to $(x,g(x))$. This has nothing to do with any special regularity properties of $g$ besides just being a function and being differentiable.
Note that it is a highly nontrivial statement that there even exists such a function $g$: it says that locally, once you choose the first $n$ coordinates of a point of $\mathbb{R}^{n+m}$, there is always exactly one way to choose the last $m$ coordinates to get a point which $f$ sends to $p$. The content of the implicit function theorem isn't that the function $g$ is super-nice, but merely that it exists at all. It is $f$ which you want to be super-nice, and the mere existence of $g$ is all you need to conclude useful facts about $f$ (e.g., that $f^{-1}(\{p\})$ is a manifold).