Proof by definition?

Students face many obstacles when they are trying to learn how to do proofs. I am trying to convince my students that at least SOME aspects of constructing proofs are relatively routine.

One fairly common type of proof that often gives trouble is what I like to call “proof by definition”. I have not invented this term, but many authors use it to mean something rather different. What I mean is that you are asked to prove something, and once you have substituted the definitions into the statements, there is either nothing or very little left to prove. Yet this kind of proof often gives students problems.

  • Sometimes they feel they should be able to prove the result based on an intuitive idea of the relevant concept, instead of using the definition given to them.
  • Indeed, sometimes students do not know the relevant definitions at all, but don’t realize that this is a major obstacle to proving the result.
  • However, sometimes the fact that they have already finished once they have substituted in the definitions leads them to think that they haven’t done anything, and this is a more subtle problem.

For example, using my notion of absorption, on one question sheet I ask them to prove the following.

Let x\in\mathbb{R} and let (x_n) be a sequence of real numbers. Then

x_n \to x as n\to\infty

if and only if the following condition holds:

for all \varepsilon>0, the open interval (x-\varepsilon,x+\varepsilon) absorbs the sequence (x_n).

Now, by the time you have substituted in the definitions, the two statements are either exactly or effectively the same, and you have finished. But this does not feel like a proof.

Perhaps the students are right to be uncomfortable with this? Consider the following “question and unsatisfacory answer”.

Question: working in \mathbb{R}, prove that 1 is not in the interior of \null[1,3].

Unsatisfactory answer:
1 is not in the interior of \null[1,3] because, for all r>0,
the open interval (1-r,1+r) is not a subset of \null[1,3].

This time, the student has substituted in the definition, and can see that the statement is true, but the proof is NOT finished. Indeed, so far the student has said just a little more than “1 is not an interior point because it is not an interior point”.

In this case, more is expected: the student should justify the claim by observing, for example, that 1-r/2 is in the set (1-r,1+r) but is not in the set \null[1,3].

So how are students supposed to know whether they have finished once they have substituted the definitions in and can see that the result is now obviously true?

In fact, there can’t be a definitive answer to this. After all, it is hard to argue with the statement (working in \mathbb{R})
“Clearly 1 is not an interior point of \null[1,3].”
Yet, this statement would not be acceptable as part of a proof of itself.

I feel that the difference between the two examples here is that, in the first, after substituting in the definitions, the two statements being compared end up EXACTLY the same. So, although it feels as if nothing has happened, nevertheless the proof is complete.

In the second example, after substituting in the definition, you arrive at a statement that looks to be clearly true. But appearances can be deceiving, and the student could ask whether this new claimed fact  is really significantly more clearly true than the original statement was.

Meanwhile, I am putting together a large collection of “proof by definition”  questions for students to practise on. These are (mostly) not supposed to be at all interesting! The idea is to get the students fluent in substituting in definitions, and then seeing how easy the rest of the proof can be.

See http://www.maths.nott.ac.uk/personal/jff/Teaching/More-Proofs.pdf for the current version. Perhaps there are large collections of similar routine proofs available on the internet? It  would surely be worth compiling a big collection as a universal student “practising routine proofs” resource.

Joel Feinstein

October 27 2009

Advertisements

6 responses to “Proof by definition?

  1. You might want to let your students see some parts of abstractmath.org, particularly

    http://www.abstractmath.org/MM/MMFormsProof.htm
    http://www.abstractmath.org/MM/MMUsefulBehProofs.htm

    Note that this website is licensed under Creative Commons, so you can take the material and modify it for them if you don’t like some of the things I said.

    Charles Wells

    Like

  2. Last year, at the end of my three sessions on how and why we do proofs, I asked for feedback from the students. Several of them requested a booklet with a set of similar proofs for them to practise on.

    I have put a few more practice questions together now, and the current version (which will probably grow slowly) can be found on the web at

    http://www.maths.nott.ac.uk/personal/jff/Teaching/More-Proofs.pdf

    Many of these proofs are either immediate or almost immediate once you write out the definitions. However, it appears that many students really do need to practice this routine part of doing proofs.

    Joel Feinstein
    October 28 2009

    Like

  3. Pingback: Links 002 « Diary of a Math Student

  4. Pingback: Proof by definition substitution, or by rewriting? « Explaining mathematics

  5. the first example works because you have shown 2 things r equal so this implies if and only if. the 2nd example is proving something based on itself which is circular. proof by def proves equality

    Like

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s