Mathematical Definitions: If versus Iff

In summary, there is a distinction between the words "if" and "iff" in mathematical definitions, but this distinction is not always respected in textbooks. While some definitions may use "if" to mean "iff", it is important to pay attention to the specific context and implications of the definition. In some cases, using "if" instead of "iff" may lead to incorrect conclusions or misunderstandings. Therefore, it is important to clarify and understand the meaning behind the use of "if" in mathematical definitions.
  • #1
quantumdude
Staff Emeritus
Science Advisor
Gold Member
5,584
24
Mathematical Definitions: "If" versus "Iff"

One might expect, perhaps naively, that mathematical definitions should be interpreted as "iff" statements by default, unless stated otherwise. This expectation arises from the facts that a definition expresses an equivalence, and that equivalences are biconditional.

But the more I read mathematics textbooks, the more it seems that the distinction between "if" and "iff" is not respected. Consider for example the following definition from Elementary Linear Algebra, 5ed, by Larson, Edwards, and Falvo (Houghton Mifflin Co.).

Definition of a Diagonalizable Matrix

An [itex]n \times n[/itex] matrix [itex]A[/itex] is diagonalizable if [itex]A[/itex] is similar to a diagonal matrix. That is, [itex]A[/itex] is diagonalizable if there exists an invertible matrix [itex]P[/itex] suth that

[tex]P^{-1}AP[/tex]

is a diagonal matrix.

My question is: Why are those ifs not iffs instead? Are the authors just being sloppy?
 
Physics news on Phys.org
  • #2
It's supposed to be iff. I suppose it's just tradition or something. :frown: I've been mentally substituting "iff" for a long time, so I no longer notice when "if" is used.
 
  • #3
In a case like that the 'only if' part is given for free, since a diagonal matrix is similar to a diagonal matrix and hence diagonalizable.
 
  • #4
Hurkyl said:
It's supposed to be iff.

That's what I thought. :grumpy:

I've been mentally substituting "iff" for a long time, so I no longer notice when "if" is used.

That brings me to my next question: How do you know when you can make the substitution?

Consider this example from Calculus, 8ed, by Larson, Hostetler, and Edwards (Houghton Mifflin Co.).

Definition of Continuity at a Point

A function [itex]f[/itex] is continuous at c if the following three conditions are met.

1. [itex]f(c)[/itex] is defined.

2. [itex]\lim_{x\rightarrow c}f(x)[/itex] exists.

3. [itex]\lim_{x\rightarrow c}f(x)=f(c)[/itex].

In that definition, it is supposed to be "if". Otherwise you would conclude that the function [itex]f(x)=\sqrt{1-x^2}[/itex] is not continuous at [itex]x=\pm 1[/itex] because the limit doesn't exist at either of those points.
 
  • #5
In case you didn't see it owing to time reasons see my reply: that is an if and only if statement for necessarily reversible reasons.
 
  • #6
It's pretty normal to use "if" in mathematical definitions. It's more along the lines of how "if" is used in everyday speech than in logic, such as "a motorcycle is called a crotch rocket if it goes over 225 km/h and causes severe back pains". You don't then call a harley a crotch rocket.

Sadly that was the only example that's coming to me right now.
 
  • #7
Tom Mattson said:
In that definition, it is supposed to be "if". Otherwise you would conclude that the function [itex]f(x)=\sqrt{1-x^2}[/itex] is not continuous at [itex]x=\pm 1[/itex] because the limit doesn't exist at either of those points.

This is a sloppy definition if it's supposed to encompass the case of endpoints. I would hope they seperately mention the case of endpoints.

Of course they may have already mentioned something about the meaning of a "two sided" limits at points where the function is defined on only one "side", so this could still be included (I'm not sure I've ever seen an interpretation like this though).
 
  • #8
shmoe said:
This is a sloppy definition if it's supposed to encompass the case of endpoints. I would hope they seperately mention the case of endpoints.

They define continuity on a closed interval (with its attendant one-sided limits) a couple of pages later.

