1

In the book, Tu states that the inverse function theorem is equivalent to the implicit function theorem. Also I have read that the Constant Rank Theorem contains the inverse function theorem as a special cases. From a logic point of view, if theorem $T_1$ is a special case of theorem $T_2$, does that mean that $T_1 \Rightarrow T_2$?

EEEB
  • 1,320
  • 1
    That's...not really how it works. From a logical point of view, once you've held your axioms fixed, all your inferences are set in stone. Such "one theorem is contained in another" statements are not really logical statements, strictly speaking. They are more like "with $T_1$ in hand, $T_2$ has a trivial proof". – Ian Jan 15 '18 at 17:01

1 Answers1

1

No. If theorem $T_1$ is a special case of theorem $T_2$, this means that $T_2 \Rightarrow T_1$: from $T_2$ (the most general theorem), the special case $T_1$ follows.

Taroccoesbrocco
  • 16,964
  • I used to always "imagine" the statement $A\Rightarrow B$ as two Venn diagrams where $A$ is a subset of $B$. This intuition has served me well in all cases except this one. – EEEB Jan 15 '18 at 17:06
  • Your intuition could be correct if you think as follows: often, a theorem $T_2$ is more general than theorem $T_1$ because the hypothesis of $T_2$ are satisfied by a larger number of "cases" than the hypothesis of $T_1$, and among the cases satisfying the hypothesis of $T_2$ there are all the cases where the hypothesis of $T_1$ is satisfied. – Taroccoesbrocco Jan 15 '18 at 17:13
  • I see, so you're saying I should view a theorem $T_1$ as being in fact $H_1 \Rightarrow C_1$ and say $T_2$ as being $H_2\Rightarrow C_2$. Then indeed if $H_1 \Rightarrow H_2$, ($H_2$ being "weaker" and hence satisfying more cases), then the theorem with the weakest hypotheses, namely $T_2$ implies the one with the stronger hypothesis, namely $T_1$, so $T_2$ is the more general one, as you stated. – EEEB Jan 15 '18 at 17:17
  • This of course provided the consequences are unchanged.. – EEEB Jan 15 '18 at 17:18
  • That's exactly how it is. – Taroccoesbrocco Jan 15 '18 at 17:21
  • re: the intuition with Venn diagrams, see https://math.stackexchange.com/q/2560267/16490 – ziggurism Jan 15 '18 at 20:28