It is typical to find a corollary that following theorems, but is it right to use the word corollary for a statement following a conjecture, where the statement is true only if the unproven conjecture is true?
-
2$\begingroup$ Such statements are said to have "conditional proofs". en.wikipedia.org/wiki/Conditional_proof . I'm voting to close as "not a real question" $\endgroup$– Gjergji ZaimiCommented Mar 11, 2010 at 4:15
-
5$\begingroup$ I think it's a reasonable question. $\endgroup$– Noah SnyderCommented Mar 11, 2010 at 4:31
-
1$\begingroup$ I don't like this business of voting down stuff, especially when I do like the question. $\endgroup$– AnonymousCommented Mar 11, 2010 at 4:31
-
$\begingroup$ I didn't give it a vote down, the poster asked a clear question. The only debatable thing is whether this the right place to find the answer. Maybe this should be discussed at meta (or maybe there is a discussion already), but at least change the tag? :-) $\endgroup$– Gjergji ZaimiCommented Mar 11, 2010 at 4:35
-
$\begingroup$ I retagged the question. $\endgroup$– Kevin H. LinCommented Mar 11, 2010 at 5:44
5 Answers
I think it's generally bad form to have a corollary dependent on an earlier conjecture. I recommend one of the following:
Theorem: Assuming Conjecture A, properties X, Y and Z are true.
or
Theorem: Conjecture A implies X, Y and Z.
Most importantly, it should be crystal clear that the result is dependent on the conjecture.
I would write "Proposition Z: If X holds, then Y is true." Even if the deduction of Y from X were trivial, I think labelling this a corollary would be confusing. (After all, what is the statement "X implies Y" a corollary of?) However, I wouldn't have a problem writing something like "as we saw above, Y would be a corollary of X" later on. (The subjunctive voice is important here!)
-
2$\begingroup$ +1 for mentioning the subjunctive (and to be serious, I agree with this and with Douglas' take). $\endgroup$ Commented Mar 11, 2010 at 5:13
I'm reminded of the following story that I posted on my personal web journal a couple years ago:
At the Topology seminar yesterday, the speaker presented a theorem, which he immediately followed with a refinement: a statement that directly and obviously implies the theorem. He labeled his refinement a "corollary". I turned to Noah Snyder, and said that it was more an "uncorollary, or an anticorollary", but as soon as I said as much, the two of us simultaneously correctly labeled the refinement as a "rollary".
There should be more rollaries in mathematical writing.
-
3$\begingroup$ I am not sure if I understand your joke correctly, but shouldn't it be contrarollary? $\endgroup$ Commented Mar 11, 2010 at 12:51
-
$\begingroup$ What there should be more of or less of in mathematical writing is a topic that needs some public exposition. $\endgroup$ Commented Jul 28 at 19:43
Making a new Theorem environment that let you have the bolded part say "Corollary to Conjecture X" seems to me a good compromise of concise and unlikely to confuse anyone.
-
2$\begingroup$ I'm sure I've written stuff like "Corollary (of Conjecture X)" in class notes, but I think that in careful writing one should be even more clear about the conditional nature of a result than this. Strictly speaking it makes no sense for a conjecture to have a corollary, because the logical statuses are completely different. The more careful statement: "Proposition [or Theorem, or whatever]: Conjecture X implies Y" seems preferable. $\endgroup$ Commented Mar 11, 2010 at 9:44
-
1$\begingroup$ I also think that there is room for improvement in the way mathematicians state conditional results. In some subfields it seems to be almost forgotten that certain standard conjectures are not known to be true, so you see things like "Theorem: Something amazing (conditional on GRH)" (which, by the way, is not even one conjecture but a bundled together family of conjectures) Or, to hit closer to home: "We show something fantastic relating analytic, Mordell-Weil and Selmer ranks (assuming the finiteness of Sha)". I say boo: put your assumptions first! $\endgroup$ Commented Mar 11, 2010 at 9:48
-
3$\begingroup$ I actually think this is much clearer than "Prop: X implies Y." If you're skimming through you can't miss that "Corollary to conjecture" means it hasn't been proven, whereas if you have a proposition and you phrase it a little bit poorly a skimmer might think the conclusion had been proven. The clearest thing is to have the fact that it's unproven in bold. $\endgroup$ Commented Mar 11, 2010 at 17:00
-
$\begingroup$ Here's an example of when this construction is used: jlms.oxfordjournals.org/cgi/pdf_extract/s1-43/1/146 $\endgroup$ Commented Mar 13, 2010 at 22:32
The correct term for such an item is CONJOLLARY. ;)
-
$\begingroup$ Isn't that a relative of the Bandersnatch? $\endgroup$ Commented Mar 11, 2010 at 18:48