8.5 Counterexamples and Edge Cases

A counterexample is a single instance that shows a statement is false. An edge case is a boundary or extreme situation where a statement is most likely to fail or require adjustment. Together, they form one of the most reliable tools in problem solving.

A universal statement has the form:

To disprove it, one example with $\neg P(x)$ is sufficient.

This asymmetry is important. Proof requires covering all cases. Refutation requires only one.

For example, the claim

is false. The choice $a=1$, $b=1$ gives

The statement fails, and no further testing is needed.

Counterexamples do more than reject statements. They locate the error. They show which assumption is missing or which condition is too weak.

For instance, the statement

“every continuous function is differentiable”

is false. A standard counterexample is the absolute value function:

It is continuous everywhere but not differentiable at $x=0$.

The counterexample suggests how to refine the statement. One may require additional smoothness, or restrict to intervals where the derivative exists.

In this way, counterexamples guide the formulation of correct theorems.

Edge cases are equally important. They test the limits of a statement.

Typical edge cases include:

• zero and identity elements
• empty sets
• minimal or maximal size
• degenerate configurations
• boundary values
• singular or noninvertible objects

These cases often behave differently from the general case.

For example, consider division:

The expression is undefined when $b=0$. Any theorem involving division must exclude this case or handle it separately.

In linear algebra, many results assume invertibility. A singular matrix is an edge case where these results fail. In topology, compactness behaves differently depending on whether the space is closed or bounded. In combinatorics, counting arguments may fail when a set is empty.

Edge cases often reveal hidden assumptions. A statement that works for “most” objects may fail at the boundary. Identifying these boundaries makes the statement precise.

Counterexamples also appear in construction. When trying to prove existence, one may fail repeatedly. Each failed attempt can become a counterexample to an incorrect intermediate claim. This process refines the search.

In classification problems, counterexamples show that an invariant is incomplete. Two objects may share the same invariant but differ structurally. This indicates that additional invariants are needed.

For example, two groups may have the same order but not be isomorphic. The invariant “order” is insufficient. One must consider element orders, subgroup structure, or other properties.

There is also a constructive use of counterexamples. Sometimes a problem asks for an object with certain properties. Building a counterexample to a false general claim may produce exactly such an object.

For instance, constructing a noncontinuous function, a nonabelian group, or a disconnected space often proceeds by violating a familiar property in a controlled way.

A careful use of counterexamples requires attention to generality. A single example disproves a universal statement, but it does not prove a general one. If a statement survives many tests, it becomes plausible, but it still requires proof.

A disciplined approach is:

Formulate a statement. Test simple cases. Test boundary cases. Search for a counterexample. If none is found, attempt a proof. If a counterexample is found, refine the statement.

Edge cases should be included early. They are not exceptions to be handled later. They are part of the structure of the problem.

For example, when defining a function, one should immediately ask what happens at endpoints, at singularities, and at limits. When stating a theorem, one should check whether zero, identity, or empty cases behave differently.

A well-formed theorem accounts for its edge cases explicitly. It states its domain clearly and excludes or handles exceptional situations.

Counterexamples and edge cases act as a filter. They remove incorrect statements, expose hidden assumptions, and sharpen definitions.

They do not replace proof. They prepare it.