This was first brought to my attention a year ago when a student asked me about the continuity of a function like [itex]f(x)=\sqrt{1-x^2}[/itex] at [itex]x=\pm 1[/itex]. He mentally substituted "iff" in for "if" in the definition I quoted, and concluded that [itex]f(x)[/itex] is not continuous at the endpoints. I pointed out that he shouldn't be using the two-sided limit. I subsequently wrote up his argument as a "find the flaw in this reasoning" problem and have been assigning it ever since. :biggrin:
 
  • #9
Maybe you should avoid books by Larson and Edwards.
 
  • #10
I would love to ditch these books. But they are picked by my Department Chair, and I am a lowly Adjunct Instructor. :frown:
 
  • #11
Tom Mattson said:
They define continuity on a closed interval (with its attendant one-sided limits) a couple of pages later.

No problem with the book then, that definition of continuity is for points contained in an open interval that's contained in the domain of f. Your student tried to apply that definition where it didn't apply.
 
  • #12
The calc book I don't have much of an issue with. I do think it should make a point of the use of "if" in that definition, but since they don't, I do it in class. The student was definitely the one in error, but the mistake was a subtle one.

But I do think that the linear algebra book should have used iff in the definition of a diagonalizable matrix.
 
Last edited:
  • #13
It's an "iff".

There's a horrible implicit thing being applied here: if you're claiming [itex]f(x) := \sqrt{1 - x^2}[/itex] is a function, then you had better be working in the topological space [-1, 1]. If you're working in the topological space [-1, 1], [itex]\lim_{x \rightarrow 1} f(x)[/itex] does equal f(1). Since there does not exist points greater than 1, the ordinary "two-sided" limit at 1 is exactly the same thing as the left one-sided limit.

And, if you were using some generalized definition of function so that this f was a "function" on the reals, then I would agree with your student that said this function is not continuous at 1. (when working over the reals) Of course, I'm assuming what it would even mean for such a generalized function to have a limit.
 
Last edited:
  • #14
Tom Mattson said:
But I do think that the linear algebra book should have used iff in the definition of a diagonalizable matrix.

I would still maintain it's a different usage of the word "if" than you find in logic say. To elaborate on what I mean with a less silly example, we call a tree deciduous "if" it sheds it's leaves before winter. Would you call a pine tree deciduous? In the same way I wouldn't call a matrix that's not similar to any diagonal matrix diagonalizable if I had read your books definition.

It's also the language that can be found in definitions by many respected authors, Titchmarsh, Rudin, Lang, Royden, and speaking of a gold standard in linear algebra, Hoffman & Kunze. In fact I had to do a bit of searching on my shelf before I found a definition that used "iff", that was Ahlfor's complex analysis which oddly used "iff" for the definition of a compact space but none of the other definitions I looked at. Maybe because it was followed by a few "iff" equivalences of compact that he had iff on the brain.

Regarding the limit, I'd prefer if they looked at limits as being in whatever topological space makes sense for the domain as Hurkyl is talking about, but this isn't the kind of viewpoint you're likely to get from a "stock" calculus text.
 
Last edited:
  • #15
Hurkyl said:
It's an "iff". There's a horrible implicit thing being applied here: if you're claiming [itex]f(x) := \sqrt{1 - x^2}[/itex] is a function, then you had better be working in the topological space [-1, 1]. If you're working in the topological space [-1, 1], [itex]\lim_{x \rightarrow 1} f(x)[/itex] does equal f(1).

The problem was indeed framed that way. The exact problem statement was:

Discuss the continuity of the function [itex]f(x)=\sqrt{25-x^2}[/itex] on the interval [itex][-5,5][/itex],

which is similar enough to the [itex]f(x)[/itex] that I used.

Since there does not exist points greater than 1, the ordinary "two-sided" limit at 1 is exactly the same thing as the left one-sided limit.

That part is news to me. Would I find it in a book on analysis? Topology? Either?

Fortunately it hasn't been an issue, because I steer them away from applying this definition of continuity for functions on closed intervals anyway.

And, if you were using some generalized definition of function so that this f was a "function" on the reals, then I would agree with your student that said this function is not continuous at 1.

You may have agreed with the conclusion, but you certainly would not have accepted his argument. He said that the function is discontinuous at the endpoints because the limit doesn't exist there. Taking the definition exactly as it appears in the textbook, the student definitely committed the fallacy of denying the antecedent.

