Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Possible Duplicate:
Alternative ways to say “if and only if”?

So when I come across mathematical definitions like "A function is continuous if...."A space is compact if....","Two continuous functions are homotopic if.....", etc when is it okay to assume that the definition includes the converse as well?

share|improve this question
7  
Yes, definitions are "if and only if" statements. The "only if" part holds trivial content though, because it is defined like that. –  Ragib Zaman Jul 10 '12 at 18:56
1  
In fact, definitions should be interpreted that way. Personally, following the lead of my favorite undergraduate professor, I always use the "if and only if" format, and when I use it in class, I make the (verbal) point of saying that it is an "if and only if" because it is a definition. –  Arturo Magidin Jul 10 '12 at 23:32
add comment

marked as duplicate by TonyK, Leonid Kovalev, Chris Eagle, t.b., Asaf Karagila Aug 17 '12 at 15:13

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

2 Answers

Absolutely. The definition will state that we say [something] is $P$ if $Q$. Thus, every time that $Q$ holds, $P$ also holds. The definition would be useless if the other direction didn't hold, though. We want our terms to be consistent, so it is tacitly assumed that we will also say $P$ only if $Q$. Many texts prefer to avoid leaving this as tacit, and simply state it as "if and only if" in their definitions.

share|improve this answer
add comment

I agree largely. However, be warned that sometimes there are several ways to define things, which are sometimes not equivalent.

For example, in metric spaces, we can define continuity using $\varepsilon$-$\delta$ balls, and we can show this definition to be equivalent with one in terms of open sets (the latter would be a proposition, mind you). When we enter the realm of topology, we cannot speak of distance anymore, and we define continuity in terms of open sets. It's not true that a definition in terms of $\varepsilon$-$\delta$ balls is or is not equivalent - it just does not mean anything!

Therefore, the fact that even though some function on a topological space may be continuous (as defined in terms of open sets), this does not always imply that we can speak of an "open ball" (which we would conclude from the metric definition of continuity).

share|improve this answer
    
I don't see the relevance of this warning. The question is about definitions, not theorems. –  wildildildlife Jul 12 '12 at 11:22
    
@wildildildlife: added another paragraph - better like this? –  akkkk Jul 12 '12 at 11:41
add comment

Not the answer you're looking for? Browse other questions tagged or ask your own question.