Mathematical Proof/Methods of Proof/Counterexamples
A proof by counterexample is not technically a proof. It is merely a way of showing that a given statement cannot possibly be correct by showing an instance that contradicts a universal statement. For example, if you are trying to prove the statement "All cheesecakes are baked in Alaska." and you did not know whether to prove it by contrapositive or contradiction, all I would have to do is bake a cheesecake right in front of you here in Texas and then you would know that your efforts had been in vain.
Consider the following statement:
Every set is countable.
Of course a counterexample to this would be the interval from . To show that this interval isn't countable, we assume that it is, so then there is a bijective function since is bijective we may write the elements of in a list here we write the numbers in in their decimal expansions.
For the purposes of the proof, we need each real number to be uniquely defined by a decimal. This is of course true in almost all cases (take .01, for instance... it's equal to .00999999999...). In fact, the cases when it's not true are exactly the cases when the decimal ends in a string of zeros, or "terminates" (a separate proof would be needed for this, but for now accept it as true). Therefore, let the decimals all be in "nonterminating form," so that there's another bijection between the decimal expansions and the real numbers.
Now let if is odd and 1 if is even. Now I claim that is not listed here. To show this suppose it were then for some but if is odd and if , this is not possible so we conclude that is not in the list, this shows we may not have a surjection from
Although this is a counterexample, we still had to PROVE that it was in fact a counterexample and in doing so used both a proof by contradiction (this was the overall method of the proof) by a construction (of ). Although there may be more then one counterexample to any given false claim, you must always provide by a proof or argument that your counterexample works.