But even if we replace "if" with "iff", the argument still fails because the limit does in fact exist.
 
  • #16
shmoe said:
I would still maintain it's a different usage of the word "if" than you find in logic say.

That is news to me too.

To elaborate on what I mean with a less silly example, we call a tree deciduous "if" it sheds it's leaves before winter. Would you call a pine tree deciduous? In the same way I wouldn't call a matrix that's not similar to any diagonal matrix diagonalizable if I had read your books definition.

Yes, but in the "real world" example there is common sense at work. What I am wondering is when we should do that in mathematics.

Just to put this into perspective: My graduate education is in theoretical physics, but I am currently teaching 1st and 2nd year undergrad math (intro linear algebra and below). I was not sure of how much liberty I could take with my interpretation of definitions. More specifically, I was under the impression that I could take no liberties with them. So I held that "if" means the logical "if", and nothing else. But now I have a better picture of things, I think.

It's also the language that can be found in definitions by many respected authors, Titchmarsh, Rudin, Lang, Royden, and speaking of a gold standard in linear algebra, Hoffman & Kunze.

OK, so it's normal. That's one of the things I was trying to find out.

Regarding the limit, I'd prefer if they looked at limits as being in whatever topological space makes sense for the domain as Hurkyl is talking about, but this isn't the kind of viewpoint you're likely to get from a "stock" calculus text.

I would prefer it too. I will definitely be reading up on this and finding a way to teach it in a calculus course.

Thanks to everyone for helping to clear this up.
 
  • #17
There has to be some agreed upon English (or other language) or you are going to have trouble communicating the math. You could probably do it, but it would involve a lot of grunting and frantic waving :biggrin:

About the limit thing, you're just changing the "if 0<|x-a|<delta" part of the limt to "if 0<|x-a|<delta and x is in the domain of f". have a look at how limits are defined in metric spaces. You'd just be considering the closed interval a metric space, and you can't "see" points outside this interval when looking at limits.

In single variable calc, they do everything in terms of left and right limits. This is a pretty natural thing to do on the real line, but having a more general notion of the limit introduced in single variable would probably make the jump to higher dimensions seem a little smaller.
 
  • #18
But even if we replace "if" with "iff", the argument still fails because the limit does in fact exist.
I would argue that the limit does, in fact, not exist.

The problem here is that we've not defined our terms! We all learned in calculus the definition of the limit of a function at a point. But we have not (at least I have not) ever seen anyone define the limit of a partial function[/b] at a point.

I presume that our difference in opinion is that we have different opinions on the "proper" definition of the limit of a partial function. :smile:


The definition I had in mind of [itex]\lim_{x \rightarrow a} f(x) = L[/itex] (on the reals) is:

[tex]
\forall \epsilon > 0 : \exists \delta > 0 : \forall x \in (a - \delta, a) \cup (a, a + \delta) : |f(x) - L| < \epsilon
[/tex]

Thus, the expression [itex]\lim_{x \rightarrow 1} \sqrt{1 - x^2}[/itex] is ill-defined because we can never choose [itex]\delta[/itex] so that [itex]f(x)[/itex] is known to exist.



I'm not saying this is the right way to do this; better ideas spring to mind, but I'm not entirely sure I like their consequences either. :frown:
 
  • #19
Hurkyl said:
I would argue that the limit does, in fact, not exist.

No, I'm talking about the problem that I quoted. We were restricted to the space between the endpoints. You said that in that case, the limit as x approaches an endpoint exists and is equal to the value of the function there.
 
  • #20
Tom Mattson said:
No, I'm talking about the problem that I quoted. We were restricted to the space between the endpoints. You said that in that case, the limit as x approaches an endpoint exists and is equal to the value of the function there.

It would really depend on how the book defined [tex]\lim_{x\rightarrow a} f(x)[/tex]. It's typical for a calculus text to use the usual epsilon-delta way that makes no limitations of the "x" being in the domain of f(x) (what Hurkyl gave in post 18). However, when they do this they will (or should!) explicitly state that this definition of the limit is for values of a where f is defined on an open interval containing a.

This is a little bad in the sense that for some deltas you may be considering "invalid x" values, but if delta is small enough you're ok given that f is defined in a neighbourhood of a, so it's not a huge deal.

