3
$\begingroup$

If I have two sets that are disjoint i.e. $A\cap B=\emptyset$, and $\varphi \in C^1(U,\mathbb{R}^N)$, then are the inverse images (i.e. $\varphi^{-1}(A), \varphi^{-1}(B)$) also disjoint?

My logic supporting this assertion would be that from the definition of well defined: $$a=b \implies f(a)=f(b)$$

Therefore, taking the contrapositive, the disjointness seems to follow, but I'm not certain.

Does this seem reasonable?

1 Answers 1