But your text gave a different definition for continuity at an endpoint so they likely will only talk about one sided limits at endpoints.
 
Last edited:
  • #21
Tom Mattson said:
But the more I read mathematics textbooks, the more it seems that the distinction between "if" and "iff" is not respected. Consider for example the following definition from Elementary Linear Algebra, 5ed, by Larson, Edwards, and Falvo (Houghton Mifflin Co.).
My question is: Why are those ifs not iffs instead? Are the authors just being sloppy?

I would say that relatively few mathematical texts use "iff" when making definitions. There are two factors involved with this. First has to do with English language conventions. It is conventional simply to use "if" with the understanding that with mathematical definitions there is an equivalence involved. Use of the phrase "if and only if" would be handier and obviously more mathematically correct.

The second has to do with the texts you're looking at. They are both written to an entry-level audience with most likely a large group of non-math majors, who will not understand the phrase "iff" at all and in fact most likely attribute it to a typo and ignore it.

As for myself, I really dislike "iff" in printed word (it's lazy and elitist) but use it all the time in the classroom.
 
  • #22
I think you need to closely examine the definition of continuity in the book given for consistency. Obviously the book greatly abuses the notion of function: f(x)=sqrt(1-x^2) needs its domain and range specifying, once we restrict to [-1,1] it is a prefectly continuous function at the end points; it makes no sense to speak of one sided butnot two sided continuity since you cannot approach from outside the interval, ie you need to think in the subspace topology. You can't say something fails because of behaviour outside its area of definition.

I always prefer when and only when; it is easier to explain than if and only if, somehow it is clearer when trying to prove a when and only when statement what direction you're going in at any time.
 
  • #23
Hurkyl: There's a horrible implicit thing being applied here: if you're claiming is a function, then you had better be working in the topological space [-1, 1]. If you're working in the topological space [-1, 1], does equal f(1). Since there does not exist points greater than 1, the ordinary "two-sided" limit at 1 is exactly the same thing as the left one-sided limit.

Actually the definition is gone over at: http://archives.math.utk.edu/visual.calculus/1/continuous.5/index.html
where the author uses iff, and only later explicitly clarifies this for endpoints.

Even so, author says: [tex]lim x\longrightarrowa+[/tex] is used for a left hand endpoint, whereas I was somehow under the impression that the + meant we went through larger and larger values, but here it is used in the opposite way.
 
Last edited:

1. What is the difference between "if" and "iff" in mathematical definitions?

In mathematical definitions, "if" is used to indicate a sufficient condition, while "iff" is used to indicate a necessary and sufficient condition. This means that if a statement is true, then the condition is met, but if the statement is false, then the condition is not met.

2. Can "if" and "iff" be used interchangeably in mathematical definitions?

No, "if" and "iff" have different meanings and cannot be used interchangeably in mathematical definitions. Using the wrong one can result in an incorrect definition.

3. How are "if" and "iff" used in mathematical proofs?

In mathematical proofs, "if" is used to state a condition that leads to a conclusion, while "iff" is used to show that a statement is both necessary and sufficient for the conclusion to be true.

4. Are there any other words that can be used in place of "if" and "iff" in mathematical definitions?

There are no other words that have the same specific meanings as "if" and "iff" in mathematical definitions. However, phrases such as "only if" and "if and only if" can also be used to convey necessary and sufficient conditions.

5. Why is it important to use "if" and "iff" correctly in mathematical definitions?

Using "if" and "iff" correctly in mathematical definitions is crucial because it ensures precise and accurate communication of mathematical concepts. Incorrect usage can lead to confusion and mistakes in mathematical reasoning and proofs.

Similar threads

Replies
1
Views
1K
Replies
9
Views
8K
  • MATLAB, Maple, Mathematica, LaTeX
Replies
1
Views
2K
  • MATLAB, Maple, Mathematica, LaTeX
Replies
1
Views
2K
  • MATLAB, Maple, Mathematica, LaTeX
Replies
1
Views
2K
  • MATLAB, Maple, Mathematica, LaTeX
Replies
20
Views
4K
  • STEM Academic Advising
Replies
10
Views
4K
  • STEM Academic Advising
Replies
10
Views
4K
Back
Top